isl_basic_map_flatten_domain: directly mark result as final
commit09ba609a577fd654dd6192ae242d86346fc6fc9f
authorSven Verdoolaege <sven@cerebras.net>
Tue, 30 Jul 2019 14:28:59 +0000 (30 16:28 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Wed, 7 Aug 2019 16:20:14 +0000 (7 18:20 +0200)
treeb4dfcb557df4e3c4f151877ddad7ddef2d4d54e1
parentba2d9923b25130dcf0e2e1f9c69c002a8f17f34d
isl_basic_map_flatten_domain: directly mark result as final

Since this function does not modify any constraints,
there is no need to look for any obviously redundant integer divisions.

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