test/Transforms/LoopUnroll/full-unroll-bad-cost.ll

   1 ; RUN: opt -S -loop-unroll < %s | FileCheck %s
   2 ; RUN: opt < %s -passes='require<opt-remark-emit>,loop(unroll-full)' -S | FileCheck %s
   3
   4 ; LLVM should not try to fully unroll this loop.
   5
   6 declare void @f()
   7 declare void @g()
   8 declare void @h()
   9
  10 define void @trivial_loop() {
  11 ; CHECK-LABEL: @trivial_loop(
  12  entry:
  13   br label %loop
  14
  15  loop:
  16   %idx = phi i32 [ 0, %entry ], [ %idx.inc, %loop ]
  17   %idx.inc = add i32 %idx, 1
  18   call void @f()
  19   call void @g()
  20   call void @h()
  21   call void @f()
  22   call void @g()
  23   call void @h()
  24   call void @f()
  25   call void @g()
  26   call void @h()
  27   call void @f()
  28   call void @g()
  29   call void @h()
  30   call void @f()
  31   call void @g()
  32   call void @h()
  33   %be = icmp slt i32 %idx, 268435456
  34   br i1 %be, label %loop, label %exit
  35
  36 ; CHECK: loop:
  37 ; CHECK-NEXT:  %idx = phi i32 [ 0, %entry ], [ %idx.inc, %loop ]
  38 ; CHECK-NEXT:  %idx.inc = add i32 %idx, 1
  39 ; CHECK-NEXT:  call void @f()
  40 ; CHECK-NEXT:  call void @g()
  41 ; CHECK-NEXT:  call void @h()
  42 ; CHECK-NEXT:  call void @f()
  43 ; CHECK-NEXT:  call void @g()
  44 ; CHECK-NEXT:  call void @h()
  45 ; CHECK-NEXT:  call void @f()
  46 ; CHECK-NEXT:  call void @g()
  47 ; CHECK-NEXT:  call void @h()
  48 ; CHECK-NEXT:  call void @f()
  49 ; CHECK-NEXT:  call void @g()
  50 ; CHECK-NEXT:  call void @h()
  51 ; CHECK-NEXT:  call void @f()
  52 ; CHECK-NEXT:  call void @g()
  53 ; CHECK-NEXT:  call void @h()
  54 ; CHECK-NEXT:  %be = icmp slt i32 %idx, 268435456
  55 ; CHECK-NEXT:  br i1 %be, label %loop, label %exit
  56
  57  exit:
  58   ret void
  59 }