Lines Matching refs:T15

15 ; RUN: sed -e s/.T15:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK1…
220 ;T15: define void @f() personality void ()* @g {
221 ;T15:   entry:
222 ;T15:     ret void
223 ;T15:   switch:
224 ;T15:     %cs = catchswitch within none [label %catch] unwind to caller
225 ;T15:   catch:
226 ;T15:     %catch.pad = catchpad within %cs [i32 1]
227 ;T15:     invoke void @g() [ "funclet"(token %catch.pad) ]
228 ;T15:       to label %unreachable unwind label %target1
229 ;T15:   unreachable:
230 ;T15:     unreachable
231 ;T15:   target1:
232 ;T15:     cleanuppad within none []
233 ;T15:     unreachable
234 ;T15:   target2:
235 ;T15:     cleanuppad within none []
236 ;T15:     unreachable
237 ;T15:   nested.1:
238 ;T15:     %nested.pad.1 = cleanuppad within %catch.pad []
239 ;T15:     unreachable
240 ;T15:   nested.2:
241 ;T15:     %nested.pad.2 = cleanuppad within %nested.pad.1 []
242 ;T15:     cleanupret from %nested.pad.2 unwind label %target2
243 ;T15:     ; CHECK15: Unwind edges out of a funclet pad must have the same unwind dest
244 ;T15:     ; CHECK15-NEXT: %catch.pad = catchpad within %cs [i32 1]
245 ;T15:     ; CHECK15-NEXT: cleanupret from %nested.pad.2 unwind label %target2
246 ;T15:     ; CHECK15-NEXT: invoke void @g() [ "funclet"(token %catch.pad) ]
247 ;T15:     ; CHECK15-NEXT:   to label %unreachable unwind label %target1
248 ;T15: }