pet_create_test_index: allow specification of domain space
commit8a0b8a3fa186af32124303ecf9c90ff6a1d6566e
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Mar 2014 14:10:40 +0000 (10 15:10 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:27 +0000 (25 14:36 +0100)
tree81abdb97dd3946033f60b63417ff136b6af64f40
parent6d4f6951a08978e2d8947ab259834db0cee8aa65
pet_create_test_index: 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 index expression for virtual arrays
starts out as a mapping from an anonymous 0D space
that is modified as we move up the pet_tree,
in the top-down process, the statement domain space will be known
by the time this function is called and we will create an identity
mapping on this space instead.

We allow the users to pass this domain space to pet_create_test_index.
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 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