isl_basic_map_remove_duplicate_constraints: do not mark progress on removal
commit39afceed77d7e70f7bd0d5c3bd69e7f9d67c790a
authorSven Verdoolaege <sven@cerebras.net>
Fri, 19 Jun 2020 15:56:46 +0000 (19 17:56 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 18 Feb 2024 14:53:22 +0000 (18 15:53 +0100)
tree14e5042291ea8e9ffe35ff7bcdec4fb11da508c4
parentf625fd564a95dc0c823dafb78be5f5c563cbbcb0
isl_basic_map_remove_duplicate_constraints: do not mark progress on removal

The function isl_basic_map_simplify keeps track of any progress being made
inside any of the simplifications it performs in order to rerun them
since some simplifications may trigger further simplifications
of a type that have already been considered.
However, the mere act of removing a duplicate constraint
cannot trigger any further simplifications.

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