From ffd92333c8d1d02777960a3ccf0f8043bc686cf6 Mon Sep 17 00:00:00 2001 From: Linda Njau Date: Thu, 15 Aug 2024 13:07:44 +0300 Subject: [PATCH] Fix case for Zba instruction names --- model/riscv_insts_zba.sail | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/model/riscv_insts_zba.sail b/model/riscv_insts_zba.sail index bc171b9f9..3613d6fe9 100644 --- a/model/riscv_insts_zba.sail +++ b/model/riscv_insts_zba.sail @@ -7,7 +7,7 @@ /*=======================================================================================*/ /* ****************************************************************** */ -$[name "Shift-left unsigned word (Immediate)"] +$[name "shift-left unsigned word (immediate)"] union clause ast = RISCV_SLLIUW : (bits(6), regidx, regidx) mapping clause encdec = RISCV_SLLIUW(shamt, rs1, rd) if extension("Zba") & sizeof(xlen) == 64 @@ -39,13 +39,13 @@ mapping clause encdec = ZBA_RTYPEUW(rs2, rs1, rd, RISCV_SH3ADDUW) if extension(" <-> 0b0010000 @ rs2 @ rs1 @ 0b110 @ rd @ 0b0111011 if extension("Zba") & sizeof(xlen) == 64 mapping zba_rtypeuw_mnemonic : bropw_zba <-> string = { - $[name "Add unsigned word"] + $[name "add unsigned word"] RISCV_ADDUW <-> "add.uw", - $[name "Shift unsigned word left by 1 and add"] + $[name "shift unsigned word left by 1 and add"] RISCV_SH1ADDUW <-> "sh1add.uw", - $[name "Shift unsigned word left by 2 and add"] + $[name "shift unsigned word left by 2 and add"] RISCV_SH2ADDUW <-> "sh2add.uw", - $[name "Shift unsigned word left by 3 and add"] + $[name "shift unsigned word left by 3 and add"] RISCV_SH3ADDUW <-> "sh3add.uw" } @@ -77,11 +77,11 @@ mapping clause encdec = ZBA_RTYPE(rs2, rs1, rd, RISCV_SH3ADD) if extension("Zba" <-> 0b0010000 @ rs2 @ rs1 @ 0b110 @ rd @ 0b0110011 if extension("Zba") mapping zba_rtype_mnemonic : brop_zba <-> string = { - $[name "Shift left by 1 and add"] + $[name "shift left by 1 and add"] RISCV_SH1ADD <-> "sh1add", - $[name "Shift left by 2 and add"] + $[name "shift left by 2 and add"] RISCV_SH2ADD <-> "sh2add", - $[name "Shift left by 3 and add"] + $[name "shift left by 3 and add"] RISCV_SH3ADD <-> "sh3add" }