; 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
}