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

[Johannes Doerfert via llvm-commits]

jdoerfert updated this revision to Diff 33628.
jdoerfert added a dependency: D12499: [WIP] Replace ScalarEvolution based domain generation.
jdoerfert added a comment.

Updated version. Depends on http://reviews.llvm.org/D12499.


http://reviews.llvm.org/D11977

Files:
  include/polly/ScopInfo.h
  include/polly/Support/SCEVAffinator.h
  lib/Analysis/ScopInfo.cpp
  lib/Support/SCEVAffinator.cpp
  test/DependenceInfo/sequential_loops.ll
  test/Isl/CodeGen/pointer-type-expressions-2.ll
  test/Isl/CodeGen/pointer-type-expressions.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/multidim_srem.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_6.ll
  test/ScopInfo/wraping_signed_expr_7.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.33628.patch
Type: text/x-patch
Size: 51272 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150831/22d96195/attachment.bin>