1 ; RUN: sed -e s/.T1:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK1 %s
2 ; RUN: sed -e s/.T2:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK2 %s
3 ; RUN: sed -e s/.T3:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK3 %s
4 ; RUN: sed -e s/.T4:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK4 %s
5 ; RUN: sed -e s/.T5:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK5 %s
6 ; RUN: sed -e s/.T6:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK6 %s
7 ; RUN: sed -e s/.T7:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK7 %s
8 ; RUN: sed -e s/.T8:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK8 %s
9 ; RUN: sed -e s/.T9:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK9 %s
10 ; RUN: sed -e s/.T10:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK10 %s
11 ; RUN: sed -e s/.T11:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK11 %s
12 ; RUN: sed -e s/.T12:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK12 %s
13 ; RUN: sed -e s/.T13:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK13 %s
14 ; RUN: sed -e s/.T14:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK14 %s
15 ; RUN: sed -e s/.T15:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK15 %s
16 ; RUN: sed -e s/.T16:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK16 %s
17 ; RUN: sed -e s/.T17:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK17 %s
21 ;T1: define void @f() {
23 ;T1: catchret from undef to label %next
24 ;T1: ; CHECK1: CatchReturnInst needs to be provided a CatchPad
29 ;T2: define void @f() {
31 ;T2: %x = cleanuppad within none []
32 ;T2: ; catchret's first operand's operator must be catchpad
33 ;T2: catchret from %x to label %entry
34 ;T2: ; CHECK2: CatchReturnInst needs to be provided a CatchPad
37 ;T3: define void @f() {
39 ;T3: cleanupret from undef unwind label %next
40 ;T3: ; CHECK3: CleanupReturnInst needs to be provided a CleanupPad
45 ;T4: define void @f() {
47 ;T4: %cs = catchswitch within none [label %next] unwind to caller
49 ;T4: %x = catchpad within %cs []
50 ;T4: ; cleanupret first operand's operator must be cleanuppad
51 ;T4: cleanupret from %x unwind to caller
52 ;T4: ; CHECK4: CleanupReturnInst needs to be provided a CleanupPad
55 ;T5: define void @f() personality void ()* @g {
59 ;T5: %cs = catchswitch within none [label %catch] unwind to caller
61 ;T5: catchpad within %cs []
64 ;T5: cleanuppad within %cs []
65 ;T5: ; CHECK5: CleanupPadInst has an invalid parent
69 ;T6: define void @f() personality void ()* @g {
73 ;T6: %cs1 = catchswitch within none [label %catch1] unwind label %catch2
74 ;T6: ; CHECK6: Block containg CatchPadInst must be jumped to only by its catchswitch
76 ;T6: catchpad within %cs1 []
79 ;T6: %cs2 = catchswitch within none [label %catch2] unwind to caller
81 ;T6: catchpad within %cs2 []
85 ;T7: define void @f() personality void ()* @g {
89 ;T7: %cs1 = catchswitch within none [label %catch1] unwind to caller
91 ;T7: catchpad within %cs1 []
94 ;T7: %cs2 = catchswitch within %cs1 [label %catch2] unwind to caller
95 ;T7: ; CHECK7: CatchSwitchInst has an invalid parent
97 ;T7: catchpad within %cs2 []
101 ;T8: define void @f() personality void ()* @g {
105 ;T8: %cs1 = catchswitch within none [ label %switch1 ] unwind to caller
106 ;T8: ; CHECK8: CatchSwitchInst handlers must be catchpads
109 ;T9: define void @f() personality void ()* @g {
113 ;T9: %cp = cleanuppad within none []
114 ;T9: invoke void @g() [ "funclet"(token %cp) ]
115 ;T9: to label %exit unwind label %cleanup
116 ;T9: ; CHECK9: EH pad cannot handle exceptions raised within it
117 ;T9: ; CHECK9-NEXT: %cp = cleanuppad within none []
118 ;T9: ; CHECK9-NEXT: invoke void @g() [ "funclet"(token %cp) ]
123 ;T10: define void @f() personality void ()* @g {
127 ;T10: %cp1 = cleanuppad within none []
130 ;T10: %cs = catchswitch within %cp1 [label %catch] unwind to caller
132 ;T10: %catchp1 = catchpad within %cs [i32 1]
135 ;T10: %cp2 = cleanuppad within %catchp1 []
138 ;T10: %cp3 = cleanuppad within %cp2 []
139 ;T10: cleanupret from %cp3 unwind label %switch
140 ;T10: ; CHECK10: EH pad cannot handle exceptions raised within it
141 ;T10: ; CHECK10-NEXT: %cs = catchswitch within %cp1 [label %catch] unwind to caller
142 ;T10: ; CHECK10-NEXT: cleanupret from %cp3 unwind label %switch
145 ;T11: define void @f() personality void ()* @g {
149 ;T11: %cp1 = cleanuppad within none []
152 ;T11: %cp2 = cleanuppad within %cp1 []
155 ;T11: %cs = catchswitch within none [label %catch] unwind label %cleanup2
156 ;T11: ; CHECK11: A single unwind edge may only enter one EH pad
157 ;T11: ; CHECK11-NEXT: %cs = catchswitch within none [label %catch] unwind label %cleanup2
159 ;T11: catchpad within %cs [i32 1]
163 ;T12: define void @f() personality void ()* @g {
167 ;T12: %cp = cleanuppad within none []
168 ;T12: cleanupret from %cp unwind label %switch
169 ;T12: ; CHECK12: A cleanupret must exit its cleanup
170 ;T12: ; CHECK12-NEXT: cleanupret from %cp unwind label %switch
172 ;T12: %cs = catchswitch within %cp [label %catch] unwind to caller
174 ;T12: catchpad within %cs [i32 1]
178 ;T13: define void @f() personality void ()* @g {
182 ;T13: %cs = catchswitch within none [label %catch] unwind label %switch
183 ;T13: ; CHECK13: EH pad cannot handle exceptions raised within it
184 ;T13: ; CHECK13-NEXT: %cs = catchswitch within none [label %catch] unwind label %switch
186 ;T13: catchpad within %cs [i32 0]
190 ;T14: define void @f() personality void ()* @g {
194 ;T14: %cp = cleanuppad within none []
197 ;T14: cleanupret from %cp unwind label %switch
199 ;T14: cleanupret from %cp unwind to caller
200 ;T14: ; CHECK14: Unwind edges out of a funclet pad must have the same unwind dest
201 ;T14: ; CHECK14-NEXT: %cp = cleanuppad within none []
202 ;T14: ; CHECK14-NEXT: cleanupret from %cp unwind label %switch
203 ;T14: ; CHECK14-NEXT: cleanupret from %cp unwind to caller
205 ;T14: %cs = catchswitch within none [label %catch] unwind to caller
207 ;T14: catchpad within %cs [i32 1]
211 ;T15: define void @f() personality void ()* @g {
215 ;T15: %cs = catchswitch within none [label %catch] unwind to caller
217 ;T15: %catch.pad = catchpad within %cs [i32 1]
218 ;T15: invoke void @g() [ "funclet"(token %catch.pad) ]
219 ;T15: to label %unreachable unwind label %target1
223 ;T15: cleanuppad within none []
226 ;T15: cleanuppad within none []
229 ;T15: %nested.pad.1 = cleanuppad within %catch.pad []
232 ;T15: %nested.pad.2 = cleanuppad within %nested.pad.1 []
233 ;T15: cleanupret from %nested.pad.2 unwind label %target2
234 ;T15: ; CHECK15: Unwind edges out of a funclet pad must have the same unwind dest
235 ;T15: ; CHECK15-NEXT: %catch.pad = catchpad within %cs [i32 1]
236 ;T15: ; CHECK15-NEXT: cleanupret from %nested.pad.2 unwind label %target2
237 ;T15: ; CHECK15-NEXT: invoke void @g() [ "funclet"(token %catch.pad) ]
238 ;T15: ; CHECK15-NEXT: to label %unreachable unwind label %target1
241 ;T16: define void @f() personality void ()* @g {
245 ;T16: %cs = catchswitch within none [label %catch] unwind to caller
247 ;T16: %catch.pad = catchpad within %cs [i32 1]
248 ;T16: invoke void @g() [ "funclet"(token %catch.pad) ]
249 ;T16: to label %unreachable unwind label %target1
250 ;T16: ; CHECK16: Unwind edges out of a catch must have the same unwind dest as the parent catchswitch
251 ;T16: ; CHECK16-NEXT: %catch.pad = catchpad within %cs [i32 1]
252 ;T16: ; CHECK16-NEXT: invoke void @g() [ "funclet"(token %catch.pad) ]
253 ;T16: ; CHECK16-NEXT: to label %unreachable unwind label %target1
254 ;T16: ; CHECK16-NEXT: %cs = catchswitch within none [label %catch] unwind to caller
258 ;T16: cleanuppad within none []
262 ;T17: define void @f() personality void ()* @g {
266 ;T17: %cs = catchswitch within none [label %catch] unwind label %target1
268 ;T17: %catch.pad = catchpad within %cs [i32 1]
269 ;T17: invoke void @g() [ "funclet"(token %catch.pad) ]
270 ;T17: to label %unreachable unwind label %target2
271 ;T17: ; CHECK17: Unwind edges out of a catch must have the same unwind dest as the parent catchswitch
272 ;T17: ; CHECK17-NEXT: %catch.pad = catchpad within %cs [i32 1]
273 ;T17: ; CHECK17-NEXT: invoke void @g() [ "funclet"(token %catch.pad) ]
274 ;T17: ; CHECK17-NEXT: to label %unreachable unwind label %target2
275 ;T17: ; CHECK17-NEXT: %cs = catchswitch within none [label %catch] unwind label %target1
279 ;T17: cleanuppad within none []
282 ;T17: cleanuppad within none []