isl interface: remove name and internal structure of iteration domain spaces
commitbcf5b0f4ef86b710cf73b13e63e2f7f214627759
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Mar 2011 17:22:01 +0000 (10 18:22 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Mar 2011 17:27:27 +0000 (10 18:27 +0100)
treed3d6c717f670f0e1b92809318319aecb2d5c6225
parent767010a13dee1ba4705a7bf053e19d598484c1d3
isl interface: remove name and internal structure of iteration domain spaces

CLooG has no use for them and also cannot handle them.
Names and internal structure usually disappear anyway due to some
of the operations performed on the sets, but in some special cases,
this would not happen soon enough, so let's just do it explicitly.
The new code also avoids the use of an undocumented and outdated isl function.

Reported-by: Tomo <tomofumi.yuki@gmail.com>
Tested-by: Tomo <tomofumi.yuki@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/isl/domain.c