57 lines · plain
1; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=instructions-to-return --test FileCheck --test-arg --check-prefix=INTERESTING --test-arg %s --test-arg --input-file %s -o %t2; RUN: FileCheck --check-prefix=RESULT %s < %t3 4@gv = global i32 0, align 45 6 7define i32 @has_invoke_user(ptr %arg) {8 %load = load i32, ptr %arg9 store i32 %load, ptr @gv10 ret i32 911}12 13declare i32 @__gxx_personality_v0(...)14 15; INTERESTING-LABEL: @invoker_keep_invoke(16; INTERESTING: %invoke17; RESULT: %invoke = invoke i32 @has_invoke_user(ptr %arg)18define void @invoker_keep_invoke(ptr %arg) personality ptr @__gxx_personality_v0 {19bb:20 %invoke = invoke i32 @has_invoke_user(ptr %arg)21 to label %bb3 unwind label %bb122 23bb1:24 landingpad { ptr, i32 }25 catch ptr null26 ret void27 28bb3:29 store i32 %invoke, ptr null30 ret void31}32 33; INTERESTING-LABEL: @invoker_drop_invoke(34; INTERESTING: %add = add i3235 36; RESULT-LABEL: define i32 @invoker_drop_invoke(i32 %arg0, ptr %arg1) personality ptr @__gxx_personality_v0 {37; RESULT-NEXT: bb:38; RESULT-NEXT: %add = add i32 %arg0, 939; RESULT-NEXT: ret i32 %add40; RESULT-NEXT: }41define void @invoker_drop_invoke(i32 %arg0, ptr %arg1) personality ptr @__gxx_personality_v0 {42bb:43 %add = add i32 %arg0, 944 %invoke = invoke i32 @has_invoke_user(ptr %arg1)45 to label %bb3 unwind label %bb146 47bb1:48 landingpad { ptr, i32 }49 catch ptr null50 br label %bb351 52bb3:53 %phi = phi i32 [ %invoke, %bb ], [ %add, %bb1 ]54 store i32 %phi, ptr null55 ret void56}57