diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-05-03 14:43:37 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-05-03 14:43:37 +0100 |
| commit | 7e15cdb8723b7aeb90bf86c5d50dce4b55c7ec66 (patch) | |
| tree | f9d098c182179751acb97b9c09f6c6a8c1c1ba57 /model/riscv_regs.sail | |
| parent | 40d2b3d6a899d52a2fa0086021fc0e83d3043663 (diff) | |
| download | sail-riscv-7e15cdb8723b7aeb90bf86c5d50dce4b55c7ec66.zip sail-riscv-7e15cdb8723b7aeb90bf86c5d50dce4b55c7ec66.tar.gz sail-riscv-7e15cdb8723b7aeb90bf86c5d50dce4b55c7ec66.tar.bz2 | |
Fix a couple of warnings.
Diffstat (limited to 'model/riscv_regs.sail')
| -rw-r--r-- | model/riscv_regs.sail | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/model/riscv_regs.sail b/model/riscv_regs.sail index cf46390..a085275 100644 --- a/model/riscv_regs.sail +++ b/model/riscv_regs.sail @@ -79,7 +79,8 @@ function rX r = { 28 => x28, 29 => x29, 30 => x30, - 31 => x31 + 31 => x31, + _ => {assert(false, "invalid register number"); zero_reg} }; regval_from_reg(v) } @@ -130,7 +131,8 @@ function wX (r, in_v) = { 28 => x28 = v, 29 => x29 = v, 30 => x30 = v, - 31 => x31 = v + 31 => x31 = v, + _ => assert(false, "invalid register number") }; if (r != 0) then { rvfi_wX(r, in_v); |