diff options
Diffstat (limited to 'constants.py')
| -rw-r--r-- | constants.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/constants.py b/constants.py index 372d2d3..718b5ee 100644 --- a/constants.py +++ b/constants.py @@ -494,7 +494,7 @@ arg_lut['bimm12hi'] = (31, 25) arg_lut['imm12lo'] = (11, 7) arg_lut['bimm12lo'] = (11, 7) arg_lut['zimm'] = (19, 15) -arg_lut['shamt'] = (26, 20) +arg_lut['shamtq'] = (26, 20) arg_lut['shamtw'] = (24, 20) arg_lut['shamtw4'] = (23, 20) arg_lut['shamtd'] = (25, 20) @@ -592,6 +592,7 @@ 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['shamtq'] = 'shamt' latex_mapping['rd_p'] = "rd\\,$'$" latex_mapping['rs1_p'] = "rs1\\,$'$" latex_mapping['rs2_p'] = "rs2\\,$'$" |