[PATCH] [Polly] Added support for modulo accesses

[Johannes Doerfert]

Hi grosser,

  The support is limited to signed modulo access expressions with a
  constant right hand side, e.g., A[i % 2]. Test cases are modified
  according to this new feature and two new test cases to test the
  functionality are added. A test case for not yet supported modulo
  conditions is added too.

http://reviews.llvm.org/D4843

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/reduction_alternating_base.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4843.12347.patch
Type: text/x-patch
Size: 11253 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140811/1c4d7d96/attachment.bin>