Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2

1 files changed, 0 insertions, 1 deletions

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index 333eae94..beb29327 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -428,7 +428,6 @@ function clause execute CSR(csr, rs1, rd, is_imm, op) =
   let rs1_val : bits(64) = if is_imm then EXTZ(rs1) else rGPR(rs1) in
   let isWrite : bool = match op {
     CSRRW  => true,
-    CSRRWI => true,
     _      => if is_imm then unsigned(rs1_val) != 0 else unsigned(rs1) != 0
   } in
   if ~ (isCSRImplemented(csr) & haveCSRPriv(csr, isWrite)) then