| commit | c6d0c8c0848f14fa66040286491550e50afa4d9d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 16:34:41 +0000 (20 18:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:34 +0000 (29 17:29 +0200) | ||
| tree | 2ffe5189d62cbbf4c31edb909ea1246561c3b190 | treesnapshot (tar.gz zip) |
| parent | 29a25956aee0ca14f667350791ac875879e49104 | commitdiff |
isl_basic_map_gist: only take into account equalities in input and context
In particular, do not take into account additional equalities
in the intersection of input and context for computing a compression.
While taking into account such additional equalities can result
in extra equalities getting detected in the gist, it also makes
it impossible or at least difficult to avoid introducing constraints
in the gist on variables that do not appear in the input.
Introducing such constraints is not only counterintuitive,
it also breaks an assumption in the AST generator that
the result of the gist will not involve any loop iterators
that did not already appear in the input.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, do not take into account additional equalities
in the intersection of input and context for computing a compression.
While taking into account such additional equalities can result
in extra equalities getting detected in the gist, it also makes
it impossible or at least difficult to avoid introducing constraints
in the gist on variables that do not appear in the input.
Introducing such constraints is not only counterintuitive,
it also breaks an assumption in the AST generator that
the result of the gist will not involve any loop iterators
that did not already appear in the input.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |