diff options
| author | Jon French <jf451@cam.ac.uk> | 2019-05-13 15:36:20 +0100 |
|---|---|---|
| committer | Jon French <jf451@cam.ac.uk> | 2019-05-13 15:36:20 +0100 |
| commit | e856fb164ebe6e82fa696b3672a3352f21d8a3d7 (patch) | |
| tree | b90ac558a7623326dc7d59dfd816f5540eab7602 | |
| parent | 1ffb32aaab621caad315247c8067f0d20ac2b4c4 (diff) | |
| download | sail-riscv-e856fb164ebe6e82fa696b3672a3352f21d8a3d7.zip sail-riscv-e856fb164ebe6e82fa696b3672a3352f21d8a3d7.tar.gz sail-riscv-e856fb164ebe6e82fa696b3672a3352f21d8a3d7.tar.bz2 | |
also convert RMEM sentinel instructions to return Retired enum
| -rw-r--r-- | model/riscv_insts_rmem.sail | 4 |
1 files 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" |