llvm/test/tools/llvm-reduce/granularity-level.ll

   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
   6 define i32 @uninteresting1() {
   7 entry:
   8   ret i32 0
   9 }
  10
  11 ; CHECK-ALL-LABEL: interesting()
  12 define i32 @interesting() {
  13 entry:
  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
  25 define i32 @uninteresting2() {
  26 entry:
  27   ret i32 0
  28 }
  29
  30 declare void @uninteresting3()