motorhead/qemu
1
0
Fork 0
mirror of https://github.com/Motorhead1991/qemu.git synced 2025-08-19 08:02:15 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

tcg/optimize: Use fold_masks_zs in fold_exts

Browse source 
Avoid the use of the OptContext slots.  Find TempOptInfo once.
Explicitly sign-extend z_mask instead of doing that manually.

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-08 20:08:46 -06:00
parent c9df99ee8d
commit a96219204f
1 changed files with 12 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

29
tcg/optimize.c
View file

@ -1778,49 +1778,44 @@ static bool fold_extract2(OptContext *ctx, TCGOp *op)
static bool fold_exts(OptContext *ctx, TCGOp *op) static bool fold_exts(OptContext *ctx, TCGOp *op)
{ {
uint64_t s_mask_old, s_mask, z_mask, sign; uint64_t s_mask_old, s_mask, z_mask;
bool type_change = false; bool type_change = false;
TempOptInfo *t1;
if (fold_const1(ctx, op)) { if (fold_const1(ctx, op)) {
return true; return true;
} }
z_mask = arg_info(op->args[1])->z_mask; t1 = arg_info(op->args[1]);
s_mask = arg_info(op->args[1])->s_mask; z_mask = t1->z_mask;
s_mask = t1->s_mask;
s_mask_old = s_mask; s_mask_old = s_mask;
switch (op->opc) { switch (op->opc) {
CASE_OP_32_64(ext8s): CASE_OP_32_64(ext8s):
sign = INT8_MIN; s_mask |= INT8_MIN;
z_mask = (uint8_t)z_mask; z_mask = (int8_t)z_mask;
break; break;
CASE_OP_32_64(ext16s): CASE_OP_32_64(ext16s):
sign = INT16_MIN; s_mask |= INT16_MIN;
z_mask = (uint16_t)z_mask; z_mask = (int16_t)z_mask;
break; break;
case INDEX_op_ext_i32_i64: case INDEX_op_ext_i32_i64:
type_change = true; type_change = true;
QEMU_FALLTHROUGH; QEMU_FALLTHROUGH;
case INDEX_op_ext32s_i64: case INDEX_op_ext32s_i64:
sign = INT32_MIN; s_mask |= INT32_MIN;
z_mask = (uint32_t)z_mask; z_mask = (int32_t)z_mask;
break; break;
default: default:
g_assert_not_reached(); g_assert_not_reached();
} }
if (z_mask & sign) {
z_mask |= sign;
}
s_mask |= sign << 1;
ctx->z_mask = z_mask;
ctx->s_mask = s_mask;
if (0 && !type_change && fold_affected_mask(ctx, op, s_mask & ~s_mask_old)) { if (0 && !type_change && fold_affected_mask(ctx, op, s_mask & ~s_mask_old)) {
return true; return true;
} }
return fold_masks(ctx, op); return fold_masks_zs(ctx, op, z_mask, s_mask);
} }
static bool fold_extu(OptContext *ctx, TCGOp *op) static bool fold_extu(OptContext *ctx, TCGOp *op)