tcg: Merge INDEX_op_orc_{i32,i64}

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2025-01-06 14:46:26 -08:00
parent d262ae6081
commit 6aba25ebb9
9 changed files with 17 additions and 19 deletions

View file

@ -335,7 +335,7 @@ Logical
- | *t0* = ~(*t1* | *t2*) - | *t0* = ~(*t1* | *t2*)
* - orc_i32/i64 *t0*, *t1*, *t2* * - orc *t0*, *t1*, *t2*
- | *t0* = *t1* | ~\ *t2* - | *t0* = *t1* | ~\ *t2*

View file

@ -43,6 +43,7 @@ DEF(add, 1, 2, 0, TCG_OPF_INT)
DEF(and, 1, 2, 0, TCG_OPF_INT) DEF(and, 1, 2, 0, TCG_OPF_INT)
DEF(andc, 1, 2, 0, TCG_OPF_INT) DEF(andc, 1, 2, 0, TCG_OPF_INT)
DEF(or, 1, 2, 0, TCG_OPF_INT) DEF(or, 1, 2, 0, TCG_OPF_INT)
DEF(orc, 1, 2, 0, TCG_OPF_INT)
DEF(setcond_i32, 1, 2, 1, 0) DEF(setcond_i32, 1, 2, 1, 0)
DEF(negsetcond_i32, 1, 2, 1, 0) DEF(negsetcond_i32, 1, 2, 1, 0)
@ -92,7 +93,6 @@ DEF(bswap16_i32, 1, 1, 1, 0)
DEF(bswap32_i32, 1, 1, 1, 0) DEF(bswap32_i32, 1, 1, 1, 0)
DEF(not_i32, 1, 1, 0, 0) DEF(not_i32, 1, 1, 0, 0)
DEF(neg_i32, 1, 1, 0, 0) DEF(neg_i32, 1, 1, 0, 0)
DEF(orc_i32, 1, 2, 0, 0)
DEF(eqv_i32, 1, 2, 0, 0) DEF(eqv_i32, 1, 2, 0, 0)
DEF(nand_i32, 1, 2, 0, 0) DEF(nand_i32, 1, 2, 0, 0)
DEF(nor_i32, 1, 2, 0, 0) DEF(nor_i32, 1, 2, 0, 0)
@ -148,7 +148,6 @@ DEF(bswap32_i64, 1, 1, 1, 0)
DEF(bswap64_i64, 1, 1, 1, 0) DEF(bswap64_i64, 1, 1, 1, 0)
DEF(not_i64, 1, 1, 0, 0) DEF(not_i64, 1, 1, 0, 0)
DEF(neg_i64, 1, 1, 0, 0) DEF(neg_i64, 1, 1, 0, 0)
DEF(orc_i64, 1, 2, 0, 0)
DEF(eqv_i64, 1, 2, 0, 0) DEF(eqv_i64, 1, 2, 0, 0)
DEF(nand_i64, 1, 2, 0, 0) DEF(nand_i64, 1, 2, 0, 0)
DEF(nor_i64, 1, 2, 0, 0) DEF(nor_i64, 1, 2, 0, 0)

View file

@ -629,7 +629,7 @@ static void gen_bsl2n_i64(TCGv_i64 d, TCGv_i64 n, TCGv_i64 m, TCGv_i64 k)
* = | ~(m | k) * = | ~(m | k)
*/ */
tcg_gen_and_i64(n, n, k); tcg_gen_and_i64(n, n, k);
if (tcg_op_supported(INDEX_op_orc_i64, TCG_TYPE_I64, 0)) { if (tcg_op_supported(INDEX_op_orc, TCG_TYPE_I64, 0)) {
tcg_gen_or_i64(m, m, k); tcg_gen_or_i64(m, m, k);
tcg_gen_orc_i64(d, n, m); tcg_gen_orc_i64(d, n, m);
} else { } else {

View file

@ -4114,7 +4114,7 @@ static void decode_bit_orand(DisasContext *ctx)
pos1, pos2, &tcg_gen_andc_tl, &tcg_gen_or_tl); pos1, pos2, &tcg_gen_andc_tl, &tcg_gen_or_tl);
break; break;
case OPC2_32_BIT_OR_NOR_T: case OPC2_32_BIT_OR_NOR_T:
if (tcg_op_supported(INDEX_op_orc_i32, TCG_TYPE_I32, 0)) { if (tcg_op_supported(INDEX_op_orc, TCG_TYPE_I32, 0)) {
gen_bit_2op(cpu_gpr_d[r3], cpu_gpr_d[r1], cpu_gpr_d[r2], gen_bit_2op(cpu_gpr_d[r3], cpu_gpr_d[r1], cpu_gpr_d[r2],
pos1, pos2, &tcg_gen_or_tl, &tcg_gen_orc_tl); pos1, pos2, &tcg_gen_or_tl, &tcg_gen_orc_tl);
} else { } else {

View file

@ -484,7 +484,8 @@ static uint64_t do_constant_folding_2(TCGOpcode op, uint64_t x, uint64_t y)
case INDEX_op_andc_vec: case INDEX_op_andc_vec:
return x & ~y; return x & ~y;
CASE_OP_32_64_VEC(orc): case INDEX_op_orc:
case INDEX_op_orc_vec:
return x | ~y; return x | ~y;
CASE_OP_32_64_VEC(eqv): CASE_OP_32_64_VEC(eqv):
@ -2987,7 +2988,8 @@ void tcg_optimize(TCGContext *s)
case INDEX_op_or_vec: case INDEX_op_or_vec:
done = fold_or(&ctx, op); done = fold_or(&ctx, op);
break; break;
CASE_OP_32_64_VEC(orc): case INDEX_op_orc:
case INDEX_op_orc_vec:
done = fold_orc(&ctx, op); done = fold_orc(&ctx, op);
break; break;
case INDEX_op_qemu_ld_i32: case INDEX_op_qemu_ld_i32:

View file

@ -710,8 +710,8 @@ void tcg_gen_nor_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
void tcg_gen_orc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2) void tcg_gen_orc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
{ {
if (tcg_op_supported(INDEX_op_orc_i32, TCG_TYPE_I32, 0)) { if (tcg_op_supported(INDEX_op_orc, TCG_TYPE_I32, 0)) {
tcg_gen_op3_i32(INDEX_op_orc_i32, ret, arg1, arg2); tcg_gen_op3_i32(INDEX_op_orc, ret, arg1, arg2);
} else { } else {
TCGv_i32 t0 = tcg_temp_ebb_new_i32(); TCGv_i32 t0 = tcg_temp_ebb_new_i32();
tcg_gen_not_i32(t0, arg2); tcg_gen_not_i32(t0, arg2);
@ -2318,8 +2318,8 @@ void tcg_gen_orc_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
if (TCG_TARGET_REG_BITS == 32) { if (TCG_TARGET_REG_BITS == 32) {
tcg_gen_orc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2)); tcg_gen_orc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
tcg_gen_orc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2)); tcg_gen_orc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
} else if (tcg_op_supported(INDEX_op_orc_i64, TCG_TYPE_I64, 0)) { } else if (tcg_op_supported(INDEX_op_orc, TCG_TYPE_I64, 0)) {
tcg_gen_op3_i64(INDEX_op_orc_i64, ret, arg1, arg2); tcg_gen_op3_i64(INDEX_op_orc, ret, arg1, arg2);
} else { } else {
TCGv_i64 t0 = tcg_temp_ebb_new_i64(); TCGv_i64 t0 = tcg_temp_ebb_new_i64();
tcg_gen_not_i64(t0, arg2); tcg_gen_not_i64(t0, arg2);

View file

@ -1008,8 +1008,7 @@ static const TCGOutOp * const all_outop[NB_OPS] = {
OUTOP(INDEX_op_and, TCGOutOpBinary, outop_and), OUTOP(INDEX_op_and, TCGOutOpBinary, outop_and),
OUTOP(INDEX_op_andc, TCGOutOpBinary, outop_andc), OUTOP(INDEX_op_andc, TCGOutOpBinary, outop_andc),
OUTOP(INDEX_op_or, TCGOutOpBinary, outop_or), OUTOP(INDEX_op_or, TCGOutOpBinary, outop_or),
OUTOP(INDEX_op_orc_i32, TCGOutOpBinary, outop_orc), OUTOP(INDEX_op_orc, TCGOutOpBinary, outop_orc),
OUTOP(INDEX_op_orc_i64, TCGOutOpBinary, outop_orc),
}; };
#undef OUTOP #undef OUTOP
@ -5440,8 +5439,7 @@ static void tcg_reg_alloc_op(TCGContext *s, const TCGOp *op)
case INDEX_op_and: case INDEX_op_and:
case INDEX_op_andc: case INDEX_op_andc:
case INDEX_op_or: case INDEX_op_or:
case INDEX_op_orc_i32: case INDEX_op_orc:
case INDEX_op_orc_i64:
{ {
const TCGOutOpBinary *out = const TCGOutOpBinary *out =
container_of(all_outop[op->opc], TCGOutOpBinary, base); container_of(all_outop[op->opc], TCGOutOpBinary, base);

View file

@ -551,7 +551,7 @@ uintptr_t QEMU_DISABLE_CFI tcg_qemu_tb_exec(CPUArchState *env,
tci_args_rrr(insn, &r0, &r1, &r2); tci_args_rrr(insn, &r0, &r1, &r2);
regs[r0] = regs[r1] & ~regs[r2]; regs[r0] = regs[r1] & ~regs[r2];
break; break;
CASE_32_64(orc) case INDEX_op_orc:
tci_args_rrr(insn, &r0, &r1, &r2); tci_args_rrr(insn, &r0, &r1, &r2);
regs[r0] = regs[r1] | ~regs[r2]; regs[r0] = regs[r1] | ~regs[r2];
break; break;
@ -1082,14 +1082,13 @@ int print_insn_tci(bfd_vma addr, disassemble_info *info)
case INDEX_op_and: case INDEX_op_and:
case INDEX_op_andc: case INDEX_op_andc:
case INDEX_op_or: case INDEX_op_or:
case INDEX_op_orc:
case INDEX_op_sub_i32: case INDEX_op_sub_i32:
case INDEX_op_sub_i64: case INDEX_op_sub_i64:
case INDEX_op_mul_i32: case INDEX_op_mul_i32:
case INDEX_op_mul_i64: case INDEX_op_mul_i64:
case INDEX_op_xor_i32: case INDEX_op_xor_i32:
case INDEX_op_xor_i64: case INDEX_op_xor_i64:
case INDEX_op_orc_i32:
case INDEX_op_orc_i64:
case INDEX_op_eqv_i32: case INDEX_op_eqv_i32:
case INDEX_op_eqv_i64: case INDEX_op_eqv_i64:
case INDEX_op_nand_i32: case INDEX_op_nand_i32:

View file

@ -678,7 +678,7 @@ static const TCGOutOpBinary outop_or = {
static void tgen_orc(TCGContext *s, TCGType type, static void tgen_orc(TCGContext *s, TCGType type,
TCGReg a0, TCGReg a1, TCGReg a2) TCGReg a0, TCGReg a1, TCGReg a2)
{ {
tcg_out_op_rrr(s, glue(INDEX_op_orc_i,TCG_TARGET_REG_BITS), a0, a1, a2); tcg_out_op_rrr(s, INDEX_op_orc, a0, a1, a2);
} }
static const TCGOutOpBinary outop_orc = { static const TCGOutOpBinary outop_orc = {