1; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s 3 4; CHECK-INTERESTINGNESS: define i32 @maybe_throwing_callee( 5; CHECK-FINAL: define i32 @maybe_throwing_callee() 6define i32 @maybe_throwing_callee(i32 %arg) { 7; CHECK-ALL: call void @thrown() 8; CHECK-INTERESTINGNESS: ret i32 9; CHECK-FINAL: ret i32 undef 10 call void @thrown() 11 ret i32 %arg 12} 13 14; CHECK-ALL: declare void @did_not_throw(i32) 15declare void @did_not_throw(i32) 16 17; CHECK-ALL: declare void @thrown() 18declare void @thrown() 19 20; CHECK-INTERESTINGNESS: define void @caller( 21; CHECK-FINAL: define void @caller(i32 %arg) 22define void @caller(i32 %arg) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 23; CHECK-ALL: bb: 24bb: 25; CHECK-INTERESTINGNESS: %i0 = invoke i32 26; CHECK-FINAL: %i0 = invoke i32 bitcast (i32 ()* @maybe_throwing_callee to i32 (i32)*)(i32 %arg) 27; CHECK-ALL: to label %bb3 unwind label %bb1 28 %i0 = invoke i32 @maybe_throwing_callee(i32 %arg) 29 to label %bb3 unwind label %bb1 30 31; CHECK-ALL: bb1: 32bb1: 33; CHECK-ALL: landingpad { i8*, i32 } 34; CHECK-ALL: catch i8* null 35; CHECK-ALL: call void @thrown() 36; CHECK-ALL: br label %bb4 37 landingpad { i8*, i32 } 38 catch i8* null 39 call void @thrown() 40 br label %bb4 41 42; CHECK-ALL: bb3: 43bb3: 44; CHECK-ALL: call void @did_not_throw(i32 %i0) 45; CHECK-ALL: br label %bb4 46 call void @did_not_throw(i32 %i0) 47 br label %bb4 48 49; CHECK-ALL: bb4: 50; CHECK-ALL: ret void 51bb4: 52 ret void 53} 54 55declare i32 @__gxx_personality_v0(...) 56