1 files changed, 0 insertions, 36 deletions
diff --git a/picorv32/scripts/torture/asmcheck.py b/picorv32/scripts/torture/asmcheck.py
deleted file mode 100644
index 8a22c67..0000000
--- a/picorv32/scripts/torture/asmcheck.py
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/usr/bin/env python3
-
-import sys, re
-
-dmp_pattern = re.compile('^\s+([0-9a-f]+):\s+([0-9a-f]+)\s+(\S+)')
-disassembled_elf = dict()
-
-def match_insns(s1, s2):
-    if s1 == "*" or s1 == s2: return True
-    if s1 == "jal" and s2.startswith("j"): return True
-    if s1 == "addi" and s2 in ["li", "mv"]: return True
-    if s1 == "xori" and s2 == "not": return True
-    if s1 == "sub" and s2 == "neg": return True
-    if s1.startswith("b") and s2.startswith("b"): return True
-    if s1.startswith("s") and s2.startswith("s"): return True
-    print(s1, s2)
-    return False
-
-with open(sys.argv[2], "r") as f:
-    for line in f:
-        match = dmp_pattern.match(line)
-        if match:
-            addr = match.group(1).rjust(8, '0')
-            opcode = match.group(2).rjust(8, '0')
-            insn = match.group(3)
-            disassembled_elf[addr] = (opcode, insn)
-
-with open(sys.argv[1], "r") as f:
-    for line in f:
-        line = line.split()
-        if len(line) < 1 or line[0] != "debugasm":
-            continue
-        assert(line[1] in disassembled_elf)
-        assert(line[2] == disassembled_elf[line[1]][0])
-        assert(match_insns(line[3], disassembled_elf[line[1]][1]))
-