isl_space_range_reverse: try and preserve dimension identifiers
commit644e4d34f2c520ee96d5ef091b644f414c1757f1
authorSven Verdoolaege <sven@cerebras.net>
Mon, 28 Jun 2021 16:27:48 +0000 (28 18:27 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Tue, 14 Feb 2023 21:31:15 +0000 (14 22:31 +0100)
treefe7b0e8429cf46d4da7b61a9d33db79a02ca5171
parent496e295b20a0a7013ad515c76d338a2216b283db
isl_space_range_reverse: try and preserve dimension identifiers

The original implementation would leave the dimension identifiers
in their original positions instead of moving them along
with the nested tuples.  Since the dimension identifiers
do not carry any meaning, this is correct behavior,
but it can still be confusing.
Try and move the dimension identifiers by copying them
from the reversed nested space.

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