1 ; RUN: llvm-reduce --abort-on-invalid-reduction --test FileCheck --test-arg --check-prefix=CHECK-ALL --test-arg %s --test-arg --input-file %s -o %t
2 ; RUN: FileCheck --check-prefix=CHECK-ALL --implicit-check-not=uninteresting %s < %t
4 declare void @llvm.uninteresting()
5 declare void @uninteresting()
7 ; CHECK-ALL: declare void @llvm.interesting()
8 ; CHECK-ALL: declare void @interesting()
9 declare void @llvm.interesting()
10 declare void @interesting()
12 ; CHECK-ALL: define void @main() {
13 ; CHECK-ALL-NEXT: call void @llvm.interesting()
14 ; CHECK-ALL-NEXT: call void @interesting()
15 ; CHECK-ALL-NEXT: ret void
18 call void @llvm.interesting()
19 call void @interesting()