| commit | 0f4772cac9b0a19649c0f08a483efcbc968cd108 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 11 May 2018 16:05:19 +0000 (11 18:05 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 11 May 2018 16:10:04 +0000 (11 18:10 +0200) | ||
| tree | 9b3eee85a226862d25d423d3d12fc899fdbc8738 | treesnapshot (tar.gz zip) |
| parent | d92f1dc4ed6baea5046e0909aa86af5c35cc4a39 | commitdiff |
isl_multi_union_pw_aff_range_product: fix handling of missing explicit domains
In particular, if isl_multi_union_pw_aff_range_product was given
two zero-dimensional arguments, one with explicit domain and
one without, then if it is the first one that has the explicit domain,
it would be preserved, while in the other case it would not.
The reason it that while isl_multi_*_intersect_explicit_domain
can rely on isl_multi_*_domain_intersect to handle the first case,
it must handle the second case itself.
Add this handling to isl_multi_*_intersect_explicit_domain.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
In particular, if isl_multi_union_pw_aff_range_product was given
two zero-dimensional arguments, one with explicit domain and
one without, then if it is the first one that has the explicit domain,
it would be preserved, while in the other case it would not.
The reason it that while isl_multi_*_intersect_explicit_domain
can rely on isl_multi_*_domain_intersect to handle the first case,
it must handle the second case itself.
Add this handling to isl_multi_*_intersect_explicit_domain.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_multi_explicit_domain.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |