isl_basic_map_reduce_coefficients: reduce again after gauss
commit6de739b49f8cc3ee0c4f0b44df0c8c347bcbde8f
authorSven Verdoolaege <sven@cerebras.net>
Fri, 19 Jun 2020 15:36:34 +0000 (19 17:36 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 3 Feb 2024 10:13:08 +0000 (3 11:13 +0100)
treec2c3c5ee4a099841f2fc67a7283ae7edae387be0
parent0c0958b989a1c1c4576c5f031969feec2e01151d
isl_basic_map_reduce_coefficients: reduce again after gauss

Much of the effect of the reduction may be undone by a call to
isl_basic_map_gauss.  Even though the call to isl_basic_map_gauss
itself may be useful to exploit any newly discovered equality
constraint, the coefficients should be reduced again
to ensure the function does what it is meant to do.

In particular, this allows the first of the newly added test cases
to be coalesced.  The second test case checks that
the second reduction is not done after the removal
of any local variables.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
isl_map_simplify.c
isl_test.c