diff options
Diffstat (limited to 'model/riscv_insts_end.sail')
| -rw-r--r-- | model/riscv_insts_end.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_insts_end.sail b/model/riscv_insts_end.sail index 1744648..49d1e5d 100644 --- a/model/riscv_insts_end.sail +++ b/model/riscv_insts_end.sail @@ -6,7 +6,7 @@ union clause ast = ILLEGAL : word mapping clause encdec = ILLEGAL(s) <-> s -function clause execute (ILLEGAL(s)) = { handle_illegal(); false } +function clause execute (ILLEGAL(s)) = { handle_illegal(); RETIRE_FAIL } mapping clause assembly = ILLEGAL(s) <-> "illegal" ^ spc() ^ hex_bits_32(s) @@ -16,7 +16,7 @@ union clause ast = C_ILLEGAL : half mapping clause encdec_compressed = C_ILLEGAL(s) <-> s -function clause execute C_ILLEGAL(s) = { handle_illegal(); false } +function clause execute C_ILLEGAL(s) = { handle_illegal(); RETIRE_FAIL } mapping clause assembly = C_ILLEGAL(s) <-> "c.illegal" ^ spc() ^ hex_bits_16(s) @@ -28,7 +28,7 @@ mapping clause assembly = C_ILLEGAL(s) <-> "c.illegal" ^ spc() ^ hex_bits_16(s) function clause ext_execute (_) = { handle_illegal(); - false + RETIRE_FAIL } /* End definitions */ |