| commit | d12205e2f0e44fe58a7a6017c1f71e42952572cf | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 18 Mar 2011 14:27:33 +0000 (18 15:27 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 18 Mar 2011 15:01:06 +0000 (18 16:01 +0100) | ||
| tree | e3840967bffaadbb2a17eb8be4462ee487ca33d9 | treesnapshot (tar.gz zip) |
| parent | 9d3250ea28f05b14d7026e113570ae2d15df9ee0 | commitdiff |
isl_pw_qpolynomial_sum: handle existentials in non-wrapped domains again
Commit 891e850 (isl_pw_qpolynomial_sum: handle existentials in wrapped domains,
Mon Nov 1 11:12:28 2010 +0100) fixed the handling of existentials
in wrapped domains, but broke the handle of existentials in other dommains.
The total number of variables would be computed before the lifting
and would therefore not take into account the number of existentials.
Reported-by: Chih-Duo Hong <chihduo.hong@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Commit 891e850 (isl_pw_qpolynomial_sum: handle existentials in wrapped domains,
Mon Nov 1 11:12:28 2010 +0100) fixed the handling of existentials
in wrapped domains, but broke the handle of existentials in other dommains.
The total number of variables would be computed before the lifting
and would therefore not take into account the number of existentials.
Reported-by: Chih-Duo Hong <chihduo.hong@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| summate.c | diffblobblamehistory | |
| tests/pwqp/hong1.pwqp | [new file with mode: 0644] | blob |
| tests/pwqp/hong2.pwqp | [new file with mode: 0644] | blob |