1 // RUN: clang-cc %s -emit-llvm -o - -triple=x86_64-apple-darwin9 | FileCheck %s
2 
3 struct A { int a; void f(); virtual void vf(); };
4 struct B { int b; virtual void g(); };
5 struct C : B, A { };
6 
7 void (A::*pa)();
8 void (A::*volatile vpa)();
9 void (B::*pb)();
10 void (C::*pc)();
11 
12 // CHECK: @pa2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 0 }, align 8
13 void (A::*pa2)() = &A::f;
14 
15 // CHECK: @pa3 = global %0 { i64 1, i64 0 }, align 8
16 void (A::*pa3)() = &A::vf;
17 
18 // CHECK: @pc2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 16 }, align 8
19 void (C::*pc2)() = &C::f;
20 
21 // CHECK: @pc3 = global %0 { i64 1, i64 0 }, align 8
22 void (A::*pc3)() = &A::vf;
23 
24 void 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 {{.*}}, i64* getelementptr inbounds (%0* @pc, i32 0, i32 0)
34   // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = add i64 {{.*}}, 16
35   // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pc, i32 0, i32 1)
36   pc = pa;
37 
38   // CHECK: store i64 {{.*}}, i64* getelementptr inbounds (%0* @pa, i32 0, i32 0)
39   // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = sub i64 {{.*}}, 16
40   // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pa, i32 0, i32 1)
41   pa = static_cast<void (A::*)()>(pc);
42 }
43 
44 void f2() {
45   // CHECK: [[pa2ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 0
46   // CHECK: store i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64* [[pa2ptr]]
47   // CHECK: [[pa2adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 1
48   // CHECK: store i64 0, i64* [[pa2adj]]
49   void (A::*pa2)() = &A::f;
50 
51   // CHECK: [[pa3ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 0
52   // CHECK: store i64 1, i64* [[pa3ptr]]
53   // CHECK: [[pa3adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 1
54   // CHECK: store i64 0, i64* [[pa3adj]]
55   void (A::*pa3)() = &A::vf;
56 }
57 
58 void f3(A *a, A &ar) {
59   (a->*pa)();
60   (ar.*pa)();
61 }
62 
63 bool f4() {
64   return pa;
65 }
66 
67 // PR5177
68 namespace PR5177 {
69   struct A {
70    bool foo(int*) const;
71   } a;
72 
73   struct B1 {
74    bool (A::*pmf)(int*) const;
75    const A* pa;
76 
77    B1() : pmf(&A::foo), pa(&a) {}
78    bool operator()() const { return (pa->*pmf)(new int); }
79   };
80 
81   void bar(B1 b2) { while (b2()) ; }
82 }
83 
84 // PR5138
85 namespace PR5138 {
86   struct foo {
87       virtual void bar(foo *);
88   };
89 
90   extern "C" {
91     void baz(foo *);
92   }
93 
94   void (foo::*ptr1)(void *) = (void (foo::*)(void *))&foo::bar;
95   void (*ptr2)(void *) = (void (*)(void *))&baz;
96 
97   void (foo::*ptr3)(void) = (void (foo::*)(void))&foo::bar;
98 }
99 
100 // PR5593
101 namespace PR5593 {
102   struct A { };
103 
104   bool f(void (A::*f)()) {
105     return f && f;
106   }
107 }
108 
109 namespace PR5718 {
110   struct A { };
111 
112   bool f(void (A::*f)(), void (A::*g)()) {
113     return f == g;
114   }
115 }
116 
117 namespace BoolMemberPointer {
118   struct A { };
119 
120   bool f(void (A::*f)()) {
121     return !f;
122   }
123 
124   bool g(void (A::*f)()) {
125     if (!!f)
126       return true;
127     return false;
128   }
129 }
130 
131