Dependences: Refine the compute out facility

We update to a newer version of isl, which includes changes to the compute
out facility that make it a lot more predicable. With our new value, we can
reliably bail out for all reported bugs, while still being able to compute
dependences for all but two test cases in the LLVM test suite. For the remaining
two test cases, the dependence problem we construct is unnecessarily complex,
so there is hope we can improve on this. However, to avoid any future issues,
having a reliable compute out facility in place is important.

llvm-svn: 206106

2 files changed, 2 insertions, 2 deletions

diff --git a/polly/lib/Analysis/Dependences.cpp b/polly/lib/Analysis/Dependences.cpp
index 40c5e9ae793..b82672a7942 100644
--- a/polly/lib/Analysis/Dependences.cpp
+++ b/polly/lib/Analysis/Dependences.cpp
@@ -42,7 +42,7 @@ static cl::opt<int>
 OptComputeOut("polly-dependences-computeout",
               cl::desc("Bound the dependence analysis by a maximal amount of "
                        "computational steps"),
-              cl::Hidden, cl::init(15000), cl::ZeroOrMore,
+              cl::Hidden, cl::init(250000), cl::ZeroOrMore,
               cl::cat(PollyCategory));
 
 static cl::opt<bool>
diff --git a/polly/utils/checkout_cloog.sh b/polly/utils/checkout_cloog.sh
index 9d4fc09eabc..a429adf6b8f 100755
--- a/polly/utils/checkout_cloog.sh
+++ b/polly/utils/checkout_cloog.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b"
-ISL_HASH="14d7941489582c8ace26f661f78936041641edf7"
+ISL_HASH="78c6e9e55fd2527dd4a270aa23d02d99addfdfa1"
 
 PWD=`pwd`