Fix error in RISCV: SLLI and SRLI were swapped...

1 files changed, 4 insertions, 4 deletions

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index beb29327..c19e84e6 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -104,8 +104,8 @@ function clause decode 0b010000 @ shamt : bits(6) @ rs1 : regbits @ 0b101 @ rd :
 function clause execute (SHIFTIOP(shamt, rs1, rd, op)) = 
     let rs1_val = rGPR(rs1) in
     let result : bits(64) = match op {
-      RISCV_SLLI => rs1_val >> shamt,
-      RISCV_SRLI => rs1_val << shamt,
+      RISCV_SLLI => rs1_val << shamt,
+      RISCV_SRLI => rs1_val >> shamt,
       RISCV_SRAI => shift_right_arith64(rs1_val, shamt)
     } in
     wGPR(rd, result)
@@ -220,8 +220,8 @@ function clause decode 0b0100000 @ shamt : bits(5) @ rs1 : regbits @ 0b101 @ rd
 function clause execute (SHIFTW(shamt, rs1, rd, op)) =
     let rs1_val = (rGPR(rs1))[31..0] in
     let result : bits(32) = match op {
-      RISCV_SLLI => rs1_val >> shamt,
-      RISCV_SRLI => rs1_val << shamt,
+      RISCV_SLLI => rs1_val << shamt,
+      RISCV_SRLI => rs1_val >> shamt,
       RISCV_SRAI => shift_right_arith32(rs1_val, shamt)
     } in
     wGPR(rd, EXTS(result))