tree2scop.c: scop_from_{break,continue}: allow specification of domain space
commit8cae268ddfb87d59daa9a5b058beec57a02a4845
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Mar 2014 18:07:29 +0000 (10 19:07 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:27 +0000 (25 14:36 +0100)
treee026dd4ba47904acb99c6d6a9770d3216c349198
parent8a0b8a3fa186af32124303ecf9c90ff6a1d6566e
tree2scop.c: scop_from_{break,continue}: allow specification of domain space

We want to change the extraction of a pet_scop from a pet_tree
from a bottom-up process to a top-down process.
Whereas, currently, the skip conditions of break and continue statements
are defined as mappings from an anonymous 0D space, this space
will include all outer loop iterators in the top-down process.

We allow the users to pass the domain space to scop_from_continue and
scop_from_break.
In the top-down process, the constraints derived from the outer
constructs will be stored in the pet_context.
We therefore obtain the domain space from the pet_context.

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