[00/73] tcg: Merge *_i32 and *_i64 opcodes

Message

Richard Henderson Jan. 2, 2025, 6:05 p.m. UTC

Currently we have individual opcodes for each integer type.
This makes things difficult in tcg/optimize.c when we want
to transform the opcode stream.

Add a TCGType field to TCGOp and use that instead.  Merge all of
the opcodes that are common to both TCG_TYPE_I32 and TCG_TYPE_I64.
We could eventually merge some of the vector opcodes too, but since
those have an additional element size operand, that is a larger job.

This also moves quite a lot of the tcg backend implementation out
of the publicly exposed headers.  After this patchset is complete,
we will not rebuild target translators for most changes to the tcg
backend.


r~


Richard Henderson (73):
  tcg: Add TCGOp.type
  tcg: Add TCGHelperInfo.out_type
  tcg: Add TCGType argument to tcg_emit_op, tcg_op_insert_*
  tcg: Add TCGType argument to tcg_gen_op*
  tcg: Remove TCGOP_VECL
  tcg: Move call abi parameters from tcg-target.h to tcg-target.c.inc
  tcg: Add TCGType argument to tcg_op_supported
  target/arm: Do not test TCG_TARGET_HAS_bitsel_vec
  target/arm: Use tcg_op_supported
  target/tricore: Use tcg_op_supported
  tcg: Add tcg_op_deposit_valid
  target/i386: Remove TCG_TARGET_extract_tl_valid
  target/i386: Use tcg_op_deposit_valid
  target/i386: Use tcg_op_supported
  tcg: Remove TCG_TARGET_NEED_LDST_LABELS and
    TCG_TARGET_NEED_POOL_LABELS
  tcg: Rename tcg-target.opc.h to tcg-target-opc.h.inc
  tcg/tci: Move TCI specific opcodes to tcg-target-opc.h.inc
  tcg: Move fallback tcg_can_emit_vec_op out of line
  tcg: Split out tcg-target-has.h and tcg-has.h
  tcg: Split out tcg-target-mo.h
  tcg: Merge TCG_TARGET_HAS_{div,rem,div2}
  tcg: Merge TCG_TARGET_HAS_{andc,orc,nand,nor,eqv,not}
  tcg/mips: Expand bswap unconditionally
  tcg: Merge TCG_TARGET_HAS_bswap*
  tcg: Merge TCG_TARGET_HAS_rot_{i32,i64}
  tcg: Merge TCG_TARGET_HAS_{clz,ctz,ctpop}
  tcg: Merge TCG_TARGET_HAS_{muls2,mulu2,mulsh,muluh}
  tcg: Merge TCG_TARGET_HAS_{add2,sub2}
  tcg: Merge TCG_TARGET_HAS_negsetcond_{i32,i64}
  tcg/i386: Handle all 8-bit extensions for i686
  tcg/i386: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/aarch64: Provide TCG_TARGET_{s}extract_valid
  tcg/aarch64: Expand extract with offset 0 with andi
  tcg/arm: Add full [US]XT[BH] into {s}extract
  tcg/loongarch64: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/mips: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/ppc: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/riscv64: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/riscv: Use SRAIW, SRLIW for {s}extract_i64
  tcg/s390x: Fold the ext{8,16,32}[us] cases into {s}extract
  tcg/sparc64: Use SRA, SRL for {s}extract_i64
  tcg/tci: Provide TCG_TARGET_{s}extract_valid
  tcg/tci: Remove assertions for deposit and extract
  tcg: Remove TCG_TARGET_HAS_{s}extract_{i32,i64}
  tcg: Remove TCG_TARGET_HAS_deposit_{i32,i64}
  tcg: Merge TCG_TARGET_HAS_extract2_{i32,i64}
  tcg: Make INDEX_op_extrh_i64_i32 mandatory
  tcg: Remove INDEX_op_ext{8,16,32}{us}
  tcg: Reorg process_op_defs
  tcg: Remove args_ct from TCGOpDef
  tcg: Constify tcg_op_defs
  tcg: Use tcg_op_supported in process_op_defs
  tcg: Use C_NotImplemented in tcg_target_op_def
  tcg: Pass TCGOp to tcg_target_op_def
  tcg: Merge INDEX_op_{ld,st}*_{i32_i64}
  tcg: Remove INDEX_op_qemu_st8_*_i32
  tcg: Add TCGType argument to tcg_out_op
  tcg/optimize: Remove OptContext.type
  tcg: Remove TCG_OPF_64BIT
  tcg: Change have_vec to has_type in tcg_op_supported
  tcg: Merge INDEX_op_mov_{i32,i64}
  tcg: Merge integer logical operations
  tcg: Merge integer add, sub, neg operations
  tcg: Merge integer add2, sub2 operations
  tcg: Merge integer mul, div operations
  tcg: Merge brcond, setcond, negsetcond, movcond operations
  tcg: Merge extract, sextract operations
  tcg: Merge integer shift operations
  tcg: Merge deposit operations
  tcg: Merge extract2 operations
  tcg: Merge host integer load/store operations
  tcg: Merge bswap operations
  tcg: Merge clz, ctz, ctpop operations

 accel/tcg/internal-target.h                   |    1 +
 include/tcg/helper-info.h                     |    3 +-
 include/tcg/tcg-op.h                          |    8 +-
 include/tcg/tcg-opc.h                         |  334 ++---
 include/tcg/tcg.h                             |  144 +-
 tcg/aarch64/tcg-target-has.h                  |   76 +
 tcg/aarch64/tcg-target-mo.h                   |   12 +
 tcg/aarch64/tcg-target.h                      |  126 --
 tcg/arm/tcg-target-has.h                      |   91 ++
 tcg/arm/tcg-target-mo.h                       |   13 +
 tcg/arm/tcg-target.h                          |   86 --
 tcg/i386/tcg-target-con-str.h                 |    2 +-
 tcg/i386/tcg-target-has.h                     |  124 ++
 tcg/i386/tcg-target-mo.h                      |   19 +
 tcg/i386/tcg-target.h                         |  162 --
 tcg/loongarch64/tcg-target-has.h              |   72 +
 tcg/loongarch64/tcg-target-mo.h               |   12 +
 tcg/loongarch64/tcg-target.h                  |  115 --
 tcg/mips/tcg-target-has.h                     |   88 ++
 tcg/mips/tcg-target-mo.h                      |   13 +
 tcg/mips/tcg-target.h                         |  130 --
 tcg/ppc/tcg-target-has.h                      |   86 ++
 tcg/ppc/tcg-target-mo.h                       |   12 +
 tcg/ppc/tcg-target.h                          |  126 --
 tcg/riscv/tcg-target-con-set.h                |    2 +-
 tcg/riscv/tcg-target-con-str.h                |    1 -
 tcg/riscv/tcg-target-has.h                    |   83 ++
 tcg/riscv/tcg-target-mo.h                     |   12 +
 tcg/riscv/tcg-target.h                        |  116 --
 tcg/s390x/tcg-target-has.h                    |   96 ++
 tcg/s390x/tcg-target-mo.h                     |   12 +
 tcg/s390x/tcg-target.h                        |  126 --
 tcg/sparc64/tcg-target-has.h                  |   51 +
 tcg/sparc64/tcg-target-mo.h                   |   12 +
 tcg/sparc64/tcg-target.h                      |   91 --
 tcg/tcg-has.h                                 |   51 +
 tcg/tcg-internal.h                            |   13 +-
 tcg/tci/tcg-target-has.h                      |   42 +
 tcg/tci/tcg-target-mo.h                       |   17 +
 tcg/tci/tcg-target.h                          |   94 --
 target/arm/tcg/translate-a64.c                |   10 +-
 target/arm/tcg/translate-sve.c                |   22 +-
 target/arm/tcg/translate.c                    |    2 +-
 target/sh4/translate.c                        |   26 +-
 target/tricore/translate.c                    |    4 +-
 tcg/optimize.c                                |  813 ++++------
 tcg/tcg-common.c                              |    4 +-
 tcg/tcg-op-gvec.c                             |    1 +
 tcg/tcg-op-ldst.c                             |   43 +-
 tcg/tcg-op-vec.c                              |   49 +-
 tcg/tcg-op.c                                  | 1310 +++++++----------
 tcg/tcg.c                                     | 1099 +++++++-------
 tcg/tci.c                                     |  551 +++----
 docs/devel/tcg-ops.rst                        |   28 +-
 target/i386/tcg/emit.c.inc                    |   20 +-
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |    4 +-
 tcg/aarch64/tcg-target.c.inc                  |  436 ++----
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |    6 +-
 tcg/arm/tcg-target.c.inc                      |  278 ++--
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |   22 +-
 tcg/i386/tcg-target.c.inc                     |  502 +++----
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |    0
 tcg/loongarch64/tcg-target.c.inc              |  601 ++++----
 tcg/mips/tcg-target-opc.h.inc                 |    1 +
 tcg/mips/tcg-target.c.inc                     |  641 ++++----
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |   12 +-
 tcg/ppc/tcg-target.c.inc                      |  699 ++++-----
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |    0
 tcg/riscv/tcg-target.c.inc                    |  624 ++++----
 ...{tcg-target.opc.h => tcg-target-opc.h.inc} |    6 +-
 tcg/s390x/tcg-target.c.inc                    | 1044 ++++++-------
 tcg/sparc64/tcg-target-opc.h.inc              |    1 +
 tcg/sparc64/tcg-target.c.inc                  |  422 +++---
 tcg/tcg-ldst.c.inc                            |   65 -
 tcg/tcg-pool.c.inc                            |  162 --
 tcg/tci/tcg-target-opc.h.inc                  |   15 +
 tcg/tci/tcg-target.c.inc                      |  511 +++----
 77 files changed, 5541 insertions(+), 7167 deletions(-)
 create mode 100644 tcg/aarch64/tcg-target-has.h
 create mode 100644 tcg/aarch64/tcg-target-mo.h
 create mode 100644 tcg/arm/tcg-target-has.h
 create mode 100644 tcg/arm/tcg-target-mo.h
 create mode 100644 tcg/i386/tcg-target-has.h
 create mode 100644 tcg/i386/tcg-target-mo.h
 create mode 100644 tcg/loongarch64/tcg-target-has.h
 create mode 100644 tcg/loongarch64/tcg-target-mo.h
 create mode 100644 tcg/mips/tcg-target-has.h
 create mode 100644 tcg/mips/tcg-target-mo.h
 create mode 100644 tcg/ppc/tcg-target-has.h
 create mode 100644 tcg/ppc/tcg-target-mo.h
 create mode 100644 tcg/riscv/tcg-target-has.h
 create mode 100644 tcg/riscv/tcg-target-mo.h
 create mode 100644 tcg/s390x/tcg-target-has.h
 create mode 100644 tcg/s390x/tcg-target-mo.h
 create mode 100644 tcg/sparc64/tcg-target-has.h
 create mode 100644 tcg/sparc64/tcg-target-mo.h
 create mode 100644 tcg/tcg-has.h
 create mode 100644 tcg/tci/tcg-target-has.h
 create mode 100644 tcg/tci/tcg-target-mo.h
 rename tcg/aarch64/{tcg-target.opc.h => tcg-target-opc.h.inc} (82%)
 rename tcg/arm/{tcg-target.opc.h => tcg-target-opc.h.inc} (75%)
 rename tcg/i386/{tcg-target.opc.h => tcg-target-opc.h.inc} (72%)
 rename tcg/loongarch64/{tcg-target.opc.h => tcg-target-opc.h.inc} (100%)
 create mode 100644 tcg/mips/tcg-target-opc.h.inc
 rename tcg/ppc/{tcg-target.opc.h => tcg-target-opc.h.inc} (83%)
 rename tcg/riscv/{tcg-target.opc.h => tcg-target-opc.h.inc} (100%)
 rename tcg/s390x/{tcg-target.opc.h => tcg-target-opc.h.inc} (75%)
 create mode 100644 tcg/sparc64/tcg-target-opc.h.inc
 delete mode 100644 tcg/tcg-ldst.c.inc
 delete mode 100644 tcg/tcg-pool.c.inc
 create mode 100644 tcg/tci/tcg-target-opc.h.inc