Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -Wno-microsoft -fno-rtti -std=c++11 -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s |
| 2 | |
| 3 | struct U; |
| 4 | static_assert(sizeof(void (U::*)()) == 2 * sizeof(void*) + 2 * sizeof(int), ""); |
| 5 | |
| 6 | struct A { int a; }; |
| 7 | struct B { int b; }; |
| 8 | struct I { union { struct { int a, b; }; }; }; |
| 9 | |
| 10 | struct S { int a, b; void f(); virtual void g(); }; |
| 11 | struct M : A, B { int a, b; void f(); virtual void g(); }; |
| 12 | struct V : virtual A { int a, b; void f(); virtual void g(); }; |
| 13 | struct U { int a, b; void f(); virtual void g(); }; |
| 14 | |
| 15 | struct C { virtual void f(); }; |
| 16 | struct D { virtual void g(); }; |
| 17 | struct O : C, D { virtual void g(); }; // override of non-primary |
| 18 | |
| 19 | // Test data member pointers. |
| 20 | template <typename T, int T::*F> |
| 21 | int ReadField(T &o) { |
| 22 | return F ? o.*F : 0; |
| 23 | } |
| 24 | |
| 25 | // Redeclare some of the classes so that the implicit attribute goes on the most |
| 26 | // recent redeclaration rather than the definition. |
| 27 | struct V; |
| 28 | |
| 29 | void ReadFields() { |
| 30 | A a; |
| 31 | I i; |
| 32 | S s; |
| 33 | M m; |
| 34 | V v; |
| 35 | U u; |
| 36 | ReadField<S, &S::a>(s); |
| 37 | ReadField<M, &M::a>(m); |
| 38 | ReadField<V, &V::a>(v); |
| 39 | ReadField<U, &U::a>(u); |
| 40 | ReadField<S, &S::b>(s); |
| 41 | ReadField<M, &M::b>(m); |
| 42 | ReadField<V, &V::b>(v); |
| 43 | ReadField<U, &U::b>(u); |
| 44 | ReadField<S, nullptr>(s); |
| 45 | ReadField<M, nullptr>(m); |
| 46 | ReadField<V, nullptr>(v); |
| 47 | ReadField<U, nullptr>(u); |
| 48 | |
| 49 | // Non-polymorphic null data memptr vs first field memptr. |
| 50 | ReadField<A, &A::a>(a); |
| 51 | ReadField<A, nullptr>(a); |
| 52 | |
| 53 | // Indirect fields injected from anonymous unions and structs |
| 54 | ReadField<I, &I::a>(i); |
| 55 | ReadField<I, &I::b>(i); |
| 56 | } |
| 57 | |
| 58 | // CHECK-LABEL: define {{.*}}ReadFields |
| 59 | // CHECK: call {{.*}} @"\01??$ReadField@US@@$03@@YAHAAUS@@@Z" |
| 60 | // CHECK: call {{.*}} @"\01??$ReadField@UM@@$0M@@@YAHAAUM@@@Z" |
| 61 | // CHECK: call {{.*}} @"\01??$ReadField@UV@@$F7A@@@YAHAAUV@@@Z" |
| 62 | // CHECK: call {{.*}} @"\01??$ReadField@UU@@$G3A@A@@@YAHAAUU@@@Z" |
| 63 | // CHECK: call {{.*}} @"\01??$ReadField@US@@$07@@YAHAAUS@@@Z" |
| 64 | // CHECK: call {{.*}} @"\01??$ReadField@UM@@$0BA@@@YAHAAUM@@@Z" |
| 65 | // CHECK: call {{.*}} @"\01??$ReadField@UV@@$FM@A@@@YAHAAUV@@@Z" |
| 66 | // CHECK: call {{.*}} @"\01??$ReadField@UU@@$G7A@A@@@YAHAAUU@@@Z" |
| 67 | |
| 68 | // MSVC mangles null member pointers in function templates wrong, but it gets |
| 69 | // them right in class templates. |
| 70 | // CHECK: call {{.*}} @"\01??$ReadField@US@@$0A@@@YAHAAUS@@@Z" |
| 71 | // CHECK: call {{.*}} @"\01??$ReadField@UM@@$0A@@@YAHAAUM@@@Z" |
| 72 | // CHECK: call {{.*}} @"\01??$ReadField@UV@@$FA@?0@@YAHAAUV@@@Z" |
| 73 | // CHECK: call {{.*}} @"\01??$ReadField@UU@@$GA@A@?0@@YAHAAUU@@@Z" |
| 74 | |
| 75 | // Non-polymorphic null data memptr vs first field memptr. MSVC mangles these |
| 76 | // the same. |
| 77 | // CHECK: call {{.*}} @"\01??$ReadField@UA@@$0A@@@YAHAAUA@@@Z" |
| 78 | // CHECK: call {{.*}} @"\01??$ReadField@UA@@$0?0@@YAHAAUA@@@Z" |
| 79 | |
| 80 | // Indirect fields are handled as-if they were simply members of their enclosing |
| 81 | // record. |
| 82 | // CHECK: call {{.*}} @"\01??$ReadField@UI@@$0A@@@YAHAAUI@@@Z" |
| 83 | // CHECK: call {{.*}} @"\01??$ReadField@UI@@$03@@YAHAAUI@@@Z" |
| 84 | |
| 85 | // Test member function pointers. |
| 86 | template <typename T, void (T::*MFP)()> |
| 87 | void CallMethod(T &o) { |
| 88 | (o.*MFP)(); |
| 89 | } |
| 90 | |
| 91 | void CallMethods() { |
| 92 | S s; |
| 93 | M m; |
| 94 | V v; |
| 95 | U u; |
| 96 | O o; |
| 97 | |
| 98 | // Non-virtual methods. |
| 99 | CallMethod<S, &S::f>(s); |
| 100 | CallMethod<M, &M::f>(m); |
| 101 | CallMethod<V, &V::f>(v); |
| 102 | CallMethod<U, &U::f>(u); |
| 103 | |
| 104 | // Virtual methods requiring thunk mangling. |
| 105 | CallMethod<S, &S::g>(s); |
| 106 | CallMethod<M, &M::g>(m); |
| 107 | CallMethod<V, &V::g>(v); |
| 108 | CallMethod<U, &U::g>(u); |
| 109 | |
| 110 | // A member pointer for a non-primary vbase will have a non-zero this |
| 111 | // adjustment. |
| 112 | CallMethod<O, &O::g>(o); |
| 113 | |
| 114 | // Null member pointers. |
| 115 | CallMethod<S, nullptr>(s); |
| 116 | CallMethod<M, nullptr>(m); |
| 117 | CallMethod<V, nullptr>(v); |
| 118 | CallMethod<U, nullptr>(u); |
| 119 | } |
| 120 | |
| 121 | // CHECK-LABEL: define {{.*}}CallMethods |
| 122 | // CHECK: call {{.*}} @"\01??$CallMethod@US@@$1?f@1@QAEXXZ@@YAXAAUS@@@Z" |
| 123 | // CHECK: call {{.*}} @"\01??$CallMethod@UM@@$H?f@1@QAEXXZA@@@YAXAAUM@@@Z" |
| 124 | // CHECK: call {{.*}} @"\01??$CallMethod@UV@@$I?f@1@QAEXXZA@A@@@YAXAAUV@@@Z" |
| 125 | // CHECK: call {{.*}} @"\01??$CallMethod@UU@@$J?f@1@QAEXXZA@A@A@@@YAXAAUU@@@Z" |
| 126 | |
| 127 | // PR17034: MSVC reuses the same thunk for every virtual g method because they |
| 128 | // are all at vftable offset zero. They then mangle the name of the first thunk |
| 129 | // created into the name of the template instantiation, which is definitely a |
| 130 | // bug. We don't follow them here. Instead of ?_91@ backref below, they would |
| 131 | // get ?_9S@@ in every instantiation after the first. |
| 132 | |
| 133 | // CHECK: call {{.*}} @"\01??$CallMethod@US@@$1??_91@$BA@AE@@YAXAAUS@@@Z" |
| 134 | // CHECK: call {{.*}} @"\01??$CallMethod@UM@@$H??_91@$BA@AEA@@@YAXAAUM@@@Z" |
| 135 | // CHECK: call {{.*}} @"\01??$CallMethod@UV@@$I??_91@$BA@AEA@A@@@YAXAAUV@@@Z" |
| 136 | // CHECK: call {{.*}} @"\01??$CallMethod@UU@@$J??_91@$BA@AEA@A@A@@@YAXAAUU@@@Z" |
| 137 | |
| 138 | // CHECK: call {{.*}} @"\01??$CallMethod@UO@@$H??_91@$BA@AE3@@YAXAAUO@@@Z" |
| 139 | |
| 140 | // CHECK: call {{.*}} @"\01??$CallMethod@US@@$0A@@@YAXAAUS@@@Z" |
| 141 | // CHECK: call {{.*}} @"\01??$CallMethod@UM@@$0A@@@YAXAAUM@@@Z" |
| 142 | // CHECK: call {{.*}} @"\01??$CallMethod@UV@@$0A@@@YAXAAUV@@@Z" |
| 143 | // CHECK: call {{.*}} @"\01??$CallMethod@UU@@$0A@@@YAXAAUU@@@Z" |