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 | b8045cbcb17be50839bdef1429e43e0948275bc1 (patch) | |
| tree | b47fef165555ff3b121e7098e23633966244a017 /llvm/lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | 85460d0d32665347a24d34e58afc81dc49e60444 (diff) | |
| download | llvm-b8045cbcb17be50839bdef1429e43e0948275bc1.zip llvm-b8045cbcb17be50839bdef1429e43e0948275bc1.tar.gz llvm-b8045cbcb17be50839bdef1429e43e0948275bc1.tar.bz2 | |
SCEVExpander: hoistStep should check strict dominance.
llvm-svn: 147683
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolutionExpander.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolutionExpander.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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); |