Add HLX slot rules and reject packets that reuse an HLX resource.
Signed-off-by: Marco Liebel <[email protected]>
Signed-off-by: Brian Cain <[email protected]>
---
target/hexagon/hlx/decode_ext_hlx.c | 117 ++++++++++++++++++++++++++++
target/hexagon/hlx/decode_ext_hlx.h | 14 ++++
target/hexagon/meson.build | 1 +
3 files changed, 132 insertions(+)
create mode 100644 target/hexagon/hlx/decode_ext_hlx.c
create mode 100644 target/hexagon/hlx/decode_ext_hlx.h
diff --git a/target/hexagon/hlx/decode_ext_hlx.c
b/target/hexagon/hlx/decode_ext_hlx.c
new file mode 100644
index 0000000000..cb7fc58d7d
--- /dev/null
+++ b/target/hexagon/hlx/decode_ext_hlx.c
@@ -0,0 +1,117 @@
+/*
+ * Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+ * SPDX-License-Identifier: GPL-2.0-or-later
+ */
+
+#include "qemu/osdep.h"
+#include "decode.h"
+#include "opcodes.h"
+#include "insn.h"
+#include "iclass.h"
+#include "hlx/hlx.h"
+#include "hlx/decode_ext_hlx.h"
+
+typedef struct {
+ bool store;
+ bool load;
+ bool shift;
+ bool mpy;
+} hlx_pkt_resources_t;
+
+static bool check_hlx_slot_constraints(Packet *pkt, int slot, int insn_idx,
+ hlx_pkt_resources_t *resources)
+{
+ int opcode = pkt->insn[insn_idx].opcode;
+
+ if (slot == 0) {
+ if (!GET_ATTRIB(opcode, A_STORE)) {
+ return false;
+ }
+ if (resources->store) {
+ return false;
+ }
+ resources->store = true;
+ } else if (slot == 1) {
+ if (!GET_ATTRIB(opcode, A_LOAD)) {
+ return false;
+ }
+ if (resources->load) {
+ return false;
+ }
+ resources->load = true;
+ } else if (slot == 2) {
+ if (!GET_ATTRIB(opcode, A_HLX_SHIFT) &&
+ !GET_ATTRIB(opcode, A_HLX_COMMON_ALU)) {
+ return false;
+ }
+ if (resources->shift) {
+ return false;
+ }
+ resources->shift = true;
+ } else if (slot == 3) {
+ if (!GET_ATTRIB(opcode, A_HLX_MPY) &&
+ !GET_ATTRIB(opcode, A_HLX_COMMON_ALU)) {
+ return false;
+ }
+ if (resources->mpy) {
+ return false;
+ }
+ resources->mpy = true;
+ }
+
+ return true;
+}
+
+bool hlx_ext_decode_checks(Packet *pkt, bool disas_only)
+{
+ hlx_pkt_resources_t resources = {
+ .store = false,
+ .load = false,
+ .shift = false,
+ .mpy = false
+ };
+
+ /* Slots are assigned only for execution. */
+ if (disas_only) {
+ return true;
+ }
+
+ for (int i = 0; i < pkt->num_insns; i++) {
+ if (GET_ATTRIB(pkt->insn[i].opcode, A_HLX) &&
+ !check_hlx_slot_constraints(pkt, pkt->insn[i].slot, i,
+ &resources)) {
+ return false;
+ }
+ }
+ return true;
+}
+
+SlotMask hlx_ext_decode_find_iclass_slots(int opcode)
+{
+ if (GET_ATTRIB(opcode, A_RESTRICT_SLOT0ONLY) ||
+ GET_ATTRIB(opcode, A_STORE)) {
+ return SLOTS_0;
+ }
+ if (GET_ATTRIB(opcode, A_RESTRICT_SLOT1ONLY) ||
+ GET_ATTRIB(opcode, A_LOAD)) {
+ return SLOTS_1;
+ }
+ if (GET_ATTRIB(opcode, A_RESTRICT_SLOT2ONLY) ||
+ GET_ATTRIB(opcode, A_HLX_SHIFT)) {
+ return SLOTS_2;
+ }
+ if (GET_ATTRIB(opcode, A_RESTRICT_SLOT3ONLY) ||
+ GET_ATTRIB(opcode, A_HLX_MPY)) {
+ return SLOTS_3;
+ }
+ if (GET_ATTRIB(opcode, A_HLX_COMMON_ALU) ||
+ GET_ATTRIB(opcode, A_HLX_SLOT23)) {
+ return SLOTS_23;
+ }
+ if (GET_ATTRIB(opcode, A_HLX_ANY_RESOURCE)) {
+ return SLOTS_0123;
+ }
+
+ g_assert_not_reached();
+ return SLOTS_0123;
+}
diff --git a/target/hexagon/hlx/decode_ext_hlx.h
b/target/hexagon/hlx/decode_ext_hlx.h
new file mode 100644
index 0000000000..7feecff6c1
--- /dev/null
+++ b/target/hexagon/hlx/decode_ext_hlx.h
@@ -0,0 +1,14 @@
+/*
+ * Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+ * SPDX-License-Identifier: GPL-2.0-or-later
+ */
+
+#ifndef HEXAGON_DECODE_EXT_HLX_H
+#define HEXAGON_DECODE_EXT_HLX_H
+
+#include "insn.h"
+
+bool hlx_ext_decode_checks(Packet *pkt, bool disas_only);
+SlotMask hlx_ext_decode_find_iclass_slots(int opcode);
+
+#endif /* HEXAGON_DECODE_EXT_HLX_H */
diff --git a/target/hexagon/meson.build b/target/hexagon/meson.build
index fd4983343d..f9e820286e 100644
--- a/target/hexagon/meson.build
+++ b/target/hexagon/meson.build
@@ -265,6 +265,7 @@ hexagon_ss.add(files(
'mmvec/system_ext_mmvec.c',
'mmvec/hvx_ieee_fp.c',
'mmvec/hvx_qfloat.c',
+ 'hlx/decode_ext_hlx.c',
'hlx_helper.c',
'hlx_gvec_tables.c',
))
--
2.43.0
