rv32emu
rv32emu copied to clipboard
Run `riscv-arch-test` in CI pipeline
The build system is capable of running the tests for specific extensions, such as I, M, C, Zifencei, privilege, and F. However, there is no regular validation for each pull request and/or git commit regarding ISA compliance. We shall integrate riscv-arch-test into CI pipeline.
Expected output:
- Fetch (custom) GNU Toolchain for RISC-V: ensure all ELF executables were stripped in advance, so that we can run CI pipeline a bit faster.
- Run
riscv-arch-testfor RV32I and RV32M. Other extensions can be validated upon requested. - Show brief report for
riscv-arch-test.
The xPack GNU RISC-V Embedded GCC provides pre-built toolchains for GNU/Linux, Microsoft Windows, and macOS. However, the typical file size of a archive file is more than 460MB, which not might fit the expectation for faster CI pipeline execution.
Considered as complete.