clang/test/CodeGenCXX/microsoft-abi-throw.cpp

   1 // RUN: %clang_cc1 -emit-llvm -o - -triple=i386-pc-win32 -std=c++11 %s -fcxx-exceptions -fms-extensions | FileCheck %s
   2
   3 // CHECK-DAG: @"??_R0?AUY@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUY@@\00" }, comdat
   4 // CHECK-DAG: @"_CT??_R0?AUY@@@8??0Y@@QAE@ABU0@@Z8" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 4, ptr @"??_R0?AUY@@@8", i32 0, i32 -1, i32 0, i32 8, ptr @"??0Y@@QAE@ABU0@@Z" }, section ".xdata", comdat
   5 // CHECK-DAG: @"??_R0?AUZ@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUZ@@\00" }, comdat
   6 // CHECK-DAG: @"_CT??_R0?AUZ@@@81" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUZ@@@8", i32 0, i32 -1, i32 0, i32 1, ptr null }, section ".xdata", comdat
   7 // CHECK-DAG: @"??_R0?AUW@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUW@@\00" }, comdat
   8 // CHECK-DAG: @"_CT??_R0?AUW@@@8??0W@@QAE@ABU0@@Z44" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 4, ptr @"??_R0?AUW@@@8", i32 4, i32 -1, i32 0, i32 4, ptr @"??0W@@QAE@ABU0@@Z" }, section ".xdata", comdat
   9 // CHECK-DAG: @"??_R0?AUM@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUM@@\00" }, comdat
  10 // CHECK-DAG: @"_CT??_R0?AUM@@@818" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUM@@@8", i32 8, i32 -1, i32 0, i32 1, ptr null }, section ".xdata", comdat
  11 // CHECK-DAG: @"??_R0?AUV@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUV@@\00" }, comdat
  12 // CHECK-DAG: @"_CT??_R0?AUV@@@81044" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUV@@@8", i32 0, i32 4, i32 4, i32 1, ptr null }, section ".xdata", comdat
  13 // CHECK-DAG: @"_CTA5?AUY@@" = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.5 { i32 5, [5 x ptr] [ptr @"_CT??_R0?AUY@@@8??0Y@@QAE@ABU0@@Z8", ptr @"_CT??_R0?AUZ@@@81", ptr @"_CT??_R0?AUW@@@8??0W@@QAE@ABU0@@Z44", ptr @"_CT??_R0?AUM@@@818", ptr @"_CT??_R0?AUV@@@81044"] }, section ".xdata", comdat
  14 // CHECK-DAG: @"_TI5?AUY@@" = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 0, ptr @"??_DY@@QAEXXZ", ptr null, ptr @"_CTA5?AUY@@" }, section ".xdata", comdat
  15 // CHECK-DAG: @"_CT??_R0?AUDefault@@@8??_ODefault@@QAEXAAU0@@Z1" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUDefault@@@8", i32 0, i32 -1, i32 0, i32 1, ptr @"??_ODefault@@QAEXAAU0@@Z" }, section ".xdata", comdat
  16 // CHECK-DAG: @"_CT??_R0?AUDeletedCopy@@@81" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUDeletedCopy@@@8", i32 0, i32 -1, i32 0, i32 1, ptr null }, section ".xdata", comdat
  17 // CHECk-DAG: @"_CT??_R0?AUMoveOnly@@@84" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUMoveOnly@@@8", i32 0, i321-1, i32 0, i32 4, ptr null }, section ".xdata", comda
  18 // CHECK-DAG: @"_CT??_R0?AUVariadic@@@8??_OVariadic@@QAEXAAU0@@Z1" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUVariadic@@@8", i32 0, i32 -1, i32 0, i32 1, ptr @"??_OVariadic@@QAEXAAU0@@Z" }, section ".xdata", comdat
  19 // CHECK-DAG: @"_CT??_R0?AUTemplateWithDefault@@@8??$?_OH@TemplateWithDefault@@QAEXAAU0@@Z1" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUTemplateWithDefault@@@8", i32 0, i32 -1, i32 0, i32 1, ptr @"??$?_OH@TemplateWithDefault@@QAEXAAU0@@Z" }, section ".xdata", comdat
  20 // CHECK-DAG: @"_CTA2$$T" = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.2 { i32 2, [2 x ptr] [ptr @"_CT??_R0$$T@84", ptr @"_CT??_R0PAX@84"] }, section ".xdata", comdat
  21 // CHECK-DAG: @"_CT??_R0P6AXXZ@84" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 1, ptr @"??_R0P6AXXZ@8", i32 0, i32 -1, i32 0, i32 4, ptr null }, section ".xdata", comdat
  22 // CHECK-DAG: @_CTA1P6AXXZ = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.1 { i32 1, [1 x ptr] [ptr @"_CT??_R0P6AXXZ@84"] }, section ".xdata", comdat
  23 // CHECK-DAG: @_TI1P6AXXZ = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 0, ptr null, ptr null, ptr @_CTA1P6AXXZ }, section ".xdata", comdat
  24 // CHECK-DAG: @_TIU2PAPFAH = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 4, ptr null, ptr null, ptr @_CTA2PAPFAH }, section ".xdata", comdat
  25 // CHECK-DAG: @_CTA2PAPFAH = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.2 { i32 2, [2 x ptr] [ptr @"_CT??_R0PAPFAH@84", ptr @"_CT??_R0PAX@84"] }, section ".xdata", comdat
  26 // CHECK-DAG: @"_TI1?AUFoo@?A0x{{[^@]*}}@@" = internal unnamed_addr constant %eh.ThrowInfo { i32 0, ptr null, ptr null, ptr @"_CTA1?AUFoo@?A0x{{[^@]*}}@@" }, section ".xdata"
  27
  28
  29 struct N { ~N(); };
  30 struct M : private N {};
  31 struct X {};
  32 struct Z {};
  33 struct V : private X {};
  34 struct W : M, virtual V {};
  35 struct Y : Z, W, virtual V {};
  36
  37 void f(const Y &y) {
  38   // CHECK-LABEL: @"?f@@YAXABUY@@@Z"
  39   // CHECK: call x86_thiscallcc noundef ptr @"??0Y@@QAE@ABU0@@Z"(ptr {{[^,]*}} %[[mem:.*]], ptr
  40   // CHECK: call void @_CxxThrowException(ptr %[[mem]], ptr @"_TI5?AUY@@")
  41   throw y;
  42 }
  43
  44 void g(const int *const *y) {
  45   // CHECK-LABEL: @"?g@@YAXPBQBH@Z"
  46   // CHECK: call void @_CxxThrowException(ptr %{{.*}}, ptr @_TIC2PAPBH)
  47   throw y;
  48 }
  49
  50 void h(__unaligned int * __unaligned *y) {
  51   // CHECK-LABEL: @"?h@@YAXPFAPFAH@Z"
  52   // CHECK: call void @_CxxThrowException(ptr %{{.*}}, ptr @_TIU2PAPFAH)
  53   throw y;
  54 }
  55
  56 struct Default {
  57   Default(Default &, int = 42);
  58 };
  59
  60 // CHECK-LABEL: @"??_ODefault@@QAEXAAU0@@Z"
  61 // CHECK: %[[src_addr:.*]] = alloca
  62 // CHECK: %[[this_addr:.*]] = alloca
  63 // CHECK: store {{.*}} %src, {{.*}} %[[src_addr]], align 4
  64 // CHECK: store {{.*}} %this, {{.*}} %[[this_addr]], align 4
  65 // CHECK: %[[this:.*]] = load {{.*}} %[[this_addr]]
  66 // CHECK: %[[src:.*]] = load {{.*}} %[[src_addr]]
  67 // CHECK: call x86_thiscallcc {{.*}} @"??0Default@@QAE@AAU0@H@Z"({{.*}} %[[this]], {{.*}} %[[src]], i32 noundef 42)
  68 // CHECK: ret void
  69
  70 void h(Default &d) {
  71   throw d;
  72 }
  73
  74 struct DeletedCopy {
  75   DeletedCopy();
  76   DeletedCopy(DeletedCopy &&);
  77   DeletedCopy(const DeletedCopy &) = delete;
  78 };
  79 void throwDeletedCopy() { throw DeletedCopy(); }
  80
  81
  82 struct MoveOnly {
  83   MoveOnly();
  84   MoveOnly(MoveOnly &&);
  85   ~MoveOnly();
  86   MoveOnly(const MoveOnly &) = delete;
  87
  88   // For some reason this subobject was important for reproducing PR43680
  89   struct HasCopy {
  90     HasCopy();
  91     HasCopy(const HasCopy &o);
  92     ~HasCopy();
  93     int x;
  94   } sub;
  95 };
  96
  97 void throwMoveOnly() { throw MoveOnly(); }
  98
  99 struct Variadic {
 100   Variadic(Variadic &, ...);
 101 };
 102
 103 void i(Variadic &v) {
 104   throw v;
 105 }
 106
 107 // CHECK-LABEL: @"??_OVariadic@@QAEXAAU0@@Z"
 108 // CHECK:  %[[src_addr:.*]] = alloca
 109 // CHECK:  %[[this_addr:.*]] = alloca
 110 // CHECK:  store {{.*}} %src, {{.*}} %[[src_addr:.*]], align
 111 // CHECK:  store {{.*}} %this, {{.*}} %[[this_addr:.*]], align
 112 // CHECK:  %[[this:.*]] = load {{.*}} %[[this_addr]]
 113 // CHECK:  %[[src:.*]] = load {{.*}} %[[src_addr]]
 114 // CHECK:  call {{.*}} @"??0Variadic@@QAA@AAU0@ZZ"({{.*}} %[[this]], {{.*}} %[[src]])
 115 // CHECK:  ret void
 116
 117 struct TemplateWithDefault {
 118   template <typename T>
 119   static int f() {
 120     return 0;
 121   }
 122   template <typename T = int>
 123   TemplateWithDefault(TemplateWithDefault &, T = f<T>());
 124 };
 125
 126 void j(TemplateWithDefault &twd) {
 127   throw twd;
 128 }
 129
 130
 131 void h() {
 132   throw nullptr;
 133 }
 134
 135 namespace std {
 136 template <typename T>
 137 void *__GetExceptionInfo(T);
 138 }
 139 using namespace std;
 140
 141 void *GetExceptionInfo_test0() {
 142 // CHECK-LABEL: @"?GetExceptionInfo_test0@@YAPAXXZ"
 143 // CHECK:  ret ptr @_TI1H
 144   return __GetExceptionInfo(0);
 145 }
 146
 147 void *GetExceptionInfo_test1() {
 148 // CHECK-LABEL: @"?GetExceptionInfo_test1@@YAPAXXZ"
 149 // CHECK:  ret ptr @_TI1P6AXXZ
 150   return __GetExceptionInfo<void (*)()>(&h);
 151 }
 152
 153 // PR36327: Try an exception type with no linkage.
 154 namespace { struct Foo { } foo_exc; }
 155
 156 void *GetExceptionInfo_test2() {
 157 // CHECK-LABEL: @"?GetExceptionInfo_test2@@YAPAXXZ"
 158 // CHECK:  ret ptr @"_TI1?AUFoo@?A0x{{[^@]*}}@@"
 159   return __GetExceptionInfo(foo_exc);
 160 }