| commit | 315c0275bfad5488a06cc6abc27fbb9fd1079206 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 4 Oct 2020 09:03:13 +0000 (4 11:03 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 5 Jan 2021 21:23:11 +0000 (5 22:23 +0100) | ||
| tree | 71b4683ae085859a4cb067762d5bd29a86a6911d | treesnapshot (tar.gz zip) |
| parent | a3c9bf7b64ff92350c0f9687e0340bc03748c9ed | commitdiff |
isl_qpolynomial_bound_on_domain_bernstein: properly handle constant polynomials
The bound on a constant polynomial is necessarily tight,
but the generic mechanism for checking whether a bound is tight
fails to recognize this since no vertex is selected.
Add a special case for constant polynomials
so that their bounds are considered tight.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The bound on a constant polynomial is necessarily tight,
but the generic mechanism for checking whether a bound is tight
fails to recognize this since no vertex is selected.
Add a special case for constant polynomials
so that their bounds are considered tight.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_bernstein.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |