| commit | 3812ad9c246070e4f8195830654a751e4ac170d8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 28 Nov 2013 12:17:40 +0000 (28 13:17 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Sep 2014 15:57:19 +0000 (15 17:57 +0200) | ||
| tree | d979486329bfa1ad9549a5aa4523ec9b60082668 | treesnapshot (tar.gz zip) |
| parent | 2c19ecd444095d6f560349018f68993bc0e03691 | commitdiff |
isl_map_subtract: check if inputs are disjoint
Although checking whether the inputs intersect comes with a cost,
it saves us from possibly needlessly breaking up the input map
into many small pieces through the actual set different computation.
The effects on the AST generation outputs are due to the fact
that some sets end up with a different internal representation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Although checking whether the inputs intersect comes with a cost,
it saves us from possibly needlessly breaking up the input map
into many small pieces through the actual set different computation.
The effects on the AST generation outputs are due to the fact
that some sets end up with a different internal representation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>