tcg/optimize: Build and use z_bits and o_bits in fold_nand

Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2024-12-09 18:13:15 -06:00
parent 33fcebadd0
commit 16559c3ecb

View file

@ -2197,16 +2197,22 @@ static bool fold_multiply2(OptContext *ctx, TCGOp *op)
static bool fold_nand(OptContext *ctx, TCGOp *op)
{
uint64_t s_mask;
uint64_t z_mask, o_mask, s_mask;
TempOptInfo *t1, *t2;
if (fold_const2_commutative(ctx, op) ||
fold_xi_to_not(ctx, op, -1)) {
return true;
}
s_mask = arg_info(op->args[1])->s_mask
& arg_info(op->args[2])->s_mask;
return fold_masks_s(ctx, op, s_mask);
t1 = arg_info(op->args[1]);
t2 = arg_info(op->args[2]);
z_mask = ~(t1->o_mask & t2->o_mask);
o_mask = ~(t1->z_mask & t2->z_mask);
s_mask = t1->s_mask & t2->s_mask;
return fold_masks_zos(ctx, op, z_mask, o_mask, s_mask);
}
static bool fold_neg_no_const(OptContext *ctx, TCGOp *op)