pet_extract_nested_from_space: add extra dimensions if needed during embedding
commit9669dbed462b22cec66ecf664522ac91147afda2
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 12 Mar 2014 15:31:06 +0000 (12 16:31 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:28 +0000 (25 14:36 +0100)
tree70b40201624bd24a170776956081a7c068e38adb
parentc008b993b24668c6c30b727c7e3c6f4be18773db
pet_extract_nested_from_space: add extra dimensions if needed during embedding

Currently, the domains of the expressions in nested parameters
are all zero-dimensional.
However, when we change the extraction of a pet_scop from a pet_tree
from a bottom-up process to a top-down process, the domains
of these expressions correspond to the outer constructs.
Since the expression may be used in a context with more outer constructs,
we may have to add extra dimensions during the embedding of
the expressions in the domain space.

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