Lines Matching refs:T16
16 ; RUN: sed -e s/.T16:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK1…
250 ;T16: define void @f() personality void ()* @g {
251 ;T16: entry:
252 ;T16: ret void
253 ;T16: switch:
254 ;T16: %cs = catchswitch within none [label %catch] unwind to caller
255 ;T16: catch:
256 ;T16: %catch.pad = catchpad within %cs [i32 1]
257 ;T16: invoke void @g() [ "funclet"(token %catch.pad) ]
258 ;T16: to label %unreachable unwind label %target1
259 ;T16: ; CHECK16: Unwind edges out of a catch must have the same unwind dest as the parent catch…
260 ;T16: ; CHECK16-NEXT: %catch.pad = catchpad within %cs [i32 1]
261 ;T16: ; CHECK16-NEXT: invoke void @g() [ "funclet"(token %catch.pad) ]
262 ;T16: ; CHECK16-NEXT: to label %unreachable unwind label %target1
263 ;T16: ; CHECK16-NEXT: %cs = catchswitch within none [label %catch] unwind to caller
264 ;T16: unreachable:
265 ;T16: unreachable
266 ;T16: target1:
267 ;T16: cleanuppad within none []
268 ;T16: unreachable
269 ;T16: }