mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-27 19:46:05 +00:00
a455c91601
Main thing I was unsure about was to whether try to delete the now dead landing blocks, or leave that for the unreachable block reduction. Personality function is not reduced, but that should be a separate reduction on the function. Fixes #58815
130 lines
4.5 KiB
LLVM
130 lines
4.5 KiB
LLVM
; Test the invoke reduction standalone, dead blocks are not removed
|
|
; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=invokes --test FileCheck --test-arg --check-prefixes=CHECK,INTERESTING --test-arg %s --test-arg --input-file %s -o %t.0
|
|
; RUN: FileCheck --check-prefixes=CHECK,RESULT,RESULT-SINGLE %s < %t.0
|
|
|
|
; Test the full reduction pipeline, which cleans up unreachable blocks
|
|
; RUN: llvm-reduce --abort-on-invalid-reduction --test FileCheck --test-arg --check-prefixes=CHECK,INTERESTING --test-arg %s --test-arg --input-file %s -o %t.1
|
|
; RUN: FileCheck --check-prefixes=CHECK,RESULT,RESULT-FULL %s < %t.1
|
|
|
|
|
|
define i32 @maybe_throwing_callee(i32 %arg) {
|
|
call void @thrown()
|
|
ret i32 %arg
|
|
}
|
|
|
|
declare void @did_not_throw(i32)
|
|
|
|
declare void @thrown()
|
|
|
|
; CHECK-LABEL: define void @invoke_keep_landingpad_block(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
; INTERESTING: i32 @maybe_throwing_callee(
|
|
|
|
; RESULT-SINGLE: %i0 = call i32 @maybe_throwing_callee(i32 %arg), !some.metadata !0
|
|
; RESULT-SINGLE-NEXT: br label %bb3
|
|
|
|
; RESULT-FULL: %i0 = call i32 @maybe_throwing_callee()
|
|
; RESULT-FULL-NEXT: br label %bb4
|
|
|
|
|
|
; RESULT-SINGLE: bb1: ; No predecessors!
|
|
; RESULT-SINGLE-NEXT: %landing = landingpad { ptr, i32 }
|
|
; RESULT-SINGLE-NEXT: catch ptr null
|
|
; RESULT-SINGLE-NEXT: call void @thrown()
|
|
define void @invoke_keep_landingpad_block(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
bb:
|
|
%i0 = invoke i32 @maybe_throwing_callee(i32 %arg)
|
|
to label %bb3 unwind label %bb1, !some.metadata !0
|
|
|
|
bb1: ; preds = %bb
|
|
%landing = landingpad { ptr, i32 }
|
|
catch ptr null
|
|
; INTERESTING: call void @thrown()
|
|
call void @thrown()
|
|
br label %bb4
|
|
|
|
bb3: ; preds = %bb
|
|
call void @did_not_throw(i32 %i0)
|
|
br label %bb4
|
|
|
|
bb4: ; preds = %bb3, %bb1
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: define void @invoke_drop_landingpad_block(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
; INTERESTING: i32 @maybe_throwing_callee(
|
|
|
|
; RESULT-SINGLE: %i0 = call i32 @maybe_throwing_callee(i32 %arg), !some.metadata !0
|
|
; RESULT-SINGLE-NEXT: br label %bb3
|
|
|
|
; RESULT-SINGLE: bb1: ; No predecessors!
|
|
; RESULT-SINGLE-NEXT: %landing = landingpad { ptr, i32 }
|
|
|
|
; RESULT-SINGLE: bb3:
|
|
; RESULT-SINGLE-NEXT: call void @did_not_throw(i32 %i0)
|
|
|
|
; RESULT-FULL: %i0 = call i32 @maybe_throwing_callee()
|
|
; RESULT-FULL-NEXT: call void @did_not_throw()
|
|
; RESULT-FULL-NEXT: ret void
|
|
define void @invoke_drop_landingpad_block(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
bb:
|
|
%i0 = invoke i32 @maybe_throwing_callee(i32 %arg)
|
|
to label %bb3 unwind label %bb1, !some.metadata !0
|
|
|
|
bb1: ; preds = %bb
|
|
%landing = landingpad { ptr, i32 }
|
|
catch ptr null
|
|
call void @thrown()
|
|
br label %bb4
|
|
|
|
bb3: ; preds = %bb
|
|
; INTERESTING: call void @did_not_throw(
|
|
call void @did_not_throw(i32 %i0)
|
|
br label %bb4
|
|
|
|
bb4: ; preds = %bb3, %bb1
|
|
ret void
|
|
}
|
|
|
|
declare i32 @another_maybe_throwing_callee(i32 %arg)
|
|
|
|
; Test the same landing pad block is used by multiple invokes
|
|
; CHECK-LABEL: define i32 @multi_invoke_caller(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
define i32 @multi_invoke_caller(i32 %arg) personality ptr @__gxx_personality_v0 {
|
|
bb:
|
|
%i0 = invoke i32 @maybe_throwing_callee(i32 %arg)
|
|
to label %bb3 unwind label %bb1, !some.metadata !0
|
|
|
|
; RESULT: bb1: ; preds = %bb4
|
|
; RESULT-NEXT: %landing = landingpad { ptr, i32 }
|
|
; RESULT-NEXT: catch ptr null
|
|
bb1: ; preds = %bb
|
|
%landing = landingpad { ptr, i32 }
|
|
catch ptr null
|
|
; INTERESTING: call void @thrown()
|
|
call void @thrown()
|
|
br label %bb4
|
|
|
|
bb3: ; preds = %bb
|
|
call void @did_not_throw(i32 %i0)
|
|
br label %bb4
|
|
|
|
bb4: ; preds = %bb3, %bb1
|
|
; INTERESTING: invoke i32 @another_maybe_throwing_callee(
|
|
|
|
; RESULT-SINGLE: %i1 = invoke i32 @another_maybe_throwing_callee(i32 %arg)
|
|
; RESULT-SINGLE-NEXT: to label %bb5 unwind label %bb1, !some.metadata !1
|
|
|
|
; RESULT-FULL: %i1 = invoke i32 @another_maybe_throwing_callee(i32 0)
|
|
; RESULT-FULL-NEXT: to label %bb5 unwind label %bb1{{$}}
|
|
%i1 = invoke i32 @another_maybe_throwing_callee(i32 %arg)
|
|
to label %bb5 unwind label %bb1, !some.metadata !1
|
|
|
|
bb5:
|
|
ret i32 %i1
|
|
}
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
!0 = !{!"arst"}
|
|
!1 = !{!"arstarst"}
|