| commit | 3200088b26aa5331784228c91681d69d4e3a83f7 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 16:34:41 +0000 (20 18:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:34 +0000 (29 17:29 +0200) | ||
| tree | 47eb3bbf5bdcf0d10daf098a012e4badd1d23e0e | treesnapshot (tar.gz zip) |
| parent | f67ffdff6ca82424d7882d2587516b9ce44acfe9 | commitdiff |
isl_map_simplify.c: uset_gist_full: allow equalities in context
Since uset_gist currently performs a compression based on the equalities
in the intersection of the input and the context, there can not be
any equalities left in the compressed context.
However, in a future commit, uset_gist will only take into account
some equalities for the compression and then the compressed context
may involve equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Since uset_gist currently performs a compression based on the equalities
in the intersection of the input and the context, there can not be
any equalities left in the compressed context.
However, in a future commit, uset_gist will only take into account
some equalities for the compression and then the compressed context
may involve equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |