From de1e8349cf77de3e8608fef09222f3762a09d4d6 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Wed, 31 Jan 2018 09:13:42 -0800
Subject: Fix encoding for compressed ILLEGAL.

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

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index acd4839d..01610327 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -521,7 +521,7 @@ function clause execute (NOP) = ()
 
 union clause ast = ILLEGAL
 
-function clause decodeCompressed (0b0000 @ 0b00000 @ 0b00000 @ 0b01) : bits(16) = Some(ILLEGAL)
+function clause decodeCompressed (0b0000 @ 0b00000 @ 0b00000 @ 0b00) : bits(16) = Some(ILLEGAL)
 
 function clause execute (ILLEGAL) = {
   let t : sync_exception =
-- 
cgit v1.2.3