isl_basic_map_reduce_coefficients: extract out reduce_coefficients
commit02dd3648371335b8abfdeac711f73de8b06ff5f2
authorSven Verdoolaege <sven@cerebras.net>
Fri, 19 Jun 2020 15:36:28 +0000 (19 17:36 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 3 Feb 2024 10:10:25 +0000 (3 11:10 +0100)
tree38d3411ca7f1fc9c7bc96790ef4c55009d22d98d
parentf7074c360474d860149e621897f5c2e048657fd8
isl_basic_map_reduce_coefficients: extract out reduce_coefficients

This will allow this part of isl_basic_map_reduce_coefficients
to be reused in an upcoming commit.

The extracted function is responsible for marking the basic map
as having had its coefficients reduced to ensure that it doesn't
get marked after some possible further constraint manipulations
after the call to reduce_coefficients.

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