2021-02-08 08:46:10 +03:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
##
|
2023-03-07 05:58:19 +03:00
|
|
|
## Copyright(c) 2019-2023 Qualcomm Innovation Center, Inc. All Rights Reserved.
|
2021-02-08 08:46:10 +03:00
|
|
|
##
|
|
|
|
## This program is free software; you can redistribute it and/or modify
|
|
|
|
## it under the terms of the GNU General Public License as published by
|
|
|
|
## the Free Software Foundation; either version 2 of the License, or
|
|
|
|
## (at your option) any later version.
|
|
|
|
##
|
|
|
|
## This program is distributed in the hope that it will be useful,
|
|
|
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
## GNU General Public License for more details.
|
|
|
|
##
|
|
|
|
## You should have received a copy of the GNU General Public License
|
|
|
|
## along with this program; if not, see <http://www.gnu.org/licenses/>.
|
|
|
|
##
|
|
|
|
|
|
|
|
import sys
|
|
|
|
import re
|
|
|
|
import string
|
|
|
|
import hex_common
|
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
|
2021-02-08 08:46:10 +03:00
|
|
|
##
|
|
|
|
## Generate the TCG code to call the helper
|
|
|
|
## For A2_add: Rd32=add(Rs32,Rt32), { RdV=RsV+RtV;}
|
|
|
|
## We produce:
|
2022-11-08 19:28:56 +03:00
|
|
|
## static void generate_A2_add(DisasContext *ctx)
|
Hexagon (target/hexagon) Remove gen_log_predicated_reg_write[_pair]
We assign the instruction destination register to hex_new_value[num]
instead of a TCG temp that gets copied back to hex_new_value[num].
We introduce new functions get_result_gpr[_pair] to facilitate getting
the proper destination register.
Since we preload hex_new_value for predicated instructions, we don't
need the check for slot_cancelled. So, we call gen_log_reg_write instead.
We update the helper function generation and gen_tcg.h to maintain the
disable-hexagon-idef-parser configuration.
Here is a simple example of the differences in the TCG code generated:
IN:
0x00400094: 0xf900c102 { if (P0) R2 = and(R0,R1) }
BEFORE
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
mov_i32 loc2,$0x0
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 loc2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
and_i32 tmp0,slot_cancelled,$0x8
movcond_i32 new_r2,tmp0,$0x0,loc2,new_r2,eq
mov_i32 r2,new_r2
AFTER
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 new_r2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
mov_i32 r2,new_r2
We'll remove the unnecessary manipulation of slot_cancelled in a
subsequent patch.
Signed-off-by: Taylor Simpson <tsimpson@quicinc.com>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Message-Id: <20230307025828.1612809-13-tsimpson@quicinc.com>
2023-03-07 05:58:26 +03:00
|
|
|
## {
|
2023-12-11 01:07:05 +03:00
|
|
|
## Insn *insn G_GNUC_UNUSED = ctx->insn;
|
Hexagon (target/hexagon) Remove gen_log_predicated_reg_write[_pair]
We assign the instruction destination register to hex_new_value[num]
instead of a TCG temp that gets copied back to hex_new_value[num].
We introduce new functions get_result_gpr[_pair] to facilitate getting
the proper destination register.
Since we preload hex_new_value for predicated instructions, we don't
need the check for slot_cancelled. So, we call gen_log_reg_write instead.
We update the helper function generation and gen_tcg.h to maintain the
disable-hexagon-idef-parser configuration.
Here is a simple example of the differences in the TCG code generated:
IN:
0x00400094: 0xf900c102 { if (P0) R2 = and(R0,R1) }
BEFORE
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
mov_i32 loc2,$0x0
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 loc2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
and_i32 tmp0,slot_cancelled,$0x8
movcond_i32 new_r2,tmp0,$0x0,loc2,new_r2,eq
mov_i32 r2,new_r2
AFTER
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 new_r2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
mov_i32 r2,new_r2
We'll remove the unnecessary manipulation of slot_cancelled in a
subsequent patch.
Signed-off-by: Taylor Simpson <tsimpson@quicinc.com>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Message-Id: <20230307025828.1612809-13-tsimpson@quicinc.com>
2023-03-07 05:58:26 +03:00
|
|
|
## const int RdN = insn->regno[0];
|
|
|
|
## TCGv RdV = get_result_gpr(ctx, RdN);
|
|
|
|
## TCGv RsV = hex_gpr[insn->regno[1]];
|
|
|
|
## TCGv RtV = hex_gpr[insn->regno[2]];
|
|
|
|
## <GEN>
|
2023-04-28 01:59:53 +03:00
|
|
|
## gen_log_reg_write(ctx, RdN, RdV);
|
Hexagon (target/hexagon) Remove gen_log_predicated_reg_write[_pair]
We assign the instruction destination register to hex_new_value[num]
instead of a TCG temp that gets copied back to hex_new_value[num].
We introduce new functions get_result_gpr[_pair] to facilitate getting
the proper destination register.
Since we preload hex_new_value for predicated instructions, we don't
need the check for slot_cancelled. So, we call gen_log_reg_write instead.
We update the helper function generation and gen_tcg.h to maintain the
disable-hexagon-idef-parser configuration.
Here is a simple example of the differences in the TCG code generated:
IN:
0x00400094: 0xf900c102 { if (P0) R2 = and(R0,R1) }
BEFORE
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
mov_i32 loc2,$0x0
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 loc2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
and_i32 tmp0,slot_cancelled,$0x8
movcond_i32 new_r2,tmp0,$0x0,loc2,new_r2,eq
mov_i32 r2,new_r2
AFTER
---- 00400094
mov_i32 slot_cancelled,$0x0
mov_i32 new_r2,r2
and_i32 tmp0,p0,$0x1
brcond_i32 tmp0,$0x0,eq,$L1
and_i32 tmp0,r0,r1
mov_i32 new_r2,tmp0
br $L2
set_label $L1
or_i32 slot_cancelled,slot_cancelled,$0x8
set_label $L2
mov_i32 r2,new_r2
We'll remove the unnecessary manipulation of slot_cancelled in a
subsequent patch.
Signed-off-by: Taylor Simpson <tsimpson@quicinc.com>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Message-Id: <20230307025828.1612809-13-tsimpson@quicinc.com>
2023-03-07 05:58:26 +03:00
|
|
|
## }
|
2021-02-08 08:46:10 +03:00
|
|
|
##
|
|
|
|
## where <GEN> depends on hex_common.skip_qemu_helper(tag)
|
|
|
|
## if hex_common.skip_qemu_helper(tag) is True
|
|
|
|
## <GEN> is fGEN_TCG_A2_add({ RdV=RsV+RtV;});
|
|
|
|
## if hex_common.skip_qemu_helper(tag) is False
|
2023-09-14 02:37:36 +03:00
|
|
|
## <GEN> is gen_helper_A2_add(RdV, tcg_env, RsV, RtV);
|
2021-02-08 08:46:10 +03:00
|
|
|
##
|
|
|
|
def gen_tcg_func(f, tag, regs, imms):
|
2023-03-20 12:25:32 +03:00
|
|
|
f.write(f"static void generate_{tag}(DisasContext *ctx)\n")
|
2023-03-20 12:25:33 +03:00
|
|
|
f.write("{\n")
|
2022-11-08 19:28:56 +03:00
|
|
|
|
2023-12-11 01:07:05 +03:00
|
|
|
f.write(" Insn *insn G_GNUC_UNUSED = ctx->insn;\n")
|
2022-11-08 19:28:56 +03:00
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
if hex_common.need_ea(tag):
|
2023-12-11 01:07:05 +03:00
|
|
|
f.write(" TCGv EA G_GNUC_UNUSED = tcg_temp_new();\n")
|
|
|
|
|
2021-02-08 08:46:10 +03:00
|
|
|
## Declare all the operands (regs and immediates)
|
2023-12-11 01:07:05 +03:00
|
|
|
i = 0
|
2023-05-24 17:41:47 +03:00
|
|
|
for regtype, regid in regs:
|
2023-12-11 01:07:05 +03:00
|
|
|
reg = hex_common.get_register(tag, regtype, regid)
|
|
|
|
reg.decl_tcg(f, tag, i)
|
2021-02-08 08:46:10 +03:00
|
|
|
i += 1
|
2023-03-20 12:25:33 +03:00
|
|
|
for immlett, bits, immshift in imms:
|
2023-12-11 01:07:05 +03:00
|
|
|
i = 1 if immlett.isupper() else 0
|
|
|
|
f.write(f" int {hex_common.imm_name(immlett)} = insn->immed[{i}];\n")
|
2021-02-08 08:46:10 +03:00
|
|
|
|
2022-09-23 20:38:30 +03:00
|
|
|
if hex_common.is_idef_parser_enabled(tag):
|
|
|
|
declared = []
|
|
|
|
## Handle registers
|
2023-05-24 17:41:47 +03:00
|
|
|
for regtype, regid in regs:
|
2023-12-11 01:07:05 +03:00
|
|
|
reg = hex_common.get_register(tag, regtype, regid)
|
|
|
|
reg.idef_arg(declared)
|
2022-09-23 20:38:30 +03:00
|
|
|
## Handle immediates
|
2023-03-20 12:25:33 +03:00
|
|
|
for immlett, bits, immshift in imms:
|
2022-09-23 20:38:30 +03:00
|
|
|
declared.append(hex_common.imm_name(immlett))
|
|
|
|
|
|
|
|
arguments = ", ".join(["ctx", "ctx->insn", "ctx->pkt"] + declared)
|
2023-03-20 12:25:32 +03:00
|
|
|
f.write(f" emit_{tag}({arguments});\n")
|
2022-09-23 20:38:30 +03:00
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
elif hex_common.skip_qemu_helper(tag):
|
2023-03-20 12:25:32 +03:00
|
|
|
f.write(f" fGEN_TCG_{tag}({hex_common.semdict[tag]});\n")
|
2021-02-08 08:46:10 +03:00
|
|
|
else:
|
|
|
|
## Generate the call to the helper
|
2023-12-11 01:07:05 +03:00
|
|
|
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)
|
2021-02-08 08:46:10 +03:00
|
|
|
|
2023-12-11 01:07:05 +03:00
|
|
|
arguments = ", ".join(declared)
|
|
|
|
f.write(f" gen_helper_{tag}({arguments});\n")
|
2021-02-08 08:46:10 +03:00
|
|
|
|
|
|
|
## Write all the outputs
|
2023-05-24 17:41:47 +03:00
|
|
|
for regtype, regid in regs:
|
2023-12-11 01:07:05 +03:00
|
|
|
reg = hex_common.get_register(tag, regtype, regid)
|
|
|
|
if reg.is_written():
|
|
|
|
reg.log_write(f, tag)
|
2021-02-08 08:46:10 +03:00
|
|
|
|
|
|
|
f.write("}\n\n")
|
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
|
2021-02-08 08:46:10 +03:00
|
|
|
def gen_def_tcg_func(f, tag, tagregs, tagimms):
|
|
|
|
regs = tagregs[tag]
|
|
|
|
imms = tagimms[tag]
|
|
|
|
|
|
|
|
gen_tcg_func(f, tag, regs, imms)
|
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
|
2021-02-08 08:46:10 +03:00
|
|
|
def main():
|
|
|
|
hex_common.read_semantics_file(sys.argv[1])
|
|
|
|
hex_common.read_attribs_file(sys.argv[2])
|
|
|
|
hex_common.read_overrides_file(sys.argv[3])
|
2021-05-18 20:01:09 +03:00
|
|
|
hex_common.read_overrides_file(sys.argv[4])
|
2021-02-08 08:46:10 +03:00
|
|
|
hex_common.calculate_attribs()
|
2023-12-11 01:07:05 +03:00
|
|
|
hex_common.init_registers()
|
2022-09-23 20:38:30 +03:00
|
|
|
## Whether or not idef-parser is enabled is
|
|
|
|
## determined by the number of arguments to
|
|
|
|
## this script:
|
|
|
|
##
|
|
|
|
## 5 args. -> not enabled,
|
|
|
|
## 6 args. -> idef-parser enabled.
|
|
|
|
##
|
|
|
|
## The 6:th arg. then holds a list of the successfully
|
|
|
|
## parsed instructions.
|
|
|
|
is_idef_parser_enabled = len(sys.argv) > 6
|
|
|
|
if is_idef_parser_enabled:
|
|
|
|
hex_common.read_idef_parser_enabled_file(sys.argv[5])
|
2021-02-08 08:46:10 +03:00
|
|
|
tagregs = hex_common.get_tagregs()
|
|
|
|
tagimms = hex_common.get_tagimms()
|
|
|
|
|
2022-09-23 20:38:30 +03:00
|
|
|
output_file = sys.argv[-1]
|
2023-03-20 12:25:33 +03:00
|
|
|
with open(output_file, "w") as f:
|
2021-02-08 08:46:10 +03:00
|
|
|
f.write("#ifndef HEXAGON_TCG_FUNCS_H\n")
|
|
|
|
f.write("#define HEXAGON_TCG_FUNCS_H\n\n")
|
2022-09-23 20:38:30 +03:00
|
|
|
if is_idef_parser_enabled:
|
2023-03-20 12:25:33 +03:00
|
|
|
f.write('#include "idef-generated-emitter.h.inc"\n\n')
|
2021-02-08 08:46:10 +03:00
|
|
|
|
|
|
|
for tag in hex_common.tags:
|
|
|
|
## Skip the priv instructions
|
2023-03-20 12:25:33 +03:00
|
|
|
if "A_PRIV" in hex_common.attribdict[tag]:
|
2021-02-08 08:46:10 +03:00
|
|
|
continue
|
|
|
|
## Skip the guest instructions
|
2023-03-20 12:25:33 +03:00
|
|
|
if "A_GUEST" in hex_common.attribdict[tag]:
|
2021-02-08 08:46:10 +03:00
|
|
|
continue
|
|
|
|
## Skip the diag instructions
|
2023-03-20 12:25:33 +03:00
|
|
|
if tag == "Y6_diag":
|
2021-02-08 08:46:10 +03:00
|
|
|
continue
|
2023-03-20 12:25:33 +03:00
|
|
|
if tag == "Y6_diag0":
|
2021-02-08 08:46:10 +03:00
|
|
|
continue
|
2023-03-20 12:25:33 +03:00
|
|
|
if tag == "Y6_diag1":
|
2021-02-08 08:46:10 +03:00
|
|
|
continue
|
|
|
|
|
|
|
|
gen_def_tcg_func(f, tag, tagregs, tagimms)
|
|
|
|
|
|
|
|
f.write("#endif /* HEXAGON_TCG_FUNCS_H */\n")
|
|
|
|
|
2023-03-20 12:25:33 +03:00
|
|
|
|
2021-02-08 08:46:10 +03:00
|
|
|
if __name__ == "__main__":
|
|
|
|
main()
|