commit a66fa6cf0224819dd35c58b96f934fb23363f6b4
author Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 10 12:45:11 2011 +0000
committer Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 10 12:45:11 2011 +0000
tree 95b9198a8eec39b95308d333d2cbb0023c49e9e9
parent bef690f57f5cfc3e8eca8ddcfc3c6ca707cedd9c

ScopDetection: Improve formatting of error message and simplify some code

llvm-svn: 144282

polly/lib/Analysis/ScopDetection.cpp

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index a50ccdd..cefe1c5 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -170,14 +170,13 @@
         || isa<UndefValue>(ICmp->getOperand(1)))
       INVALID(AffFunc, "undef operand in branch at BB: " + BB.getNameStr());
 
-    const SCEV *ScevLHS = SE->getSCEV(ICmp->getOperand(0));
-    const SCEV *ScevRHS = SE->getSCEV(ICmp->getOperand(1));
+    const SCEV *LHS = SE->getSCEV(ICmp->getOperand(0));
+    const SCEV *RHS = SE->getSCEV(ICmp->getOperand(1));
 
-    bool affineLHS = isAffineExpr(&Context.CurRegion, ScevLHS, *SE);
-    bool affineRHS = isAffineExpr(&Context.CurRegion, ScevRHS, *SE);
-
-    if (!affineLHS || !affineRHS)
-      INVALID(AffFunc, "Non affine branch in BB: " + BB.getNameStr());
+    if (!isAffineExpr(&Context.CurRegion, LHS, *SE) ||
+        !isAffineExpr(&Context.CurRegion, RHS, *SE))
+      INVALID(AffFunc, "Non affine branch in BB '" << BB.getNameStr()
+                        << "' with LHS: " << *LHS << " and RHS: " << *RHS);
   }
 
   // Allow loop exit conditions.