Skip to content

Commit 56f1061

Browse files
committed
Configure sail to disable compressed instructions and use norelax
1 parent 89da569 commit 56f1061

File tree

3 files changed

+6
-2
lines changed

3 files changed

+6
-2
lines changed

riscof/Makefile

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,9 @@ run:
44
run-dut:
55
riscof run --config=config.ini --suite=riscv-arch-test/riscv-test-suite/ --env=riscv-arch-test/riscv-test-suite/env --no-ref-run
66

7+
run-ref:
8+
riscof run --config=config.ini --suite=riscv-arch-test/riscv-test-suite/ --env=riscv-arch-test/riscv-test-suite/env --no-dut-run
9+
710
validate:
811
riscof validateyaml --config=config.ini
912

riscof/sail_cSim/env/model_test.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,8 @@
1818
sw x1, tohost, t5; \
1919
j write_tohost;
2020

21-
#define RVMODEL_BOOT
21+
#define RVMODEL_BOOT \
22+
.option norelax;
2223

2324
//RV_COMPLIANCE_DATA_BEGIN
2425
#define RVMODEL_DATA_BEGIN \

riscof/sail_cSim/riscof_sail_cSim.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@ def runTests(self, testList, cgf_file=None, header_file= None):
101101
execute += self.objdump_cmd.format(elf, self.xlen, 'ref.disass')
102102
sig_file = os.path.join(test_dir, self.name[:-1] + ".signature")
103103

104-
execute += self.sail_exe[self.xlen] + ' --test-signature={0} {1} > {2}.log 2>&1;'.format(sig_file, elf, test_name)
104+
execute += self.sail_exe[self.xlen] + ' --disable-compressed --test-signature={0} {1} > {2}.log 2>&1;'.format(sig_file, elf, test_name)
105105

106106
cov_str = ' '
107107
for label in testentry['coverage_labels']:

0 commit comments

Comments
 (0)