[PATCH] [Unfinished] Use modulo semantic to generate non-wrap assumptions

[Johannes Doerfert]

Modified tests and added wrapping tests including two that show huge slowdowns


http://reviews.llvm.org/D9099

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.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.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_ivs_and_parameteric_offsets_3d.ll
  test/ScopInfo/pointer-type-expressions.ll
  test/ScopInfo/ranged_parameter.ll
  test/ScopInfo/simple_loop_1.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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9099.24503.patch
Type: text/x-patch
Size: 33233 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150427/bfd4e2f6/attachment.bin>