xref: /llvm-project/llvm/test/tools/llvm-reduce/granularity-level.ll (revision 1437a83491cbe4af1b452a3f862a6b609057c26d)
1; Test that llvm-reduce produces the same output when starting at a higher granularity level.
2;
3; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=functions,instructions --starting-granularity-level=2 --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
4; RUN: cat %t | FileCheck -implicit-check-not=uninteresting --check-prefixes=CHECK-ALL,CHECK-FINAL %s
5
6define i32 @uninteresting1() {
7entry:
8  ret i32 0
9}
10
11; CHECK-ALL-LABEL: interesting()
12define i32 @interesting() {
13entry:
14  ; CHECK-INTERESTINGNESS: call i32 @interesting()
15  %call2 = call i32 @interesting()
16  %call = call i32 @uninteresting1()
17  ret i32 5
18}
19
20; CHECK-FINAL-NEXT: entry:
21; CHECK-FINAL-NEXT:   %call2 = call i32 @interesting()
22; CHECK-FINAL-NEXT:   ret i32 5
23; CHECK-FINAL-NEXT: }
24
25define i32 @uninteresting2() {
26entry:
27  ret i32 0
28}
29
30declare void @uninteresting3()
31