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 /polly/lib/Analysis/ScopDetection.cpp | |
| parent | 2392805094344544e0e47b88de149dd9e9ca794b (diff) | |
| download | bcm5719-llvm-2fea5c68fdb03f7c65d487f3c044c971c220b351.tar.gz bcm5719-llvm-2fea5c68fdb03f7c65d487f3c044c971c220b351.zip | |
ScopDetection: Use SCEVValidator for conditions
llvm-svn: 143653
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
| -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()); | 

