[polly] r206106 - Dependences: Refine the compute out facility

[Tobias Grosser]

Author: grosser
Date: Sat Apr 12 06:39:28 2014
New Revision: 206106

URL: http://llvm.org/viewvc/llvm-project?rev=206106&view=rev
Log:
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.

Modified:
    polly/trunk/lib/Analysis/Dependences.cpp
    polly/trunk/utils/checkout_cloog.sh

Modified: polly/trunk/lib/Analysis/Dependences.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/Dependences.cpp?rev=206106&r1=206105&r2=206106&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/Dependences.cpp (original)
+++ polly/trunk/lib/Analysis/Dependences.cpp Sat Apr 12 06:39:28 2014
@@ -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>

Modified: polly/trunk/utils/checkout_cloog.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/utils/checkout_cloog.sh?rev=206106&r1=206105&r2=206106&view=diff
==============================================================================
--- polly/trunk/utils/checkout_cloog.sh (original)
+++ polly/trunk/utils/checkout_cloog.sh Sat Apr 12 06:39:28 2014
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b"
-ISL_HASH="14d7941489582c8ace26f661f78936041641edf7"
+ISL_HASH="78c6e9e55fd2527dd4a270aa23d02d99addfdfa1"
 
 PWD=`pwd`