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