| commit | d9de9dbb39bd36188d31b85f760fa694dc722e91 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 5 Oct 2009 21:23:59 +0000 (5 23:23 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 5 Oct 2009 21:28:30 +0000 (5 23:28 +0200) | ||
| tree | 8c574600cc1de4b18d72f7e5b6e6b7d4d67e56c3 | treesnapshot (tar.gz zip) |
| parent | 39f9d18231273e974637bdf58f84e44bb87f8180 | commitdiff |
cloog_domain_stride: handle union domains
CLooG normally separates all domains into disjoint convex sets,
but cloog_domain_stride is called on domains that have not been
separated yet. This commit adds support for union domains in
cloog_domain_stride. In the case of the PolyLib backend, we
simply give up if we are handed a union domain. It's not worth
it to provide a proper implementation for the PolyLib backend.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
CLooG normally separates all domains into disjoint convex sets,
but cloog_domain_stride is called on domains that have not been
separated yet. This commit adds support for union domains in
cloog_domain_stride. In the case of the PolyLib backend, we
simply give up if we are handed a union domain. It's not worth
it to provide a proper implementation for the PolyLib backend.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/isl/domain.c | diffblobblamehistory | |
| source/polylib/domain.c | diffblobblamehistory |