colin
/
picorv32
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Work-around for c.addi16sp zero-imm gas bug (for torture test)

This commit is contained in:
Clifford Wolf 2016-04-09 13:25:29 +02:00
parent 55c4c3b102
commit 649faca27e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/torture/Makefile
View File

@ -31,14 +31,16 @@ tests/testbench.vvp: testbench.v ../../picorv32.v
iverilog -o tests/testbench.vvp testbench.v ../../picorv32.v
tests/generated.ok: riscv-torture/build.ok
mkdir -p tests
rm -f riscv-torture/output/test_*
cd riscv-torture && ./sbt 'generator/run -n 1000'
sed -i -e '/addi x2, x2, 0/ s/addi/xori/;' riscv-torture/output/test_*.S
touch tests/generated.ok
define test_template
tests/test_$(1).S: tests/generated.ok
mkdir -p tests
mv riscv-torture/output/test_$(1).S tests/
touch tests/test_$(1).S
tests/test_$(1).elf: tests/test_$(1).S
riscv32-unknown-elf-gcc -m32 -march=RV32IC -ffreestanding -nostdlib -Wl,-Bstatic,-T,sections.lds -I. -o tests/test_$(1).elf tests/test_$(1).S