clang/test/CodeGenCXX/mangle-ms-templates.cpp

   1 // RUN: %clang_cc1 -std=c++11 -fms-compatibility-version=19 -emit-llvm %s -o - -fms-extensions -fdelayed-template-parsing -triple=i386-pc-win32 | FileCheck %s
   2 // RUN: %clang_cc1 -std=c++11 -fms-compatibility-version=19 -emit-llvm %s -o - -fms-extensions -fdelayed-template-parsing -triple=x86_64-pc-win32 | FileCheck -check-prefix X64 %s
   3 // RUN: %clang_cc1 -std=c++17 -fms-compatibility-version=19 -emit-llvm %s -o - -fms-extensions -fdelayed-template-parsing -triple=i386-pc-win32 | FileCheck %s
   4 // RUN: %clang_cc1 -std=c++17 -fms-compatibility-version=19 -emit-llvm %s -o - -fms-extensions -fdelayed-template-parsing -triple=x86_64-pc-win32 | FileCheck -check-prefix X64 %s
   5
   6 template<typename T>
   7 class Class {
   8  public:
   9   Class() {}
  10 };
  11
  12 class Typename { };
  13
  14 template<typename T>
  15 class Nested { };
  16
  17 template<bool flag>
  18 class BoolTemplate {
  19  public:
  20   BoolTemplate() {}
  21 };
  22
  23 template<int param>
  24 class IntTemplate {
  25  public:
  26   IntTemplate() {}
  27 };
  28
  29 template<unsigned param>
  30 class UnsignedIntTemplate {
  31 public:
  32   UnsignedIntTemplate() {}
  33 };
  34
  35 template<long long param>
  36 class LongLongTemplate {
  37  public:
  38   LongLongTemplate() {}
  39 };
  40
  41 template<unsigned long long param>
  42 class UnsignedLongLongTemplate {
  43  public:
  44   UnsignedLongLongTemplate() {}
  45 };
  46
  47 template<>
  48 class BoolTemplate<true> {
  49  public:
  50   BoolTemplate() {}
  51   template<class T> void Foo(T arg) {}
  52 };
  53
  54 void template_mangling() {
  55   Class<Typename> c1;
  56 // CHECK: call {{.*}} @"??0?$Class@VTypename@@@@QAE@XZ"
  57 // X64: call {{.*}} @"??0?$Class@VTypename@@@@QEAA@XZ"
  58
  59   Class<const Typename> c1_const;
  60 // CHECK: call {{.*}} @"??0?$Class@$$CBVTypename@@@@QAE@XZ"
  61 // X64: call {{.*}} @"??0?$Class@$$CBVTypename@@@@QEAA@XZ"
  62   Class<volatile Typename> c1_volatile;
  63 // CHECK: call {{.*}} @"??0?$Class@$$CCVTypename@@@@QAE@XZ"
  64 // X64: call {{.*}} @"??0?$Class@$$CCVTypename@@@@QEAA@XZ"
  65   Class<const volatile Typename> c1_cv;
  66 // CHECK: call {{.*}} @"??0?$Class@$$CDVTypename@@@@QAE@XZ"
  67 // X64: call {{.*}} @"??0?$Class@$$CDVTypename@@@@QEAA@XZ"
  68
  69   Class<Nested<Typename> > c2;
  70 // CHECK: call {{.*}} @"??0?$Class@V?$Nested@VTypename@@@@@@QAE@XZ"
  71 // X64: call {{.*}} @"??0?$Class@V?$Nested@VTypename@@@@@@QEAA@XZ"
  72
  73   Class<int * const> c_intpc;
  74 // CHECK: call {{.*}} @"??0?$Class@QAH@@QAE@XZ"
  75 // X64: call {{.*}} @"??0?$Class@QEAH@@QEAA@XZ"
  76   Class<int()> c_ft;
  77 // CHECK: call {{.*}} @"??0?$Class@$$A6AHXZ@@QAE@XZ"
  78 // X64: call {{.*}} @"??0?$Class@$$A6AHXZ@@QEAA@XZ"
  79   Class<int[]> c_inti;
  80 // CHECK: call {{.*}} @"??0?$Class@$$BY0A@H@@QAE@XZ"
  81 // X64: call {{.*}} @"??0?$Class@$$BY0A@H@@QEAA@XZ"
  82   Class<int[5]> c_int5;
  83 // CHECK: call {{.*}} @"??0?$Class@$$BY04H@@QAE@XZ"
  84 // X64: call {{.*}} @"??0?$Class@$$BY04H@@QEAA@XZ"
  85   Class<const int[5]> c_intc5;
  86 // CHECK: call {{.*}} @"??0?$Class@$$BY04$$CBH@@QAE@XZ"
  87 // X64: call {{.*}} @"??0?$Class@$$BY04$$CBH@@QEAA@XZ"
  88   Class<int * const[5]> c_intpc5;
  89 // CHECK: call {{.*}} @"??0?$Class@$$BY04QAH@@QAE@XZ"
  90 // X64: call {{.*}} @"??0?$Class@$$BY04QEAH@@QEAA@XZ"
  91
  92   BoolTemplate<false> _false;
  93 // CHECK: call {{.*}} @"??0?$BoolTemplate@$0A@@@QAE@XZ"
  94 // X64: call {{.*}} @"??0?$BoolTemplate@$0A@@@QEAA@XZ"
  95
  96   BoolTemplate<true> _true;
  97   // PR13158
  98   _true.Foo(1);
  99 // CHECK: call {{.*}} @"??0?$BoolTemplate@$00@@QAE@XZ"
 100 // X64: call {{.*}} @"??0?$BoolTemplate@$00@@QEAA@XZ"
 101 // CHECK: call {{.*}} @"??$Foo@H@?$BoolTemplate@$00@@QAEXH@Z"
 102 // X64: call {{.*}} @"??$Foo@H@?$BoolTemplate@$00@@QEAAXH@Z"
 103
 104   IntTemplate<0> zero;
 105 // CHECK: call {{.*}} @"??0?$IntTemplate@$0A@@@QAE@XZ"
 106 // X64: call {{.*}} @"??0?$IntTemplate@$0A@@@QEAA@XZ"
 107
 108   IntTemplate<5> five;
 109 // CHECK: call {{.*}} @"??0?$IntTemplate@$04@@QAE@XZ"
 110 // X64: call {{.*}} @"??0?$IntTemplate@$04@@QEAA@XZ"
 111
 112   IntTemplate<11> eleven;
 113 // CHECK: call {{.*}} @"??0?$IntTemplate@$0L@@@QAE@XZ"
 114 // X64: call {{.*}} @"??0?$IntTemplate@$0L@@@QEAA@XZ"
 115
 116   IntTemplate<256> _256;
 117 // CHECK: call {{.*}} @"??0?$IntTemplate@$0BAA@@@QAE@XZ"
 118 // X64: call {{.*}} @"??0?$IntTemplate@$0BAA@@@QEAA@XZ"
 119
 120   IntTemplate<513> _513;
 121 // CHECK: call {{.*}} @"??0?$IntTemplate@$0CAB@@@QAE@XZ"
 122 // X64: call {{.*}} @"??0?$IntTemplate@$0CAB@@@QEAA@XZ"
 123
 124   IntTemplate<1026> _1026;
 125 // CHECK: call {{.*}} @"??0?$IntTemplate@$0EAC@@@QAE@XZ"
 126 // X64: call {{.*}} @"??0?$IntTemplate@$0EAC@@@QEAA@XZ"
 127
 128   IntTemplate<65535> ffff;
 129 // CHECK: call {{.*}} @"??0?$IntTemplate@$0PPPP@@@QAE@XZ"
 130 // X64: call {{.*}} @"??0?$IntTemplate@$0PPPP@@@QEAA@XZ"
 131
 132   IntTemplate<-1>  neg_1;
 133 // CHECK: call {{.*}} @"??0?$IntTemplate@$0?0@@QAE@XZ"
 134 // X64: call {{.*}} @"??0?$IntTemplate@$0?0@@QEAA@XZ"
 135   IntTemplate<-9>  neg_9;
 136 // CHECK: call {{.*}} @"??0?$IntTemplate@$0?8@@QAE@XZ"
 137 // X64: call {{.*}} @"??0?$IntTemplate@$0?8@@QEAA@XZ"
 138   IntTemplate<-10> neg_10;
 139 // CHECK: call {{.*}} @"??0?$IntTemplate@$0?9@@QAE@XZ"
 140 // X64: call {{.*}} @"??0?$IntTemplate@$0?9@@QEAA@XZ"
 141   IntTemplate<-11> neg_11;
 142 // CHECK: call {{.*}} @"??0?$IntTemplate@$0?L@@@QAE@XZ"
 143 // X64: call {{.*}} @"??0?$IntTemplate@$0?L@@@QEAA@XZ"
 144
 145   UnsignedIntTemplate<4294967295> ffffffff;
 146 // CHECK: call {{.*}} @"??0?$UnsignedIntTemplate@$0PPPPPPPP@@@QAE@XZ"
 147 // X64: call {{.*}} @"??0?$UnsignedIntTemplate@$0PPPPPPPP@@@QEAA@XZ"
 148
 149   LongLongTemplate<-9223372036854775807LL-1LL> int64_min;
 150 // CHECK: call {{.*}} @"??0?$LongLongTemplate@$0?IAAAAAAAAAAAAAAA@@@QAE@XZ"
 151 // X64: call {{.*}} @"??0?$LongLongTemplate@$0?IAAAAAAAAAAAAAAA@@@QEAA@XZ"
 152   LongLongTemplate<9223372036854775807LL>      int64_max;
 153 // CHECK: call {{.*}} @"??0?$LongLongTemplate@$0HPPPPPPPPPPPPPPP@@@QAE@XZ"
 154 // X64: call {{.*}} @"??0?$LongLongTemplate@$0HPPPPPPPPPPPPPPP@@@QEAA@XZ"
 155   UnsignedLongLongTemplate<18446744073709551615ULL> uint64_max;
 156 // CHECK: call {{.*}} @"??0?$UnsignedLongLongTemplate@$0?0@@QAE@XZ"
 157 // X64: call {{.*}} @"??0?$UnsignedLongLongTemplate@$0?0@@QEAA@XZ"
 158   UnsignedLongLongTemplate<(unsigned long long)-1>  uint64_neg_1;
 159 // CHECK: call {{.*}} @"??0?$UnsignedLongLongTemplate@$0?0@@QAE@XZ"
 160 // X64: call {{.*}} @"??0?$UnsignedLongLongTemplate@$0?0@@QEAA@XZ"
 161 }
 162
 163 namespace space {
 164   template<class T> const T& foo(const T& l) { return l; }
 165 }
 166 // CHECK: "??$foo@H@space@@YAABHABH@Z"
 167 // X64: "??$foo@H@space@@YAAEBHAEBH@Z"
 168
 169 void use() {
 170   space::foo(42);
 171 }
 172
 173 // PR13455
 174 typedef void (*FunctionPointer)(void);
 175
 176 template <FunctionPointer function>
 177 void FunctionPointerTemplate() {
 178   function();
 179 }
 180
 181 void spam() {
 182   FunctionPointerTemplate<spam>();
 183 // CHECK: "??$FunctionPointerTemplate@$1?spam@@YAXXZ@@YAXXZ"
 184 // X64: "??$FunctionPointerTemplate@$1?spam@@YAXXZ@@YAXXZ"
 185 }
 186
 187 // Unlike Itanium, there is no character code to indicate an argument pack.
 188 // Tested with MSVC 2013, the first version which supports variadic templates.
 189
 190 template <typename ...Ts> void variadic_fn_template(const Ts &...args);
 191 template <typename... Ts, typename... Us>
 192 void multi_variadic_fn(Ts... ts, Us... us);
 193 template <typename... Ts, typename C, typename... Us>
 194 void multi_variadic_mixed(Ts... ts, C c, Us... us);
 195 void variadic_fn_instantiate() {
 196   variadic_fn_template(0, 1, 3, 4);
 197   variadic_fn_template(0, 1, 'a', "b");
 198
 199   // Directlly consecutive packs are separated by $$Z...
 200   multi_variadic_fn<int, int>(1, 2, 3, 4, 5);
 201   multi_variadic_fn<int, int, int>(1, 2, 3, 4, 5);
 202
 203   // ...but not if another template parameter is between them.
 204   multi_variadic_mixed<int, int>(1, 2, 3);
 205   multi_variadic_mixed<int, int>(1, 2, 3, 4);
 206 }
 207 // CHECK: "??$variadic_fn_template@HHHH@@YAXABH000@Z"
 208 // X64:   "??$variadic_fn_template@HHHH@@YAXAEBH000@Z"
 209 // CHECK: "??$variadic_fn_template@HHD$$BY01D@@YAXABH0ABDAAY01$$CBD@Z"
 210 // X64:   "??$variadic_fn_template@HHD$$BY01D@@YAXAEBH0AEBDAEAY01$$CBD@Z"
 211 // CHECK: "??$multi_variadic_fn@HH$$ZHHH@@YAXHHHHH@Z"
 212 // X64:   "??$multi_variadic_fn@HH$$ZHHH@@YAXHHHHH@Z"
 213 // CHECK: "??$multi_variadic_fn@HHH$$ZHH@@YAXHHHHH@Z"
 214 // X64:   "??$multi_variadic_fn@HHH$$ZHH@@YAXHHHHH@Z"
 215 // CHECK: "??$multi_variadic_mixed@HHH$$V@@YAXHHH@Z"
 216 // X64:   "??$multi_variadic_mixed@HHH$$V@@YAXHHH@Z"
 217 // CHECK: "??$multi_variadic_mixed@HHHH@@YAXHHHH@Z"
 218 // X64:   "??$multi_variadic_mixed@HHHH@@YAXHHHH@Z"
 219
 220 template <typename ...Ts>
 221 struct VariadicClass {
 222   VariadicClass() { }
 223   int x;
 224 };
 225 void variadic_class_instantiate() {
 226   VariadicClass<int, char, bool> a;
 227   VariadicClass<bool, char, int> b;
 228 }
 229 // CHECK: call {{.*}} @"??0?$VariadicClass@HD_N@@QAE@XZ"
 230 // CHECK: call {{.*}} @"??0?$VariadicClass@_NDH@@QAE@XZ"
 231
 232 template <typename T>
 233 struct Second {};
 234
 235 template <typename T, template <class> class>
 236 struct Type {};
 237
 238 template <template <class> class T>
 239 struct Type2 {};
 240
 241 template <template <class> class T, bool B>
 242 struct Thing;
 243
 244 template <template <class> class T>
 245 struct Thing<T, false> { };
 246
 247 template <template <class> class T>
 248 struct Thing<T, true> { };
 249
 250 void template_template_fun(Type<Thing<Second, true>, Second>) { }
 251 // CHECK: "?template_template_fun@@YAXU?$Type@U?$Thing@USecond@@$00@@USecond@@@@@Z"
 252
 253 template <typename T>
 254 void template_template_specialization();
 255
 256 template <>
 257 void template_template_specialization<void (Type<Thing<Second, true>, Second>)>() {
 258 }
 259 // CHECK: "??$template_template_specialization@$$A6AXU?$Type@U?$Thing@USecond@@$00@@USecond@@@@@Z@@YAXXZ"
 260
 261 // PR16788
 262 template <decltype(nullptr)> struct S1 {};
 263 void f(S1<nullptr>) {}
 264 // CHECK: "?f@@YAXU?$S1@$0A@@@@Z"
 265
 266 struct record {
 267   int first;
 268   int second;
 269 };
 270 template <const record &>
 271 struct type1 {
 272 };
 273 extern const record inst;
 274 void recref(type1<inst>) {}
 275 // CHECK: "?recref@@YAXU?$type1@$1?inst@@3Urecord@@B@@@Z"
 276
 277 struct _GUID {};
 278 struct __declspec(uuid("{12345678-1234-1234-1234-1234567890aB}")) uuid;
 279
 280 template <typename T, const _GUID *G = &__uuidof(T)>
 281 struct UUIDType1 {};
 282
 283 template <typename T, const _GUID &G = __uuidof(T)>
 284 struct UUIDType2 {};
 285
 286 void fun(UUIDType1<uuid> a) {}
 287 // CHECK: "?fun@@YAXU?$UUIDType1@Uuuid@@$1?_GUID_12345678_1234_1234_1234_1234567890ab@@3U__s_GUID@@B@@@Z"
 288 void fun(UUIDType2<uuid> b) {}
 289 // CHECK: "?fun@@YAXU?$UUIDType2@Uuuid@@$1?_GUID_12345678_1234_1234_1234_1234567890ab@@3U__s_GUID@@B@@@Z"
 290
 291 template <typename T> struct TypeWithFriendDefinition {
 292   friend void FunctionDefinedWithInjectedName(TypeWithFriendDefinition<T>) {}
 293 };
 294 // CHECK: call {{.*}} @"?FunctionDefinedWithInjectedName@@YAXU?$TypeWithFriendDefinition@H@@@Z"
 295 void CallFunctionDefinedWithInjectedName() {
 296   FunctionDefinedWithInjectedName(TypeWithFriendDefinition<int>());
 297 }
 298 // CHECK: @"?FunctionDefinedWithInjectedName@@YAXU?$TypeWithFriendDefinition@H@@@Z"
 299
 300 // We need to be able to feed GUIDs through a couple rounds of template
 301 // substitution.
 302 template <const _GUID *G>
 303 struct UUIDType3 {
 304   void foo() {}
 305 };
 306 template <const _GUID *G>
 307 struct UUIDType4 : UUIDType3<G> {
 308   void bar() { UUIDType4::foo(); }
 309 };
 310 template struct UUIDType4<&__uuidof(uuid)>;
 311 // CHECK: "?bar@?$UUIDType4@$1?_GUID_12345678_1234_1234_1234_1234567890ab@@3U__s_GUID@@B@@QAEXXZ"
 312 // CHECK: "?foo@?$UUIDType3@$1?_GUID_12345678_1234_1234_1234_1234567890ab@@3U__s_GUID@@B@@QAEXXZ"
 313
 314 #ifdef _WIN64
 315 template<__int128 N> struct Int128 {};
 316 template<unsigned __int128 N> struct UInt128 {};
 317 // X64: define {{.*}} @"?fun_int128@@YAXU?$Int128@$0A@@@@Z"(
 318 void fun_int128(Int128<0>) {}
 319 // X64: define {{.*}} @"?fun_int128@@YAXU?$Int128@$0?0@@@Z"(
 320 void fun_int128(Int128<-1>) {}
 321 // X64: define {{.*}} @"?fun_int128@@YAXU?$Int128@$0DPPPPPPPPPPPPPPPAAAAAAAAAAAAAAAB@@@@Z"(
 322 void fun_int128(Int128<(__int128)9223372036854775807 * (__int128)9223372036854775807>) {}
 323 // X64: define {{.*}} @"?fun_uint128@@YAXU?$UInt128@$0A@@@@Z"(
 324 void fun_uint128(UInt128<0>) {}
 325 // X64: define {{.*}} @"?fun_uint128@@YAXU?$UInt128@$0?0@@@Z"(
 326 void fun_uint128(UInt128<(unsigned __int128)-1>) {}
 327 // X64: define {{.*}} @"?fun_uint128@@YAXU?$UInt128@$0DPPPPPPPPPPPPPPPAAAAAAAAAAAAAAAB@@@@Z"(
 328 void fun_uint128(UInt128<(unsigned __int128)9223372036854775807 * (unsigned __int128)9223372036854775807>) {}
 329 #endif