From e856fb164ebe6e82fa696b3672a3352f21d8a3d7 Mon Sep 17 00:00:00 2001 From: Jon French Date: Mon, 13 May 2019 15:36:20 +0100 Subject: also convert RMEM sentinel instructions to return Retired enum --- model/riscv_insts_rmem.sail | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/model/riscv_insts_rmem.sail b/model/riscv_insts_rmem.sail index 9d2893a..1f9ab37 100644 --- a/model/riscv_insts_rmem.sail +++ b/model/riscv_insts_rmem.sail @@ -9,7 +9,7 @@ union clause ast = STOP_FETCHING : unit mapping clause encdec = STOP_FETCHING() <-> 0xfade @ 0b00000000 @ 0b0 @ 0b00 @ 0b010 @ 0b11 -function clause execute (STOP_FETCHING()) = true +function clause execute (STOP_FETCHING()) = RETIRE_SUCCESS mapping clause assembly = STOP_FETCHING() <-> "stop_fetching" @@ -19,6 +19,6 @@ union clause ast = THREAD_START : unit mapping clause encdec = THREAD_START() <-> 0xc0de @ 0b00000000 @ 0b0 @ 0b00 @ 0b010 @ 0b11 -function clause execute (THREAD_START()) = true +function clause execute (THREAD_START()) = RETIRE_SUCCESS mapping clause assembly = THREAD_START() <-> "thread_start" -- cgit v1.1