OSDN Git Service

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
tree3303d9d85f1e8098e2186f3a6ed73e1333263591
parent26f23100ac8165c510c00f7a37f1ab13bf66f141
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
test/Analysis/ScalarEvolution/nsw.ll
test/Analysis/ScalarEvolution/scev-aa.ll