isl_map.c: extract out generic extract_bound_from_constraint
commit9444209b151d1b3a1bf41fccdf021e98d248b2b5
authorSven Verdoolaege <sven@cerebras.net>
Wed, 17 Nov 2021 16:29:09 +0000 (17 17:29 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 25 Feb 2024 14:44:36 +0000 (25 15:44 +0100)
tree9e974ef4cf72396ea6388e8b741208929c523648
parentc7f00bececf9b73e27c76eecfa290bb324dd11ef
isl_map.c: extract out generic extract_bound_from_constraint

In particular, extract out a generic version of part
of isl_basic_map_inequality_extract_output_upper_bound
that works for both lower and upper bounds and also
equality constraints and that allows for the selection
of an initial subset of the variables.

This generic version will be reused in an upcoming commit.

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