diff options
| author | Davide Italiano <davide@freebsd.org> | 2017-08-29 17:24:09 +0000 |
|---|---|---|
| committer | Davide Italiano <davide@freebsd.org> | 2017-08-29 17:24:09 +0000 |
| commit | fac36eb3e37959135b1212ebc59a9b1f521a4c6c (patch) | |
| tree | adcb0a2f1995b0a86e701bfae07e66da9912a49c /test/Transforms/LoopUnroll | |
| parent | 42defb6c889214e9225a93b430c3118718fc82c7 (diff) | |
[LoopUnroll] Make the test for PR33437 actually useful.
I forgot to specify -unroll-loop-peel, making this test not
really effective. While here, adjust some details (naming and
run line). Thanks to Sanjoy and Michael Z. for pointing out in
their post-commit reviews.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@312015 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopUnroll')
| -rw-r--r-- | test/Transforms/LoopUnroll/pr33437.ll | 41 |
1 files changed, 27 insertions, 14 deletions
diff --git a/test/Transforms/LoopUnroll/pr33437.ll b/test/Transforms/LoopUnroll/pr33437.ll index 58fa91f4b9a..210875b6ca4 100644 --- a/test/Transforms/LoopUnroll/pr33437.ll +++ b/test/Transforms/LoopUnroll/pr33437.ll @@ -1,30 +1,43 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -loop-unroll %s -S | FileCheck %s +; RUN: opt -S -loop-unroll -unroll-peel-count=1 < %s | FileCheck %s declare zeroext i8 @patatino() define fastcc void @tinky() { ; CHECK-LABEL: @tinky( ; CHECK-NEXT: entry: -; CHECK-NEXT: br label [[FOR_COND93:%.*]] -; CHECK: for.cond93: -; CHECK-NEXT: br label [[FOR_BODY198:%.*]] -; CHECK: for.body198: -; CHECK-NEXT: [[CALL593:%.*]] = tail call zeroext i8 @patatino() +; CHECK-NEXT: br label [[NEXT:%.*]] +; CHECK: loopexit: ; CHECK-NEXT: ret void +; CHECK: next: +; CHECK-NEXT: br label [[LOOP_PEEL_BEGIN:%.*]] +; CHECK: loop.peel.begin: +; CHECK-NEXT: br label [[LOOP_PEEL:%.*]] +; CHECK: loop.peel: +; CHECK-NEXT: [[CALL593_PEEL:%.*]] = tail call zeroext i8 @patatino() +; CHECK-NEXT: br i1 false, label [[LOOP_PEEL_NEXT:%.*]], label [[LOOPEXIT:%.*]] +; CHECK: loop.peel.next: +; CHECK-NEXT: br label [[LOOP_PEEL_NEXT1:%.*]] +; CHECK: loop.peel.next1: +; CHECK-NEXT: br label [[NEXT_PEEL_NEWPH:%.*]] +; CHECK: next.peel.newph: +; CHECK-NEXT: br label [[LOOP:%.*]] +; CHECK: loop: +; CHECK-NEXT: [[CALL593:%.*]] = tail call zeroext i8 @patatino() +; CHECK-NEXT: br label [[LOOPEXIT]] ; entry: - br label %for.cond93 + br label %next -for.cond93.loopexit: +loopexit: ret void -for.cond93: - br label %for.body198 +next: + br label %loop -for.body198: - %l_249.12 = phi i8 [ undef, %for.cond93 ], [ %call593, %for.body198 ] - %l_522.01 = phi i32 [ 0, %for.cond93 ], [ 1, %for.body198 ] +loop: + %a = phi i8 [ undef, %next ], [ %call593, %loop ] + %b = phi i32 [ 0, %next ], [ 1, %loop ] %call593 = tail call zeroext i8 @patatino() - br i1 false, label %for.body198, label %for.cond93.loopexit + br i1 false, label %loop, label %loopexit } |