The generators are generally a bunch of Python if-then-else
statements based on the regtype and regid. Encapsulate regtype/regid
into a class hierarchy. Clients lookup the register and invoke
methods.
This has several advantages for making the code easier to read,
understand, and maintain
- The class name makes it more clear what the operand does
- All the methods for a given type of operand are together
- Don't need hex_common.bad_register
If a regtype/regid is missing, the lookup in hex_common.get_register
will fail
- We can remove the functions in hex_common that use regtype/regid
(e.g., is_read)
This patch creates the class hierarchy in hex_common and converts
gen_tcg_funcs.py. The other scripts will be converted in subsequent
patches in this series.
Signed-off-by: Taylor Simpson <ltaylorsimpson@gmail.com>
---
target/hexagon/gen_tcg_funcs.py | 571 ++-------------------------
target/hexagon/hex_common.py | 659 ++++++++++++++++++++++++++++++++
2 files changed, 683 insertions(+), 547 deletions(-)
diff --git a/target/hexagon/gen_tcg_funcs.py b/target/hexagon/gen_tcg_funcs.py
index 02d93bc5ce..3d8e3cb6a2 100755
--- a/target/hexagon/gen_tcg_funcs.py
+++ b/target/hexagon/gen_tcg_funcs.py
@@ -23,466 +23,13 @@
import hex_common
-##
-## Helpers for gen_tcg_func
-##
-def gen_decl_ea_tcg(f, tag):
- f.write(" TCGv EA G_GNUC_UNUSED = tcg_temp_new();\n")
-
-
-def genptr_decl_pair_writable(f, tag, regtype, regid, regno):
- regN = f"{regtype}{regid}N"
- if regtype == "R":
- f.write(f" const int {regN} = insn->regno[{regno}];\n")
- elif regtype == "C":
- f.write(f" const int {regN} = insn->regno[{regno}] + HEX_REG_SA0;\n")
- else:
- hex_common.bad_register(regtype, regid)
- f.write(f" TCGv_i64 {regtype}{regid}V = " f"get_result_gpr_pair(ctx, {regN});\n")
-
-
-def genptr_decl_writable(f, tag, regtype, regid, regno):
- regN = f"{regtype}{regid}N"
- if regtype == "R":
- f.write(f" const int {regN} = insn->regno[{regno}];\n")
- f.write(f" TCGv {regtype}{regid}V = get_result_gpr(ctx, {regN});\n")
- elif regtype == "C":
- f.write(f" const int {regN} = insn->regno[{regno}] + HEX_REG_SA0;\n")
- f.write(f" TCGv {regtype}{regid}V = get_result_gpr(ctx, {regN});\n")
- elif regtype == "P":
- f.write(f" const int {regN} = insn->regno[{regno}];\n")
- f.write(f" TCGv {regtype}{regid}V = tcg_temp_new();\n")
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_decl(f, tag, regtype, regid, regno):
- regN = f"{regtype}{regid}N"
- if regtype == "R":
- if regid in {"ss", "tt"}:
- f.write(f" TCGv_i64 {regtype}{regid}V = tcg_temp_new_i64();\n")
- f.write(f" const int {regN} = insn->regno[{regno}];\n")
- elif regid in {"dd", "ee", "xx", "yy"}:
- genptr_decl_pair_writable(f, tag, regtype, regid, regno)
- elif regid in {"s", "t", "u", "v"}:
- f.write(
- f" TCGv {regtype}{regid}V = " f"hex_gpr[insn->regno[{regno}]];\n"
- )
- elif regid in {"d", "e", "x", "y"}:
- genptr_decl_writable(f, tag, regtype, regid, regno)
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "P":
- if regid in {"s", "t", "u", "v"}:
- f.write(
- f" TCGv {regtype}{regid}V = " f"hex_pred[insn->regno[{regno}]];\n"
- )
- elif regid in {"d", "e", "x"}:
- genptr_decl_writable(f, tag, regtype, regid, regno)
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "C":
- if regid == "ss":
- f.write(f" TCGv_i64 {regtype}{regid}V = " f"tcg_temp_new_i64();\n")
- f.write(f" const int {regN} = insn->regno[{regno}] + " "HEX_REG_SA0;\n")
- elif regid == "dd":
- genptr_decl_pair_writable(f, tag, regtype, regid, regno)
- elif regid == "s":
- f.write(f" TCGv {regtype}{regid}V = tcg_temp_new();\n")
- f.write(
- f" const int {regtype}{regid}N = insn->regno[{regno}] + "
- "HEX_REG_SA0;\n"
- )
- elif regid == "d":
- genptr_decl_writable(f, tag, regtype, regid, regno)
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "M":
- if regid == "u":
- f.write(
- f" const int {regN} = insn->regno[{regno}] + HEX_REG_M0;\n"
- )
- f.write(
- f" TCGv {regtype}{regid}V = hex_gpr[{regN}];\n"
- )
- f.write(
- f" TCGv CS G_GNUC_UNUSED = "
- f"hex_gpr[{regN} - HEX_REG_M0 + HEX_REG_CS0];\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "V":
- if regid in {"dd"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- if hex_common.is_tmp_result(tag):
- f.write(
- f" ctx_tmp_vreg_off(ctx, {regtype}{regid}N, 2, " "true);\n"
- )
- else:
- f.write(f" ctx_future_vreg_off(ctx, {regtype}{regid}N,")
- f.write(" 2, true);\n")
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- elif regid in {"uu", "vv", "xx"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- f.write(f" offsetof(CPUHexagonState, {regtype}{regid}V);\n")
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- elif regid in {"s", "u", "v", "w"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- f.write(f" vreg_src_off(ctx, {regtype}{regid}N);\n")
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- elif regid in {"d", "x", "y"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- if regid == "y":
- f.write(" offsetof(CPUHexagonState, vtmp);\n")
- elif hex_common.is_tmp_result(tag):
- f.write(
- f" ctx_tmp_vreg_off(ctx, {regtype}{regid}N, 1, " "true);\n"
- )
- else:
- f.write(f" ctx_future_vreg_off(ctx, {regtype}{regid}N,")
- f.write(" 1, true);\n")
-
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "Q":
- if regid in {"d", "e", "x"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- f.write(f" get_result_qreg(ctx, {regtype}{regid}N);\n")
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- elif regid in {"s", "t", "u", "v"}:
- f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n")
- f.write(f" const intptr_t {regtype}{regid}V_off =\n")
- f.write(
- f" offsetof(CPUHexagonState, " f"QRegs[{regtype}{regid}N]);\n"
- )
- if not hex_common.skip_qemu_helper(tag):
- f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n")
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_decl_new(f, tag, regtype, regid, regno):
- if regtype == "N":
- if regid in {"s", "t"}:
- f.write(
- f" TCGv {regtype}{regid}N = "
- f"get_result_gpr(ctx, insn->regno[{regno}]);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "P":
- if regid in {"t", "u", "v"}:
- f.write(
- f" TCGv {regtype}{regid}N = "
- f"ctx->new_pred_value[insn->regno[{regno}]];\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "O":
- if regid == "s":
- f.write(
- f" const intptr_t {regtype}{regid}N_num = "
- f"insn->regno[{regno}];\n"
- )
- if hex_common.skip_qemu_helper(tag):
- f.write(f" const intptr_t {regtype}{regid}N_off =\n")
- f.write(" ctx_future_vreg_off(ctx, " f"{regtype}{regid}N_num,")
- f.write(" 1, true);\n")
- else:
- f.write(
- f" TCGv {regtype}{regid}N = "
- f"tcg_constant_tl({regtype}{regid}N_num);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_decl_opn(f, tag, regtype, regid, i):
- if hex_common.is_pair(regid):
- genptr_decl(f, tag, regtype, regid, i)
- elif hex_common.is_single(regid):
- if hex_common.is_old_val(regtype, regid, tag):
- genptr_decl(f, tag, regtype, regid, i)
- elif hex_common.is_new_val(regtype, regid, tag):
- genptr_decl_new(f, tag, regtype, regid, i)
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_decl_imm(f, immlett):
- if immlett.isupper():
- i = 1
- else:
- i = 0
- f.write(f" int {hex_common.imm_name(immlett)} = insn->immed[{i}];\n")
-
-
-def genptr_src_read(f, tag, regtype, regid):
- if regtype == "R":
- if regid in {"ss", "tt", "xx", "yy"}:
- f.write(
- f" tcg_gen_concat_i32_i64({regtype}{regid}V, "
- f"hex_gpr[{regtype}{regid}N],\n"
- )
- f.write(
- f" hex_gpr[{regtype}"
- f"{regid}N + 1]);\n"
- )
- elif regid in {"x", "y"}:
- ## For read/write registers, we need to get the original value into
- ## the result TCGv. For conditional instructions, this is done in
- ## gen_start_packet. For unconditional instructions, we do it here.
- if "A_CONDEXEC" not in hex_common.attribdict[tag]:
- f.write(
- f" tcg_gen_mov_tl({regtype}{regid}V, "
- f"hex_gpr[{regtype}{regid}N]);\n"
- )
- elif regid not in {"s", "t", "u", "v"}:
- hex_common.bad_register(regtype, regid)
- elif regtype == "P":
- if regid == "x":
- f.write(
- f" tcg_gen_mov_tl({regtype}{regid}V, "
- f"hex_pred[{regtype}{regid}N]);\n"
- )
- elif regid not in {"s", "t", "u", "v"}:
- hex_common.bad_register(regtype, regid)
- elif regtype == "C":
- if regid == "ss":
- f.write(
- f" gen_read_ctrl_reg_pair(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- elif regid == "s":
- f.write(
- f" gen_read_ctrl_reg(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "M":
- if regid != "u":
- hex_common.bad_register(regtype, regid)
- elif regtype == "V":
- if regid in {"uu", "vv", "xx"}:
- f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n")
- f.write(f" vreg_src_off(ctx, {regtype}{regid}N),\n")
- f.write(" sizeof(MMVector), sizeof(MMVector));\n")
- f.write(" tcg_gen_gvec_mov(MO_64,\n")
- f.write(f" {regtype}{regid}V_off + sizeof(MMVector),\n")
- f.write(f" vreg_src_off(ctx, {regtype}{regid}N ^ 1),\n")
- f.write(" sizeof(MMVector), sizeof(MMVector));\n")
- elif regid in {"s", "u", "v", "w"}:
- if not hex_common.skip_qemu_helper(tag):
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- elif regid in {"x", "y"}:
- f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n")
- f.write(f" vreg_src_off(ctx, {regtype}{regid}N),\n")
- f.write(" sizeof(MMVector), sizeof(MMVector));\n")
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "Q":
- if regid in {"s", "t", "u", "v"}:
- if not hex_common.skip_qemu_helper(tag):
- f.write(
- f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, "
- f"{regtype}{regid}V_off);\n"
- )
- elif regid in {"x"}:
- f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n")
- f.write(
- f" offsetof(CPUHexagonState, " f"QRegs[{regtype}{regid}N]),\n"
- )
- f.write(" sizeof(MMQReg), sizeof(MMQReg));\n")
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_src_read_new(f, regtype, regid):
- if regtype == "N":
- if regid not in {"s", "t"}:
- hex_common.bad_register(regtype, regid)
- elif regtype == "P":
- if regid not in {"t", "u", "v"}:
- hex_common.bad_register(regtype, regid)
- elif regtype == "O":
- if regid != "s":
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_src_read_opn(f, regtype, regid, tag):
- if hex_common.is_pair(regid):
- genptr_src_read(f, tag, regtype, regid)
- elif hex_common.is_single(regid):
- if hex_common.is_old_val(regtype, regid, tag):
- genptr_src_read(f, tag, regtype, regid)
- elif hex_common.is_new_val(regtype, regid, tag):
- genptr_src_read_new(f, regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def gen_helper_call_opn(f, tag, regtype, regid, i):
- if i > 0:
- f.write(", ")
- if hex_common.is_pair(regid):
- f.write(f"{regtype}{regid}V")
- elif hex_common.is_single(regid):
- if hex_common.is_old_val(regtype, regid, tag):
- f.write(f"{regtype}{regid}V")
- elif hex_common.is_new_val(regtype, regid, tag):
- f.write(f"{regtype}{regid}N")
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def gen_helper_decl_imm(f, immlett):
- f.write(
- f" TCGv tcgv_{hex_common.imm_name(immlett)} = "
- f"tcg_constant_tl({hex_common.imm_name(immlett)});\n"
- )
-
-
-def gen_helper_call_imm(f, immlett):
- f.write(f", tcgv_{hex_common.imm_name(immlett)}")
-
-
-def genptr_dst_write_pair(f, tag, regtype, regid):
- f.write(f" gen_log_reg_write_pair(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n")
-
-
-def genptr_dst_write(f, tag, regtype, regid):
- if regtype == "R":
- if regid in {"dd", "xx", "yy"}:
- genptr_dst_write_pair(f, tag, regtype, regid)
- elif regid in {"d", "e", "x", "y"}:
- f.write(
- f" gen_log_reg_write(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "P":
- if regid in {"d", "e", "x"}:
- f.write(
- f" gen_log_pred_write(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- elif regtype == "C":
- if regid == "dd":
- f.write(
- f" gen_write_ctrl_reg_pair(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- elif regid == "d":
- f.write(
- f" gen_write_ctrl_reg(ctx, {regtype}{regid}N, "
- f"{regtype}{regid}V);\n"
- )
- else:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_dst_write_ext(f, tag, regtype, regid, newv="EXT_DFL"):
- if regtype == "V":
- if regid in {"xx"}:
- f.write(
- f" gen_log_vreg_write_pair(ctx, {regtype}{regid}V_off, "
- f"{regtype}{regid}N, {newv});\n"
- )
- elif regid in {"y"}:
- f.write(
- f" gen_log_vreg_write(ctx, {regtype}{regid}V_off, "
- f"{regtype}{regid}N, {newv});\n"
- )
- elif regid not in {"dd", "d", "x"}:
- hex_common.bad_register(regtype, regid)
- elif regtype == "Q":
- if regid not in {"d", "e", "x"}:
- hex_common.bad_register(regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
-def genptr_dst_write_opn(f, regtype, regid, tag):
- if hex_common.is_pair(regid):
- if hex_common.is_hvx_reg(regtype):
- if hex_common.is_tmp_result(tag):
- genptr_dst_write_ext(f, tag, regtype, regid, "EXT_TMP")
- else:
- genptr_dst_write_ext(f, tag, regtype, regid)
- else:
- genptr_dst_write(f, tag, regtype, regid)
- elif hex_common.is_single(regid):
- if hex_common.is_hvx_reg(regtype):
- if hex_common.is_new_result(tag):
- genptr_dst_write_ext(f, tag, regtype, regid, "EXT_NEW")
- elif hex_common.is_tmp_result(tag):
- genptr_dst_write_ext(f, tag, regtype, regid, "EXT_TMP")
- else:
- genptr_dst_write_ext(f, tag, regtype, regid, "EXT_DFL")
- else:
- genptr_dst_write(f, tag, regtype, regid)
- else:
- hex_common.bad_register(regtype, regid)
-
-
##
## Generate the TCG code to call the helper
## For A2_add: Rd32=add(Rs32,Rt32), { RdV=RsV+RtV;}
## We produce:
## static void generate_A2_add(DisasContext *ctx)
## {
-## Insn *insn __attribute__((unused)) = ctx->insn;
+## Insn *insn G_GNUC_UNUSED = ctx->insn;
## const int RdN = insn->regno[0];
## TCGv RdV = get_result_gpr(ctx, RdN);
## TCGv RsV = hex_gpr[insn->regno[1]];
@@ -501,44 +48,27 @@ def gen_tcg_func(f, tag, regs, imms):
f.write(f"static void generate_{tag}(DisasContext *ctx)\n")
f.write("{\n")
- f.write(" Insn *insn __attribute__((unused)) = ctx->insn;\n")
+ f.write(" Insn *insn G_GNUC_UNUSED = ctx->insn;\n")
if hex_common.need_ea(tag):
- gen_decl_ea_tcg(f, tag)
- i = 0
+ f.write(" TCGv EA G_GNUC_UNUSED = tcg_temp_new();\n")
+
## Declare all the operands (regs and immediates)
+ i = 0
for regtype, regid in regs:
- genptr_decl_opn(f, tag, regtype, regid, i)
+ reg = hex_common.get_register(tag, regtype, regid)
+ reg.decl_tcg(f, tag, i)
i += 1
for immlett, bits, immshift in imms:
- genptr_decl_imm(f, immlett)
-
- if "A_PRIV" in hex_common.attribdict[tag]:
- f.write(" fCHECKFORPRIV();\n")
- if "A_GUEST" in hex_common.attribdict[tag]:
- f.write(" fCHECKFORGUEST();\n")
-
- ## Read all the inputs
- for regtype, regid in regs:
- if hex_common.is_read(regid):
- genptr_src_read_opn(f, regtype, regid, tag)
+ i = 1 if immlett.isupper() else 0
+ f.write(f" int {hex_common.imm_name(immlett)} = insn->immed[{i}];\n")
if hex_common.is_idef_parser_enabled(tag):
declared = []
## Handle registers
for regtype, regid in regs:
- if hex_common.is_pair(regid) or (
- hex_common.is_single(regid)
- and hex_common.is_old_val(regtype, regid, tag)
- ):
- declared.append(f"{regtype}{regid}V")
- if regtype == "M":
- declared.append("CS")
- elif hex_common.is_new_val(regtype, regid, tag):
- declared.append(f"{regtype}{regid}N")
- else:
- hex_common.bad_register(regtype, regid)
-
+ reg = hex_common.get_register(tag, regtype, regid)
+ reg.idef_arg(declared)
## Handle immediates
for immlett, bits, immshift in imms:
declared.append(hex_common.imm_name(immlett))
@@ -550,76 +80,22 @@ def gen_tcg_func(f, tag, regs, imms):
f.write(f" fGEN_TCG_{tag}({hex_common.semdict[tag]});\n")
else:
## Generate the call to the helper
- for immlett, bits, immshift in imms:
- gen_helper_decl_imm(f, immlett)
- if hex_common.need_pkt_has_multi_cof(tag):
- f.write(" TCGv pkt_has_multi_cof = ")
- f.write("tcg_constant_tl(ctx->pkt->pkt_has_multi_cof);\n")
- if hex_common.need_pkt_need_commit(tag):
- f.write(" TCGv pkt_need_commit = ")
- f.write("tcg_constant_tl(ctx->need_commit);\n")
- if hex_common.need_part1(tag):
- f.write(" TCGv part1 = tcg_constant_tl(insn->part1);\n")
- if hex_common.need_slot(tag):
- f.write(" TCGv slotval = gen_slotval(ctx);\n")
- if hex_common.need_PC(tag):
- f.write(" TCGv PC = tcg_constant_tl(ctx->pkt->pc);\n")
- if hex_common.helper_needs_next_PC(tag):
- f.write(" TCGv next_PC = tcg_constant_tl(ctx->next_PC);\n")
- f.write(f" gen_helper_{tag}(")
- i = 0
- ## If there is a scalar result, it is the return type
- for regtype, regid in regs:
- if hex_common.is_written(regid):
- if hex_common.is_hvx_reg(regtype):
- continue
- gen_helper_call_opn(f, tag, regtype, regid, i)
- i += 1
- if i > 0:
- f.write(", ")
- f.write("tcg_env")
- i = 1
- ## For conditional instructions, we pass in the destination register
- if "A_CONDEXEC" in hex_common.attribdict[tag]:
- for regtype, regid in regs:
- if hex_common.is_writeonly(regid) and not hex_common.is_hvx_reg(
- regtype
- ):
- gen_helper_call_opn(f, tag, regtype, regid, i)
- i += 1
- for regtype, regid in regs:
- if hex_common.is_written(regid):
- if not hex_common.is_hvx_reg(regtype):
- continue
- gen_helper_call_opn(f, tag, regtype, regid, i)
- i += 1
- for regtype, regid in regs:
- if hex_common.is_read(regid):
- if hex_common.is_hvx_reg(regtype) and hex_common.is_readwrite(regid):
- continue
- gen_helper_call_opn(f, tag, regtype, regid, i)
- i += 1
- for immlett, bits, immshift in imms:
- gen_helper_call_imm(f, immlett)
+ declared = []
+ ret_type = hex_common.helper_ret_type(tag, regs).call_arg
+ if ret_type != "void":
+ declared.append(ret_type)
+
+ for arg in hex_common.helper_args(tag, regs, imms):
+ declared.append(arg.call_arg)
- if hex_common.need_pkt_has_multi_cof(tag):
- f.write(", pkt_has_multi_cof")
- if hex_common.need_pkt_need_commit(tag):
- f.write(", pkt_need_commit")
- if hex_common.need_PC(tag):
- f.write(", PC")
- if hex_common.helper_needs_next_PC(tag):
- f.write(", next_PC")
- if hex_common.need_slot(tag):
- f.write(", slotval")
- if hex_common.need_part1(tag):
- f.write(", part1")
- f.write(");\n")
+ arguments = ", ".join(declared)
+ f.write(f" gen_helper_{tag}({arguments});\n")
## Write all the outputs
for regtype, regid in regs:
- if hex_common.is_written(regid):
- genptr_dst_write_opn(f, regtype, regid, tag)
+ reg = hex_common.get_register(tag, regtype, regid)
+ if reg.is_written():
+ reg.log_write(f, tag)
f.write("}\n\n")
@@ -637,6 +113,7 @@ def main():
hex_common.read_overrides_file(sys.argv[3])
hex_common.read_overrides_file(sys.argv[4])
hex_common.calculate_attribs()
+ hex_common.init_registers()
## Whether or not idef-parser is enabled is
## determined by the number of arguments to
## this script:
diff --git a/target/hexagon/hex_common.py b/target/hexagon/hex_common.py
index 0da65d6dd6..979f198a30 100755
--- a/target/hexagon/hex_common.py
+++ b/target/hexagon/hex_common.py
@@ -20,12 +20,15 @@
import sys
import re
import string
+import textwrap
behdict = {} # tag ->behavior
semdict = {} # tag -> semantics
attribdict = {} # tag -> attributes
macros = {} # macro -> macro information...
attribinfo = {} # Register information and misc
+registers = {} # register -> register functions
+new_registers = {}
tags = [] # list of all tags
overrides = {} # tags with helper overrides
idef_parser_enabled = {} # tags enabled for idef-parser
@@ -276,6 +279,10 @@ def helper_needs_next_PC(tag):
return "A_CALL" in attribdict[tag]
+def need_next_PC(tag):
+ return "A_CALL" in attribdict[tag]
+
+
def need_pkt_has_multi_cof(tag):
return "A_COF" in attribdict[tag]
@@ -350,3 +357,655 @@ def read_idef_parser_enabled_file(name):
with open(name, "r") as idef_parser_enabled_file:
lines = idef_parser_enabled_file.read().strip().split("\n")
idef_parser_enabled = set(lines)
+
+
+def is_predicated(tag):
+ return "A_CONDEXEC" in attribdict[tag]
+
+
+def code_fmt(txt):
+ return textwrap.indent(textwrap.dedent(txt), " ")
+
+
+def hvx_newv(tag):
+ if "A_CVI_NEW" in attribdict[tag]:
+ return "EXT_NEW"
+ elif "A_CVI_TMP" in attribdict[tag] or "A_CVI_TMP_DST" in attribdict[tag]:
+ return "EXT_TMP"
+ else:
+ return "EXT_DFL"
+
+def vreg_offset_func(tag):
+ if "A_CVI_TMP" in attribdict[tag] or "A_CVI_TMP_DST" in attribdict[tag]:
+ return "ctx_tmp_vreg_off"
+ else:
+ return "ctx_future_vreg_off"
+
+class HelperArg:
+ def __init__(self, proto_arg, call_arg, func_arg):
+ self.proto_arg = proto_arg
+ self.call_arg = call_arg
+ self.func_arg = func_arg
+
+class Register:
+ def __init__(self, regtype, regid):
+ self.regtype = regtype
+ self.regid = regid
+ self.reg_num = f"{regtype}{regid}N"
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}];
+ """))
+ def idef_arg(self, declared):
+ declared.append(self.reg_tcg())
+ def helper_arg(self):
+ return HelperArg(
+ self.helper_proto_type(),
+ self.reg_tcg(),
+ f"{self.helper_arg_type()} {self.helper_arg_name()}"
+ )
+
+#
+# Every register is either Single or Pair or Hvx
+#
+class Scalar:
+ def is_scalar_reg(self):
+ return True
+ def is_hvx_reg(self):
+ return False
+ def helper_arg_name(self):
+ return self.reg_tcg()
+
+class Single(Scalar):
+ def helper_proto_type(self):
+ return "s32"
+ def helper_arg_type(self):
+ return "int32_t"
+
+class Pair(Scalar):
+ def helper_proto_type(self):
+ return "s64"
+ def helper_arg_type(self):
+ return "int64_t"
+
+class Hvx:
+ def is_scalar_reg(self):
+ return False
+ def is_hvx_reg(self):
+ return True
+ def hvx_off(self):
+ return f"{self.reg_tcg()}_off"
+ def helper_proto_type(self):
+ return "ptr"
+ def helper_arg_type(self):
+ return "void *"
+ def helper_arg_name(self):
+ return f"{self.reg_tcg()}_void"
+
+#
+# Every register is either Dest or OldSource or NewSource or ReadWrite
+#
+class Dest:
+ def reg_tcg(self):
+ return f"{self.regtype}{self.regid}V"
+ def is_written(self):
+ return True
+ def is_writeonly(self):
+ return True
+ def is_read(self):
+ return False
+ def is_readwrite(self):
+ return False
+
+class Source:
+ def is_written(self):
+ return False
+ def is_writeonly(self):
+ return False
+ def is_read(self):
+ return True
+ def is_readwrite(self):
+ return False
+
+class OldSource(Source):
+ def reg_tcg(self):
+ return f"{self.regtype}{self.regid}V"
+
+class NewSource(Source):
+ def reg_tcg(self):
+ return f"{self.regtype}{self.regid}N"
+
+class ReadWrite:
+ def reg_tcg(self):
+ return f"{self.regtype}{self.regid}V"
+ def is_written(self):
+ return True
+ def is_writeonly(self):
+ return False
+ def is_read(self):
+ return True
+ def is_readwrite(self):
+ return True
+
+class GprDest(Register, Single, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num});
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_reg_write(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class GprSource(Register, Single, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = hex_gpr[{self.reg_num}];
+ """))
+
+class GprNewSource(Register, Single, NewSource):
+ def decl_tcg(self, f, tag, regno):
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = get_result_gpr(ctx, insn->regno[{regno}]);
+ """))
+
+class GprReadWrite(Register, Single, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num});
+ """))
+ ## For read/write registers, we need to get the original value into
+ ## the result TCGv. For predicated instructions, this is done in
+ ## gen_start_packet. For un-predicated instructions, we do it here.
+ if not is_predicated(tag):
+ f.write(code_fmt(f"""\
+ tcg_gen_mov_tl({self.reg_tcg()}, hex_gpr[{self.reg_num}]);
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_reg_write(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class ControlDest(Register, Single, Dest):
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0;
+ """))
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num});
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_write_ctrl_reg(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class ControlSource(Register, Single, OldSource):
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0;
+ """))
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno);
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = tcg_temp_new();
+ gen_read_ctrl_reg(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class ModifierSource(Register, Single, OldSource):
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_M0;
+ """))
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = hex_gpr[{self.reg_num}];
+ TCGv CS G_GNUC_UNUSED =
+ hex_gpr[{self.reg_num} - HEX_REG_M0 + HEX_REG_CS0];
+ """))
+ def idef_arg(self, declared):
+ declared.append(self.reg_tcg())
+ declared.append("CS")
+
+class PredDest(Register, Single, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = tcg_temp_new();
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_pred_write(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class PredSource(Register, Single, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = hex_pred[{self.reg_num}];
+ """))
+
+class PredNewSource(Register, Single, NewSource):
+ def decl_tcg(self, f, tag, regno):
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = get_result_pred(ctx, insn->regno[{regno}]);
+ """))
+
+class PredReadWrite(Register, Single, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv {self.reg_tcg()} = tcg_temp_new();
+ tcg_gen_mov_tl({self.reg_tcg()}, hex_pred[{self.reg_num}]);
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_pred_write(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class PairDest(Register, Pair, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv_i64 {self.reg_tcg()} =
+ get_result_gpr_pair(ctx, {self.reg_num});
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_reg_write_pair(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class PairSource(Register, Pair, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv_i64 {self.reg_tcg()} = tcg_temp_new_i64();
+ tcg_gen_concat_i32_i64({self.reg_tcg()},
+ hex_gpr[{self.reg_num}],
+ hex_gpr[{self.reg_num} + 1]);
+ """))
+
+class PairReadWrite(Register, Pair, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv_i64 {self.reg_tcg()} =
+ get_result_gpr_pair(ctx, {self.reg_num});
+ tcg_gen_concat_i32_i64({self.reg_tcg()},
+ hex_gpr[{self.reg_num}],
+ hex_gpr[{self.reg_num} + 1]);
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_reg_write_pair(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class ControlPairDest(Register, Pair, Dest):
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0;
+ """))
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv_i64 {self.reg_tcg()} =
+ get_result_gpr_pair(ctx, {self.reg_num});
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_write_ctrl_reg_pair(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class ControlPairSource(Register, Pair, OldSource):
+ def decl_reg_num(self, f, regno):
+ f.write(code_fmt(f"""\
+ const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0;
+ """))
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ TCGv_i64 {self.reg_tcg()} = tcg_temp_new_i64();
+ gen_read_ctrl_reg_pair(ctx, {self.reg_num}, {self.reg_tcg()});
+ """))
+
+class VRegDest(Register, Hvx, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ {vreg_offset_func(tag)}(ctx, {self.reg_num}, 1, true);
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ pass
+
+class VRegSource(Register, Hvx, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} = vreg_src_off(ctx, {self.reg_num});
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+
+class VRegNewSource(Register, Hvx, NewSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ if skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ ctx_future_vreg_off(ctx, {self.reg_num}, 1, true);
+ """))
+
+class VRegReadWrite(Register, Hvx, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ {vreg_offset_func(tag)}(ctx, {self.reg_num}, 1, true);
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()},
+ vreg_src_off(ctx, {self.reg_num}),
+ sizeof(MMVector), sizeof(MMVector));
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ pass
+
+class VRegTmp(Register, Hvx, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} = offsetof(CPUHexagonState, vtmp);
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()},
+ vreg_src_off(ctx, {self.reg_num}),
+ sizeof(MMVector), sizeof(MMVector));
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_vreg_write(ctx, {self.hvx_off()}, {self.reg_num},
+ {hvx_newv(tag)});
+ """))
+
+class VRegPairDest(Register, Hvx, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ {vreg_offset_func(tag)}(ctx, {self.reg_num}, 2, true);
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ pass
+
+class VRegPairSource(Register, Hvx, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ offsetof(CPUHexagonState, {self.reg_tcg()});
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()},
+ vreg_src_off(ctx, {self.reg_num}),
+ sizeof(MMVector), sizeof(MMVector));
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()} + sizeof(MMVector),
+ vreg_src_off(ctx, {self.reg_num} ^ 1),
+ sizeof(MMVector), sizeof(MMVector));
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+
+class VRegPairReadWrite(Register, Hvx, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ offsetof(CPUHexagonState, {self.reg_tcg()});
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()},
+ vreg_src_off(ctx, {self.reg_num}),
+ sizeof(MMVector), sizeof(MMVector));
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()} + sizeof(MMVector),
+ vreg_src_off(ctx, {self.reg_num} ^ 1),
+ sizeof(MMVector), sizeof(MMVector));
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ f.write(code_fmt(f"""\
+ gen_log_vreg_write_pair(ctx, {self.hvx_off()}, {self.reg_num},
+ {hvx_newv(tag)});
+ """))
+
+class QRegDest(Register, Hvx, Dest):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ get_result_qreg(ctx, {self.reg_num});
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ pass
+
+class QRegSource(Register, Hvx, OldSource):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ offsetof(CPUHexagonState, QRegs[{self.reg_num}]);
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+
+class QRegReadWrite(Register, Hvx, ReadWrite):
+ def decl_tcg(self, f, tag, regno):
+ self.decl_reg_num(f, regno)
+ f.write(code_fmt(f"""\
+ const intptr_t {self.hvx_off()} =
+ get_result_qreg(ctx, {self.reg_num});
+ tcg_gen_gvec_mov(MO_64, {self.hvx_off()},
+ offsetof(CPUHexagonState, QRegs[{self.reg_num}]),
+ sizeof(MMQReg), sizeof(MMQReg));
+ """))
+ if not skip_qemu_helper(tag):
+ f.write(code_fmt(f"""\
+ TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr();
+ tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()});
+ """))
+ def log_write(self, f, tag):
+ pass
+
+def init_registers():
+ regs = {
+ GprDest("R", "d"),
+ GprDest("R", "e"),
+ GprSource("R", "s"),
+ GprSource("R", "t"),
+ GprSource("R", "u"),
+ GprSource("R", "v"),
+ GprReadWrite("R", "x"),
+ GprReadWrite("R", "y"),
+ ControlDest("C", "d"),
+ ControlSource("C", "s"),
+ ModifierSource("M", "u"),
+ PredDest("P", "d"),
+ PredDest("P", "e"),
+ PredSource("P", "s"),
+ PredSource("P", "t"),
+ PredSource("P", "u"),
+ PredSource("P", "v"),
+ PredReadWrite("P", "x"),
+ PairDest("R", "dd"),
+ PairDest("R", "ee"),
+ PairSource("R", "ss"),
+ PairSource("R", "tt"),
+ PairReadWrite("R", "xx"),
+ PairReadWrite("R", "yy"),
+ ControlPairDest("C", "dd"),
+ ControlPairSource("C", "ss"),
+ VRegDest("V", "d"),
+ VRegSource("V", "s"),
+ VRegSource("V", "u"),
+ VRegSource("V", "v"),
+ VRegSource("V", "w"),
+ VRegReadWrite("V", "x"),
+ VRegTmp("V", "y"),
+ VRegPairDest("V", "dd"),
+ VRegPairSource("V", "uu"),
+ VRegPairSource("V", "vv"),
+ VRegPairReadWrite("V", "xx"),
+ QRegDest("Q", "d"),
+ QRegDest("Q", "e"),
+ QRegSource("Q", "s"),
+ QRegSource("Q", "t"),
+ QRegSource("Q", "u"),
+ QRegSource("Q", "v"),
+ QRegReadWrite("Q", "x"),
+ }
+ for reg in regs:
+ registers[f"{reg.regtype}{reg.regid}"] = reg
+
+ new_regs = {
+ GprNewSource("N", "s"),
+ GprNewSource("N", "t"),
+ PredNewSource("P", "t"),
+ PredNewSource("P", "u"),
+ PredNewSource("P", "v"),
+ VRegNewSource("O", "s"),
+ }
+ for reg in new_regs:
+ new_registers[f"{reg.regtype}{reg.regid}"] = reg
+
+def get_register(tag, regtype, regid):
+ if f"{regtype}{regid}V" in semdict[tag]:
+ return registers[f"{regtype}{regid}"]
+ else:
+ return new_registers[f"{regtype}{regid}"]
+
+def helper_ret_type(tag, regs):
+ ## If there is a scalar result, it is the return type
+ return_type = HelperArg( "void", "void", "void")
+ numscalarresults = 0
+ for regtype, regid in regs:
+ reg = get_register(tag, regtype, regid)
+ if reg.is_written() and reg.is_scalar_reg():
+ return_type = HelperArg(
+ reg.helper_proto_type(),
+ reg.reg_tcg(),
+ reg.helper_arg_type()
+ )
+ if numscalarresults > 1:
+ raise Exception("numscalarresults > 1")
+ return return_type
+
+def helper_args(tag, regs, imms):
+ args = []
+
+ ## First argument is the CPU state
+ args.append(HelperArg(
+ "env",
+ "tcg_env",
+ "CPUHexagonState *env"
+ ))
+
+ ## For predicated instructions, we pass in the destination register
+ if is_predicated(tag):
+ for regtype, regid in regs:
+ reg = get_register(tag, regtype, regid)
+ if reg.is_writeonly() and not reg.is_hvx_reg():
+ args.append(reg.helper_arg())
+
+ ## Pass the HVX destination registers
+ for regtype, regid in regs:
+ reg = get_register(tag, regtype, regid)
+ if reg.is_written() and reg.is_hvx_reg():
+ args.append(reg.helper_arg())
+
+ ## Pass the source registers
+ for regtype, regid in regs:
+ reg = get_register(tag, regtype, regid)
+ if reg.is_read() and not (reg.is_hvx_reg() and reg.is_readwrite()):
+ args.append(reg.helper_arg())
+
+ ## Pass the immediates
+ for immlett, bits, immshift in imms:
+ args.append(HelperArg(
+ "s32",
+ f"tcg_constant_tl({imm_name(immlett)})",
+ f"int32_t {imm_name(immlett)}"
+ ))
+
+ ## Other stuff the helper might need
+ if need_pkt_has_multi_cof(tag):
+ args.append(HelperArg(
+ "i32",
+ "tcg_constant_tl(ctx->pkt->pkt_has_multi_cof)",
+ "uint32_t pkt_has_multi_cof"
+ ))
+ if need_pkt_need_commit(tag):
+ args.append(HelperArg(
+ "i32",
+ "tcg_constant_tl(ctx->need_commit)",
+ "uint32_t pkt_need_commit"
+ ))
+ if need_PC(tag):
+ args.append(HelperArg(
+ "i32",
+ "tcg_constant_tl(ctx->pkt->pc)",
+ "target_ulong PC"
+ ))
+ if need_next_PC(tag):
+ args.append(HelperArg(
+ "i32",
+ "tcg_constant_tl(ctx->next_PC)",
+ "target_ulong next_PC"
+ ))
+ if need_slot(tag):
+ args.append(HelperArg(
+ "i32",
+ "gen_slotval(ctx)",
+ "uint32_t slotval"
+ ))
+ if need_part1(tag):
+ args.append(HelperArg(
+ "i32",
+ "tcg_constant_tl(insn->part1)"
+ "uint32_t part1"
+ ))
+ return args
--
2.34.1
> -----Original Message----- > From: Taylor Simpson <ltaylorsimpson@gmail.com> > Sent: Sunday, December 10, 2023 4:07 PM > To: qemu-devel@nongnu.org > Cc: Brian Cain <bcain@quicinc.com>; Matheus Bernardino (QUIC) > <quic_mathbern@quicinc.com>; Sid Manning <sidneym@quicinc.com>; Marco > Liebel (QUIC) <quic_mliebel@quicinc.com>; richard.henderson@linaro.org; > philmd@linaro.org; ale@rev.ng; anjo@rev.ng; ltaylorsimpson@gmail.com > Subject: [PATCH v2 2/9] Hexagon (target/hexagon) Make generators object > oriented - gen_tcg_funcs > > WARNING: This email originated from outside of Qualcomm. Please be wary of > any links or attachments, and do not enable macros. > > The generators are generally a bunch of Python if-then-else > statements based on the regtype and regid. Encapsulate regtype/regid > into a class hierarchy. Clients lookup the register and invoke > methods. > > This has several advantages for making the code easier to read, > understand, and maintain > - The class name makes it more clear what the operand does > - All the methods for a given type of operand are together > - Don't need hex_common.bad_register > If a regtype/regid is missing, the lookup in hex_common.get_register > will fail > - We can remove the functions in hex_common that use regtype/regid > (e.g., is_read) > > This patch creates the class hierarchy in hex_common and converts > gen_tcg_funcs.py. The other scripts will be converted in subsequent > patches in this series. > > Signed-off-by: Taylor Simpson <ltaylorsimpson@gmail.com> > --- > target/hexagon/gen_tcg_funcs.py | 571 ++------------------------- > target/hexagon/hex_common.py | 659 > ++++++++++++++++++++++++++++++++ > 2 files changed, 683 insertions(+), 547 deletions(-) > > diff --git a/target/hexagon/gen_tcg_funcs.py > b/target/hexagon/gen_tcg_funcs.py > index 02d93bc5ce..3d8e3cb6a2 100755 > --- a/target/hexagon/gen_tcg_funcs.py > +++ b/target/hexagon/gen_tcg_funcs.py > @@ -23,466 +23,13 @@ > import hex_common > > > -## > -## Helpers for gen_tcg_func > -## > -def gen_decl_ea_tcg(f, tag): > - f.write(" TCGv EA G_GNUC_UNUSED = tcg_temp_new();\n") > - > - > -def genptr_decl_pair_writable(f, tag, regtype, regid, regno): > - regN = f"{regtype}{regid}N" > - if regtype == "R": > - f.write(f" const int {regN} = insn->regno[{regno}];\n") > - elif regtype == "C": > - f.write(f" const int {regN} = insn->regno[{regno}] + HEX_REG_SA0;\n") > - else: > - hex_common.bad_register(regtype, regid) > - f.write(f" TCGv_i64 {regtype}{regid}V = " f"get_result_gpr_pair(ctx, > {regN});\n") > - > - > -def genptr_decl_writable(f, tag, regtype, regid, regno): > - regN = f"{regtype}{regid}N" > - if regtype == "R": > - f.write(f" const int {regN} = insn->regno[{regno}];\n") > - f.write(f" TCGv {regtype}{regid}V = get_result_gpr(ctx, {regN});\n") > - elif regtype == "C": > - f.write(f" const int {regN} = insn->regno[{regno}] + HEX_REG_SA0;\n") > - f.write(f" TCGv {regtype}{regid}V = get_result_gpr(ctx, {regN});\n") > - elif regtype == "P": > - f.write(f" const int {regN} = insn->regno[{regno}];\n") > - f.write(f" TCGv {regtype}{regid}V = tcg_temp_new();\n") > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_decl(f, tag, regtype, regid, regno): > - regN = f"{regtype}{regid}N" > - if regtype == "R": > - if regid in {"ss", "tt"}: > - f.write(f" TCGv_i64 {regtype}{regid}V = tcg_temp_new_i64();\n") > - f.write(f" const int {regN} = insn->regno[{regno}];\n") > - elif regid in {"dd", "ee", "xx", "yy"}: > - genptr_decl_pair_writable(f, tag, regtype, regid, regno) > - elif regid in {"s", "t", "u", "v"}: > - f.write( > - f" TCGv {regtype}{regid}V = " f"hex_gpr[insn->regno[{regno}]];\n" > - ) > - elif regid in {"d", "e", "x", "y"}: > - genptr_decl_writable(f, tag, regtype, regid, regno) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "P": > - if regid in {"s", "t", "u", "v"}: > - f.write( > - f" TCGv {regtype}{regid}V = " f"hex_pred[insn->regno[{regno}]];\n" > - ) > - elif regid in {"d", "e", "x"}: > - genptr_decl_writable(f, tag, regtype, regid, regno) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "C": > - if regid == "ss": > - f.write(f" TCGv_i64 {regtype}{regid}V = " f"tcg_temp_new_i64();\n") > - f.write(f" const int {regN} = insn->regno[{regno}] + " > "HEX_REG_SA0;\n") > - elif regid == "dd": > - genptr_decl_pair_writable(f, tag, regtype, regid, regno) > - elif regid == "s": > - f.write(f" TCGv {regtype}{regid}V = tcg_temp_new();\n") > - f.write( > - f" const int {regtype}{regid}N = insn->regno[{regno}] + " > - "HEX_REG_SA0;\n" > - ) > - elif regid == "d": > - genptr_decl_writable(f, tag, regtype, regid, regno) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "M": > - if regid == "u": > - f.write( > - f" const int {regN} = insn->regno[{regno}] + HEX_REG_M0;\n" > - ) > - f.write( > - f" TCGv {regtype}{regid}V = hex_gpr[{regN}];\n" > - ) > - f.write( > - f" TCGv CS G_GNUC_UNUSED = " > - f"hex_gpr[{regN} - HEX_REG_M0 + HEX_REG_CS0];\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "V": > - if regid in {"dd"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - if hex_common.is_tmp_result(tag): > - f.write( > - f" ctx_tmp_vreg_off(ctx, {regtype}{regid}N, 2, " "true);\n" > - ) > - else: > - f.write(f" ctx_future_vreg_off(ctx, {regtype}{regid}N,") > - f.write(" 2, true);\n") > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - elif regid in {"uu", "vv", "xx"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - f.write(f" offsetof(CPUHexagonState, {regtype}{regid}V);\n") > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - elif regid in {"s", "u", "v", "w"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - f.write(f" vreg_src_off(ctx, {regtype}{regid}N);\n") > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - elif regid in {"d", "x", "y"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - if regid == "y": > - f.write(" offsetof(CPUHexagonState, vtmp);\n") > - elif hex_common.is_tmp_result(tag): > - f.write( > - f" ctx_tmp_vreg_off(ctx, {regtype}{regid}N, 1, " "true);\n" > - ) > - else: > - f.write(f" ctx_future_vreg_off(ctx, {regtype}{regid}N,") > - f.write(" 1, true);\n") > - > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "Q": > - if regid in {"d", "e", "x"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - f.write(f" get_result_qreg(ctx, {regtype}{regid}N);\n") > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - elif regid in {"s", "t", "u", "v"}: > - f.write(f" const int {regtype}{regid}N = " f"insn->regno[{regno}];\n") > - f.write(f" const intptr_t {regtype}{regid}V_off =\n") > - f.write( > - f" offsetof(CPUHexagonState, " f"QRegs[{regtype}{regid}N]);\n" > - ) > - if not hex_common.skip_qemu_helper(tag): > - f.write(f" TCGv_ptr {regtype}{regid}V = " "tcg_temp_new_ptr();\n") > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_decl_new(f, tag, regtype, regid, regno): > - if regtype == "N": > - if regid in {"s", "t"}: > - f.write( > - f" TCGv {regtype}{regid}N = " > - f"get_result_gpr(ctx, insn->regno[{regno}]);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "P": > - if regid in {"t", "u", "v"}: > - f.write( > - f" TCGv {regtype}{regid}N = " > - f"ctx->new_pred_value[insn->regno[{regno}]];\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "O": > - if regid == "s": > - f.write( > - f" const intptr_t {regtype}{regid}N_num = " > - f"insn->regno[{regno}];\n" > - ) > - if hex_common.skip_qemu_helper(tag): > - f.write(f" const intptr_t {regtype}{regid}N_off =\n") > - f.write(" ctx_future_vreg_off(ctx, " f"{regtype}{regid}N_num,") > - f.write(" 1, true);\n") > - else: > - f.write( > - f" TCGv {regtype}{regid}N = " > - f"tcg_constant_tl({regtype}{regid}N_num);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_decl_opn(f, tag, regtype, regid, i): > - if hex_common.is_pair(regid): > - genptr_decl(f, tag, regtype, regid, i) > - elif hex_common.is_single(regid): > - if hex_common.is_old_val(regtype, regid, tag): > - genptr_decl(f, tag, regtype, regid, i) > - elif hex_common.is_new_val(regtype, regid, tag): > - genptr_decl_new(f, tag, regtype, regid, i) > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_decl_imm(f, immlett): > - if immlett.isupper(): > - i = 1 > - else: > - i = 0 > - f.write(f" int {hex_common.imm_name(immlett)} = insn->immed[{i}];\n") > - > - > -def genptr_src_read(f, tag, regtype, regid): > - if regtype == "R": > - if regid in {"ss", "tt", "xx", "yy"}: > - f.write( > - f" tcg_gen_concat_i32_i64({regtype}{regid}V, " > - f"hex_gpr[{regtype}{regid}N],\n" > - ) > - f.write( > - f" hex_gpr[{regtype}" > - f"{regid}N + 1]);\n" > - ) > - elif regid in {"x", "y"}: > - ## For read/write registers, we need to get the original value into > - ## the result TCGv. For conditional instructions, this is done in > - ## gen_start_packet. For unconditional instructions, we do it here. > - if "A_CONDEXEC" not in hex_common.attribdict[tag]: > - f.write( > - f" tcg_gen_mov_tl({regtype}{regid}V, " > - f"hex_gpr[{regtype}{regid}N]);\n" > - ) > - elif regid not in {"s", "t", "u", "v"}: > - hex_common.bad_register(regtype, regid) > - elif regtype == "P": > - if regid == "x": > - f.write( > - f" tcg_gen_mov_tl({regtype}{regid}V, " > - f"hex_pred[{regtype}{regid}N]);\n" > - ) > - elif regid not in {"s", "t", "u", "v"}: > - hex_common.bad_register(regtype, regid) > - elif regtype == "C": > - if regid == "ss": > - f.write( > - f" gen_read_ctrl_reg_pair(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - elif regid == "s": > - f.write( > - f" gen_read_ctrl_reg(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "M": > - if regid != "u": > - hex_common.bad_register(regtype, regid) > - elif regtype == "V": > - if regid in {"uu", "vv", "xx"}: > - f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n") > - f.write(f" vreg_src_off(ctx, {regtype}{regid}N),\n") > - f.write(" sizeof(MMVector), sizeof(MMVector));\n") > - f.write(" tcg_gen_gvec_mov(MO_64,\n") > - f.write(f" {regtype}{regid}V_off + sizeof(MMVector),\n") > - f.write(f" vreg_src_off(ctx, {regtype}{regid}N ^ 1),\n") > - f.write(" sizeof(MMVector), sizeof(MMVector));\n") > - elif regid in {"s", "u", "v", "w"}: > - if not hex_common.skip_qemu_helper(tag): > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - elif regid in {"x", "y"}: > - f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n") > - f.write(f" vreg_src_off(ctx, {regtype}{regid}N),\n") > - f.write(" sizeof(MMVector), sizeof(MMVector));\n") > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "Q": > - if regid in {"s", "t", "u", "v"}: > - if not hex_common.skip_qemu_helper(tag): > - f.write( > - f" tcg_gen_addi_ptr({regtype}{regid}V, tcg_env, " > - f"{regtype}{regid}V_off);\n" > - ) > - elif regid in {"x"}: > - f.write(f" tcg_gen_gvec_mov(MO_64, {regtype}{regid}V_off,\n") > - f.write( > - f" offsetof(CPUHexagonState, " f"QRegs[{regtype}{regid}N]),\n" > - ) > - f.write(" sizeof(MMQReg), sizeof(MMQReg));\n") > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_src_read_new(f, regtype, regid): > - if regtype == "N": > - if regid not in {"s", "t"}: > - hex_common.bad_register(regtype, regid) > - elif regtype == "P": > - if regid not in {"t", "u", "v"}: > - hex_common.bad_register(regtype, regid) > - elif regtype == "O": > - if regid != "s": > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_src_read_opn(f, regtype, regid, tag): > - if hex_common.is_pair(regid): > - genptr_src_read(f, tag, regtype, regid) > - elif hex_common.is_single(regid): > - if hex_common.is_old_val(regtype, regid, tag): > - genptr_src_read(f, tag, regtype, regid) > - elif hex_common.is_new_val(regtype, regid, tag): > - genptr_src_read_new(f, regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def gen_helper_call_opn(f, tag, regtype, regid, i): > - if i > 0: > - f.write(", ") > - if hex_common.is_pair(regid): > - f.write(f"{regtype}{regid}V") > - elif hex_common.is_single(regid): > - if hex_common.is_old_val(regtype, regid, tag): > - f.write(f"{regtype}{regid}V") > - elif hex_common.is_new_val(regtype, regid, tag): > - f.write(f"{regtype}{regid}N") > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def gen_helper_decl_imm(f, immlett): > - f.write( > - f" TCGv tcgv_{hex_common.imm_name(immlett)} = " > - f"tcg_constant_tl({hex_common.imm_name(immlett)});\n" > - ) > - > - > -def gen_helper_call_imm(f, immlett): > - f.write(f", tcgv_{hex_common.imm_name(immlett)}") > - > - > -def genptr_dst_write_pair(f, tag, regtype, regid): > - f.write(f" gen_log_reg_write_pair(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n") > - > - > -def genptr_dst_write(f, tag, regtype, regid): > - if regtype == "R": > - if regid in {"dd", "xx", "yy"}: > - genptr_dst_write_pair(f, tag, regtype, regid) > - elif regid in {"d", "e", "x", "y"}: > - f.write( > - f" gen_log_reg_write(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "P": > - if regid in {"d", "e", "x"}: > - f.write( > - f" gen_log_pred_write(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - elif regtype == "C": > - if regid == "dd": > - f.write( > - f" gen_write_ctrl_reg_pair(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - elif regid == "d": > - f.write( > - f" gen_write_ctrl_reg(ctx, {regtype}{regid}N, " > - f"{regtype}{regid}V);\n" > - ) > - else: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_dst_write_ext(f, tag, regtype, regid, newv="EXT_DFL"): > - if regtype == "V": > - if regid in {"xx"}: > - f.write( > - f" gen_log_vreg_write_pair(ctx, {regtype}{regid}V_off, " > - f"{regtype}{regid}N, {newv});\n" > - ) > - elif regid in {"y"}: > - f.write( > - f" gen_log_vreg_write(ctx, {regtype}{regid}V_off, " > - f"{regtype}{regid}N, {newv});\n" > - ) > - elif regid not in {"dd", "d", "x"}: > - hex_common.bad_register(regtype, regid) > - elif regtype == "Q": > - if regid not in {"d", "e", "x"}: > - hex_common.bad_register(regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > -def genptr_dst_write_opn(f, regtype, regid, tag): > - if hex_common.is_pair(regid): > - if hex_common.is_hvx_reg(regtype): > - if hex_common.is_tmp_result(tag): > - genptr_dst_write_ext(f, tag, regtype, regid, "EXT_TMP") > - else: > - genptr_dst_write_ext(f, tag, regtype, regid) > - else: > - genptr_dst_write(f, tag, regtype, regid) > - elif hex_common.is_single(regid): > - if hex_common.is_hvx_reg(regtype): > - if hex_common.is_new_result(tag): > - genptr_dst_write_ext(f, tag, regtype, regid, "EXT_NEW") > - elif hex_common.is_tmp_result(tag): > - genptr_dst_write_ext(f, tag, regtype, regid, "EXT_TMP") > - else: > - genptr_dst_write_ext(f, tag, regtype, regid, "EXT_DFL") > - else: > - genptr_dst_write(f, tag, regtype, regid) > - else: > - hex_common.bad_register(regtype, regid) > - > - > ## > ## Generate the TCG code to call the helper > ## For A2_add: Rd32=add(Rs32,Rt32), { RdV=RsV+RtV;} > ## We produce: > ## static void generate_A2_add(DisasContext *ctx) > ## { > -## Insn *insn __attribute__((unused)) = ctx->insn; > +## Insn *insn G_GNUC_UNUSED = ctx->insn; > ## const int RdN = insn->regno[0]; > ## TCGv RdV = get_result_gpr(ctx, RdN); > ## TCGv RsV = hex_gpr[insn->regno[1]]; > @@ -501,44 +48,27 @@ def gen_tcg_func(f, tag, regs, imms): > f.write(f"static void generate_{tag}(DisasContext *ctx)\n") > f.write("{\n") > > - f.write(" Insn *insn __attribute__((unused)) = ctx->insn;\n") > + f.write(" Insn *insn G_GNUC_UNUSED = ctx->insn;\n") > > if hex_common.need_ea(tag): > - gen_decl_ea_tcg(f, tag) > - i = 0 > + f.write(" TCGv EA G_GNUC_UNUSED = tcg_temp_new();\n") > + > ## Declare all the operands (regs and immediates) > + i = 0 > for regtype, regid in regs: > - genptr_decl_opn(f, tag, regtype, regid, i) > + reg = hex_common.get_register(tag, regtype, regid) > + reg.decl_tcg(f, tag, i) > i += 1 > for immlett, bits, immshift in imms: > - genptr_decl_imm(f, immlett) > - > - if "A_PRIV" in hex_common.attribdict[tag]: > - f.write(" fCHECKFORPRIV();\n") > - if "A_GUEST" in hex_common.attribdict[tag]: > - f.write(" fCHECKFORGUEST();\n") > - > - ## Read all the inputs > - for regtype, regid in regs: > - if hex_common.is_read(regid): > - genptr_src_read_opn(f, regtype, regid, tag) > + i = 1 if immlett.isupper() else 0 > + f.write(f" int {hex_common.imm_name(immlett)} = insn- > >immed[{i}];\n") > > if hex_common.is_idef_parser_enabled(tag): > declared = [] > ## Handle registers > for regtype, regid in regs: > - if hex_common.is_pair(regid) or ( > - hex_common.is_single(regid) > - and hex_common.is_old_val(regtype, regid, tag) > - ): > - declared.append(f"{regtype}{regid}V") > - if regtype == "M": > - declared.append("CS") > - elif hex_common.is_new_val(regtype, regid, tag): > - declared.append(f"{regtype}{regid}N") > - else: > - hex_common.bad_register(regtype, regid) > - > + reg = hex_common.get_register(tag, regtype, regid) > + reg.idef_arg(declared) > ## Handle immediates > for immlett, bits, immshift in imms: > declared.append(hex_common.imm_name(immlett)) > @@ -550,76 +80,22 @@ def gen_tcg_func(f, tag, regs, imms): > f.write(f" fGEN_TCG_{tag}({hex_common.semdict[tag]});\n") > else: > ## Generate the call to the helper > - for immlett, bits, immshift in imms: > - gen_helper_decl_imm(f, immlett) > - if hex_common.need_pkt_has_multi_cof(tag): > - f.write(" TCGv pkt_has_multi_cof = ") > - f.write("tcg_constant_tl(ctx->pkt->pkt_has_multi_cof);\n") > - if hex_common.need_pkt_need_commit(tag): > - f.write(" TCGv pkt_need_commit = ") > - f.write("tcg_constant_tl(ctx->need_commit);\n") > - if hex_common.need_part1(tag): > - f.write(" TCGv part1 = tcg_constant_tl(insn->part1);\n") > - if hex_common.need_slot(tag): > - f.write(" TCGv slotval = gen_slotval(ctx);\n") > - if hex_common.need_PC(tag): > - f.write(" TCGv PC = tcg_constant_tl(ctx->pkt->pc);\n") > - if hex_common.helper_needs_next_PC(tag): > - f.write(" TCGv next_PC = tcg_constant_tl(ctx->next_PC);\n") > - f.write(f" gen_helper_{tag}(") > - i = 0 > - ## If there is a scalar result, it is the return type > - for regtype, regid in regs: > - if hex_common.is_written(regid): > - if hex_common.is_hvx_reg(regtype): > - continue > - gen_helper_call_opn(f, tag, regtype, regid, i) > - i += 1 > - if i > 0: > - f.write(", ") > - f.write("tcg_env") > - i = 1 > - ## For conditional instructions, we pass in the destination register > - if "A_CONDEXEC" in hex_common.attribdict[tag]: > - for regtype, regid in regs: > - if hex_common.is_writeonly(regid) and not hex_common.is_hvx_reg( > - regtype > - ): > - gen_helper_call_opn(f, tag, regtype, regid, i) > - i += 1 > - for regtype, regid in regs: > - if hex_common.is_written(regid): > - if not hex_common.is_hvx_reg(regtype): > - continue > - gen_helper_call_opn(f, tag, regtype, regid, i) > - i += 1 > - for regtype, regid in regs: > - if hex_common.is_read(regid): > - if hex_common.is_hvx_reg(regtype) and > hex_common.is_readwrite(regid): > - continue > - gen_helper_call_opn(f, tag, regtype, regid, i) > - i += 1 > - for immlett, bits, immshift in imms: > - gen_helper_call_imm(f, immlett) > + declared = [] > + ret_type = hex_common.helper_ret_type(tag, regs).call_arg > + if ret_type != "void": > + declared.append(ret_type) > + > + for arg in hex_common.helper_args(tag, regs, imms): > + declared.append(arg.call_arg) > > - if hex_common.need_pkt_has_multi_cof(tag): > - f.write(", pkt_has_multi_cof") > - if hex_common.need_pkt_need_commit(tag): > - f.write(", pkt_need_commit") > - if hex_common.need_PC(tag): > - f.write(", PC") > - if hex_common.helper_needs_next_PC(tag): > - f.write(", next_PC") > - if hex_common.need_slot(tag): > - f.write(", slotval") > - if hex_common.need_part1(tag): > - f.write(", part1") > - f.write(");\n") > + arguments = ", ".join(declared) > + f.write(f" gen_helper_{tag}({arguments});\n") > > ## Write all the outputs > for regtype, regid in regs: > - if hex_common.is_written(regid): > - genptr_dst_write_opn(f, regtype, regid, tag) > + reg = hex_common.get_register(tag, regtype, regid) > + if reg.is_written(): > + reg.log_write(f, tag) > > f.write("}\n\n") > > @@ -637,6 +113,7 @@ def main(): > hex_common.read_overrides_file(sys.argv[3]) > hex_common.read_overrides_file(sys.argv[4]) > hex_common.calculate_attribs() > + hex_common.init_registers() > ## Whether or not idef-parser is enabled is > ## determined by the number of arguments to > ## this script: > diff --git a/target/hexagon/hex_common.py b/target/hexagon/hex_common.py > index 0da65d6dd6..979f198a30 100755 > --- a/target/hexagon/hex_common.py > +++ b/target/hexagon/hex_common.py > @@ -20,12 +20,15 @@ > import sys > import re > import string > +import textwrap > > behdict = {} # tag ->behavior > semdict = {} # tag -> semantics > attribdict = {} # tag -> attributes > macros = {} # macro -> macro information... > attribinfo = {} # Register information and misc > +registers = {} # register -> register functions > +new_registers = {} > tags = [] # list of all tags > overrides = {} # tags with helper overrides > idef_parser_enabled = {} # tags enabled for idef-parser > @@ -276,6 +279,10 @@ def helper_needs_next_PC(tag): > return "A_CALL" in attribdict[tag] > > > +def need_next_PC(tag): > + return "A_CALL" in attribdict[tag] > + > + > def need_pkt_has_multi_cof(tag): > return "A_COF" in attribdict[tag] > > @@ -350,3 +357,655 @@ def read_idef_parser_enabled_file(name): > with open(name, "r") as idef_parser_enabled_file: > lines = idef_parser_enabled_file.read().strip().split("\n") > idef_parser_enabled = set(lines) > + > + > +def is_predicated(tag): > + return "A_CONDEXEC" in attribdict[tag] > + > + > +def code_fmt(txt): > + return textwrap.indent(textwrap.dedent(txt), " ") > + > + > +def hvx_newv(tag): > + if "A_CVI_NEW" in attribdict[tag]: > + return "EXT_NEW" > + elif "A_CVI_TMP" in attribdict[tag] or "A_CVI_TMP_DST" in attribdict[tag]: > + return "EXT_TMP" > + else: > + return "EXT_DFL" > + > +def vreg_offset_func(tag): > + if "A_CVI_TMP" in attribdict[tag] or "A_CVI_TMP_DST" in attribdict[tag]: > + return "ctx_tmp_vreg_off" > + else: > + return "ctx_future_vreg_off" > + > +class HelperArg: > + def __init__(self, proto_arg, call_arg, func_arg): > + self.proto_arg = proto_arg > + self.call_arg = call_arg > + self.func_arg = func_arg > + > +class Register: > + def __init__(self, regtype, regid): > + self.regtype = regtype > + self.regid = regid > + self.reg_num = f"{regtype}{regid}N" > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}]; > + """)) > + def idef_arg(self, declared): > + declared.append(self.reg_tcg()) > + def helper_arg(self): > + return HelperArg( > + self.helper_proto_type(), > + self.reg_tcg(), > + f"{self.helper_arg_type()} {self.helper_arg_name()}" > + ) > + > +# > +# Every register is either Single or Pair or Hvx > +# > +class Scalar: > + def is_scalar_reg(self): > + return True > + def is_hvx_reg(self): > + return False > + def helper_arg_name(self): > + return self.reg_tcg() > + > +class Single(Scalar): > + def helper_proto_type(self): > + return "s32" > + def helper_arg_type(self): > + return "int32_t" > + > +class Pair(Scalar): > + def helper_proto_type(self): > + return "s64" > + def helper_arg_type(self): > + return "int64_t" > + > +class Hvx: > + def is_scalar_reg(self): > + return False > + def is_hvx_reg(self): > + return True > + def hvx_off(self): > + return f"{self.reg_tcg()}_off" > + def helper_proto_type(self): > + return "ptr" > + def helper_arg_type(self): > + return "void *" > + def helper_arg_name(self): > + return f"{self.reg_tcg()}_void" > + > +# > +# Every register is either Dest or OldSource or NewSource or ReadWrite > +# > +class Dest: > + def reg_tcg(self): > + return f"{self.regtype}{self.regid}V" > + def is_written(self): > + return True > + def is_writeonly(self): > + return True > + def is_read(self): > + return False > + def is_readwrite(self): > + return False > + > +class Source: > + def is_written(self): > + return False > + def is_writeonly(self): > + return False > + def is_read(self): > + return True > + def is_readwrite(self): > + return False > + > +class OldSource(Source): > + def reg_tcg(self): > + return f"{self.regtype}{self.regid}V" > + > +class NewSource(Source): > + def reg_tcg(self): > + return f"{self.regtype}{self.regid}N" > + > +class ReadWrite: > + def reg_tcg(self): > + return f"{self.regtype}{self.regid}V" > + def is_written(self): > + return True > + def is_writeonly(self): > + return False > + def is_read(self): > + return True > + def is_readwrite(self): > + return True > + > +class GprDest(Register, Single, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num}); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_reg_write(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class GprSource(Register, Single, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = hex_gpr[{self.reg_num}]; > + """)) > + > +class GprNewSource(Register, Single, NewSource): > + def decl_tcg(self, f, tag, regno): > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = get_result_gpr(ctx, insn->regno[{regno}]); > + """)) > + > +class GprReadWrite(Register, Single, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num}); > + """)) > + ## For read/write registers, we need to get the original value into > + ## the result TCGv. For predicated instructions, this is done in > + ## gen_start_packet. For un-predicated instructions, we do it here. > + if not is_predicated(tag): > + f.write(code_fmt(f"""\ > + tcg_gen_mov_tl({self.reg_tcg()}, hex_gpr[{self.reg_num}]); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_reg_write(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class ControlDest(Register, Single, Dest): > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0; > + """)) > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = get_result_gpr(ctx, {self.reg_num}); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_write_ctrl_reg(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class ControlSource(Register, Single, OldSource): > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0; > + """)) > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno); > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = tcg_temp_new(); > + gen_read_ctrl_reg(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class ModifierSource(Register, Single, OldSource): > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_M0; > + """)) > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = hex_gpr[{self.reg_num}]; > + TCGv CS G_GNUC_UNUSED = > + hex_gpr[{self.reg_num} - HEX_REG_M0 + HEX_REG_CS0]; > + """)) > + def idef_arg(self, declared): > + declared.append(self.reg_tcg()) > + declared.append("CS") > + > +class PredDest(Register, Single, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = tcg_temp_new(); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_pred_write(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class PredSource(Register, Single, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = hex_pred[{self.reg_num}]; > + """)) > + > +class PredNewSource(Register, Single, NewSource): > + def decl_tcg(self, f, tag, regno): > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = get_result_pred(ctx, insn->regno[{regno}]); > + """)) > + > +class PredReadWrite(Register, Single, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv {self.reg_tcg()} = tcg_temp_new(); > + tcg_gen_mov_tl({self.reg_tcg()}, hex_pred[{self.reg_num}]); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_pred_write(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class PairDest(Register, Pair, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv_i64 {self.reg_tcg()} = > + get_result_gpr_pair(ctx, {self.reg_num}); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_reg_write_pair(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class PairSource(Register, Pair, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv_i64 {self.reg_tcg()} = tcg_temp_new_i64(); > + tcg_gen_concat_i32_i64({self.reg_tcg()}, > + hex_gpr[{self.reg_num}], > + hex_gpr[{self.reg_num} + 1]); > + """)) > + > +class PairReadWrite(Register, Pair, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv_i64 {self.reg_tcg()} = > + get_result_gpr_pair(ctx, {self.reg_num}); > + tcg_gen_concat_i32_i64({self.reg_tcg()}, > + hex_gpr[{self.reg_num}], > + hex_gpr[{self.reg_num} + 1]); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_reg_write_pair(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class ControlPairDest(Register, Pair, Dest): > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0; > + """)) > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv_i64 {self.reg_tcg()} = > + get_result_gpr_pair(ctx, {self.reg_num}); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_write_ctrl_reg_pair(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class ControlPairSource(Register, Pair, OldSource): > + def decl_reg_num(self, f, regno): > + f.write(code_fmt(f"""\ > + const int {self.reg_num} = insn->regno[{regno}] + HEX_REG_SA0; > + """)) > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + TCGv_i64 {self.reg_tcg()} = tcg_temp_new_i64(); > + gen_read_ctrl_reg_pair(ctx, {self.reg_num}, {self.reg_tcg()}); > + """)) > + > +class VRegDest(Register, Hvx, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + {vreg_offset_func(tag)}(ctx, {self.reg_num}, 1, true); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + pass > + > +class VRegSource(Register, Hvx, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = vreg_src_off(ctx, {self.reg_num}); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + > +class VRegNewSource(Register, Hvx, NewSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + if skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + ctx_future_vreg_off(ctx, {self.reg_num}, 1, true); > + """)) > + > +class VRegReadWrite(Register, Hvx, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + {vreg_offset_func(tag)}(ctx, {self.reg_num}, 1, true); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()}, > + vreg_src_off(ctx, {self.reg_num}), > + sizeof(MMVector), sizeof(MMVector)); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + pass > + > +class VRegTmp(Register, Hvx, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = offsetof(CPUHexagonState, vtmp); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()}, > + vreg_src_off(ctx, {self.reg_num}), > + sizeof(MMVector), sizeof(MMVector)); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_vreg_write(ctx, {self.hvx_off()}, {self.reg_num}, > + {hvx_newv(tag)}); > + """)) > + > +class VRegPairDest(Register, Hvx, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + {vreg_offset_func(tag)}(ctx, {self.reg_num}, 2, true); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + pass > + > +class VRegPairSource(Register, Hvx, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + offsetof(CPUHexagonState, {self.reg_tcg()}); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()}, > + vreg_src_off(ctx, {self.reg_num}), > + sizeof(MMVector), sizeof(MMVector)); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()} + sizeof(MMVector), > + vreg_src_off(ctx, {self.reg_num} ^ 1), > + sizeof(MMVector), sizeof(MMVector)); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + > +class VRegPairReadWrite(Register, Hvx, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + offsetof(CPUHexagonState, {self.reg_tcg()}); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()}, > + vreg_src_off(ctx, {self.reg_num}), > + sizeof(MMVector), sizeof(MMVector)); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()} + sizeof(MMVector), > + vreg_src_off(ctx, {self.reg_num} ^ 1), > + sizeof(MMVector), sizeof(MMVector)); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + f.write(code_fmt(f"""\ > + gen_log_vreg_write_pair(ctx, {self.hvx_off()}, {self.reg_num}, > + {hvx_newv(tag)}); > + """)) > + > +class QRegDest(Register, Hvx, Dest): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + get_result_qreg(ctx, {self.reg_num}); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + pass > + > +class QRegSource(Register, Hvx, OldSource): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + offsetof(CPUHexagonState, QRegs[{self.reg_num}]); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + > +class QRegReadWrite(Register, Hvx, ReadWrite): > + def decl_tcg(self, f, tag, regno): > + self.decl_reg_num(f, regno) > + f.write(code_fmt(f"""\ > + const intptr_t {self.hvx_off()} = > + get_result_qreg(ctx, {self.reg_num}); > + tcg_gen_gvec_mov(MO_64, {self.hvx_off()}, > + offsetof(CPUHexagonState, QRegs[{self.reg_num}]), > + sizeof(MMQReg), sizeof(MMQReg)); > + """)) > + if not skip_qemu_helper(tag): > + f.write(code_fmt(f"""\ > + TCGv_ptr {self.reg_tcg()} = tcg_temp_new_ptr(); > + tcg_gen_addi_ptr({self.reg_tcg()}, tcg_env, {self.hvx_off()}); > + """)) > + def log_write(self, f, tag): > + pass > + > +def init_registers(): > + regs = { > + GprDest("R", "d"), > + GprDest("R", "e"), > + GprSource("R", "s"), > + GprSource("R", "t"), > + GprSource("R", "u"), > + GprSource("R", "v"), > + GprReadWrite("R", "x"), > + GprReadWrite("R", "y"), > + ControlDest("C", "d"), > + ControlSource("C", "s"), > + ModifierSource("M", "u"), > + PredDest("P", "d"), > + PredDest("P", "e"), > + PredSource("P", "s"), > + PredSource("P", "t"), > + PredSource("P", "u"), > + PredSource("P", "v"), > + PredReadWrite("P", "x"), > + PairDest("R", "dd"), > + PairDest("R", "ee"), > + PairSource("R", "ss"), > + PairSource("R", "tt"), > + PairReadWrite("R", "xx"), > + PairReadWrite("R", "yy"), > + ControlPairDest("C", "dd"), > + ControlPairSource("C", "ss"), > + VRegDest("V", "d"), > + VRegSource("V", "s"), > + VRegSource("V", "u"), > + VRegSource("V", "v"), > + VRegSource("V", "w"), > + VRegReadWrite("V", "x"), > + VRegTmp("V", "y"), > + VRegPairDest("V", "dd"), > + VRegPairSource("V", "uu"), > + VRegPairSource("V", "vv"), > + VRegPairReadWrite("V", "xx"), > + QRegDest("Q", "d"), > + QRegDest("Q", "e"), > + QRegSource("Q", "s"), > + QRegSource("Q", "t"), > + QRegSource("Q", "u"), > + QRegSource("Q", "v"), > + QRegReadWrite("Q", "x"), > + } > + for reg in regs: > + registers[f"{reg.regtype}{reg.regid}"] = reg > + > + new_regs = { > + GprNewSource("N", "s"), > + GprNewSource("N", "t"), > + PredNewSource("P", "t"), > + PredNewSource("P", "u"), > + PredNewSource("P", "v"), > + VRegNewSource("O", "s"), > + } > + for reg in new_regs: > + new_registers[f"{reg.regtype}{reg.regid}"] = reg > + > +def get_register(tag, regtype, regid): > + if f"{regtype}{regid}V" in semdict[tag]: > + return registers[f"{regtype}{regid}"] > + else: > + return new_registers[f"{regtype}{regid}"] > + > +def helper_ret_type(tag, regs): > + ## If there is a scalar result, it is the return type > + return_type = HelperArg( "void", "void", "void") > + numscalarresults = 0 > + for regtype, regid in regs: > + reg = get_register(tag, regtype, regid) > + if reg.is_written() and reg.is_scalar_reg(): > + return_type = HelperArg( > + reg.helper_proto_type(), > + reg.reg_tcg(), > + reg.helper_arg_type() > + ) > + if numscalarresults > 1: > + raise Exception("numscalarresults > 1") > + return return_type > + > +def helper_args(tag, regs, imms): > + args = [] > + > + ## First argument is the CPU state > + args.append(HelperArg( > + "env", > + "tcg_env", > + "CPUHexagonState *env" > + )) > + > + ## For predicated instructions, we pass in the destination register > + if is_predicated(tag): > + for regtype, regid in regs: > + reg = get_register(tag, regtype, regid) > + if reg.is_writeonly() and not reg.is_hvx_reg(): > + args.append(reg.helper_arg()) > + > + ## Pass the HVX destination registers > + for regtype, regid in regs: > + reg = get_register(tag, regtype, regid) > + if reg.is_written() and reg.is_hvx_reg(): > + args.append(reg.helper_arg()) > + > + ## Pass the source registers > + for regtype, regid in regs: > + reg = get_register(tag, regtype, regid) > + if reg.is_read() and not (reg.is_hvx_reg() and reg.is_readwrite()): > + args.append(reg.helper_arg()) > + > + ## Pass the immediates > + for immlett, bits, immshift in imms: > + args.append(HelperArg( > + "s32", > + f"tcg_constant_tl({imm_name(immlett)})", > + f"int32_t {imm_name(immlett)}" > + )) > + > + ## Other stuff the helper might need > + if need_pkt_has_multi_cof(tag): > + args.append(HelperArg( > + "i32", > + "tcg_constant_tl(ctx->pkt->pkt_has_multi_cof)", > + "uint32_t pkt_has_multi_cof" > + )) > + if need_pkt_need_commit(tag): > + args.append(HelperArg( > + "i32", > + "tcg_constant_tl(ctx->need_commit)", > + "uint32_t pkt_need_commit" > + )) > + if need_PC(tag): > + args.append(HelperArg( > + "i32", > + "tcg_constant_tl(ctx->pkt->pc)", > + "target_ulong PC" > + )) > + if need_next_PC(tag): > + args.append(HelperArg( > + "i32", > + "tcg_constant_tl(ctx->next_PC)", > + "target_ulong next_PC" > + )) > + if need_slot(tag): > + args.append(HelperArg( > + "i32", > + "gen_slotval(ctx)", > + "uint32_t slotval" > + )) > + if need_part1(tag): > + args.append(HelperArg( > + "i32", > + "tcg_constant_tl(insn->part1)" > + "uint32_t part1" > + )) > + return args > -- > 2.34.1 Reviewed-by: Brian Cain <bcain@quicinc.com>
© 2016 - 2024 Red Hat, Inc.