The hex value "1241489331" refers to the instruction "bclr".
In the Github repo of Sail I found an issue showing that "bclr" should have been incorporated https://github.com/riscv/sail-riscv/pull/116. Yet, this dates to the 5 Dec, 2021, while the latest release of Sail is 0.5 from the 15 Jun, 2020.
Hi!
Can you confirm if you have tested the test bclr-01.S (https://github.com/riscv-non-isa/riscv-arch-test/blob/main/riscv-test-suite/rv32i_m/B/src/bclr-01.S) with Sail 0.5 as reference model? When I try to run it, the test runs indefinetly showing the following message repeatedly
The hex value "1241489331" refers to the instruction "bclr".
In the Github repo of Sail I found an issue showing that "bclr" should have been incorporated https://github.com/riscv/sail-riscv/pull/116. Yet, this dates to the 5 Dec, 2021, while the latest release of Sail is 0.5 from the 15 Jun, 2020.
Regards