| ; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t |
| ; RUN: cat %t | FileCheck --check-prefixes=CHECK-FINAL %s |
| |
| ; Make sure we do not remove the terminator of the entry block. The interesting |
| ; check only requires the result to define the function @test. |
| |
| ; Test case for PR43798. |
| |
| ; CHECK-INTERESTINGNESS: define i32 @test |
| |
| ; CHECK-FINAL: define i32 @test |
| ; CHECK-FINAL-NEXT: entry: |
| ; CHECK-FINAL-NEXT: ret i32 |
| |
| define i32 @test(i32 %x) { |
| entry: |
| %add = add i32 %x, %x |
| ret i32 %add |
| } |