-
Sven Verdoolaege authored
emul_fractionals assumes that polynomial expressions in fractional parts of an argument with denominator 2 are always affine since they start out being affine and emul_fractionals makes sure that they stay affine. However, a fractional part may originally have an argument with a denominator that is different from 2 and that only becomes two after a substitution. The polynomial expression in this fractional part may already be of higher degree at this point so we need to reduce it to maintain the invariant. Reported-by:
Thomas Kahle <tomka@gentoo.org> Signed-off-by:
Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege authoredemul_fractionals assumes that polynomial expressions in fractional parts of an argument with denominator 2 are always affine since they start out being affine and emul_fractionals makes sure that they stay affine. However, a fractional part may originally have an argument with a denominator that is different from 2 and that only becomes two after a substitution. The polynomial expression in this fractional part may already be of higher degree at this point so we need to reduce it to maintain the invariant. Reported-by:
Thomas Kahle <tomka@gentoo.org> Signed-off-by:
Sven Verdoolaege <skimo@kotnet.org>
Loading