Implement fetch to properly handle RVC and address translation, and add a step function for execution.

1 files changed, 5 insertions, 0 deletions

diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail
index e32836c7..e692e62d 100644
--- a/riscv/riscv_sys.sail
+++ b/riscv/riscv_sys.sail
@@ -687,6 +687,11 @@ function handle_mem_exception(addr : xlenbits, e : ExceptionType) -> unit = {
   nextPC = handle_exception_ctl(cur_privilege, CTL_TRAP(t), PC)
 }
 
+function handle_decode_exception(instbits : xlenbits) -> unit = {
+  let t : sync_exception = struct { trap = E_Illegal_Instr,
+                                    excinfo = Some(instbits) };
+  nextPC = handle_exception_ctl(cur_privilege, CTL_TRAP(t), PC)
+}
 
 function init_sys() -> unit = {
   cur_privilege = Machine;