aboutsummaryrefslogtreecommitdiff
path: root/parse.py
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2023-01-12 13:23:41 -0800
committerAndrew Waterman <andrew@sifive.com>2023-01-12 13:25:11 -0800
commit9ea414b8ec44fd293df5d9126287831052e92b53 (patch)
treeba2fd095faec741b0c04daa32e53345f2fad6aa1 /parse.py
parent37a0ce0f931ebae564a20878126b15530a3f2cc4 (diff)
downloadriscv-opcodes-9ea414b8ec44fd293df5d9126287831052e92b53.zip
riscv-opcodes-9ea414b8ec44fd293df5d9126287831052e92b53.tar.gz
riscv-opcodes-9ea414b8ec44fd293df5d9126287831052e92b53.tar.bz2
Emit SLLI_RV128 etc. (and SLLI_RV32 etc. while we're at it)
Diffstat (limited to 'parse.py')
-rwxr-xr-xparse.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/parse.py b/parse.py
index d49eea4..a4a437c 100755
--- a/parse.py
+++ b/parse.py
@@ -956,7 +956,10 @@ if __name__ == "__main__":
if '-c' in sys.argv[1:]:
instr_dict_c = create_inst_dict(extensions, False,
- include_pseudo_ops=['pause', 'prefetch_r', 'prefetch_w', 'prefetch_i'])
+ include_pseudo_ops=['pause', 'prefetch_r', 'prefetch_w', 'prefetch_i',
+ 'slli_rv32', 'srli_rv32', 'srai_rv32',
+ 'slli_rv128', 'srli_rv128', 'srai_rv128',
+ ])
instr_dict_c = collections.OrderedDict(sorted(instr_dict_c.items()))
make_c(instr_dict_c)
logging.info('encoding.out.h generated successfully')