projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38ce6c7) | patch
Fix bug 22641
authorSanjoy Das <sanjoy@playingwithpointers.com>
Mon, 23 Feb 2015 22:55:13 +0000 (22:55 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Mon, 23 Feb 2015 22:55:13 +0000 (22:55 +0000)
commit7ebbc8de2fe5639906d5e8f07c4c0ff435395882
treebaf8d91218a72ca09c1fe317b0c199280ff60a7etree | snapshot
parent38ce6c7c1cb5bde2b187dfd0522dd15505b4d30dcommit | diff
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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230275 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolutionExpander.cpp diff | blob | history
test/Analysis/ScalarEvolution/scev-expander-incorrect-nowrap.ll [new file with mode: 0644] blob
test/Analysis/ScalarEvolution/zext-signed-addrec.ll diff | blob | history
test/CodeGen/AArch64/arm64-scaled_iv.ll diff | blob | history
test/CodeGen/X86/avoid_complex_am.ll diff | blob | history
test/Transforms/IndVarSimplify/overflowcheck.ll diff | blob | history
test/Transforms/IndVarSimplify/pr20680.ll diff | blob | history
test/Transforms/LoopStrengthReduce/count-to-zero.ll diff | blob | history
test/Transforms/LoopStrengthReduce/uglygep.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors