diff options
| author | Prashanth Mundkur | 2018-01-31 09:13:42 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-02-01 03:26:21 -0800 |
| commit | de1e8349cf77de3e8608fef09222f3762a09d4d6 (patch) | |
| tree | 2942fe89baf0a40977d93b590ca5e28ae2b8f7ac /riscv | |
| parent | 7051440c01ad44cf33d1366a6f677e35e78c2425 (diff) | |
Fix encoding for compressed ILLEGAL.
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 = |