diff options
| author | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-17 15:42:40 +0000 |
|---|---|---|
| committer | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-17 15:42:48 +0000 |
| commit | af44432ce770349500e7fa07362cca5d7ef334f0 (patch) | |
| tree | 19f2dda1578a9b9ff0a68fca17d540f42fb98d4b /model/riscv_sys_control.sail | |
| parent | c5e62ea4b3d481fcd491b22b317cc319b089f05d (diff) | |
| download | sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.zip sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.tar.gz sail-riscv-af44432ce770349500e7fa07362cca5d7ef334f0.tar.bz2 | |
Revert "Initial introduction of zfinx (#75)"
This reverts commit c5e62ea4b3d481fcd491b22b317cc319b089f05d.
Diffstat (limited to 'model/riscv_sys_control.sail')
| -rw-r--r-- | model/riscv_sys_control.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index 06be736..f5ee261 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -560,9 +560,9 @@ function init_sys() -> unit = { misa->S() = 0b1; /* supervisor-mode */ /* We currently support both F and D */ - misa->F() = bool_to_bits(sys_enable_fdext() & ~ (sys_enable_zfinx())); /* single-precision */ - misa->D() = if sizeof(flen) >= 64 & ~ (sys_enable_zfinx()) - then bool_to_bits(sys_enable_fdext()) /* double-precision */ + misa->F() = bool_to_bits(sys_enable_fdext()); /* single-precision */ + misa->D() = if sizeof(flen) >= 64 + then bool_to_bits(sys_enable_fdext()) /* double-precision */ else 0b0; mstatus = set_mstatus_SXL(mstatus, misa.MXL()); |