From: Richard Henderson <richard.hender...@linaro.org>

> >>   static bool fold_eqv(OptContext *ctx, TCGOp *op)  {
> >> -    return fold_const2(ctx, op);
> >> +    if (fold_const2(ctx, op) ||
> >> +        fold_xi_to_not(ctx, op, 0)) {
> >
> > Should be fold_ix_to_not (not fold xi_to_not).
> 
> No, because for eqv we expect the second operand to be the constant -- eqv is
> commutative.

Ah, got it! The previous code was wrong, and I failed to notice that eqv 
would've had its arguments swapped to have the constant as second.

--
Luis Pires
Instituto de Pesquisas ELDORADO
Aviso Legal - Disclaimer <https://www.eldorado.org.br/disclaimer.html>

Reply via email to