| commit | f38f55969dce83bf43b1a2584cd864c4b803edf0 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 21:18:48 +0000 (20 23:18 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:35 +0000 (29 17:29 +0200) | ||
| tree | 57d6d9b417cc5743b697838f26d205b4f02cba4f | treesnapshot (tar.gz zip) |
| parent | c6d0c8c0848f14fa66040286491550e50afa4d9d | commitdiff |
isl_map_simplify.c: uset_gist: drop redundant intersection
Now that the affine hull used in the compression is the intersection
of the affine hulls of input and context (rather than the affine hull
of the intersection of input and context), there is no longer any
need to intersect the input with this affine hull.
The affine hull of the input is still available in the input
now that uset_gist_full preserves the original constraints in the input,
while the affine hull of the context is taken into account
while reducing the constraints using those equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Now that the affine hull used in the compression is the intersection
of the affine hulls of input and context (rather than the affine hull
of the intersection of input and context), there is no longer any
need to intersect the input with this affine hull.
The affine hull of the input is still available in the input
now that uset_gist_full preserves the original constraints in the input,
while the affine hull of the context is taken into account
while reducing the constraints using those equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |