1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-pc-windows-msvc \ 2 // RUN: -mconstructor-aliases -fexceptions -fcxx-exceptions \ 3 // RUN: -O1 -disable-llvm-optzns \ 4 // RUN: | FileCheck -check-prefix WIN64 %s 5 6 extern "C" void might_throw(); 7 8 // Simplify the generated IR with noexcept. 9 extern "C" void recover() noexcept(true); 10 extern "C" void handle_exception(void *e) noexcept(true); 11 12 extern "C" void catch_all() { 13 try { 14 might_throw(); 15 } catch (...) { 16 recover(); 17 } 18 } 19 20 // WIN64-LABEL: define void @catch_all() 21 // WIN64: invoke void @might_throw() 22 // WIN64-NEXT: to label %[[cont:[^ ]*]] unwind label %[[catchswitch_lpad:[^ ]*]] 23 // 24 // WIN64: [[catchswitch_lpad]] 25 // WIN64: %[[catchswitch:[^ ]*]] = catchswitch within none [label %[[catchpad_lpad:[^ ]*]]] unwind to caller 26 // 27 // WIN64: [[catchpad_lpad]] 28 // WIN64: catchpad within %[[catchswitch]] [i8* null, i32 64, i8* null] 29 // WIN64: call void @recover() 30 // WIN64: catchret from %{{.*}} to label %[[catchret:[^ ]*]] 31 // 32 // WIN64: [[catchret]] 33 // WIN64-NEXT: br label %[[ret:[^ ]*]] 34 // 35 // WIN64: [[ret]] 36 // WIN64: ret void 37 // 38 // WIN64: [[cont]] 39 // WIN64: br label %[[ret]] 40 41 extern "C" void catch_int() { 42 try { 43 might_throw(); 44 } catch (int e) { 45 handle_exception(&e); 46 } 47 } 48 49 // WIN64-LABEL: define void @catch_int() 50 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i32* %[[e_addr:[^\]]*]]] 51 // 52 // The catchpad instruction starts the lifetime of 'e'. Unfortunately, that 53 // leaves us with nowhere to put lifetime.start, so we don't emit lifetime 54 // markers for now. 55 // WIN64-NOT: lifetime.start 56 // 57 // WIN64: %[[e_i8:[^ ]*]] = bitcast i32* %[[e_addr]] to i8* 58 // WIN64-NOT: lifetime.start 59 // WIN64: call void @handle_exception 60 // WIN64-SAME: (i8* %[[e_i8]]) 61 // WIN64-NOT: lifetime.end 62 // WIN64: catchret 63 64 extern "C" void catch_int_unnamed() { 65 try { 66 might_throw(); 67 } catch (int) { 68 } 69 } 70 71 // WIN64-LABEL: define void @catch_int_unnamed() 72 // WIN64: catchpad within %{{.*}} [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i8* null] 73 // WIN64: catchret 74 75 struct A { 76 A(); 77 A(const A &o); 78 ~A(); 79 int a; 80 }; 81 82 struct B : A { 83 B(); 84 B(const B &o); 85 ~B(); 86 int b; 87 }; 88 89 extern "C" void catch_a_byval() { 90 try { 91 might_throw(); 92 } catch (A e) { 93 handle_exception(&e); 94 } 95 } 96 97 // WIN64-LABEL: define void @catch_a_byval() 98 // WIN64: %[[e_addr:[^ ]*]] = alloca %struct.A 99 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8", i32 0, %struct.A* %[[e_addr]]] 100 // WIN64: %[[e_i8:[^ ]*]] = bitcast %struct.A* %[[e_addr]] to i8* 101 // WIN64: call void @handle_exception(i8* %[[e_i8]]) 102 // WIN64: catchret 103 104 extern "C" void catch_a_ref() { 105 try { 106 might_throw(); 107 } catch (A &e) { 108 handle_exception(&e); 109 } 110 } 111 112 // WIN64-LABEL: define void @catch_a_ref() 113 // WIN64: %[[e_addr:[^ ]*]] = alloca %struct.A* 114 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8", i32 8, %struct.A** %[[e_addr]]] 115 // WIN64: %[[eptr:[^ ]*]] = load %struct.A*, %struct.A** %[[e_addr]] 116 // WIN64: %[[eptr_i8:[^ ]*]] = bitcast %struct.A* %[[eptr]] to i8* 117 // WIN64: call void @handle_exception(i8* %[[eptr_i8]]) 118 // WIN64: catchret 119 120 extern "C" void fn_with_exc_spec() throw(int) { 121 might_throw(); 122 } 123 124 // WIN64-LABEL: define void @fn_with_exc_spec() 125 // WIN64: call void @might_throw() 126 // WIN64-NEXT: ret void 127 128 extern "C" void catch_nested() { 129 try { 130 might_throw(); 131 } catch (int) { 132 try { 133 might_throw(); 134 } catch (int) { 135 might_throw(); 136 } 137 } 138 } 139 140 // WIN64-LABEL: define void @catch_nested() 141 // WIN64: invoke void @might_throw() 142 // WIN64-NEXT: to label %{{.*}} unwind label %[[catchswitch_outer:[^ ]*]] 143 // 144 // WIN64: [[catchswitch_outer]] 145 // WIN64: %[[catchswitch_outer_scope:[^ ]*]] = catchswitch within none [label %[[catch_int_outer:[^ ]*]]] unwind to caller 146 // 147 // WIN64: [[catch_int_outer]] 148 // WIN64: %[[catchpad:[^ ]*]] = catchpad within %[[catchswitch_outer_scope]] [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i8* null] 149 // WIN64: invoke void @might_throw() 150 // WIN64-NEXT: to label %[[cont2:[^ ]*]] unwind label %[[catchswitch_inner:[^ ]*]] 151 // 152 // WIN64: [[catchswitch_inner]] 153 // WIN64: %[[catchswitch_inner_scope:[^ ]*]] = catchswitch within %[[catchpad]] [label %[[catch_int_inner:[^ ]*]]] unwind to caller 154 // 155 // WIN64: [[catch_int_inner]] 156 // WIN64: catchpad within %[[catchswitch_inner_scope]] [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i8* null] 157 // WIN64-NEXT: call void @might_throw() 158 // WIN64: catchret {{.*}} to label %[[catchret2:[^ ]*]] 159 // 160 // WIN64: [[catchret2]] 161 // WIN64: catchret {{.*}} to label %[[mainret:[^ ]*]] 162 // 163 // WIN64: [[mainret]] 164 // WIN64: ret void 165
