|  | ; RUN: llvm-reduce --abort-on-invalid-reduction --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 | 
|  | } |