maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

ScopDetection: Use SCEVValidator for conditions 

llvm-svn: 143653
This commit is contained in:
Tobias Grosser 2011-11-03 21:03:14 +00:00
parent 2392805094
commit 2fea5c68fd
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
polly/lib/Analysis/ScopDetection.cpp
View File

@ -396,8 +396,8 @@ bool ScopDetection::isValidCFG(BasicBlock &BB, DetectionContext &Context) const
const SCEV *ScevLHS = SE->getSCEV(ICmp->getOperand(0));
const SCEV *ScevRHS = SE->getSCEV(ICmp->getOperand(1));
bool affineLHS = isValidAffineFunction(ScevLHS, RefRegion);
bool affineRHS = isValidAffineFunction(ScevRHS, RefRegion);
bool affineLHS = SCEVValidator::isValid(&Context.CurRegion, ScevLHS, *SE);
bool affineRHS = SCEVValidator::isValid(&Context.CurRegion, ScevRHS, *SE);
if (!affineLHS || !affineRHS)
INVALID(AffFunc, "Non affine branch in BB: " + BB.getNameStr());