CHERIoT-Platform / cheriot-sail

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

Include HINT encodings in build #50

Closed elliotb-lowrisc closed 7 months ago

elliotb-lowrisc commented 7 months ago

HINT encodings were added to sail-riscv in: https://github.com/riscv/sail-riscv/commit/c138a086f91552bc158f3bfab9a52221a0819171 It appears the new "riscv_insts_hints.sail" file this commit creates did not get added to the cheriot-sail Makefile.

Add it now to avoid falsely trapping HINT instruction encodings. Encountered when testing with TestRIG, where a valid RVC HINT was being interpreted as c.illegal' rather thanc.slli.hint.zero.0xc`.