aboutsummaryrefslogtreecommitdiffstats
path: root/validate.py
diff options
context:
space:
mode:
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),