1; RUN: llvm-reduce --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
3
4declare void @llvm.uninteresting()
5declare void @uninteresting()
6
7; CHECK-ALL: declare void @llvm.interesting()
8; CHECK-ALL: declare void @interesting()
9declare void @llvm.interesting()
10declare void @interesting()
11
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
16; CHECK-ALL-NEXT: }
17define void @main() {
18  call void @llvm.interesting()
19  call void @interesting()
20  ret void
21}
22