Factor code for testing whether replacing one value with another
authorDuncan Sands <baldrick@free.fr>
Thu, 18 Nov 2010 19:59:41 +0000 (19:59 +0000)
committerDuncan Sands <baldrick@free.fr>
Thu, 18 Nov 2010 19:59:41 +0000 (19:59 +0000)
commitd0c6f3dafd7c3e9137d4e6415014c94137fcd3fc
tree99b6f88540f7b3c4a552911c4020f9e8a42ab9eb
parent707120047e0107cb15dd4bbb31613df129b13c7a
Factor code for testing whether replacing one value with another
preserves LCSSA form out of ScalarEvolution and into the LoopInfo
class.  Use it to check that SimplifyInstruction simplifications
are not breaking LCSSA form.  Fixes PR8622.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119727 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopInfo.h
lib/Analysis/ScalarEvolution.cpp
lib/Transforms/Scalar/LoopUnswitch.cpp
lib/Transforms/Utils/LoopSimplify.cpp
test/Transforms/LoopUnswitch/2010-11-18-LCSSA.ll [new file with mode: 0644]