| commit | 9cba0a91f795bc858ab3482ba674a2d293157d8d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 21 Jun 2015 12:19:20 +0000 (21 14:19 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:35 +0000 (29 17:29 +0200) | ||
| tree | e1d10647e5e6ebe1a2e3ddda68d4a8229bd941ad | treesnapshot (tar.gz zip) |
| parent | 0c768382c44e71839d13e78b73f9fa889895c401 | commitdiff |
isl_basic_map_gist: do not introduce context divs in input
The divs of the input and the context are currently aligned,
which introduces the context divs in the input. This may seem
harmless because there should not be any constraints involving
those context divs in the result such that those divs will get
eliminated again, but this only happens after the div constraints
have been added and they may get simplified in between.
This may lead to spurious constraints in the output that may
even involve variables that did not appear in the input.
Do not add the context divs to the input, but add completely
unconstrained dimensions instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The divs of the input and the context are currently aligned,
which introduces the context divs in the input. This may seem
harmless because there should not be any constraints involving
those context divs in the result such that those divs will get
eliminated again, but this only happens after the div constraints
have been added and they may get simplified in between.
This may lead to spurious constraints in the output that may
even involve variables that did not appear in the input.
Do not add the context divs to the input, but add completely
unconstrained dimensions instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory | |
| test_inputs/codegen/roman.c | diffblobblamehistory | |
| test_inputs/codegen/separate2.c | diffblobblamehistory |