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

tcg/optimize: Use fold_masks_zs in fold_andc

Browse source 
Avoid the use of the OptContext slots.  Find TempOptInfo once.
Avoid double inversion of the value of second const operand.

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 18:56:55 -06:00
parent 1ca7372c03
commit 21e2b5f9fa
1 changed files with 11 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

21
tcg/optimize.c
View file

@ -1330,7 +1330,8 @@ static bool fold_and(OptContext *ctx, TCGOp *op)
static bool fold_andc(OptContext *ctx, TCGOp *op)
{
uint64_t z1;
uint64_t z_mask, s_mask;
TempOptInfo *t1, *t2;
if (fold_const2(ctx, op) ||
fold_xx_to_i(ctx, op, 0) ||
@ -1339,24 +1340,24 @@ static bool fold_andc(OptContext *ctx, TCGOp *op)
return true;
}
z1 = arg_info(op->args[1])->z_mask;
t1 = arg_info(op->args[1]);
t2 = arg_info(op->args[2]);
z_mask = t1->z_mask;
/*
* Known-zeros does not imply known-ones. Therefore unless
* arg2 is constant, we can't infer anything from it.
*/
if (arg_is_const(op->args[2])) {
uint64_t z2 = ~arg_info(op->args[2])->z_mask;
if (fold_affected_mask(ctx, op, z1 & ~z2)) {
if (ti_is_const(t2)) {
uint64_t v2 = ti_const_val(t2);
if (fold_affected_mask(ctx, op, z_mask & v2)) {
return true;
}
z1 &= z2;
z_mask &= ~v2;
}
ctx->z_mask = z1;
ctx->s_mask = arg_info(op->args[1])->s_mask
& arg_info(op->args[2])->s_mask;
return fold_masks(ctx, op);
s_mask = t1->s_mask & t2->s_mask;
return fold_masks_zs(ctx, op, z_mask, s_mask);
}
static bool fold_brcond(OptContext *ctx, TCGOp *op)