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

[Johannes Doerfert]

Hi grosser, sebpop, simbuerg, zinob,

This will allow to generate non-wrap assumptions for memory accesess.
We compare the old isl representation of the access functions with
the one computed with modulo semantic.

Notes:
  - We will use all range information for parameters (even full ranges)
    to simplify the assumptions.
  - We will respect the nsw flags when computing the modulo
    representation.

Some but not all test cases have been adjusted.

http://reviews.llvm.org/D9099

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/assume_gep_bounds.ll
  test/ScopInfo/simple_loop_1.ll
  test/ScopInfo/unsigned-condition.ll
  test/ScopInfo/wraping_signed_expr_1.ll
  test/ScopInfo/wraping_signed_expr_1_long.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

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