pet_context_evaluate_expr: first insert domain
commit2bfa13d0ab0597ef8338ac9c84b5be7cadfdd7d6
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 11 Mar 2014 14:06:15 +0000 (11 15:06 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:29 +0000 (25 14:36 +0100)
tree14531661ef77ec885f10e79fc4c9ac1c69734af8
parentd35af5372bfef00724f4492ed64b521f1eb81d6d
pet_context_evaluate_expr: first insert domain

The pet_context currently has a zero-dimensional anonymous domain,
which is the same as the domains of the access expressions inside
the input pet_tree.
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 domain
of the pet_context will include references to outer constructs
and may therefore not be zero-dimensional.
We therefore need to map all those access expressions to the domain
of the pet_context before combining them with expressions
inside the pet_context.
This mapping currently has no effect, but will take effect as soon
as the domain of the pet_context changes.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
context.c
expr.c
expr.h