294 lines · cpp
1// RUN: %clang_cc1 %s -emit-llvm -o - -triple=x86_64-unknown-unknown | FileCheck -check-prefix CODE-LP64 %s2// RUN: %clang_cc1 %s -emit-llvm -o - -triple=i386-unknown-unknown | FileCheck -check-prefix CODE-LP32 %s3// RUN: %clang_cc1 %s -emit-llvm -o - -triple=x86_64-unknown-unknown | FileCheck -check-prefix GLOBAL-LP64 %s4// RUN: %clang_cc1 %s -emit-llvm -o - -triple=i386-unknown-unknown | FileCheck -check-prefix GLOBAL-LP32 %s5// RUN: %clang_cc1 %s -emit-llvm -o - -triple=armv7-unknown-unknown | FileCheck -check-prefix GLOBAL-ARM %s6 7// MIPS uses the same representation of method pointers as ARM.8// RUN: %clang_cc1 %s -emit-llvm -o - -triple=mips-unknown-linux-gnu | FileCheck -check-prefix GLOBAL-ARM %s9// WebAssembly uses the same representation of method pointers as ARM.10// RUN: %clang_cc1 %s -emit-llvm -o - -triple=wasm32-unknown-unknown | FileCheck -check-prefix GLOBAL-ARM %s11 12struct A { int a; void f(); virtual void vf1(); virtual void vf2(); };13struct B { int b; virtual void g(); };14struct C : B, A { };15 16void (A::*pa)();17void (A::*volatile vpa)();18void (B::*pb)();19void (C::*pc)();20 21// GLOBAL-LP64: @pa2 ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN1A1fEv to i64), i64 0 }, align 822void (A::*pa2)() = &A::f;23 24// GLOBAL-LP64: @pa3 ={{.*}} global { i64, i64 } { i64 1, i64 0 }, align 825// GLOBAL-LP32: @pa3 ={{.*}} global { i32, i32 } { i32 1, i32 0 }, align 426void (A::*pa3)() = &A::vf1;27 28// GLOBAL-LP64: @pa4 ={{.*}} global { i64, i64 } { i64 9, i64 0 }, align 829// GLOBAL-LP32: @pa4 ={{.*}} global { i32, i32 } { i32 5, i32 0 }, align 430void (A::*pa4)() = &A::vf2;31 32// GLOBAL-LP64: @pc2 ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN1A1fEv to i64), i64 16 }, align 833void (C::*pc2)() = &C::f;34 35// GLOBAL-LP64: @pc3 ={{.*}} global { i64, i64 } { i64 1, i64 0 }, align 836void (A::*pc3)() = &A::vf1;37 38void f() {39 // CODE-LP64: store { i64, i64 } zeroinitializer, ptr @pa40 pa = 0;41 42 // Is this okay? What are LLVM's volatile semantics for structs?43 // CODE-LP64: store volatile { i64, i64 } zeroinitializer, ptr @vpa44 vpa = 0;45 46 // CODE-LP64: [[TMP:%.*]] = load { i64, i64 }, ptr @pa, align 847 // CODE-LP64: [[TMPADJ:%.*]] = extractvalue { i64, i64 } [[TMP]], 148 // CODE-LP64: [[ADJ:%.*]] = add nsw i64 [[TMPADJ]], 1649 // CODE-LP64: [[RES:%.*]] = insertvalue { i64, i64 } [[TMP]], i64 [[ADJ]], 150 // CODE-LP64: store { i64, i64 } [[RES]], ptr @pc, align 851 pc = pa;52 53 // CODE-LP64: [[TMP:%.*]] = load { i64, i64 }, ptr @pc, align 854 // CODE-LP64: [[TMPADJ:%.*]] = extractvalue { i64, i64 } [[TMP]], 155 // CODE-LP64: [[ADJ:%.*]] = sub nsw i64 [[TMPADJ]], 1656 // CODE-LP64: [[RES:%.*]] = insertvalue { i64, i64 } [[TMP]], i64 [[ADJ]], 157 // CODE-LP64: store { i64, i64 } [[RES]], ptr @pa, align 858 pa = static_cast<void (A::*)()>(pc);59}60 61void f2() {62 // CODE-LP64: store { i64, i64 } { i64 ptrtoint (ptr @_ZN1A1fEv to i64), i64 0 }63 void (A::*pa2)() = &A::f;64 65 // CODE-LP64: store { i64, i64 } { i64 1, i64 0 }66 // CODE-LP32: store { i32, i32 } { i32 1, i32 0 }67 void (A::*pa3)() = &A::vf1;68 69 // CODE-LP64: store { i64, i64 } { i64 9, i64 0 }70 // CODE-LP32: store { i32, i32 } { i32 5, i32 0 }71 void (A::*pa4)() = &A::vf2;72}73 74void f3(A *a, A &ar) {75 (a->*pa)();76 (ar.*pa)();77}78 79bool f4() {80 return pa;81}82 83// PR517784namespace PR5177 {85 struct A {86 bool foo(int*) const;87 } a;88 89 struct B1 {90 bool (A::*pmf)(int*) const;91 const A* pa;92 93 B1() : pmf(&A::foo), pa(&a) {}94 bool operator()() const { return (pa->*pmf)(new int); }95 };96 97 void bar(B1 b2) { while (b2()) ; }98}99 100// PR5138101namespace PR5138 {102 struct foo {103 virtual void bar(foo *);104 };105 106 extern "C" {107 void baz(foo *);108 }109 110 void (foo::*ptr1)(void *) = (void (foo::*)(void *))&foo::bar;111 void (*ptr2)(void *) = (void (*)(void *))&baz;112 113 void (foo::*ptr3)(void) = (void (foo::*)(void))&foo::bar;114}115 116// PR5593117namespace PR5593 {118 struct A { };119 120 bool f(void (A::*f)()) {121 return f && f;122 }123}124 125namespace PR5718 {126 struct A { };127 128 bool f(void (A::*f)(), void (A::*g)()) {129 return f == g;130 }131}132 133namespace BoolMemberPointer {134 struct A { };135 136 bool f(void (A::*f)()) {137 return !f;138 }139 140 bool g(void (A::*f)()) {141 if (!!f)142 return true;143 return false;144 }145}146 147// PR5940148namespace PR5940 {149 class foo {150 public:151 virtual void baz(void);152 };153 154 void foo::baz(void) {155 void (foo::*ptr)(void) = &foo::baz;156 }157}158 159namespace MemberPointerImpCast {160 struct A {161 int x;162 };163 struct B : public A {164 };165 void f(B* obj, void (A::*method)()) {166 (obj->*method)();167 }168}169 170// PR6258171namespace PR6258 {172 173 struct A {174 void f(bool);175 };176 177 void (A::*pf)(bool) = &A::f;178 179 void f() {180 void (A::*pf)(bool) = &A::f;181 }182}183 184// PR7027 185namespace PR7027 {186 struct X { void test( ); };187 void testX() { &X::test; }188}189 190namespace test7 {191 struct A { void foo(); virtual void vfoo(); };192 struct B { void foo(); virtual void vfoo(); };193 struct C : A, B { void foo(); virtual void vfoo(); };194 195 // GLOBAL-ARM: @_ZN5test74ptr0E ={{.*}} global {{.*}} { i32 ptrtoint (ptr @_ZN5test71A3fooEv to i32), i32 0 }196 // GLOBAL-ARM: @_ZN5test74ptr1E ={{.*}} global {{.*}} { i32 ptrtoint (ptr @_ZN5test71B3fooEv to i32), i32 8 }197 // GLOBAL-ARM: @_ZN5test74ptr2E ={{.*}} global {{.*}} { i32 ptrtoint (ptr @_ZN5test71C3fooEv to i32), i32 0 }198 // GLOBAL-ARM: @_ZN5test74ptr3E ={{.*}} global {{.*}} { i32 0, i32 1 }199 // GLOBAL-ARM: @_ZN5test74ptr4E ={{.*}} global {{.*}} { i32 0, i32 9 }200 // GLOBAL-ARM: @_ZN5test74ptr5E ={{.*}} global {{.*}} { i32 0, i32 1 }201 void (C::*ptr0)() = &A::foo;202 void (C::*ptr1)() = &B::foo;203 void (C::*ptr2)() = &C::foo;204 void (C::*ptr3)() = &A::vfoo;205 void (C::*ptr4)() = &B::vfoo;206 void (C::*ptr5)() = &C::vfoo;207}208 209namespace test8 {210 struct X { };211 typedef int (X::*pmf)(int);212 213 // CHECK: {{define.*_ZN5test81fEv}}214 pmf f() {215 // CHECK: {{ret.*zeroinitializer}}216 return pmf();217 }218}219 220namespace test9 {221 struct A {222 void foo();223 };224 struct B : A {225 void foo();226 };227 228 typedef void (A::*fooptr)();229 230 struct S {231 fooptr p;232 };233 234 // CODE-LP64-LABEL: define{{.*}} void @_ZN5test94testEv(235 // CODE-LP64: alloca i32236 // CODE-LP64-NEXT: ret void237 void test() {238 int x;239 static S array[] = { (fooptr) &B::foo };240 }241}242 243// Verify that we can emit reinterprets of member pointers as constant244// initializers. For added trickiness, we also add some non-trivial adjustments.245namespace test10 {246 struct A {247 int nonEmpty;248 void foo();249 };250 struct B : public A {251 virtual void requireNonZeroAdjustment();252 };253 struct C {254 int nonEmpty;255 };256 struct D : public C {257 virtual void requireNonZeroAdjustment();258 };259 260 261// It's not that the offsets are doubled on ARM, it's that they're left-shifted by 1.262 263// GLOBAL-LP64: @_ZN6test101aE ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN6test101A3fooEv to i64), i64 0 }, align 8264// GLOBAL-LP32: @_ZN6test101aE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 0 }, align 4265// GLOBAL-ARM: @_ZN6test101aE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 0 }, align 4266 void (A::*a)() = &A::foo;267 268// GLOBAL-LP64: @_ZN6test101bE ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN6test101A3fooEv to i64), i64 8 }, align 8269// GLOBAL-LP32: @_ZN6test101bE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 4 }, align 4270// GLOBAL-ARM: @_ZN6test101bE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 8 }, align 4271 void (B::*b)() = (void (B::*)()) &A::foo;272 273// GLOBAL-LP64: @_ZN6test101cE ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN6test101A3fooEv to i64), i64 8 }, align 8274// GLOBAL-LP32: @_ZN6test101cE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 4 }, align 4275// GLOBAL-ARM: @_ZN6test101cE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 8 }, align 4276 void (C::*c)() = (void (C::*)()) (void (B::*)()) &A::foo;277 278// GLOBAL-LP64: @_ZN6test101dE ={{.*}} global { i64, i64 } { i64 ptrtoint (ptr @_ZN6test101A3fooEv to i64), i64 16 }, align 8279// GLOBAL-LP32: @_ZN6test101dE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 8 }, align 4280// GLOBAL-ARM: @_ZN6test101dE ={{.*}} global { i32, i32 } { i32 ptrtoint (ptr @_ZN6test101A3fooEv to i32), i32 16 }, align 4281 void (D::*d)() = (void (C::*)()) (void (B::*)()) &A::foo;282}283 284namespace test11 {285 struct A { virtual void a(); };286 struct B : A {};287 struct C : B { virtual void a(); };288 void (C::*x)() = &C::a;289 290 // GLOBAL-LP64: @_ZN6test111xE ={{.*}} global { i64, i64 } { i64 1, i64 0 }291 // GLOBAL-LP32: @_ZN6test111xE ={{.*}} global { i32, i32 } { i32 1, i32 0 }292 // GLOBAL-ARM: @_ZN6test111xE ={{.*}} global { i32, i32 } { i32 0, i32 1 }293}294