commit b8045cbcb17be50839bdef1429e43e0948275bc1
author Andrew Trick <atrick@apple.com> Fri Jan 06 21:23:43 2012 +0000
committer Andrew Trick <atrick@apple.com> Fri Jan 06 21:23:43 2012 +0000
tree b47fef165555ff3b121e7098e23633966244a017
parent 85460d0d32665347a24d34e58afc81dc49e60444

SCEVExpander: hoistStep should check strict dominance.

llvm-svn: 147683

llvm/lib/Analysis/ScalarEvolutionExpander.cpp

diff --git a/llvm/lib/Analysis/ScalarEvolutionExpander.cpp b/llvm/lib/Analysis/ScalarEvolutionExpander.cpp
index 0a3cda9..b9c2304 100644
--- a/llvm/lib/Analysis/ScalarEvolutionExpander.cpp
+++ b/llvm/lib/Analysis/ScalarEvolutionExpander.cpp
@@ -1564,7 +1564,7 @@
   for (User::op_iterator OI = IncV->op_begin(), OE = IncV->op_end();
        OI != OE; ++OI) {
     Instruction *OInst = dyn_cast<Instruction>(OI);
-    if (OInst && !DT->dominates(OInst, InsertPos))
+    if (OInst && (OInst == InsertPos || !DT->dominates(OInst, InsertPos)))
       return false;
   }
   IncV->moveBefore(InsertPos);