diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2024-12-08 19:47:51 -0600 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2024-12-24 08:32:14 -0800 |
| commit | ce1d663ff8a4535e4c72471cab3e52cb24fb7eb1 (patch) | |
| tree | 35a5035aec68f4ae0a5be552657a3546c314a646 /tcg/optimize.c | |
| parent | c1e7b989c8f05a4e78896a8856530492d87b51b4 (diff) | |
| download | qemu-ce1d663ff8a4535e4c72471cab3e52cb24fb7eb1.zip qemu-ce1d663ff8a4535e4c72471cab3e52cb24fb7eb1.tar.gz qemu-ce1d663ff8a4535e4c72471cab3e52cb24fb7eb1.tar.bz2 | |
tcg/optimize: Use fold_masks_zs in fold_count_zeros
Avoid the use of the OptContext slots. Find TempOptInfo once.
Compute s_mask from the union of the maximum count and the
op2 fallback for op1 being zero.
Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'tcg/optimize.c')
| -rw-r--r-- | tcg/optimize.c | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/tcg/optimize.c b/tcg/optimize.c index 054109d..0766a45 100644 --- a/tcg/optimize.c +++ b/tcg/optimize.c @@ -1566,10 +1566,12 @@ static bool fold_call(OptContext *ctx, TCGOp *op) static bool fold_count_zeros(OptContext *ctx, TCGOp *op) { - uint64_t z_mask; + uint64_t z_mask, s_mask; + TempOptInfo *t1 = arg_info(op->args[1]); + TempOptInfo *t2 = arg_info(op->args[2]); - if (arg_is_const(op->args[1])) { - uint64_t t = arg_info(op->args[1])->val; + if (ti_is_const(t1)) { + uint64_t t = ti_const_val(t1); if (t != 0) { t = do_constant_folding(op->opc, ctx->type, t, 0); @@ -1588,8 +1590,11 @@ static bool fold_count_zeros(OptContext *ctx, TCGOp *op) default: g_assert_not_reached(); } - ctx->z_mask = arg_info(op->args[2])->z_mask | z_mask; - return false; + s_mask = ~z_mask; + z_mask |= t2->z_mask; + s_mask &= t2->s_mask; + + return fold_masks_zs(ctx, op, z_mask, s_mask); } static bool fold_ctpop(OptContext *ctx, TCGOp *op) |