isl_printer_print_map: make printing order of disjuncts platform independent
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 19 Jun 2013 07:04:39 +0000 (09:04 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 19 Jun 2013 07:04:39 +0000 (09:04 +0200)
commit40191993da0bec1d166c1224e02788dc669c6dd9
treee0f9b7fd18c0caaf53051fabd7bc75dd16c40ed9
parente6f152a626153bc07c8b6f4311eebacdef7bd95c
isl_printer_print_map: make printing order of disjuncts platform independent

In particular, the printing order is based on a sort of the affine hulls
of the disjuncts.  If some of these affine hulls are the same, then the
comparison routine will leave their order open.  Different implementations
of qsort may therefore produce different results.  By using isl_sort instead,
we can avoid this platform dependence.

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