pet_expr_filter: avoid introduction of constraints in index expression
commit49b22fef74599e7ddd600cfdcd8702aa3d2216e1
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Mar 2014 12:09:29 +0000 (10 13:09 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:28 +0000 (25 14:36 +0100)
tree7a6a563a3dd3a6d5163b3a5cbf365d5757ad4f83
parent0380c70a466bc6053a2052f00d2ee3a545f2091c
pet_expr_filter: avoid introduction of constraints in index expression

For non-virtual accesses, the index expressions correspond
to the expressions that appear in the code without any additional
constraints on the domain that may appear in the corresponding
access relations.

Since filters currently start out as zero-dimensionsal, the constraints
on the domain naturally drop out since there is no place to attach
this information.  The only expections are affine filters since
they are one-dimensional instead of 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 filters
will be multi-dimensional from the start and we want to avoid
introducing domain constraints in their index expressions.
Removing these domain constraints currently only affects affine filters.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
expr.c
tests/continue4.scop