isl_map_product: used nested spaces in result
commit7fe114fa48acbab3d0e3ae5ea710313d5f00e3c2
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Aug 2010 12:46:48 +0000 (3 14:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Aug 2010 17:14:59 +0000 (5 19:14 +0200)
tree31fbc55ade33400dc6d8ba45682715f0f3996b9d
parentd1c49a8c6386f4c7219130be2e8965c4523148a8
isl_map_product: used nested spaces in result

That is, the product of A -> B and C -> D now has dimension
[A -> C] -> [B -> D].  This allows us to keep all information
about the spaces A, B, C, D, including their names and any
prior nestings.

Since it sometimes also useful to have concatenated spaces in the result,
we also introduct isl_map_flat_product, which produces what isl_map_product
used to produce.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl_map.h
include/isl_set.h
isl_dim.c
isl_dim_private.h
isl_map.c