clang/test/CodeGenCXX/mangle-ms-template-callback.cpp

   1 // RUN: %clang_cc1 -fblocks -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s
   2
   3 template<typename Signature>
   4 class C;
   5
   6 template<typename Ret>
   7 class C<Ret(void)> {};
   8 typedef C<void(void)> C0;
   9
  10 template<typename Ret, typename Arg1>
  11 class C<Ret(Arg1)> {};
  12
  13 template<typename Ret, typename Arg1, typename Arg2>
  14 class C<Ret(Arg1, Arg2)> {};
  15
  16 C0 callback_void;
  17 // CHECK: "?callback_void@@3V?$C@$$A6AXXZ@@A"
  18
  19 volatile C0 callback_void_volatile;
  20 // CHECK: "?callback_void_volatile@@3V?$C@$$A6AXXZ@@C"
  21
  22 class Type {};
  23
  24 C<int(void)> callback_int;
  25 // CHECK: "?callback_int@@3V?$C@$$A6AHXZ@@A"
  26 C<Type(void)> callback_Type;
  27 // CHECK: "?callback_Type@@3V?$C@$$A6A?AVType@@XZ@@A"
  28
  29 C<void(int)> callback_void_int;
  30 // CHECK: "?callback_void_int@@3V?$C@$$A6AXH@Z@@A"
  31 C<int(int)> callback_int_int;
  32 // CHECK: "?callback_int_int@@3V?$C@$$A6AHH@Z@@A"
  33 C<void(Type)> callback_void_Type;
  34 // CHECK: "?callback_void_Type@@3V?$C@$$A6AXVType@@@Z@@A"
  35
  36 void foo(C0 c) {}
  37 // CHECK: "?foo@@YAXV?$C@$$A6AXXZ@@@Z"
  38
  39 // Here be dragons!
  40 // Let's face the magic of template partial specialization...
  41
  42 void function(C<void(void)>) {}
  43 // CHECK: "?function@@YAXV?$C@$$A6AXXZ@@@Z"
  44
  45 template<typename Ret> class C<Ret(*)(void)> {};
  46 void function_pointer(C<void(*)(void)>) {}
  47 // CHECK: "?function_pointer@@YAXV?$C@P6AXXZ@@@Z"
  48
  49 // Block equivalent to the previous definitions.
  50 template<typename Ret> class C<Ret(^)(void)> {};
  51 void block(C<void(^)(void)>) {}
  52 // CHECK: "?block@@YAXV?$C@P_EAXXZ@@@Z"
  53 // FYI blocks are not present in MSVS, so we're free to choose the spec.
  54
  55 template<typename T> class C<void (T::*)(void)> {};
  56 class Z {
  57  public:
  58   void method() {}
  59 };
  60 void member_pointer(C<void (Z::*)(void)>) {}
  61 // CHECK: "?member_pointer@@YAXV?$C@P8Z@@AEXXZ@@@Z"
  62
  63 template<typename T> void bar(T) {}
  64
  65 void call_bar() {
  66   bar<int (*)(int)>(0);
  67 // CHECK: "??$bar@P6AHH@Z@@YAXP6AHH@Z@Z"
  68
  69   bar<int (^)(int)>(0);
  70 // CHECK: "??$bar@P_EAHH@Z@@YAXP_EAHH@Z@Z"
  71 // FYI blocks are not present in MSVS, so we're free to choose the spec.
  72 }
  73
  74 template <void (*Fn)()> void WrapFnPtr() { Fn(); }
  75 template <void (&Fn)()> void WrapFnRef() { Fn(); }
  76 struct Thing {
  77   static void VoidStaticMethod();
  78 };
  79 void VoidFn();
  80 void CallWrapper() {
  81   WrapFnPtr<VoidFn>();
  82   WrapFnRef<VoidFn>();
  83   WrapFnPtr<Thing::VoidStaticMethod>();
  84   WrapFnRef<Thing::VoidStaticMethod>();
  85 }
  86 // CHECK: call {{.*}} @"??$WrapFnPtr@$1?VoidFn@@YAXXZ@@YAXXZ"
  87 // CHECK: call {{.*}} @"??$WrapFnRef@$1?VoidFn@@YAXXZ@@YAXXZ"
  88 // CHECK: call {{.*}} @"??$WrapFnPtr@$1?VoidStaticMethod@Thing@@SAXXZ@@YAXXZ"
  89 // CHECK: call {{.*}} @"??$WrapFnRef@$1?VoidStaticMethod@Thing@@SAXXZ@@YAXXZ"