isl_ast_codegen.c: generate_domain: compute explicit representations of divs
commit056cb30d94956568af7987c49878ab4a31274d41
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Jun 2014 07:20:51 +0000 (3 09:20 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 14 Jun 2014 09:57:23 +0000 (14 11:57 +0200)
tree3d63cfd21f81d3b5657d57ed46639787e4f05977
parentbbdfea04011ae00227bfcb304c3aef3834d646bd
isl_ast_codegen.c: generate_domain: compute explicit representations of divs

The AST generator cannot build an expression from a set if it has
any unknown divs.  Call isl_set_compute_divs on the guard to
ensure that all divs are known.

This problem only rarely shows up because explicit representations
are usually computed implicitly by the call to isl_ast_build_compute_gist.
However, if the build domain is a universe set (which may happen
in the case of full unrolling), then this implicit divs computation
is not performed.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c
test_inputs/codegen/unroll7.c [new file with mode: 0644]
test_inputs/codegen/unroll7.in [new file with mode: 0644]