1; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
2; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
3
4define i32 @t(i32 %a0) {
5; CHECK-ALL-LABEL: @t
6; CHECK-FINAL: () {
7;
8; CHECK-INTERESTINGNESS: ret i32
9; CHECK-FINAL: ret i32 42
10
11  ret i32 42
12}
13