; RUN: llvm-reduce --delta-passes=basic-blocks --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -abort-on-invalid-reduction -o %t
; RUN: FileCheck <%t %s
; CHECK-INTERESTINGNESS: call void @foo()
; CHECK: define void @test() personality ptr null {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label %cont
; CHECK-EMPTY:
; CHECK-NEXT: cont:
; CHECK-NEXT: br label %exit
; CHECK-EMPTY:
; CHECK-NEXT: exit:
; CHECK-NEXT: call void @foo()
; CHECK-NEXT: ret void
; CHECK-NEXT: }
define void @test() personality ptr null {
entry:
invoke void @foo()
to label %cont unwind label %lpad
cont:
invoke void @foo()
to label %exit unwind label %lpad
lpad:
%0 = landingpad { ptr, i32 }
cleanup
ret void
exit:
call void @foo()
ret void
}
declare void @foo()