Lines Matching refs:T17

17 ; RUN: sed -e s/.T17:// %s | not opt -verify -disable-output 2>&1 | FileCheck --check-prefix=CHECK1…
271 ;T17: define void @f() personality void ()* @g {
272 ;T17:   entry:
273 ;T17:     ret void
274 ;T17:   switch:
275 ;T17:     %cs = catchswitch within none [label %catch] unwind label %target1
276 ;T17:   catch:
277 ;T17:     %catch.pad = catchpad within %cs [i32 1]
278 ;T17:     invoke void @g() [ "funclet"(token %catch.pad) ]
279 ;T17:       to label %unreachable unwind label %target2
280 ;T17:     ; CHECK17: Unwind edges out of a catch must have the same unwind dest as the parent catch…
281 ;T17:     ; CHECK17-NEXT:  %catch.pad = catchpad within %cs [i32 1]
282 ;T17:     ; CHECK17-NEXT:  invoke void @g() [ "funclet"(token %catch.pad) ]
283 ;T17:     ; CHECK17-NEXT:          to label %unreachable unwind label %target2
284 ;T17:     ; CHECK17-NEXT:  %cs = catchswitch within none [label %catch] unwind label %target1
285 ;T17:   unreachable:
286 ;T17:     unreachable
287 ;T17:   target1:
288 ;T17:     cleanuppad within none []
289 ;T17:     unreachable
290 ;T17:   target2:
291 ;T17:     cleanuppad within none []
292 ;T17:     unreachable
293 ;T17: }