separate out pet_context_evaluate_expr
commit9b148553289d861a8f8b93a3d8b7c0f853d31bcb
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 12 Mar 2014 21:12:53 +0000 (12 22:12 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:28 +0000 (25 14:36 +0100)
tree88cfcdb0d8e2ab9c0c095a406d37fa86deca6901
parent20f07acd2174417b4cc46f69df5c56e4a688fc49
separate out pet_context_evaluate_expr

Evaluating an expression in the context of a pet_context
currently amounts to plugging in the arguments of the access expressions,
but as we move closer to our goal of turning the extraction of a pet_scop
from a pet_tree into a top-down process, this will be extended
with a conversion of scalar reads and the introduction of an iteration domain.

With this commit, we also make a clearer distinction between expressions
that have not been "evaluated" yet, i.e., those that come straight
from the input pet_tree and those that have been evaluated already.
While plugging in arguments is essentially idempotent,
the introduction of an iteration domain that we will need to do
can only be performed once.

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