isl_basic_map_normalize_constraints: take into account effect on constraints
commit2338a9a84dff82b4bc806112994ca07d704bd928
authorSven Verdoolaege <sven@cerebras.net>
Thu, 18 Nov 2021 11:24:05 +0000 (18 12:24 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 10 Feb 2024 15:13:41 +0000 (10 16:13 +0100)
treee798dfcadd81c71f13e23c2753b23d3c6762b7ac
parent188f5357ff423c7f8319a41d20d788ba79b0b533
isl_basic_map_normalize_constraints: take into account effect on constraints

In particular, if the constraints were sorted before
then they may no longer be sorted after normalizing some of them.
The removal of the corresponding flags is put inside scale_down_inequality.
The other caller of scale_down_inequality (eliminate_var_using_equality)
already modifies the same flags and continues to do so after this commit
to take into account the effect of the actual elimination.
This is needed in those cases where no scaling is being performed.

This is unlikely to have an effect in practice.
The normalization usually happens when the set is first created
(before the constraints are sorted) or after a call to Gaussian
elimination, which already results in the removal of the flags.

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