| commit | 269363bfd6accefca505409c658f2ee0c274bcf3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 18 Nov 2012 08:24:50 +0000 (18 09:24 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 20 Nov 2012 17:06:32 +0000 (20 18:06 +0100) | ||
| tree | cfb26b03d93496401077d6150fabaae7f988fa4e | treesnapshot (tar.gz zip) |
| parent | 15171e1f108a0135be105fb470e39688cfe20839 | commitdiff |
isl_basic_map_gist: drop irrelevant constraints from the context
The context may contain constraints on variables that do not even
appear in the input basic map. The constraints therefore cannot
be exploited to simplify the input and only serve to make some
of the internal computations more expensive, in particular the
computation of the affine hull of the intersection of input and context
and the emptiness checks used in the final determination of
the redundancy of a constraint.
It's therefore more efficient to remove those irrelevant constraints.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The context may contain constraints on variables that do not even
appear in the input basic map. The constraints therefore cannot
be exploited to simplify the input and only serve to make some
of the internal computations more expensive, in particular the
computation of the affine hull of the intersection of input and context
and the emptiness checks used in the final determination of
the redundancy of a constraint.
It's therefore more efficient to remove those irrelevant constraints.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>