diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-03-07 06:03:15 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-03-07 06:03:15 +0000 |
| commit | cb24f8cc5c993a01f57b8beb8935315c7980d7a3 (patch) | |
| tree | 9d9a1770d3ad02fa54eabc8939f40aab77482222 /test/Transforms/LoopUnroll | |
| parent | fd76e3ca8abc2ea83e6c603a8ac4abc5e4eb2953 (diff) | |
[LoopUnrolling] Fix loop size check for peeling
Summary:
We should check if loop size allows us to peel at least one iteration
before we do so.
Patch by Max Kazantsev!
Reviewers: sanjoy, mkuper, efriedma
Reviewed By: mkuper
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D30632
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@297122 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopUnroll')
| -rw-r--r-- | test/Transforms/LoopUnroll/peel-loop-not-forced.ll | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/test/Transforms/LoopUnroll/peel-loop-not-forced.ll b/test/Transforms/LoopUnroll/peel-loop-not-forced.ll index afb03a22900..3dcac87f824 100644 --- a/test/Transforms/LoopUnroll/peel-loop-not-forced.ll +++ b/test/Transforms/LoopUnroll/peel-loop-not-forced.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -loop-unroll | FileCheck %s +; RUN: opt < %s -S -loop-unroll -unroll-threshold=4 | FileCheck %s define i32 @invariant_backedge_1(i32 %a, i32 %b) { ; CHECK-LABEL: @invariant_backedge_1 @@ -18,6 +18,34 @@ loop: %incsum = add i32 %sum, %plus %inc = add i32 %i, 1 %cmp = icmp slt i32 %i, 1000 + + br i1 %cmp, label %loop, label %exit + +exit: + ret i32 %sum +} + +; Peeling should fail due to method size. +define i32 @invariant_backedge_2(i32 %a, i32 %b) { +; CHECK-LABEL: @invariant_backedge_2 +; CHECK-NOT: loop.peel: +; CHECK: loop: +; CHECK: %i = phi +; CHECK: %sum = phi +; CHECK: %plus = phi +entry: + br label %loop + +loop: + %i = phi i32 [ 0, %entry ], [ %inc, %loop ] + %sum = phi i32 [ 0, %entry ], [ %incsum2, %loop ] + %plus = phi i32 [ %a, %entry ], [ %b, %loop ] + + %incsum = add i32 %sum, %plus + %incsum2 = add i32 %incsum, %plus + %inc = add i32 %i, 1 + %cmp = icmp slt i32 %i, 1000 + br i1 %cmp, label %loop, label %exit exit: |