| commit | f0ac917a5031316ff5ab40d1bec972a25debc04a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 22 Sep 2011 09:53:09 +0000 (22 11:53 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Sep 2011 15:57:37 +0000 (26 17:57 +0200) | ||
| tree | 47c489b43e9a8fe42c600b271b35521172ac5891 | treesnapshot (tar.gz zip) |
| parent | deb120521622fd2237b7794734f95e4fc03df272 | commitdiff |
isl_set_intersect: properly handle intersection with parameter domains
isl_set_intersect currently allows one of its arguments to be a parameter
domain while the other is not. This will probably change in future, but
while we still support this situation, we should make sure that the result
lives in the same space as that of the argument that is not a parameter domain.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_set_intersect currently allows one of its arguments to be a parameter
domain while the other is not. This will probably change in future, but
while we still support this situation, we should make sure that the result
lives in the same space as that of the argument that is not a parameter domain.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory |