diff options
| author | s-ol <s+removethis@s-ol.nu> | 2021-07-09 13:41:09 +0000 |
|---|---|---|
| committer | s-ol <s+removethis@s-ol.nu> | 2021-07-09 14:23:33 +0000 |
| commit | a9192c63df8073bf3f7134b8ef8e3768e6e6f078 (patch) | |
| tree | e9a2a4c870e685d0c5950caf979decb260528b2a /validate.py | |
| parent | update examples (diff) | |
| download | subv-a9192c63df8073bf3f7134b8ef8e3768e6e6f078.tar.gz subv-a9192c63df8073bf3f7134b8ef8e3768e6e6f078.zip | |
remove 0x prefix
Diffstat (limited to 'validate.py')
| -rwxr-xr-x | validate.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/validate.py b/validate.py index bdf8f95..30cef46 100755 --- a/validate.py +++ b/validate.py @@ -10,7 +10,7 @@ no missing arguments. ... == code 0x80000000 ... main: ... # load 0x10010000 (UART0) into t0 -... 37/lui 5/rd/t0 0x10010/imm20 +... 37/lui 5/rd/t0 10010/imm20 ... # store 0x48 (H) in UART0+0 ... 13/opi 6/rd/t1 0/subop/add 0/rs/x0 48/imm12 ... 23/store 2/width/word 5/rs/t0 0/off12 6/rs/t1 @@ -347,20 +347,20 @@ def validate_jalr(inputs): ] -def validate_csr(inputs): +def validate_system(inputs): """ validate system operations. - >>> validate_csr(subv.parse('73/system 0/dest/x0 1/subop/csrrw 5/rs/t0 afe/csr12')['instr']) + >>> validate_system(subv.parse('73/system 0/dest/x0 1/subop/csrrw 5/rs/t0 afe/csr12')['instr']) [(115, 'i'), (0, 'rd'), (1, 'funct3'), (5, 'rs'), (2814, 'imm12')] - >>> validate_csr(subv.parse('73/system 0/dest/x0 5/subop/csrrwi 7/imm5 afe/csr12')['instr']) + >>> validate_system(subv.parse('73/system 0/dest/x0 5/subop/csrrwi 7/imm5 afe/csr12')['instr']) [(115, 'i'), (0, 'rd'), (5, 'funct3'), (7, 'imm5'), (2814, 'imm12')] - >>> validate_csr(subv.parse('73/system 0/dest/x0 1/subop/csrrw 7/imm5 afe/csr12')['instr']) + >>> validate_system(subv.parse('73/system 0/dest/x0 1/subop/csrrw 7/imm5 afe/csr12')['instr']) Traceback (most recent call last): ... ValueError: Expected a register with label rs/rs1/src - >>> validate_csr(subv.parse('73/system 0/dest/x0 5/subop/csrrwi 5/rs/t0 afe/csr12')['instr']) + >>> validate_system(subv.parse('73/system 0/dest/x0 5/subop/csrrwi 5/rs/t0 afe/csr12')['instr']) Traceback (most recent call last): ... ValueError: Expected an immediate with size 5 @@ -480,7 +480,7 @@ instr_map = { "opr": (validate_opr, 0x33), "opi": (validate_i, 0x13), "jalr": (validate_jalr, 0x67), - "system": (validate_csr, 0x73), + "system": (validate_system, 0x73), "load": (validate_load, 0x03), "store": (validate_store, 0x23), "branch": (validate_branch, 0x63), |