isl_basic_map_sort_constraints: skip sorting if constraints are sorted already
commite3c63e9a580f7caae14659272f9d5383af958027
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 9 May 2014 13:44:23 +0000 (9 15:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 3 Sep 2014 11:00:30 +0000 (3 13:00 +0200)
treea4e2d1811f7de277186b5ca51efec0e9b52ed98a
parent61227d5cae84dde2942ff432ae1c91b4209bf639
isl_basic_map_sort_constraints: skip sorting if constraints are sorted already

In particular, if the basic map has been normalized,
then the constraints have been sorted already.

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