PMPCFG_ARRAY_REGW cases

This commit is contained in:
Kevin Wan 2023-04-18 18:43:50 -07:00
parent a413b5c6ca
commit 1bdae2285d
2 changed files with 35 additions and 0 deletions

View File

@ -53,7 +53,9 @@ string tvpaths[] = '{
"lsu",
"vm64check",
"pmp",
"pmpcfg",
"tlbKP"
};
string coremark[] = '{

33
tests/coverage/pmpcfg.S Normal file
View File

@ -0,0 +1,33 @@
// pmpcfg supplemental
#include "WALLY-init-lib.h"
main:
li t0, 0x8800000000000000
csrw pmpcfg2, t0
li t0, 0x88000000000000
csrw pmpcfg2, t0
li t0, 0x880000000000
csrw pmpcfg2, t0
li t0, 0x8800000000
csrw pmpcfg2, t0
li t0, 0x88000000
csrw pmpcfg2, t0
li t0, 0x880000
csrw pmpcfg2, t0
li t0, 0x8800
csrw pmpcfg2, t0
li t0, 0x8800000000000000
csrw pmpcfg0, t0
li t0, 0x88000000000000
csrw pmpcfg0, t0
li t0, 0x880000000000
csrw pmpcfg0, t0
li t0, 0x8800000000
csrw pmpcfg0, t0
li t0, 0x88000000
csrw pmpcfg0, t0
li t0, 0x880000
csrw pmpcfg0, t0
li t0, 0x8800
csrw pmpcfg0, t0
j done