isl_ast_build_eliminate_divs: remove unknown divs before divs involving depth
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 20 Nov 2012 14:39:39 +0000 (15:39 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 20 Nov 2012 14:41:42 +0000 (15:41 +0100)
commit90b03fd6d1ba37c9d3b0f1d78663aa8d35877547
treef6b5f36957315ad9b7a4782c8ec0304a85ece772
parent4c8d127e1acff7f670d86863addcde96eadf711a
isl_ast_build_eliminate_divs: remove unknown divs before divs involving depth

Occasionally, eliminating unknown divs may turn other unknown divs
into known divs, which may depend on the current depth.

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