aboutsummaryrefslogtreecommitdiff
path: root/tcg/optimize.c
diff options
context:
space:
mode:
authorRichard Henderson <richard.henderson@linaro.org>2024-12-08 19:42:20 -0600
committerRichard Henderson <richard.henderson@linaro.org>2024-12-24 08:32:14 -0800
commitc1e7b989c8f05a4e78896a8856530492d87b51b4 (patch)
tree6b7a778e6541ad1e9345dfad13ff2763b88c95b5 /tcg/optimize.c
parent21e2b5f9fa79eb122cb7240436b84a56263547aa (diff)
downloadqemu-c1e7b989c8f05a4e78896a8856530492d87b51b4.zip
qemu-c1e7b989c8f05a4e78896a8856530492d87b51b4.tar.gz
qemu-c1e7b989c8f05a4e78896a8856530492d87b51b4.tar.bz2
tcg/optimize: Use fold_masks_zs in fold_bswap
Avoid the use of the OptContext slots. Find TempOptInfo once. Always set s_mask along the BSWAP_OS path, since the result is being explicitly sign-extended. 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.c21
1 files changed, 10 insertions, 11 deletions
diff --git a/tcg/optimize.c b/tcg/optimize.c
index 2096d70..054109d 100644
--- a/tcg/optimize.c
+++ b/tcg/optimize.c
@@ -1477,16 +1477,16 @@ static bool fold_brcond2(OptContext *ctx, TCGOp *op)
static bool fold_bswap(OptContext *ctx, TCGOp *op)
{
uint64_t z_mask, s_mask, sign;
+ TempOptInfo *t1 = arg_info(op->args[1]);
- if (arg_is_const(op->args[1])) {
- uint64_t t = arg_info(op->args[1])->val;
-
- t = do_constant_folding(op->opc, ctx->type, t, op->args[2]);
- return tcg_opt_gen_movi(ctx, op, op->args[0], t);
+ if (ti_is_const(t1)) {
+ return tcg_opt_gen_movi(ctx, op, op->args[0],
+ do_constant_folding(op->opc, ctx->type,
+ ti_const_val(t1),
+ op->args[2]));
}
- z_mask = arg_info(op->args[1])->z_mask;
-
+ z_mask = t1->z_mask;
switch (op->opc) {
case INDEX_op_bswap16_i32:
case INDEX_op_bswap16_i64:
@@ -1514,18 +1514,17 @@ static bool fold_bswap(OptContext *ctx, TCGOp *op)
/* If the sign bit may be 1, force all the bits above to 1. */
if (z_mask & sign) {
z_mask |= sign;
- s_mask = sign << 1;
}
+ /* The value and therefore s_mask is explicitly sign-extended. */
+ s_mask = sign;
break;
default:
/* The high bits are undefined: force all bits above the sign to 1. */
z_mask |= sign << 1;
break;
}
- ctx->z_mask = z_mask;
- ctx->s_mask = s_mask;
- return fold_masks(ctx, op);
+ return fold_masks_zs(ctx, op, z_mask, s_mask);
}
static bool fold_call(OptContext *ctx, TCGOp *op)