| commit | ed1ecdd4232569e10a091c12b0493dbfcfc656d8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 6 May 2015 12:10:57 +0000 (6 14:10 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 13 May 2015 08:27:57 +0000 (13 10:27 +0200) | ||
| tree | fdbf34602c3c3bad2c2433a4ba3db3ee49349bed | treesnapshot (tar.gz zip) |
| parent | cabb57b9e37663d20a745f016e0169da69f78858 | commitdiff |
isl_ast_build_node_from_schedule: improve handling of isolation
In particular, improve the detection of the case where we are
in a branch outside the isolation domain at an outer level
(such that there is no need to further split the schedule domain).
If the AST generator was able to eliminate a schedule dimension
in this outside branch, then it has also been eliminated
from the domain of the executed relation. No conflict can
therefore be detected with the constraints on this dimension
in the isolated domain unless we also plug in the value
we found for the eliminated dimension in this domain.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, improve the detection of the case where we are
in a branch outside the isolation domain at an outer level
(such that there is no need to further split the schedule domain).
If the AST generator was able to eliminate a schedule dimension
in this outside branch, then it has also been eliminated
from the domain of the executed relation. No conflict can
therefore be detected with the constraints on this dimension
in the isolated domain unless we also plug in the value
we found for the eliminated dimension in this domain.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_codegen.c | diffblobblamehistory |