add isl_map_sort_divs
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 17 Apr 2012 17:04:21 +0000 (19:04 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Apr 2012 10:41:03 +0000 (12:41 +0200)
commitd3945cca46ac3c8d3f585a9b66b343d1ed9cd134
tree71eb6b36ca84f81e1fd7db20d83025ee2c75881a
parentf8a95ab33582f215a81d2670e17c18bc5655906b
add isl_map_sort_divs

Sorting divs should improve the effectiveness of isl_merge_divs.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_local_space.c
isl_map_private.h