[PATCH] Allow non-affine control flow -- SCoP Detection

Andreas Simbuerger simbuerg at fim.uni-passau.de
Tue Feb 24 01:28:58 PST 2015


================
Comment at: lib/Analysis/ScopDetection.cpp:675
@@ -650,3 +674,3 @@
   const SCEV *LoopCount = SE->getBackedgeTakenCount(L);
-  if (!isAffineExpr(&Context.CurRegion, LoopCount, *SE))
-    return invalid<ReportLoopBound>(Context, /*Assert=*/true, L, LoopCount);
+  if (isAffineExpr(&Context.CurRegion, LoopCount, *SE))
+    return true;
----------------
Looks like an independent change

================
Comment at: lib/Analysis/ScopDetection.cpp:778
@@ -750,2 +777,3 @@
     ValidRegions.insert(&R);
+
     return;
----------------
?

http://reviews.llvm.org/D7829

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/






More information about the llvm-commits mailing list