isl_basic_map_compute_divs: preserve already known divs
commitf5ed5dd624de53be9a13883a39baa8bd469e94a4
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 12 Mar 2013 10:09:21 +0000 (12 11:09 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Mar 2013 10:09:27 +0000 (19 11:09 +0100)
tree8b5599642f31764f59e31824fff188b761b7e980
parentbf586f0e0bc5d2ac4e7c3c50ed2178d483f25521
isl_basic_map_compute_divs: preserve already known divs

The purpose of isl_basic_map_compute_divs is to ensure that all divs
have an explicit representation.  If we already have an explicit
representation for some of the divs, then there is no need to
recompute an explicit representation for them.  Instead, we preserve
the explicit representations of the known divs and only compute
explicit representations for the currently unknown divs.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c
test_inputs/codegen/hoist2.c
test_inputs/codegen/omega/p.delft2-0.c