diff options
| author | Robert Norton | 2017-08-11 15:47:08 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-08-11 15:47:08 +0100 |
| commit | f8a186733a4a8afd90ef733ca32df92eb6bcecd9 (patch) | |
| tree | ba5aae186938850e7aa457bf5f3cf61298097f57 /risc-v/riscv.sail | |
| parent | ad0d53e799c0a3dcb2548a42554d5dcae7de5a01 (diff) | |
further riscv rmem integration.
Diffstat (limited to 'risc-v/riscv.sail')
| -rw-r--r-- | risc-v/riscv.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/risc-v/riscv.sail b/risc-v/riscv.sail index c91a0104..5234d128 100644 --- a/risc-v/riscv.sail +++ b/risc-v/riscv.sail @@ -281,6 +281,10 @@ function clause execute (RTYPEW(rs2, rs1, rd, op)) = } in wGPR(rd, EXTS(result)) +union ast member unit EBREAK +function clause decode (0b000000000001 : 0b00000 : 0b000 : 0b00000 : 0b1110011) = Some(EBREAK ()) +function clause execute EBREAK = { exit () } + function clause decode _ = None end ast |