Fix FOLD rule (i-j)-i => 0-j.

Thanks to Thomas Schilling.
This commit is contained in:
Mike Pall 2012-07-17 21:47:45 +02:00
parent c172e7aa30
commit 2139c6791f

View File

@ -1219,7 +1219,7 @@ LJFOLDF(simplify_intsubsub_leftcancel)
{
if (!irt_isnum(fins->t)) {
PHIBARRIER(fleft);
if (fins->op1 == fleft->op1) { /* (i - j) - i ==> 0 - j */
if (fins->op2 == fleft->op1) { /* (i - j) - i ==> 0 - j */
fins->op1 = (IRRef1)lj_ir_kint(J, 0);
fins->op2 = fleft->op2;
return RETRYFOLD;