[PATCH] [Polly] Added support for modulo expressions

[Johannes Doerfert]

Hi grosser, sebpop, simbuerg, dpeixott,

  The support is limited to signed modulo access and condition
  expressions with a constant right hand side, e.g., A[i % 2] or
  A[i % 9]. Test cases are modified according to this new feature and
  new test cases are added.

http://reviews.llvm.org/D5293

Files:
  lib/Analysis/ScopInfo.cpp
  lib/Support/SCEVValidator.cpp
  test/DeadCodeElimination/non-affine-affine-mix.ll
  test/DeadCodeElimination/non-affine-but-modulo-and-affine-mix.ll
  test/ScopDetect/non_affine_but_modulo_access.ll
  test/ScopDetect/non_affine_but_modulo_condition.ll
  test/ScopInfo/NonAffine/indirect_array_write.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_1023.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_1024.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_2.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_3.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_4.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_5.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_6.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_access_8.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_condition_2.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_condition_3.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_condition_4.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_condition_5.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_condition_8.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_loop_bound_constant_7.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_loop_bound_constant_8.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_loop_bound_constant_9.ll
  test/ScopInfo/NonAffine/non_affine_but_modulo_loop_bound_parameter.ll
  test/ScopInfo/non_affine_parametric_loop.ll
  test/ScopInfo/outer_loop_add_rec_zext.ll
  test/ScopInfo/reduction_alternating_base.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5293.13535.patch
Type: text/x-patch
Size: 64217 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140910/015b2974/attachment.bin>