diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-02-23 22:55:13 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-02-23 22:55:13 +0000 |
| commit | 913dfd8f7f88645fc4de85fc28b0209448a9edfe (patch) | |
| tree | f43b34a92bb148d8c7d68fba31218930f20777bc /llvm/test/Transforms/IndVarSimplify/overflowcheck.ll | |
| parent | d26f95bc949b98d4c092c79ae0ab689d29889e7a (diff) | |
| download | bcm5719-llvm-913dfd8f7f88645fc4de85fc28b0209448a9edfe.tar.gz bcm5719-llvm-913dfd8f7f88645fc4de85fc28b0209448a9edfe.zip | |
Fix bug 22641
The bug was a result of getPreStartForExtend interpreting nsw/nuw
flags on an add recurrence more strongly than is legal. {S,+,X}<nsw>
implies S+X is nsw only if the backedge of the loop is taken at least
once.
Differential Revision: http://reviews.llvm.org/D7808
llvm-svn: 230275
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify/overflowcheck.ll')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/overflowcheck.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/overflowcheck.ll b/llvm/test/Transforms/IndVarSimplify/overflowcheck.ll index 2603f363ab6..3864c6c0cfb 100644 --- a/llvm/test/Transforms/IndVarSimplify/overflowcheck.ll +++ b/llvm/test/Transforms/IndVarSimplify/overflowcheck.ll @@ -9,7 +9,7 @@ target triple = "x86_64-apple-macosx" ; CHECK: @llvm.sadd.with.overflow ; CHECK-LABEL: loop2: ; CHECK-NOT: extractvalue -; CHECK: add nuw nsw +; CHECK: add nuw ; CHECK: @llvm.sadd.with.overflow ; CHECK-LABEL: loop3: ; CHECK-NOT: extractvalue |
