Skip to content

Update riscv-test test vectors #130

@mininny

Description

@mininny

Asterisc has riscv-test which are test vectors provided by the official riscv organization.

Kona was recently updated to use rv64ima architecture which doesn't contain instruction sets like zicsr.

However, the tests in riscv-test contain test macros that rely on the usage of such csr instructions. As such, test vectors in the riscv-test cannot be built for rv64ima and will fail upon building with custom riscv toolchain built for rv64ima. See this open issue: riscv-software-src/riscv-tests#368.

This means that we should keep the CSR instructions or at least NOOP them (since they aren't used in actual kona binary) in the vm to support riscv-test. See this PR to properly handle CSR instruction by encoding.

If we would like to remove these CSR instructions, since we would still want to test asterisc implementation against the official test vectors, we should consider either:

  • keeping this specific instruction set zicsr for testing purposes even though it isn't used in kona's binary
  • contribute to upstream riscv-test repository to support building with rv64ima
  • remove the test suites

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions