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>