PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad
authorEli Friedman <eli.friedman@gmail.com>
Thu, 7 Apr 2011 01:35:06 +0000 (01:35 +0000)
committerEli Friedman <eli.friedman@gmail.com>
Thu, 7 Apr 2011 01:35:06 +0000 (01:35 +0000)
commit0e382192c1a7750a157e470f749645ac2266d317
treecd328ba43055ebcc9e2cc897f5608617528799c5
parent8424a60fc9059d4ba7c45c80d28d86e3186fcf4e
PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad
is equivalent to any other relevant value; it isn't true in general.
If it is equivalent, the LoopPromoter will tell the AST the equivalence.
Also, delete the PreheaderLoad if it is unused.

Chris, since you were the last one to make major changes here, can you check
that this is sane?

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129049 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/LICM.cpp
test/Analysis/BasicAA/store-promote.ll
test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll
test/Transforms/LICM/2011-04-06-PromoteResultOfPromotion.ll [new file with mode: 0644]