| commit | e72d7e21dd8a22f65b00acd847a8e795d7a2c0d6 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 23 Jul 2014 09:54:05 +0000 (23 11:54 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Sep 2014 15:57:19 +0000 (15 17:57 +0200) | ||
| tree | c6494bf64d3dc240aba67368b85286bb5a63f240 | treesnapshot (tar.gz zip) |
| parent | 3812ad9c246070e4f8195830654a751e4ac170d8 | commitdiff |
isl_basic_map_gist: avoid (temporarily) adding context constraints to input
We add the context constraints to the input in order to be able
to compute the affine hull of the intersection.
However, there is no need to use this intersection for the actual
gist computation. Doing so only risks replacing constraints
in the input by constraints in the context in case of mutuallly
redundant constraints.
Simply use the original input to perform the actual gist computation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We add the context constraints to the input in order to be able
to compute the affine hull of the intersection.
However, there is no need to use this intersection for the actual
gist computation. Doing so only risks replacing constraints
in the input by constraints in the context in case of mutuallly
redundant constraints.
Simply use the original input to perform the actual gist computation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| test_inputs/codegen/omega/lefur04-0.c | diffblobblamehistory |