diff options
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |