isl_aff_normalize: plug in divs with unit coefficient in other divs
commitad90fe4edbcbc676e57585c7587a88ed04c66f1f
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 29 Sep 2012 18:11:32 +0000 (29 20:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Nov 2012 23:33:52 +0000 (14 00:33 +0100)
treee12ddb3fefb51f80e925ee77c3294ff5f4d4792f
parent4a107ab39140742605f83ab82fb768038a2c48c6
isl_aff_normalize: plug in divs with unit coefficient in other divs

The outer div expression can then be simplified and the inner div
expression may be removed if it was only used inside the outer div
expression.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_aff.c
test_inputs/codegen/cloog/nul_complex1.c
test_inputs/codegen/cloog/reservoir-cholesky2.c
test_inputs/codegen/omega/dagstuhl1-0.c
test_inputs/codegen/omega/floor_bound-0.c
test_inputs/codegen/omega/substitution-1.c