From 9f5e506f8d9283419046fb1ee117ab3dc07474e7 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 25 Jan 2018 15:28:31 +0000
Subject: riscv: remove case for non-existent constructor in match that was
 being treated as pattern making _ never match :-(

---
 riscv/riscv.sail | 1 -
 1 file changed, 1 deletion(-)

(limited to 'riscv')

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
-- 
cgit v1.2.3