AST generator: detect partial executed relations that become empty
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 1 May 2014 10:43:38 +0000 (12:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 1 May 2014 10:43:38 +0000 (12:43 +0200)
commit563c3a8d52e3be7c685ff9418891b30559adfca1
treeba01f2aee56973d97785c6449a2fdfc166ed6ef5
parent631ea8530155d6c8de2160ee7e24060f700364b9
AST generator: detect partial executed relations that become empty

In particular, detect those cases where they become empty
when intersected with the context at the innermost level.
At outer levels a similar test is already performed after
the call to isl_ast_build_compute_gist from add_node.

It may be better to detect these situations at an earlier stage,
but for now we just fix the immediate problem.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c
test_inputs/codegen/empty.c [new file with mode: 0644]
test_inputs/codegen/empty.in [new file with mode: 0644]