diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-11-03 21:03:14 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-11-03 21:03:14 +0000 |
| commit | 2fea5c68fdb03f7c65d487f3c044c971c220b351 (patch) | |
| tree | e0a5ac3f54be2ee1ab2e4871a2155b5857a33b1a | |
| parent | 2392805094344544e0e47b88de149dd9e9ca794b (diff) | |
| download | bcm5719-llvm-2fea5c68fdb03f7c65d487f3c044c971c220b351.tar.gz bcm5719-llvm-2fea5c68fdb03f7c65d487f3c044c971c220b351.zip | |
ScopDetection: Use SCEVValidator for conditions
llvm-svn: 143653
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index b6400f44f22..afceebc2a2f 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -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()); |
