| commit | 00c4c1e510dc6474297ad3020b98a93aae5176b7 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 11 Mar 2014 11:34:06 +0000 (11 12:34 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Mar 2014 13:36:28 +0000 (25 14:36 +0100) | ||
| tree | 4879868464866d95a1570844d3536e8ae10cc836 | treesnapshot (tar.gz zip) |
| parent | 0d6a196c7cf2507f9ca80364b51e8709e07c7a48 | commitdiff |
tree2scop.c: add_implication: handle higher dimensional domains
Currently, the input set of add_implication is always single-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 dimension
of this set will be equal to the number of outer loops,
including the current loop.
We therefore need to take into account that the dimension of
the input may be greater than 1.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Currently, the input set of add_implication is always single-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 dimension
of this set will be equal to the number of outer loops,
including the current loop.
We therefore need to take into account that the dimension of
the input may be greater than 1.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tree2scop.c | diffblobblamehistory |