[polly] r184529 - Use isl_val instead of isl_int in the core of Polly

[Tobias Grosser]

On 06/24/2013 12:25 AM, Andy Gibbs wrote:
> On Friday, June 21, 2013 8:41 AM, Tobias Grosser wrote:
>> Author: grosser
>> Date: Fri Jun 21 01:41:31 2013
>> New Revision: 184529
>>
>> URL: http://llvm.org/viewvc/llvm-project?rev=184529&view=rev
>> Log:
>> Use isl_val instead of isl_int in the core of Polly
>>
>> isl recently introduced isl_val as an abstract interface to represent
>> arbitrary
>> precision numbers. This interface superseeds the old isl_int
>> interface. In
>> contrast to the old interface which implemented arbitrary precision
>> arithmetic
>> using macros that forward to the gmp library, the new library hides
>> the math
>> library implementation in isl. This allows us to switch the math
>> library used by
>> isl without affecting users such as Polly.
>>
>> Modified:
>>    polly/trunk/include/polly/CodeGen/CodeGeneration.h
>>    polly/trunk/include/polly/Support/GICHelper.h
>>    polly/trunk/lib/Analysis/ScopInfo.cpp
>>    polly/trunk/lib/CodeGen/BlockGenerators.cpp
>>    polly/trunk/lib/CodeGen/IslCodeGeneration.cpp
>>    polly/trunk/lib/ScheduleOptimizer.cpp
>>    polly/trunk/lib/Support/GICHelper.cpp
>>    polly/trunk/utils/checkout_cloog.sh
>>
>> [...snip...]
>>
>> Modified: polly/trunk/utils/checkout_cloog.sh
>> URL:
>> http://llvm.org/viewvc/llvm-project/polly/trunk/utils/checkout_cloog.sh?rev=184529&r1=184528&r2=184529&view=diff
>>
>> ==============================================================================
>>
>> --- polly/trunk/utils/checkout_cloog.sh (original)
>> +++ polly/trunk/utils/checkout_cloog.sh Fri Jun 21 01:41:31 2013
>> @@ -1,7 +1,7 @@
>> #!/bin/sh
>>
>> CLOOG_HASH="f861f854b6cc85b67e39794e38e7104fcd59af90"
>> -ISL_HASH="1df91d8515ec88dc7f7f597168ad0f34f26de5a7"
>> +ISL_HASH="0a83197c479109b0f7c327484b80a878f291b296"
>>
>> PWD=`pwd`
>
> I'm afraid this change regresses your fix in r184064.
>
> Below is the output I get from a "make check" of cloog.

Good catch. Now I updated isl, but did not update CLooG along with this 
change. It should work now.

Tobi