isl_basic_map_drop_redundant_divs: also investigate divs that have a definition
commit97108501f83ce51e94dbe551168397ba57637c9a
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 14 Aug 2009 11:38:03 +0000 (14 13:38 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 28 Aug 2009 17:42:19 +0000 (28 19:42 +0200)
treed09164749ecc39ebc0a354303e02d241c38a7499
parentaf42c7fc8994c39a743b131c3d77f11f084a44b5
isl_basic_map_drop_redundant_divs: also investigate divs that have a definition

They may have become redundant after having been defined.
isl_map_simplify.c