| commit | cc109bc85aa2b056b6d390ea539bbc7c0f76b585 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 30 Jan 2017 14:57:35 +0000 (30 15:57 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 13 Mar 2017 08:42:15 +0000 (13 09:42 +0100) | ||
| tree | 79ae52c676dd5ae6226e36bc4971a9835b150f25 | treesnapshot (tar.gz zip) |
| parent | 222a5be49574539d63b7b47fa646678e03927ebe | commitdiff |
barvinok.cc: basic_map_card: explicitly reintroduce domain
The function basic_map_card turns input dimensions into parameters
in the input and then turns those parameters back into input dimensions
in the result. The input tuple is completely removed in the input,
but it was not getting explicitly introduced again in the output.
Instead, it was relying on isl_pw_qpolynomial_move_dims implicitly
introducing the input tuple, but this is an undocumented feature
that is not guaranteed to persist.
Introduce the domain explicitly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The function basic_map_card turns input dimensions into parameters
in the input and then turns those parameters back into input dimensions
in the result. The input tuple is completely removed in the input,
but it was not getting explicitly introduced again in the output.
Instead, it was relying on isl_pw_qpolynomial_move_dims implicitly
introducing the input tuple, but this is an undocumented feature
that is not guaranteed to persist.
Introduce the domain explicitly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| barvinok.cc | diffblobblamehistory |