[PATCH] [Polly] Enable ISL's small integer optimization

[Tobias Grosser]

On 06/30/2015 09:14 AM, Tobias Grosser wrote:
> On 06/29/2015 10:15 PM, Michael Kruse wrote:
>> check-polly succeeds on my computer (using gcc asan debug build and
>> ninja). Output is:
>>
>> $ ninja check-polly -v
>> [1/1] cd /home/meinersbur/build/llvm/debug_asan/tools/polly/test &&
>> /usr/bin/python2.7 /home/meinersbur/src/llvm/utils/lit/lit.py -sv
>> --param
>> polly_site_config=/home/meinersbur/build/llvm/debug_asan/tools/polly/t
>> site.cfg /home/meinersbur/build/llvm/debug_asan/tools/polly/test
>> -- Testing: 385 tests, 8 threads --
>> Testing: 0 .. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90..
>> Testing Time: 8.97s
>>   Expected Passes    : 380
>>   Expected Failures  : 5
>
> I am using clang-3.6 in Debug build and see still failures.

The same failures show up with valgrind, e.g.

valgring opt -load LLVMPolly.so -polly-detect-unprofitable -polly-scops 
-analyze -polly-delinearize < 
/home/grosser/Projects/polly/git/tools/polly/test/ScopInfo/multidim_only_ivs_3d_cast.ll

==13680== 48 (32 direct, 16 indirect) bytes in 1 blocks are definitely 
lost in loss record 7 of 18
==13680==    at 0x4C2ABA0: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==13680==    by 0x9F4DCC3: mp_int_alloc (imath.c:375)
==13680==    by 0x9E73397: isl_sioimath_reinit_big (isl_int_sioimath.h:326)
==13680==    by 0x9E73F81: isl_sioimath_mul (isl_int_sioimath.h:680)
==13680==    by 0x9F1D1B1: row_cmp (isl_tab.c:631)
==13680==    by 0x9F14C64: pivot_row (isl_tab.c:676)
==13680==    by 0x9F1509E: find_pivot (isl_tab.c:727)
==13680==    by 0x9F14617: sign_of_max (isl_tab.c:1256)
==13680==    by 0x9F19A98: isl_tab_detect_implicit_equalities 
(isl_tab.c:2844)

Tobias