diff options
Diffstat (limited to 'model/riscv_sys_control.sail')
| -rw-r--r-- | model/riscv_sys_control.sail | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index a3859ff..f5ee261 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -559,11 +559,9 @@ function init_sys() -> unit = { misa->U() = 0b1; /* user-mode */ misa->S() = 0b1; /* supervisor-mode */ - /* On RV64, we currently support either both F and D, or neither. - * On RV32, we currently only support F. - */ + /* We currently support both F and D */ misa->F() = bool_to_bits(sys_enable_fdext()); /* single-precision */ - misa->D() = if sizeof(xlen) == 64 + misa->D() = if sizeof(flen) >= 64 then bool_to_bits(sys_enable_fdext()) /* double-precision */ else 0b0; |