| commit | a8088d55a3b58d5433f823cc7e4dc260bdb3409c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 31 Mar 2016 11:53:26 +0000 (31 13:53 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 1 Apr 2016 10:09:40 +0000 (1 12:09 +0200) | ||
| tree | c65df2ea506304b9b8347fc4261e2592f298a8c6 | treesnapshot (tar.gz zip) |
| parent | 02b3097d5eb9f3d4362860a0bd086d394d69eddc | commitdiff |
isl_map_gist: special case subset context
In particular, if the context is a subset of the input, then all
constraints can be removed. If both the input and the context
consist of a single disjunct, then this situation will already
be discovered, but otherwise, it may have gotten unnoticed.
This helps in particular during AST generation in cases where
the "executed" relation for a particular statement at the leaves
consists of multiple disjuncts. If the domain constraints are
redundant with respect to the known constraints in the build,
then this could remain unnoticed before, resulting in redundant
conditions in the AST generation output reported by
Tobias Grosser <tobias.grosser@inf.ethz.ch>.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if the context is a subset of the input, then all
constraints can be removed. If both the input and the context
consist of a single disjunct, then this situation will already
be discovered, but otherwise, it may have gotten unnoticed.
This helps in particular during AST generation in cases where
the "executed" relation for a particular statement at the leaves
consists of multiple disjuncts. If the domain constraints are
redundant with respect to the known constraints in the build,
then this could remain unnoticed before, resulting in redundant
conditions in the AST generation output reported by
Tobias Grosser <tobias.grosser@inf.ethz.ch>.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory | |
| test_inputs/codegen/isolate2.c | diffblobblamehistory |