commit 2fea5c68fdb03f7c65d487f3c044c971c220b351
author Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 03 21:03:14 2011 +0000
committer Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 03 21:03:14 2011 +0000
tree e0a5ac3f54be2ee1ab2e4871a2155b5857a33b1a
parent 2392805094344544e0e47b88de149dd9e9ca794b

ScopDetection: Use SCEVValidator for conditions

llvm-svn: 143653

polly/lib/Analysis/ScopDetection.cpp

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index b6400f4..afceebc 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -396,8 +396,8 @@
     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());