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

[Tobias Grosser]

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