Change semantics of cloog_domain_cut_first
commit25ab089dc0f40b9cc225cc57323a0a67f55a463c
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Sep 2008 10:34:34 +0000 (11 12:34 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 23 Sep 2008 13:09:31 +0000 (23 15:09 +0200)
treeb2fb889aeaaadb3239d64e059246e986d2bd487d
parent828daf6c85a15f69f90a6050e71132410ace66a8
Change semantics of cloog_domain_cut_first

cloog_domain_cut_first used to have very confusing action-at-a-distance
behavior, changing not only the domain it took as an argument, but
also any other domain that happened to reference the same CloogDomain
structure.

This patch makes cloog_domain_cut_first return two domains,
the "first" part of the union and the remainder of the union.
Any other domain that references the same CloogDomain structure
(if there is any) is left untouched.
All callers of cloog_domain_cut_first are changed accordingly.
include/cloog/domain.h
source/loop.c
source/polylib/domain.c