seal5/backends/report/properties/writer.py: fix undefined opcode

tum-ei-eda · Mar 5, 2025 · 3d8c878 · 3d8c878
1 parent ea61178
commit 3d8c878
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/seal5/backends/report/properties/writer.py b/seal5/backends/report/properties/writer.py
@@ -113,13 +113,15 @@ def detect_opcode(instr_def):  # TODO: move to transform and store as attr
                         }
                         OPCODE_LOOKUP_REV = {v: k for k, v in OPCODE_LOOKUP.items()}
                         size = 0  # TODO: use instr_def.size
+                        opcode = None
                         for e in reversed(instr_def.encoding):
                             # print("e", e, dir(e))
                             if isinstance(e, arch.BitVal):
                                 length = e.length
                                 if size == 0:
-                                    if length == 7:
-                                        val = e.value
+                                    val = e.value
+                                    if length >= 7:
+                                        val = val & 0b1111111
                                         opcode = val >> 2
                             elif isinstance(e, arch.BitField):
                                 length = e.range.length