6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-14 14:24:05 +00:00
Code Issues Projects Releases Wiki Activity

Instead of testing whether an instruction dominates the loop preheader,

Browse Source 
test whether it properly dominates the loop header. This is equivalent
when the loop has a preheader, and has the advantage of working when
the loop doesn't have a preheader. Since IVUsers doesn't Require
LoopSimplify, the loop isn't guaranteed to have a preheader.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82899 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman
2009-09-27 15:30:00 +00:00
parent 6e70e31810
commit 00cb67359f
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Analysis/IVUsers.cpp
View File

@ -121,11 +121,11 @@ static bool getSCEVStartAndStride(const SCEV *&SH, Loop *L, Loop *UseLoop,
Start = SE->getAddExpr(Start, AddRecStart); Start = SE->getAddExpr(Start, AddRecStart);
// If stride is an instruction, make sure it dominates the loop preheader. // If stride is an instruction, make sure it properly dominates the header.
// Otherwise we could end up with a use before def situation. // Otherwise we could end up with a use before def situation.
if (!isa<SCEVConstant>(AddRecStride)) { if (!isa<SCEVConstant>(AddRecStride)) {
BasicBlock *Preheader = L->getLoopPreheader(); BasicBlock *Header = L->getHeader();
if (!AddRecStride->dominates(Preheader, DT)) if (!AddRecStride->properlyDominates(Header, DT))
return false; return false;
DEBUG(errs() << "[" << L->getHeader()->getName() DEBUG(errs() << "[" << L->getHeader()->getName()