diff options
| author | Robert Norton | 2016-05-13 15:14:57 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-13 15:14:57 +0100 |
| commit | bb8bee18b67ba87a875d648d166aa474794d5123 (patch) | |
| tree | 72b2958a4d1c194233624b02fdb8909ea09309e1 | |
| parent | 871644191dc48d41fc144a8ebb3c11442de89a1e (diff) | |
do something a bit more interesting with WAIT.
| -rw-r--r-- | mips/mips_insts.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index 53a813e6..ba0dc258 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -976,7 +976,9 @@ function clause execute (BREAK) = union ast member unit WAIT function clause decode (0b010000 : 0x80000 : 0b100000) = Some(WAIT) (* we only accept code == 0 *) -function clause execute (WAIT) = () +function clause execute (WAIT) = { + nextPC := PC; +} (* Trap instructions with two register operands *) union ast member (regno, regno, Comparison) TRAPREG |