llvm/test/Transforms/LoopUnroll/opt-levels.ll

   1 ; RUN: opt < %s -S -passes="default<O2>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=O2
   2 ; RUN: opt < %s -S -passes="default<O3>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=O3
   3 ; RUN: opt < %s -S -passes="default<Os>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=Os
   4 ; RUN: opt < %s -S -passes="default<Oz>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=Oz
   5
   6 ; Check that Os and Oz are optimized like O2, not like O3. To easily highlight
   7 ; the behavior, we artificially disable unrolling for anything but O3 by setting
   8 ; the default threshold to 0.
   9
  10 ; O3:     loop1.preheader
  11 ; O2-NOT: loop1.preheader
  12 ; Os-NOT: loop1.preheader
  13 ; Oz-NOT: loop1.preheader
  14
  15 define void @unroll(i32 %iter, ptr %addr1, ptr %addr2) nounwind {
  16 entry:
  17   br label %loop1
  18
  19 loop1:
  20   %iv1 = phi i32 [ 0, %entry ], [ %inc1, %loop1.latch ]
  21   %offset1 = getelementptr i32, ptr %addr1, i32 %iv1
  22   store i32 %iv1, ptr %offset1, align 4
  23   br label %loop2.header
  24
  25 loop2.header:
  26   %e = icmp uge i32 %iter, 1
  27   br i1 %e, label %loop2, label %exit2
  28
  29 loop2:
  30   %iv2 = phi i32 [ 0, %loop2.header ], [ %inc2, %loop2 ]
  31   %offset2 = getelementptr i32, ptr %addr2, i32 %iv2
  32   store i32 %iv2, ptr %offset2, align 4
  33   %inc2 = add i32 %iv2, 1
  34   %exitcnd2 = icmp uge i32 %inc2, %iter
  35   br i1 %exitcnd2, label %exit2, label %loop2
  36
  37 exit2:
  38   br label %loop1.latch
  39
  40 loop1.latch:
  41   %inc1 = add i32 %iv1, 1
  42   %exitcnd1 = icmp uge i32 %inc1, 1024
  43   br i1 %exitcnd1, label %exit, label %loop1
  44
  45 exit:
  46   ret void
  47 }