Skip to content

Commit

Permalink
More reproducible RiscV ELF tests (#1174)
Browse files Browse the repository at this point in the history
See riscv-software-src/riscv-tests#529

---------

Co-authored-by: bing <bingcicle@keemail.me>
  • Loading branch information
matthiasgoergens and spiral-ladder authored Feb 2, 2024
1 parent 1177316 commit 482aad8
Show file tree
Hide file tree
Showing 98 changed files with 7 additions and 2 deletions.
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -27,3 +27,7 @@ tmp

# Generated IOTapes
*.tape

riscv-testdata/testdata/*.o
riscv-testdata/testdata/*.s
riscv-testdata/testdata/*.i
5 changes: 3 additions & 2 deletions riscv-testdata/create_testdata/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,12 @@ RUN git submodule update --init --depth=1 --recursive && \
git rev-parse HEAD | tee .testdata_generated_from_this_commit

# Build the tests - we are interested in rv32ui and rv32um
# We want to add the CFLAGS "-save-temps -frandom-seed=1" to the build,
# but upstream forces us to repeat all their default flags here, too.
RUN autoconf && \
./configure --prefix=/root/riscv-tests && \
cd isa && \
make rv32ui XLEN=32 && \
make rv32um XLEN=32
make rv32ui rv32um XLEN=32 RISCV_GCC_OPTS="-save-temps -frandom-seed=1 -static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles"

RUN rm -f /root/riscv-tests/isa/.gitignore

Expand Down
Binary file modified riscv-testdata/testdata/rv32ui-p-add
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-addi
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-and
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-andi
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-auipc
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-beq
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-bge
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-bgeu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-blt
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-bltu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-bne
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-fence_i
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-jal
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-jalr
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lb
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lbu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lhu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lui
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-lw
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-ma_data
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-or
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-ori
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sb
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-simple
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sll
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-slli
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-slt
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-slti
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sltiu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sltu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sra
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-srai
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-srl
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-srli
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sub
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-sw
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-xor
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-p-xori
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-add
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-addi
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-and
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-andi
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-auipc
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-beq
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-bge
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-bgeu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-blt
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-bltu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-bne
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-fence_i
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-jal
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-jalr
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lb
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lbu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lhu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lui
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-lw
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-ma_data
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-or
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-ori
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sb
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-simple
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sll
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-slli
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-slt
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-slti
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sltiu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sltu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sra
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-srai
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-srl
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-srli
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sub
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-sw
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-xor
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32ui-v-xori
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-div
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-divu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-mul
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-mulh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-mulhsu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-mulhu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-rem
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-p-remu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-div
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-divu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-mul
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-mulh
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-mulhsu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-mulhu
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-rem
Binary file not shown.
Binary file modified riscv-testdata/testdata/rv32um-v-remu
Binary file not shown.

0 comments on commit 482aad8

Please sign in to comment.