Emit SLLI_RV128 etc. (and SLLI_RV32 etc. while we're at it)

riscduino · Jan 31, 2023 · 94d28c3 · 94d28c3
1 parent 33dc95e
commit 94d28c3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/parse.py b/parse.py
@@ -956,7 +956,10 @@ def signed(value, width):
 
     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')