Added support for modulo expressions
rPLO215684
Actions

Description

Added support for modulo expressions

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.

Differential Revision: http://reviews.llvm.org/D4843

Details

Committed

jdoerfert

Aug 14 2014, 6:14 PM

Differential Revision

D4843: [Polly] Added support for modulo accesses

Branches

Unknown

Tags

Unknown

Reverted By

rPLO215816: Revert "Added support for modulo expressions"

Event Timeline

jdoerfert committed rPLO215684: Added support for modulo expressions.Aug 14 2014, 6:14 PM

grosser added a reverting change: rPLO215816: Revert "Added support for modulo expressions".Nov 28 2017, 8:38 PM

Changes (23)

Path

Size

polly/

trunk/

lib/

Analysis/

ScopInfo.cpp

Support/

SCEVValidator.cpp

test/

DeadCodeElimination/

non-affine-affine-mix.ll

non-affine-but-modulo-and-affine-mix.ll

ScopDetect/

non_affine_but_modulo_access.ll

non_affine_but_modulo_condition.ll

ScopInfo/

NonAffine

indirect_array_write.ll

non_affine_but_modulo_access_1023.ll

non_affine_but_modulo_access_1024.ll

non_affine_but_modulo_access_2.ll

non_affine_but_modulo_access_3.ll

non_affine_but_modulo_access_4.ll

non_affine_but_modulo_access_5.ll

non_affine_but_modulo_access_6.ll

non_affine_but_modulo_access_8.ll

non_affine_but_modulo_condition_2.ll

non_affine_but_modulo_condition_3.ll

non_affine_but_modulo_condition_4.ll

non_affine_but_modulo_condition_5.ll

non_affine_but_modulo_condition_8.ll

non_affine_parametric_loop.ll

reduction_alternating_base.ll

rPLO215684

View Options

polly/trunk/lib/Analysis/ScopInfo.cpp

View Options

polly/trunk/lib/Support/SCEVValidator.cpp

View Options

polly/trunk/test/DeadCodeElimination/non-affine-affine-mix.ll

View Options

polly/trunk/test/DeadCodeElimination/non-affine-but-modulo-and-affine-mix.ll

View Options

polly/trunk/test/ScopDetect/non_affine_but_modulo_access.ll

View Options

polly/trunk/test/ScopDetect/non_affine_but_modulo_condition.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/

View Options

polly/trunk/test/ScopInfo/NonAffine/indirect_array_write.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_1023.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_1024.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_2.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_3.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_4.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_5.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_6.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_8.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_2.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_3.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_4.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_5.ll

View Options

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_8.ll

View Options

polly/trunk/test/ScopInfo/non_affine_parametric_loop.ll

View Options

polly/trunk/test/ScopInfo/reduction_alternating_base.ll

Added support for modulo expressionsrPLO215684Actions

Description

Details

Event Timeline

Changes (23)

rPLO215684

polly/trunk/lib/Analysis/ScopInfo.cpp

polly/trunk/lib/Support/SCEVValidator.cpp

polly/trunk/test/DeadCodeElimination/non-affine-affine-mix.ll

polly/trunk/test/DeadCodeElimination/non-affine-but-modulo-and-affine-mix.ll

polly/trunk/test/ScopDetect/non_affine_but_modulo_access.ll

polly/trunk/test/ScopDetect/non_affine_but_modulo_condition.ll

polly/trunk/test/ScopInfo/NonAffine/

polly/trunk/test/ScopInfo/NonAffine/indirect_array_write.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_1023.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_1024.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_2.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_3.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_4.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_5.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_6.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_access_8.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_2.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_3.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_4.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_5.ll

polly/trunk/test/ScopInfo/NonAffine/non_affine_but_modulo_condition_8.ll

polly/trunk/test/ScopInfo/non_affine_parametric_loop.ll

polly/trunk/test/ScopInfo/reduction_alternating_base.ll

Added support for modulo expressions
rPLO215684
Actions