| ; 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() |