| commit | ade311ce87a1287c3e73aba1e60c46945073c338 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 16 Jan 2010 09:57:40 +0000 (16 10:57 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 24 Jan 2010 09:31:25 +0000 (24 10:31 +0100) | ||
| tree | 5425b87b82a7dc24508d6d23626ee6831b34e251 | treesnapshot (tar.gz zip) |
| parent | 49dbb1397f4d0627a013f800f26551bd680c0d0b | commitdiff |
cloog_loop_simplify: simplify unions before simplifying away outer constraints
After dropping constraints implied by outer loops, the resulting domain
is split into disjoint parts. This splitting step first tries to combine
adjacent disjunct. However, by dropping the outer constraints first,
we may not have enough information available anymore to detect that two
disjuncts can be combined. We therefore now (also) try to simplify
unions before we drop the outer constraints.
An additional benefit is that we may be able to drop more constraints
from the combined domains.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
After dropping constraints implied by outer loops, the resulting domain
is split into disjoint parts. This splitting step first tries to combine
adjacent disjunct. However, by dropping the outer constraints first,
we may not have enough information available anymore to detect that two
disjuncts can be combined. We therefore now (also) try to simplify
unions before we drop the outer constraints.
An additional benefit is that we may be able to drop more constraints
from the combined domains.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 files changed: