Lines Matching refs:T19
19 ; RUN: sed -e s/.T19:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK1…
321 ;T19: define void @f() personality void ()* @g {
322 ;T19: entry:
323 ;T19: ret void
324 ;T19: red:
325 ;T19: %redpad = cleanuppad within none []
326 ;T19: unreachable
327 ;T19: red.inner:
328 ;T19: %innerpad = cleanuppad within %redpad []
329 ;T19: invoke void @g() [ "funclet"(token %innerpad) ]
330 ;T19: to label %unreachable unwind label %green
331 ;T19: green:
332 ;T19: %greenswitch = catchswitch within none [label %catch] unwind label %blue
333 ;T19: catch:
334 ;T19: catchpad within %greenswitch [i32 42]
335 ;T19: unreachable
336 ;T19: blue:
337 ;T19: %bluepad = cleanuppad within none []
338 ;T19: cleanupret from %bluepad unwind label %red
339 ;T19: ; CHECK19: EH pads can't handle each other's exceptions
340 ;T19: ; CHECK19-NEXT: %redpad = cleanuppad within none []
341 ;T19: ; CHECK19-NEXT: invoke void @g() [ "funclet"(token %innerpad) ]
342 ;T19: ; CHECK19-NEXT: to label %unreachable unwind label %green
343 ;T19: ; CHECK19-NEXT: %greenswitch = catchswitch within none [label %catch] unwind label %blue
344 ;T19: ; CHECK19-NEXT: %bluepad = cleanuppad within none []
345 ;T19: ; CHECK19-NEXT: cleanupret from %bluepad unwind label %red
346 ;T19: unreachable:
347 ;T19: unreachable
348 ;T19: }