pet_scop constructors: allow specification of domain space
commitdb3b12bfb2c305c17b6adbd99812bebefdd5a867
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Mar 2014 18:17:06 +0000 (10 19:17 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:27 +0000 (25 14:36 +0100)
treeffa487c7ccce9b7c582105d55f72898ccc4cf414
parentf2e7efbd6b36ec02dc4d439db6ed18726c0fd73e
pet_scop constructors: 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.
Currenlty, the context of a pet_scop always lives in a pure parameter
space, but this will be changed to the space that includes
all outer loop iterators during the top-down process.

We allow the users to pass the domain space to pet_scop_from_pet_stmt and
pet_scop_empty.
We therefore obtain the domain space from the pet_context whenever
it is already available and take the current anonymous 0D space
as input otherwise.  The latter will be changed to take
the domain space from the pet_context in subsequent commits.

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