diff options
Diffstat (limited to 'constants.py')
| -rw-r--r-- | constants.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/constants.py b/constants.py index b6a4351..be65a25 100644 --- a/constants.py +++ b/constants.py @@ -435,9 +435,10 @@ arg_lut['bimm12hi'] = (31, 25) arg_lut['imm12lo'] = (11, 7) arg_lut['bimm12lo'] = (11, 7) arg_lut['zimm'] = (19, 15) -arg_lut['shamt'] = (25, 20) +arg_lut['shamt'] = (26, 20) arg_lut['shamtw'] = (24, 20) arg_lut['shamtw4'] = (23, 20) +arg_lut['shamtd'] = (25, 20) arg_lut['bs'] = (31, 30) # byte select for RV32K AES arg_lut['rnum'] = (23, 20) # round constant for RV64 AES arg_lut['rc'] = (29, 25) @@ -524,6 +525,7 @@ latex_mapping['imm12lo'] = 'imm[4:0]' latex_mapping['jimm20'] = 'imm[20$\\vert$10:1$\\vert$11$\\vert$19:12]' latex_mapping['zimm'] = 'uimm' latex_mapping['shamtw'] = 'shamt' +latex_mapping['shamtd'] = 'shamt' latex_mapping['rd_p'] = "rd\\,$'$" latex_mapping['rs1_p'] = "rs1\\,$'$" latex_mapping['rs2_p'] = "rs2\\,$'$" |