| commit | c85043a49c827750c0c9efc9b00d18c5d667627f | |
| 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:33 +0000 (29 17:29 +0200) | ||
| tree | 1edcb64aad68e15257513d172a4af8d0f1dfed7c | treesnapshot (tar.gz zip) |
| parent | d77c620e7fb185fe0107dc788e3c36b23fb6bfbf | commitdiff |
isl_map_simplify.c: update_ineq: take into account tableau may be empty
Currently, uset_gist computes the affine hull of the intersection
of the input with the context and this affine hull is tested for emptiness.
This means that the tableau constructed for identifying redundant constraints
can never be empty. However, in a future commit, this intersection
will no longer be computed. update_ineq therefore needs to take
into account that the tableau may be empty.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Currently, uset_gist computes the affine hull of the intersection
of the input with the context and this affine hull is tested for emptiness.
This means that the tableau constructed for identifying redundant constraints
can never be empty. However, in a future commit, this intersection
will no longer be computed. update_ineq therefore needs to take
into account that the tableau may be empty.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |