Reproducing RISC-V compliance testing artifact #3160
Replies: 3 comments
-
This could be related to a change to the default ISA spec in recent gcc versions. You might need to specify Here are some related references: |
Beta Was this translation helpful? Give feedback.
-
Thanks, that pointed me in the right direction. I discovered this issue: riscv-software-src/riscv-tests#368 that I make take up. In the meantime, I discovered that you all have this file that defines the needed testing macros without any unsupported instructions https://github.com/risc0/zirgen/blob/main/zirgen/circuit/rv32im/v1/test/riscv_test.h. I replaced https://github.com/riscv/riscv-test-env/blob/master/p/riscv_test.h by that file and then updated https://github.com/riscv/riscv-test-env/blob/master/p/link.ld to define |
Beta Was this translation helpful? Give feedback.
-
Relating to this, do you have a tldr for the user elf/kernel elf distinction in the code? I have another source of ELF files that I can currently run through RISC0, but I need to use the |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
How does one reproduce the test artifact riscv-tests.tgz used in the file risc0/circuit/rv32im/src/prove/tests.rs? That file contains comments
I hoped that downloading this toolchain (or the most recent release?) and the following the instructions from the RISC-V test suite
would work with
$RISCV
defined as the root of the riscv32-unknown-elf toolchain, but I strike out with this. I tried to refine my configure command to various things looking likebut when I run the R0 test suite with, say, the
add
artifact replaced by the newly builtrv32ui-p-add
I hit the errorIIUC, this is pointing to an unimplemented system instruction
csrrs
. I think this should not be in the addition test, so I assume I've compiled the compliance tests incorrectly, or I'm confused. Your guidance is much appreciated :)Beta Was this translation helpful? Give feedback.
All reactions