aboutsummaryrefslogtreecommitdiffstats
path: root/validate.py
diff options
context:
space:
mode:
authors-ol <s+removethis@s-ol.nu>2021-07-06 10:03:57 +0000
committers-ol <s+removethis@s-ol.nu>2021-07-06 10:04:36 +0000
commit912b5df8aef99aa00848d2a87bb5e5cebc7ff6b2 (patch)
tree3c62b2a7db782bd6c142a2fdb37d232f31f16eb1 /validate.py
parentupdate ex.subv to work with new pipeline (diff)
downloadsubv-912b5df8aef99aa00848d2a87bb5e5cebc7ff6b2.tar.gz
subv-912b5df8aef99aa00848d2a87bb5e5cebc7ff6b2.zip
fix and finish new pipeline
Diffstat (limited to 'validate.py')
-rwxr-xr-xvalidate.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/validate.py b/validate.py
index 84bb036..09c37a5 100755
--- a/validate.py
+++ b/validate.py
@@ -193,8 +193,8 @@ def validate_b(inputs):
return [
(op[0], "b"),
funct,
- src1,
- src2,
+ rs1,
+ rs2,
offset,
]
@@ -233,6 +233,7 @@ instr_map = {
"opi": (validate_i, 0x13),
"load": (validate_i, 0x03),
"jalr": (validate_i, 0x67),
+ "system": (validate_i, 0x73),
"store": (validate_s, 0x23),
"branch": (validate_b, 0x63),
"lui": (validate_u, 0x37),