[PATCH] D11977: Use modulo semantic to generate non-integer-overflow assumptions

[Johannes Doerfert via llvm-commits]

jdoerfert updated this revision to Diff 32241.
jdoerfert added a comment.

Fixed the problem pointed out by Tobias and added his test case.


http://reviews.llvm.org/D11977

Files:
  include/polly/ScopInfo.h
  include/polly/Support/SCEVAffinator.h
  lib/Analysis/ScopInfo.cpp
  lib/CodeGen/IslAst.cpp
  lib/Support/SCEVAffinator.cpp
  test/DependenceInfo/sequential_loops.ll
  test/Isl/Ast/aliasing_parametric_simple_2.ll
  test/Isl/Ast/simple-run-time-condition.ll
  test/Isl/CodeGen/aliasing_parametric_simple_2.ll
  test/Isl/CodeGen/pointer-type-expressions-2.ll
  test/Isl/CodeGen/pointer-type-expressions.ll
  test/Isl/CodeGen/two-scops-in-row.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_non_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
  test/ScopInfo/assume_gep_bounds.ll
  test/ScopInfo/assume_gep_bounds_2.ll
  test/ScopInfo/loop_carry.ll
  test/ScopInfo/multidim_2d_outer_parametric_offset.ll
  test/ScopInfo/pointer-type-expressions.ll
  test/ScopInfo/ranged_parameter.ll
  test/ScopInfo/simple_loop_1.ll
  test/ScopInfo/test-wrapping-in-condition.ll
  test/ScopInfo/unsigned-condition.ll
  test/ScopInfo/wraping_signed_expr_0.ll
  test/ScopInfo/wraping_signed_expr_1.ll
  test/ScopInfo/wraping_signed_expr_2.ll
  test/ScopInfo/wraping_signed_expr_3.ll
  test/ScopInfo/wraping_signed_expr_4.ll
  test/ScopInfo/wraping_signed_expr_5.ll
  test/ScopInfo/wraping_signed_expr_slow_1.ll
  test/ScopInfo/wraping_signed_expr_slow_2.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11977.32241.patch
Type: text/x-patch
Size: 45952 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150816/47b52933/attachment.bin>