isl_map_intersect: require arguments to live in the same space
commit21e511246bd7ce9e922146e3b8c8c231cd1a12c6
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 12 Oct 2011 09:52:59 +0000 (12 11:52 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 12 Oct 2011 09:52:59 +0000 (12 11:52 +0200)
tree4a21b84aa73a02ca580c5da3e2f073c5dc08df11
parent1b9bc59346b556d8501b41bd08cede8dc15cc645
isl_map_intersect: require arguments to live in the same space

Before, we would allow one of the arguments to be a parameter domain.
As pointed out by Andreas Kloeckner, this breaks some invariants
in other parts of the code, notably isl_pw_*_intersect_domain.
Since we have an isl_map_intersect_params now, we no longer need
this special case, so we remove it.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c