diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2024-12-09 17:56:10 -0600 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2025-06-30 07:42:38 -0600 |
| commit | 3c75cb4d64811cfba2c03d66328d838cc72f8355 (patch) | |
| tree | e5045bf89a2175e26213602442f8a8dced05f12f | |
| parent | 9ffa5420e927c327412c9e4ef113ad2f1a564aec (diff) | |
| download | qemu-3c75cb4d64811cfba2c03d66328d838cc72f8355.zip qemu-3c75cb4d64811cfba2c03d66328d838cc72f8355.tar.gz qemu-3c75cb4d64811cfba2c03d66328d838cc72f8355.tar.bz2 | |
tcg/optimize: Simplify fold_andc constant checks
If operand 2 is constant, then the computation of z_mask and a_mask
will produce the same results as the explicit check via fold_xi_to_i.
Shift the calls of fold_xx_to_i and fold_ix_to_not down below the
i2->is_const check.
Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
| -rw-r--r-- | tcg/optimize.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tcg/optimize.c b/tcg/optimize.c index f3a2328..8d14a38 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -1482,10 +1482,7 @@ static bool fold_andc(OptContext *ctx, TCGOp *op) uint64_t z_mask, o_mask, s_mask, a_mask; TempOptInfo *t1, *t2; - if (fold_const2(ctx, op) || - fold_xx_to_i(ctx, op, 0) || - fold_xi_to_x(ctx, op, 0) || - fold_ix_to_not(ctx, op, -1)) { + if (fold_const2(ctx, op)) { return true; } @@ -1510,6 +1507,10 @@ static bool fold_andc(OptContext *ctx, TCGOp *op) op->args[2] = arg_new_constant(ctx, ~ti_const_val(t2)); return fold_and(ctx, op); } + if (fold_xx_to_i(ctx, op, 0) || + fold_ix_to_not(ctx, op, -1)) { + return true; + } z_mask = t1->z_mask & ~t2->o_mask; o_mask = t1->o_mask & ~t2->z_mask; |