diff options
| author | Zheng Chen <czhengsz@cn.ibm.com> | 2020-01-12 20:22:37 -0500 |
|---|---|---|
| committer | Zheng Chen <czhengsz@cn.ibm.com> | 2020-01-12 20:22:37 -0500 |
| commit | a6342c247a17fb270e0385bd1deb463b7309a43b (patch) | |
| tree | c2c4b563332cc6b078a479dc807abb450650c9e4 /llvm/test/Analysis | |
| parent | 0113cf193f0610bb1a5dfa0bcd29c41a8965938a (diff) | |
| download | bcm5719-llvm-a6342c247a17fb270e0385bd1deb463b7309a43b.tar.gz bcm5719-llvm-a6342c247a17fb270e0385bd1deb463b7309a43b.zip | |
[SCEV] accurate range for addrecexpr with nuw flag
If addrecexpr has nuw flag, the value should never be less than its
start value and start value does not required to be SCEVConstant.
Reviewed By: nikic, sanjoy
Differential Revision: https://reviews.llvm.org/D71690
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll b/llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll index ae447dcdfa5..0a0b5fb5eb8 100644 --- a/llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll +++ b/llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll @@ -2,7 +2,7 @@ ; copied from flags-from-poison.ll ; CHECK-LABEL: @test-add-nuw -; CHECK: --> {(1 + %offset)<nuw>,+,1}<nuw><%loop> U: full-set S: full-set +; CHECK: --> {(1 + %offset)<nuw>,+,1}<nuw><%loop> U: [1,0) S: [1,0) define void @test-add-nuw(float* %input, i32 %offset, i32 %numIterations) { entry: br label %loop @@ -20,7 +20,7 @@ exit: } ; CHECK-LABEL: @test-addrec-nuw -; CHECK: --> {(1 + (10 smax %offset))<nuw>,+,1}<nuw><%loop> U: full-set S: full-set +; CHECK: --> {(1 + (10 smax %offset))<nuw>,+,1}<nuw><%loop> U: [11,0) S: [11,0) define void @test-addrec-nuw(float* %input, i32 %offset, i32 %numIterations) { entry: %cmp = icmp sgt i32 %offset, 10 |
