diff options
| author | Andrew Trick <atrick@apple.com> | 2012-01-06 21:23:43 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2012-01-06 21:23:43 +0000 |
| commit | 3326ec18423716da3a768caae2691e7858913548 (patch) | |
| tree | cb0dd6815f64d3a8f91fc040baf33cd227609f93 /lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | b937b76045d4442165009c8e6276c7c8df9efa78 (diff) | |
SCEVExpander: hoistStep should check strict dominance.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147683 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolutionExpander.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolutionExpander.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolutionExpander.cpp b/lib/Analysis/ScalarEvolutionExpander.cpp index 0a3cda998f..b9c2304b31 100644 --- a/lib/Analysis/ScalarEvolutionExpander.cpp +++ b/lib/Analysis/ScalarEvolutionExpander.cpp @@ -1564,7 +1564,7 @@ bool SCEVExpander::hoistStep(Instruction *IncV, Instruction *InsertPos, 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); |