[polly] r253976 - ScopInfo: Add option to ignore integer wrapping

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Tue Nov 24 06:50:02 2015
New Revision: 253976

URL: http://llvm.org/viewvc/llvm-project?rev=253976&view=rev
Log:
ScopInfo: Add option to ignore integer wrapping

Modified:
    polly/trunk/lib/Analysis/ScopInfo.cpp

Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=253976&r1=253975&r2=253976&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Tue Nov 24 06:50:02 2015
@@ -100,6 +100,12 @@ static cl::opt<int> MaxDisjunctsAssumed(
              "context (this bounds compile time)"),
     cl::Hidden, cl::ZeroOrMore, cl::init(150), cl::cat(PollyCategory));
 
+static cl::opt<bool> IgnoreIntegerWrapping(
+    "polly-ignore-integer-wrapping",
+    cl::desc("Do not build run-time checks to proof absence of integer "
+             "wrapping"),
+    cl::Hidden, cl::ZeroOrMore, cl::init(false), cl::cat(PollyCategory));
+
 //===----------------------------------------------------------------------===//
 
 // Create a sequence of two schedules. Either argument may be null and is
@@ -1634,6 +1640,11 @@ isl_set *Scop::addNonEmptyDomainConstrai
 }
 
 void Scop::buildBoundaryContext() {
+  if (IgnoreIntegerWrapping) {
+    BoundaryContext = isl_set_universe(getParamSpace());
+    return;
+  }
+
   BoundaryContext = Affinator.getWrappingContext();
 
   // The isl_set_complement operation used to create the boundary context