| commit | 81fed9f4dde13326b847120f9d1d287c9059ef1d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 10 Oct 2014 09:49:16 +0000 (10 11:49 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 12 Jan 2015 15:44:05 +0000 (12 16:44 +0100) | ||
| tree | 3af0523324a28e6172e6b4c85f1f5da51e805d78 | treesnapshot (tar.gz zip) |
| parent | 500f93cd5230f7d6524ffd3e977165fea68d1275 | commitdiff |
isl_map_coalesce: handle divs that have been simplified away in one basic map
If one of the basic maps satisfies more equalities than the other,
then some of the integer divisions that appear in the other basic map
may have been simplified away in the first.
Try to simplify the extra integer divisions in the other basic map
using the extra equalities in the first to see if we can eliminate
them all. If so, add those integer divsions with the value specified
by the extra equalities to the first basic map and check if we can
coalesce the result with the other basic map.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If one of the basic maps satisfies more equalities than the other,
then some of the integer divisions that appear in the other basic map
may have been simplified away in the first.
Try to simplify the extra integer divisions in the other basic map
using the extra equalities in the first to see if we can eliminate
them all. If so, add those integer divsions with the value specified
by the extra equalities to the first basic map and check if we can
coalesce the result with the other basic map.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory | |
| test_inputs/codegen/cloog/mxm-shared.c | diffblobblamehistory |