[LLVMdev] dragonegg polly support broken?

[Jack Howarth]

On Sun, Oct 21, 2012 at 02:31:50PM -0700, Tobias Grosser wrote:
> On 10/21/2012 12:47 PM, Jack Howarth wrote:
>> On Sun, Oct 21, 2012 at 11:58:43AM -0700, Tobias Grosser wrote:
>> ...
>>> Does attached patch work for you?
>>>
>>> Tobi
>>>
>>
>> Tobi,
>>    Yes, with this patch current llvm/polly svn builds and runs 'make polly-test'
>> without issues in finding LLVMPolly.so. Thanks for fixing this so quickly.
>
> Thanks for the nice bugreport. I committed a fix in 166402
>
>>    Do you have any comments on failing tests we are seeing on x86_64-apple-darwin11?
>>
>> Failing Tests (5):
>>      Polly :: CodeGen/do_pluto_matmult.ll
>>      Polly :: CodeGen/single_do_loop_int_max_iterations.ll
>>      Polly :: CodeGen/single_do_loop_scev_replace.ll
>
> I have some guesses for these, but it would be good to get run
>
> llvm-lit -v on these three test cases.
>
>>      Polly :: IslCodeGen/single_loop_param_less_equal.ll
>>      Polly :: IslCodeGen/single_loop_param_less_than.ll

Tobias,
   I am unclear on how I should modify the 'make polly-test' run in order
for 'llvm-lit -v' to take effect and where to look for the additional information.
Thanks in advance for any clarifications.

>
> This is due to the use of an old isl version. I will change configure to  
> fail if the isl version used is too old.
>
>> Are these darwin-specific or due to the fact that I am using isl 0.10 and
>> cloog 0.17 rather than their the upstream development svn? Let me know if
>> any of those merit a bugzilla of their own.
>

It looks like MacPorts could easily switch their llvm-3.2 packaging to build polly
except that, unlike fink which uses cmake, they are still using configure for the
build. This fails against isl 0.10 due to the test...

checking for isl: isl/ast.h in /opt/local/include, and libisl in /opt/local/lib... configure: error: isl required but not found

Is there a schedule for releasing updated tarballs for isl and cloog?
        Jack

> Let's see why the first three are failing.
>
> Cheers
> Tobi