diff options
| author | Sam Parker <sam.parker@arm.com> | 2018-04-12 12:49:40 +0000 |
|---|---|---|
| committer | Sam Parker <sam.parker@arm.com> | 2018-04-12 12:49:40 +0000 |
| commit | 97375359436f2bd9714789a64716ac14e24f9275 (patch) | |
| tree | 5c01ee33ce9b582fa38ab25069a1f1cebb0451b7 /llvm/test | |
| parent | 294556d40ef0114cf0da1ccbb3e91f1f3afbf083 (diff) | |
| download | bcm5719-llvm-97375359436f2bd9714789a64716ac14e24f9275.tar.gz bcm5719-llvm-97375359436f2bd9714789a64716ac14e24f9275.zip | |
[IRCE] isKnownNonNegative helper function
Created a helper function to query for non negative SCEVs. Uses the
SGE predicate to catch constants that could be interpreted as
negative.
Differential Revision: https://reviews.llvm.org/D45481
llvm-svn: 329907
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/IRCE/variable-loop-bounds.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/IRCE/variable-loop-bounds.ll b/llvm/test/Transforms/IRCE/variable-loop-bounds.ll index d5a57093b32..5749b2c2d41 100644 --- a/llvm/test/Transforms/IRCE/variable-loop-bounds.ll +++ b/llvm/test/Transforms/IRCE/variable-loop-bounds.ll @@ -55,7 +55,7 @@ for.inc: ; CHECK-LABEL: test_inc_ne ; CHECK: main.exit.selector: ; CHECK: [[PSEUDO_PHI:%[^ ]+]] = phi i32 [ %inc, %for.inc ] -; CHECK: [[COND:%[^ ]+]] = icmp slt i32 [[PSEUDO_PHI]], %N +; CHECK: [[COND:%[^ ]+]] = icmp ult i32 [[PSEUDO_PHI]], %N ; CHECK: br i1 [[COND]], label %main.pseudo.exit, label %for.cond.cleanup.loopexit define void @test_inc_ne(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) { entry: |
