Use all available range information for parameters
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Sun, 26 Apr 2015 20:07:21 +0000 (20:07 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Sun, 26 Apr 2015 20:07:21 +0000 (20:07 +0000)
commit8f8af43fefd1d0a413e88df77d1bea42b07f373c
treea80bed72e8d39110f8357a66e5ce8bfdac5b9034
parentd5d8f67dc5ec18bfd172dc620a49f68db898512d
Use all available range information for parameters

  In the following even full-range information will help to avoid
  runtime checks for wrapping integers, hence we enable it now.

llvm-svn: 235823
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/NonAffine/non_affine_conditional_surrounding_affine_loop.ll
polly/test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
polly/test/ScopInfo/assume_gep_bounds.ll
polly/test/ScopInfo/assume_gep_bounds_2.ll
polly/test/ScopInfo/multidim_3d_parametric_array_static_loop_bounds.ll