| commit | 19551727e1469ae8bf1cb49e453a7dd3b68d68c2 | |
| author | Basile Clement <basile.clement@inria.fr> | |
| Mon, 3 Jan 2022 13:42:24 +0000 (3 14:42 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sat, 8 Jan 2022 11:45:01 +0000 (8 12:45 +0100) | ||
| tree | 2f4ee47d881fadbac1172e10e8a6ce9de2211d12 | treesnapshot (tar.gz zip) |
| parent | d3b9396b1da1754c487e6ef196977195388ff36a | commitdiff |
isl_{set,map}_from_multi_pw_aff: take into account explicit domain
When converting a zero-dimensional isl_multi_pw_aff
to an isl_set or isl_map, the explicit domain of the isl_multi_pw_aff
was not taken into consideration, potentially resulting
in a superset of the expected result. Make it so that
the resulting set or map is intersected with the explicit domain, if any.
Signed-off-by: Basile Clement <basile.clement@inria.fr>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
When converting a zero-dimensional isl_multi_pw_aff
to an isl_set or isl_map, the explicit domain of the isl_multi_pw_aff
was not taken into consideration, potentially resulting
in a superset of the expected result. Make it so that
the resulting set or map is intersected with the explicit domain, if any.
Signed-off-by: Basile Clement <basile.clement@inria.fr>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_aff_map.c | diffblobblamehistory |