|
150
|
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-passes \
|
|
|
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 dso_local 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 dso_local void @catch_int()
|
|
|
50 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor2* @"??_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 dso_local void @catch_int_unnamed()
|
|
|
72 // WIN64: catchpad within %{{.*}} [%rtti.TypeDescriptor2* @"??_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 dso_local void @catch_a_byval()
|
|
|
98 // WIN64: %[[e_addr:[^ ]*]] = alloca %struct.A
|
|
|
99 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor7* @"??_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 dso_local void @catch_a_ref()
|
|
|
113 // WIN64: %[[e_addr:[^ ]*]] = alloca %struct.A*
|
|
|
114 // WIN64: catchpad within %{{[^ ]*}} [%rtti.TypeDescriptor7* @"??_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 dso_local 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 dso_local 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* @"??_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* @"??_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
|
