diff options
| author | Artur Pilipenko <apilipenko@azulsystems.com> | 2017-10-12 21:21:17 +0000 |
|---|---|---|
| committer | Artur Pilipenko <apilipenko@azulsystems.com> | 2017-10-12 21:21:17 +0000 |
| commit | ead69ee4bd93eca62864c994a4428fe0d989fb74 (patch) | |
| tree | db7d33e833557fdb80c46d4846275e68285af3c9 /llvm/test/Transforms/LoopPredication/nested.ll | |
| parent | e1449566c6587b114b141092a24e35d09456f141 (diff) | |
| download | bcm5719-llvm-ead69ee4bd93eca62864c994a4428fe0d989fb74.tar.gz bcm5719-llvm-ead69ee4bd93eca62864c994a4428fe0d989fb74.zip | |
[LoopPredication] Check whether the loop is already guarded by the first iteration check condition
llvm-svn: 315623
Diffstat (limited to 'llvm/test/Transforms/LoopPredication/nested.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopPredication/nested.ll | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/llvm/test/Transforms/LoopPredication/nested.ll b/llvm/test/Transforms/LoopPredication/nested.ll index 796839feec8..8a43b058a87 100644 --- a/llvm/test/Transforms/LoopPredication/nested.ll +++ b/llvm/test/Transforms/LoopPredication/nested.ll @@ -20,8 +20,8 @@ outer.loop: inner.loop.preheader: ; CHECK: inner.loop.preheader: -; CHECK: [[first_iteration_check:[^ ]+]] = icmp ult i32 0, %length -; CHECK-NEXT: [[limit_check:[^ ]+]] = icmp sle i32 %l, %length +; CHECK: [[limit_check:[^ ]+]] = icmp sle i32 %l, %length +; CHECK-NEXT: [[first_iteration_check:[^ ]+]] = icmp ult i32 0, %length ; CHECK-NEXT: [[wide_cond:[^ ]+]] = and i1 [[first_iteration_check]], [[limit_check]] ; CHECK-NEXT: br label %inner.loop br label %inner.loop @@ -63,8 +63,8 @@ entry: outer.loop.preheader: ; CHECK: outer.loop.preheader: -; CHECK: [[first_iteration_check:[^ ]+]] = icmp ult i32 0, %length -; CHECK-NEXT: [[limit_check:[^ ]+]] = icmp sle i32 %n, %length +; CHECK: [[limit_check:[^ ]+]] = icmp sle i32 %n, %length +; CHECK-NEXT: [[first_iteration_check:[^ ]+]] = icmp ult i32 0, %length ; CHECK-NEXT: [[wide_cond:[^ ]+]] = and i1 [[first_iteration_check]], [[limit_check]] ; CHECK-NEXT: br label %outer.loop br label %outer.loop @@ -116,8 +116,8 @@ entry: outer.loop.preheader: ; CHECK: outer.loop.preheader: -; CHECK-NEXT: [[first_iteration_check_outer:[^ ]+]] = icmp ult i32 0, %length ; CHECK-NEXT: [[limit_check_outer:[^ ]+]] = icmp sle i32 %n, %length +; CHECK-NEXT: [[first_iteration_check_outer:[^ ]+]] = icmp ult i32 0, %length ; CHECK-NEXT: [[wide_cond_outer:[^ ]+]] = and i1 [[first_iteration_check_outer]], [[limit_check_outer]] ; CHECK-NEXT: br label %outer.loop br label %outer.loop |
