isl_basic_map_drop_redundant_divs: drop more kinds of redundant divs
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 23 May 2009 11:59:32 +0000 (13:59 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Jun 2009 15:39:14 +0000 (17:39 +0200)
commit4c7107d1c2b896890a476f389b5098f646d23f61
treeee6c6a6e1084fab53ce60125efed5a26ac9352bb
parentd96a3a8e3534fb91c89516ab01eeea06af15b3ba
isl_basic_map_drop_redundant_divs: drop more kinds of redundant divs
isl_map_simplify.c