diff options
Diffstat (limited to 'llvm/test/Transforms/LoopUnroll/disable_nonforced.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopUnroll/disable_nonforced.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopUnroll/disable_nonforced.ll b/llvm/test/Transforms/LoopUnroll/disable_nonforced.ll new file mode 100644 index 00000000000..0678cca44d9 --- /dev/null +++ b/llvm/test/Transforms/LoopUnroll/disable_nonforced.ll @@ -0,0 +1,29 @@ +; RUN: opt -loop-unroll -unroll-count=2 -S < %s | FileCheck %s +; +; Check that the disable_nonforced loop property is honored by +; loop unroll. +; +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +; CHECK-LABEL: @disable_nonforced( +; CHECK: load +; CHECK-NOT: load +define void @disable_nonforced(i32* nocapture %a) { +entry: + br label %for.body + +for.body: + %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ] + %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv + %0 = load i32, i32* %arrayidx, align 4 + %inc = add nsw i32 %0, 1 + store i32 %inc, i32* %arrayidx, align 4 + %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 + %exitcond = icmp eq i64 %indvars.iv.next, 64 + br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !0 + +for.end: + ret void +} + +!0 = !{!0, !{!"llvm.loop.disable_nonforced"}} |
