| commit | 8a4b01fffd9cebf94bd608c9e392a96eeab23a82 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Jan 2014 13:42:58 +0000 (23 14:42 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 1 Mar 2014 19:32:55 +0000 (1 20:32 +0100) | ||
| tree | 50c3214e40ec7c94597ecbfe03011d2a268463ff | treesnapshot (tar.gz zip) |
| parent | 6aff63fc3de7e2c888ee6dd321d183edad287f0b | commitdiff |
add isl_local_space_div_is_known
This function will be used by isl_local_space_cmp in the next commit,
which in turn will be used by isl_pw_aff_plain_cmp.
We keep it private for now. We may decide to make it public
if it turns out to be useful.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This function will be used by isl_local_space_cmp in the next commit,
which in turn will be used by isl_pw_aff_plain_cmp.
We keep it private for now. We may decide to make it public
if it turns out to be useful.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_local_space.c | diffblobblamehistory | |
| isl_local_space_private.h | diffblobblamehistory |