| commit | 4faedb72745e5538e614656db7d41258050d2faa | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 3 Oct 2008 20:59:47 +0000 (3 22:59 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 3 Oct 2008 22:18:36 +0000 (4 00:18 +0200) | ||
| tree | 99d90dadad6e58a9288abd068b21eb95552d3a81 | treesnapshot (tar.gz zip) |
| parent | 40f862d40c3eac8afd3958b6e9e3a47cf6e74b7d | commitdiff |
cloog_loop_merge: ensure loop domains are convex, i.e., not unions
Most of the code, especially the clast construction, assumes
the loop domains are not unions.
cloog_loop_separate ensures this property in all cases,
but cloog_loop_merge would fail to ensure this property
if called on a list of a single loop.
Most of the code, especially the clast construction, assumes
the loop domains are not unions.
cloog_loop_separate ensures this property in all cases,
but cloog_loop_merge would fail to ensure this property
if called on a list of a single loop.
| source/loop.c | diffblobblamehistory |