isl_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m)
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 8 Sep 2012 12:56:40 +0000 (14:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Nov 2012 23:33:52 +0000 (00:33 +0100)
commit1ca3c6e1a76379d8b8dc714395167bae0f1a09b1
tree443bcfd5cead7d8517abb3927d10fcbcbc4107f0
parent5dfeb26113fb6828f2973fa3cfd0816dbd7838a8
isl_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m)

The original implementation would compute ceil(e/m) as -floor(-e/m).
Although both are correct, floor((e + m - 1)/m) is probably less
surprising.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
30 files changed:
isl_aff.c
test_inputs/codegen/cloog/classen2.c
test_inputs/codegen/cloog/jacobi-shared.c
test_inputs/codegen/cloog/levenshtein-1-2-3.c
test_inputs/codegen/cloog/nul_complex1.c
test_inputs/codegen/cloog/otl.c
test_inputs/codegen/cloog/pouchet.c
test_inputs/codegen/cloog/reservoir-bastoul3.c
test_inputs/codegen/cloog/reservoir-cholesky2.c
test_inputs/codegen/cloog/reservoir-lim-lam3.c
test_inputs/codegen/cloog/reservoir-liu-zhuge1.c
test_inputs/codegen/cloog/reservoir-pingali5.c
test_inputs/codegen/cloog/vivien.c
test_inputs/codegen/cloog/vivien2.c
test_inputs/codegen/omega/floor_bound-0.c
test_inputs/codegen/omega/floor_bound-1.c
test_inputs/codegen/omega/hpf-0.c
test_inputs/codegen/omega/iter8-0.c
test_inputs/codegen/omega/lefur00-0.c
test_inputs/codegen/omega/lefur01-0.c
test_inputs/codegen/omega/lefur01-1.c
test_inputs/codegen/omega/lefur03-0.c
test_inputs/codegen/omega/lefur04-0.c
test_inputs/codegen/omega/m11-0.c
test_inputs/codegen/omega/p.delft-0.c
test_inputs/codegen/omega/stride6-0.c
test_inputs/codegen/omega/substitution-1.c
test_inputs/codegen/omega/ts1d-check0-0.c
test_inputs/codegen/omega/ts1d-mp-i_ts-m_b-0.c
test_inputs/codegen/stride5.c