member-function-pointers.cpp revision 375c31c4673f83f925de221752cf801c2fbbb246 
1// RUN: clang-cc %s -emit-llvm -o - -triple=x86_64-apple-darwin9 | FileCheck %s
2
3struct A { int a; void f(); virtual void vf(); };
4struct B { int b; virtual void g(); };
5struct C : B, A { };
6
7void (A::*pa)();
8void (A::*volatile vpa)();
9void (B::*pb)();
10void (C::*pc)();
11
12// CHECK: @pa2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 0 }, align 8
13void (A::*pa2)() = &A::f;
14
15// CHECK: @pa3 = global %0 { i64 1, i64 0 }, align 8
16void (A::*pa3)() = &A::vf;
17
18// CHECK: @pc2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 16 }, align 8
19void (C::*pc2)() = &C::f;
20
21// CHECK: @pc3 = global %0 { i64 1, i64 0 }, align 8
22void (A::*pc3)() = &A::vf;
23
24void f() {
25  // CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 0)
26  // CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 1)
27  pa = 0;
28
29  // CHECK: volatile store i64 0, i64* getelementptr inbounds (%0* @vpa, i32 0, i32 0)
30  // CHECK: volatile store i64 0, i64* getelementptr inbounds (%0* @vpa, i32 0, i32 1)
31  vpa = 0;
32
33  // CHECK: store i64 %0, i64* getelementptr inbounds (%0* @pc, i32 0, i32 0)
34  // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = add i64 %1, 16
35  // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pc, i32 0, i32 1)
36  pc = pa;
37}
38
39void f2() {
40  // CHECK: [[pa2ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 0
41  // CHECK: store i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64* [[pa2ptr]]
42  // CHECK: [[pa2adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 1
43  // CHECK: store i64 0, i64* [[pa2adj]]
44  void (A::*pa2)() = &A::f;
45
46  // CHECK: [[pa3ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 0
47  // CHECK: store i64 1, i64* [[pa3ptr]]
48  // CHECK: [[pa3adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 1
49  // CHECK: store i64 0, i64* [[pa2adj]]
50  void (A::*pa3)() = &A::vf;
51}
52
53void f3(A *a, A &ar) {
54  (a->*pa)();
55  (ar.*pa)();
56}
57