sv_binutils_fptrans: generate all permutations
authorDmitry Selyutin <ghostmansd@gmail.com>
Fri, 14 Oct 2022 19:07:07 +0000 (22:07 +0300)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Jun 2023 18:51:15 +0000 (19:51 +0100)
src/openpower/sv/sv_binutils_fptrans.py
src/openpower/sv/trans/test_pysvp64dis.py

index 171760c2270e32a5949d9f735507e505a4e75513..83547aa0659671880c0603187fb7310d92b1f793 100644 (file)
@@ -134,31 +134,30 @@ def opcodes(entry):
     return f"{{{string}}},"
 
 
-def asm(entry, binutils=True, regex=False):
+def asm(entry, binutils=False, regex=False):
     operands = tuple(entry.dynamic_operands)
     for (idx, operand) in enumerate(operands):
         values = []
         for each in operands:
-            if binutils and each.name in ("FRT", "FRA", "FRB"):
-                values.append("f0")
-            elif binutils and each.name in ("RB"):
+            if binutils and each.name in ("RT", "RA", "RB"):
                 values.append("r0")
             else:
                 values.append("0")
         value = str((1 << len(operand.span)) - 1)
-        if binutils and operand.name in ("FRT", "FRA", "FRB"):
-            value = f"f{value}"
-        elif binutils and operand.name in ("RB"):
+        if binutils and operand.name in ("RT", "RA", "RB"):
             value = f"r{value}"
         values[idx] = value
-        return f"{entry.name} {'+' if regex else ''}{','.join(values)}"
+        sep = "\s+" if regex else " "
+        yield f"{entry.name}{sep}{','.join(values)}"
 
 
 def dis(entry, binutils=True):
     def objdump(byte):
         return f"{byte:02x}"
 
-    for dynamic_operand in entry.dynamic_operands:
+    asm_plain = tuple(asm(entry, binutils=binutils, regex=False))
+    asm_regex = tuple(asm(entry, binutils=binutils, regex=True))
+    for (idx, dynamic_operand) in enumerate(entry.dynamic_operands):
         insn = _WordInstruction.integer(value=0)
         for static_operand in entry.static_operands:
             span = static_operand.span
@@ -168,10 +167,9 @@ def dis(entry, binutils=True):
         if binutils:
             big = " ".join(map(objdump, insn.bytes(byteorder="big")))
             little = " ".join(map(objdump, insn.bytes(byteorder="little")))
-            desc = asm(entry, binutils=binutils, regex=True)
-            return f".*:\t({big}|{little}) \t{desc}"
+            yield f".*:\s+({big}|{little})\s+{asm_regex[idx]}"
         else:
-            return asm(entry, binutils=binutils, regex=False)
+            yield asm_plain[idx]
 
 
 class Mode(_enum.Enum):
@@ -207,5 +205,6 @@ if __name__ == "__main__":
         print("Disassembly of section \\.text:")
         print("0+ <\.text>:")
 
-    for line in map(generator, entries):
-        print(line)
+    for subgenerator in map(generator, entries):
+        for line in subgenerator:
+            print(line)
index 9e30fd461674d3c496d81d49a32fda1aa80023a1..3ffcbc8eb4ffe0ea42ecebc916742f57cf69dc0d 100644 (file)
@@ -177,7 +177,11 @@ class SVSTATETestCase(unittest.TestCase):
         db = Database(find_wiki_dir())
         entries = sorted(sv_binutils_fptrans.collect(db))
         dis = lambda entry: sv_binutils_fptrans.dis(entry, binutils=False)
-        self._do_tst(list(map(dis, entries)))
+        lst = []
+        for generator in map(dis, entries):
+            for line in generator:
+                lst.append(line)
+        self._do_tst(lst)
 
     def test_10_vec(self):
         expected = [