1 ; RUN: opt -S -loop-unroll < %s | FileCheck %s
3 ; LLVM should not try to fully unroll this loop.
9 define void @trivial_loop() {
10 ; CHECK-LABEL: @trivial_loop(
15 %idx = phi i32 [ 0, %entry ], [ %idx.inc, %loop ]
16 %idx.inc = add i32 %idx, 1
32 %be = icmp slt i32 %idx, 268435456
33 br i1 %be, label %loop, label %exit
36 ; CHECK-NEXT: %idx = phi i32 [ 0, %entry ], [ %idx.inc, %loop ]
37 ; CHECK-NEXT: %idx.inc = add i32 %idx, 1
38 ; CHECK-NEXT: call void @f()
39 ; CHECK-NEXT: call void @g()
40 ; CHECK-NEXT: call void @h()
41 ; CHECK-NEXT: call void @f()
42 ; CHECK-NEXT: call void @g()
43 ; CHECK-NEXT: call void @h()
44 ; CHECK-NEXT: call void @f()
45 ; CHECK-NEXT: call void @g()
46 ; CHECK-NEXT: call void @h()
47 ; CHECK-NEXT: call void @f()
48 ; CHECK-NEXT: call void @g()
49 ; CHECK-NEXT: call void @h()
50 ; CHECK-NEXT: call void @f()
51 ; CHECK-NEXT: call void @g()
52 ; CHECK-NEXT: call void @h()
53 ; CHECK-NEXT: %be = icmp slt i32 %idx, 268435456
54 ; CHECK-NEXT: br i1 %be, label %loop, label %exit