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

[Michael Kruse]

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

Michael


2015-06-25 23:55 GMT+02:00 Tobias Grosser <tobias at grosser.es>:
> On 06/25/2015 10:48 PM, Michael Kruse wrote:
>>
>> REPOSITORY
>>    rL LLVM
>>
>> http://reviews.llvm.org/D10506
>
>
> Hi Michael,
>
> thanks for pushing this change out. The performance improvements are really
> nice.
>
> I found one issue, when I just updated my Polly code. I am building with
> LLVM_USE_SANITIZER:STRING=Address. Running with your patches 'make
> check-polly' I now get the errors below. Maybe you could have a look at some
> point.
>
> Best,
> Tobias
>
> Direct leak of 64 byte(s) in 2 object(s) allocated from:
>     #0 0x825fe2 in __interceptor_malloc
> (/home/grosser/Projects/polly/build_sanitize/bin/opt+0x825fe2)
>     #1 0x7f03edf8666f in mp_int_alloc
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/imath/imath.c:375:16
>     #2 0x7f03ede5fe4a in isl_sioimath_reinit_big
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_int_sioimath.h:327:48
>     #3 0x7f03ede613ac in isl_sioimath_mul
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_int_sioimath.h:682:6
>     #4 0x7f03edf5103e in row_cmp
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:631:2
>     #5 0x7f03edf40651 in pivot_row
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:676:16
>     #6 0x7f03edf48e0e in to_row
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:1202:7
>     #7 0x7f03edf3f5e1 in sign_of_max
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:1253:6
>     #8 0x7f03edf4a3b2 in isl_tab_detect_implicit_equalities
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:2844:9
>     #9 0x7f03edefda0f in sample_bounded
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_sample.c:633:7
>     #10 0x7f03edf013e3 in factored_sample
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_sample.c:559:14
>     #11 0x7f03edefd6ac in isl_basic_set_sample_with_cone
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_sample.c:941:11
>     #12 0x7f03ede795c7 in isl_basic_map_is_empty
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map.c:7918:11
>     #13 0x7f03edeaf85f in uset_gist_full
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map_simplify.c:2093:14
>     #14 0x7f03edea76bf in uset_gist
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map_simplify.c:2171:10
>     #15 0x7f03edea6f40 in isl_basic_map_gist
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map_simplify.c:2300:9
>     #16 0x7f03edea7a12 in isl_map_gist_basic_map
> /home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map_simplify.c:2358:15
>     #17 0x7f03edff51b0 in polly::Scop::simplifyAssumedContext()
> /home/grosser/Projects/polly/git/tools/polly/lib/Analysis/ScopInfo.cpp:1406:20
>     #18 0x7f03edff7004 in polly::Scop::Scop(polly::TempScop&,
> llvm::LoopInfo&, llvm::ScalarEvolution&, polly::ScopDetection&, isl_ctx*)
> /home/grosser/Projects/polly/git/tools/polly/lib/Analysis/ScopInfo.cpp:1716:3
>     #19 0x7f03edffa08c in polly::ScopInfo::runOnRegion(llvm::Region*,
> llvm::RGPassManager&)
> /home/grosser/Projects/polly/git/tools/polly/lib/Analysis/ScopInfo.cpp:2084:10
>     #20 0xe867ce in llvm::RGPassManager::runOnFunction(llvm::Function&)
> /home/grosser/Projects/polly/git/lib/Analysis/RegionPass.cpp:99:20
>     #21 0x15f8f36 in llvm::FPPassManager::runOnFunction(llvm::Function&)
> /home/grosser/Projects/polly/git/lib/IR/LegacyPassManager.cpp:1520:23
>     #22 0x15f9262 in llvm::FPPassManager::runOnModule(llvm::Module&)
> /home/grosser/Projects/polly/git/lib/IR/LegacyPassManager.cpp:1540:16
>     #23 0x15f9a57 in (anonymous
> namespace)::MPPassManager::runOnModule(llvm::Module&)
> /home/grosser/Projects/polly/git/lib/IR/LegacyPassManager.cpp:1596:23
>     #24 0x15f9545 in llvm::legacy::PassManagerImpl::run(llvm::Module&)
> /home/grosser/Projects/polly/git/lib/IR/LegacyPassManager.cpp:1698:16
>     #25 0x87584a in main
> /home/grosser/Projects/polly/git/tools/opt/opt.cpp:599:3
>     #26 0x7f03f09a0ec4 in __libc_start_main
> /build/buildd/glibc-2.19/csu/libc-start.c:287
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Polly Development" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to polly-dev+unsubscribe at googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.