| commit | 16a1a6223be336d3dc80353e5eca74253b5ed407 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 4 Mar 2010 09:08:47 +0000 (4 10:08 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 4 Mar 2010 14:33:12 +0000 (4 15:33 +0100) | ||
| tree | c326d54ba18a05fd3e60bca4aeb00e9e539887ca | treesnapshot (tar.gz zip) |
| parent | 28302b87543f0e14fd645916f5e0f68681a2871c | commitdiff |
isl_map_subtract: only add divs when needed
Before, the divs from all basic maps were aligne with each
other, resulting in all divs being added to all basic maps,
even if the arguments of the subtract operation are disjoint.
Now, divs are only added at the point where they are needed
and removed again if it turns out that they are not needed
in the difference.
Before, the divs from all basic maps were aligne with each
other, resulting in all divs being added to all basic maps,
even if the arguments of the subtract operation are disjoint.
Now, divs are only added at the point where they are needed
and removed again if it turns out that they are not needed
in the difference.
| isl_map_subtract.c | diffblobblamehistory |