projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26f2310) | patch
teach SCEV that the scale and addition of an inbounds gep don't NSW.
authorChris Lattner <sabre@nondot.org>
Sun, 13 Feb 2011 03:14:49 +0000 (03:14 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 13 Feb 2011 03:14:49 +0000 (03:14 +0000)
commit8ebaf909580ada88d9952327323ded1e328d0708
tree3303d9d85f1e8098e2186f3a6ed73e1333263591tree | snapshot
parent26f23100ac8165c510c00f7a37f1ab13bf66f141commit | diff
teach SCEV that the scale and addition of an inbounds gep don't NSW.
This fixes a FIXME in scev-aa.ll (allowing a new no-alias result) and
generally makes things more precise.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125449 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp diff | blob | history
test/Analysis/ScalarEvolution/nsw.ll diff | blob | history
test/Analysis/ScalarEvolution/scev-aa.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors