161 lines · cpp
1// RUN: %clang_cc1 -emit-llvm -o - -triple=i386-pc-win32 -std=c++11 %s -fcxx-exceptions -fms-extensions | FileCheck %s2 3// CHECK-DAG: @"??_R0?AUY@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUY@@\00" }, comdat4// 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", comdat5// CHECK-DAG: @"??_R0?AUZ@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUZ@@\00" }, comdat6// 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", comdat7// CHECK-DAG: @"??_R0?AUW@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUW@@\00" }, comdat8// 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", comdat9// CHECK-DAG: @"??_R0?AUM@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUM@@\00" }, comdat10// 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", comdat11// CHECK-DAG: @"??_R0?AUV@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { ptr @"??_7type_info@@6B@", ptr null, [8 x i8] c".?AUV@@\00" }, comdat12// 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", comdat13// 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", comdat14// CHECK-DAG: @"_TI5?AUY@@" = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 0, ptr @"??_DY@@QAEXXZ", ptr null, ptr @"_CTA5?AUY@@" }, section ".xdata", comdat15// 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", comdat16// 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", comdat17// CHECK-DAG: @"_CT??_R0?AUMoveOnly@@@84" = linkonce_odr unnamed_addr constant %eh.CatchableType { i32 0, ptr @"??_R0?AUMoveOnly@@@8", i32 0, i32 -1, i32 0, i32 4, ptr null }, section ".xdata", comdat18// 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", comdat19// 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", comdat20// 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", comdat21// 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", comdat22// CHECK-DAG: @_CTA1P6AXXZ = linkonce_odr unnamed_addr constant %eh.CatchableTypeArray.1 { i32 1, [1 x ptr] [ptr @"_CT??_R0P6AXXZ@84"] }, section ".xdata", comdat23// CHECK-DAG: @_TI1P6AXXZ = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 0, ptr null, ptr null, ptr @_CTA1P6AXXZ }, section ".xdata", comdat24// CHECK-DAG: @_TIU2PAPFAH = linkonce_odr unnamed_addr constant %eh.ThrowInfo { i32 4, ptr null, ptr null, ptr @_CTA2PAPFAH }, section ".xdata", comdat25// 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", comdat26// 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 29struct N { ~N(); };30struct M : private N {};31struct X {};32struct Z {};33struct V : private X {};34struct W : M, virtual V {};35struct Y : Z, W, virtual V {};36 37void f(const Y &y) {38 // CHECK-LABEL: @"?f@@YAXABUY@@@Z"39 // CHECK: call x86_thiscallcc noundef ptr @"??0Y@@QAE@ABU0@@Z"(ptr {{[^,]*}} %[[mem:.*]], ptr40 // CHECK: call void @_CxxThrowException(ptr %[[mem]], ptr @"_TI5?AUY@@")41 throw y;42}43 44void g(const int *const *y) {45 // CHECK-LABEL: @"?g@@YAXPBQBH@Z"46 // CHECK: call void @_CxxThrowException(ptr %{{.*}}, ptr @_TIC2PAPBH)47 throw y;48}49 50void h(__unaligned int * __unaligned *y) {51 // CHECK-LABEL: @"?h@@YAXPFAPFAH@Z"52 // CHECK: call void @_CxxThrowException(ptr %{{.*}}, ptr @_TIU2PAPFAH)53 throw y;54}55 56struct Default {57 Default(Default &, int = 42);58};59 60// CHECK-LABEL: @"??_ODefault@@QAEXAAU0@@Z"61// CHECK: %[[src_addr:.*]] = alloca62// CHECK: %[[this_addr:.*]] = alloca63// CHECK: store {{.*}} %src, {{.*}} %[[src_addr]], align 464// CHECK: store {{.*}} %this, {{.*}} %[[this_addr]], align 465// 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 void69 70void h(Default &d) {71 throw d;72}73 74struct DeletedCopy {75 DeletedCopy();76 DeletedCopy(DeletedCopy &&);77 DeletedCopy(const DeletedCopy &) = delete;78};79void throwDeletedCopy() { throw DeletedCopy(); }80 81 82struct MoveOnly {83 MoveOnly();84 MoveOnly(MoveOnly &&);85 ~MoveOnly();86 MoveOnly(const MoveOnly &) = delete;87 88 // For some reason this subobject was important for reproducing PR4368089 struct HasCopy {90 HasCopy();91 HasCopy(const HasCopy &o);92 ~HasCopy();93 int x;94 } sub;95};96 97void throwMoveOnly() { throw MoveOnly(); }98 99struct Variadic {100 Variadic(Variadic &, ...);101};102 103void i(Variadic &v) {104 throw v;105}106 107// CHECK-LABEL: @"??_OVariadic@@QAEXAAU0@@Z"108// CHECK: %[[src_addr:.*]] = alloca109// CHECK: %[[this_addr:.*]] = alloca110// CHECK: store {{.*}} %src, {{.*}} %[[src_addr:.*]], align111// CHECK: store {{.*}} %this, {{.*}} %[[this_addr:.*]], align112// CHECK: %[[this:.*]] = load {{.*}} %[[this_addr]]113// CHECK: %[[src:.*]] = load {{.*}} %[[src_addr]]114// CHECK: call {{.*}} @"??0Variadic@@QAA@AAU0@ZZ"({{.*}} %[[this]], {{.*}} %[[src]])115// CHECK: ret void116 117struct 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 126void j(TemplateWithDefault &twd) {127 throw twd;128}129 130 131void h() {132 throw nullptr;133}134 135namespace std {136template <typename T>137void *__GetExceptionInfo(T);138}139using namespace std;140 141void *GetExceptionInfo_test0() {142// CHECK-LABEL: @"?GetExceptionInfo_test0@@YAPAXXZ"143// CHECK: ret ptr @_TI1H144 return __GetExceptionInfo(0);145}146 147void *GetExceptionInfo_test1() {148// CHECK-LABEL: @"?GetExceptionInfo_test1@@YAPAXXZ"149// CHECK: ret ptr @_TI1P6AXXZ150 return __GetExceptionInfo<void (*)()>(&h);151}152 153// PR36327: Try an exception type with no linkage.154namespace { struct Foo { } foo_exc; }155 156void *GetExceptionInfo_test2() {157// CHECK-LABEL: @"?GetExceptionInfo_test2@@YAPAXXZ"158// CHECK: ret ptr @"_TI1?AUFoo@?A0x{{[^@]*}}@@"159 return __GetExceptionInfo(foo_exc);160}161