search

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

misa reports incorrect value in Sail #55

Open rmn30 opened 5 months ago

rmn30 commented 5 months ago

Sail currently sets bits C, D, E, F, M, V and X in misa. This is wrong as D (double float), F (float) and V (vector) are not supported. Also B (bit vector) is supported and should be set (removed as I don't think this is standardized).

The -F and -W options to the simulator can be used to disable the floating point and vector extensions, but we should change the default in sail-riscv/c_emulator/riscv_platform_impl.c as we don't even compile the instruction definitions.

rmn30 commented 4 months ago

This upstream PR looks like it could help with this: https://github.com/riscv/sail-riscv/pull/506