isl_basic_map_reset_space: extract out isl_space_has_equal_ids
commitc39b60cc10166b507bf4263f34c861923bc6e2e7
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 25 Jan 2017 09:03:35 +0000 (25 10:03 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 8 Mar 2017 09:35:37 +0000 (8 10:35 +0100)
tree69d8f7c7e568e4a7725d2c21ad38a885df925183
parent587827f56d929d67498160b9e5493cc5e045ca7e
isl_basic_map_reset_space: extract out isl_space_has_equal_ids

The function isl_space_match will be deprecated in the next commit.
Its last remaining use was inside isl_basic_map_reset_space.
Replace the calls to isl_space_match by a call to isl_space_has_equal_ids,
which can be implemented in terms of the internal "match" function.
As an added benefit, the new code should also be easier to understand.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c
isl_space.c
isl_space_private.h