Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added working tests to test list, updated regression for new configs

Browse Source
This commit is contained in:
Kip Macsai-Goren 2022-04-25 19:18:15 +00:00
parent 33875b20b5
commit 74b103fae4
2 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pipelined/regression/regression-wally
View File

@ -80,20 +80,20 @@ for test in tests32gc:
configs.append(tc) configs.append(tc)
tests64ia = ["wally64priv"] tests64i = ["wally64priv"]
for test in tests64ia: for test in tests64i:
tc = TestCase( tc = TestCase(
name=test, name=test,
variant="rv64ia", variant="rv64i",
cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv64ia "+test+"\n!", cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv64ia "+test+"\n!",
grepstr="All tests ran without failures") grepstr="All tests ran without failures")
configs.append(tc) configs.append(tc)
tests32ia = ["wally32priv"] tests32i = ["wally32priv"]
for test in tests32ia: for test in tests32i:
tc = TestCase( tc = TestCase(
name=test, name=test,
variant="rv32ia", variant="rv32i",
cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv32ia "+test+"\n!", cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv32ia "+test+"\n!",
grepstr="All tests ran without failures") grepstr="All tests ran without failures")
configs.append(tc) configs.append(tc)

9
pipelined/testbench/tests.vh
View File

@ -47,7 +47,8 @@ string tvpaths[] = '{
string wally64a[] = '{ string wally64a[] = '{
`WALLYTEST, `WALLYTEST,
"rv64i_m/privilege/WALLY-AMO", "2210", "rv64i_m/privilege/WALLY-AMO", "2210",
"rv64i_m/privilege/WALLY-LRSC", "2410" "rv64i_m/privilege/WALLY-LRSC", "2410",
"rv64i_m/privilege/WALLY-status-fp-enabled-01", "50a0"
}; };
string wally32a[] = '{ string wally32a[] = '{
@ -1479,10 +1480,10 @@ string imperas32f[] = '{
"rv64i_m/privilege/WALLY-stvec-01", "0050a0", "rv64i_m/privilege/WALLY-stvec-01", "0050a0",
"rv64i_m/privilege/WALLY-PIE-stack-01", "0050a0", "rv64i_m/privilege/WALLY-PIE-stack-01", "0050a0",
"rv64i_m/privilege/WALLY-PIE-stack-s-01", "0050a0", "rv64i_m/privilege/WALLY-PIE-stack-s-01", "0050a0",
"rv64i_m/privilege/WALLY-trap-sret-01", "0050a0" "rv64i_m/privilege/WALLY-trap-sret-01", "0050a0",
// "rv64i_m/privilege/WALLY-status-tw-01", "0050a0", // "rv64i_m/privilege/WALLY-status-tw-01", "0050a0",
// "rv64i_m/privilege/WALLY-WFI-01", "0050a0", "rv64i_m/privilege/WALLY-WFI-01", "0050a0",
// "rv64i_m/privilege/WALLY-status-fp-01", "0050a0" "rv64i_m/privilege/WALLY-status-fp-disabled-01", "50a0"
// "rv64i_m/privilege/WALLY-STVEC", "002090", // "rv64i_m/privilege/WALLY-STVEC", "002090",
// "rv64i_m/privilege/WALLY-UCAUSE", "002090", // "rv64i_m/privilege/WALLY-UCAUSE", "002090",