diff --git a/testbench/tests.vh b/testbench/tests.vh index 116d39424..06c7e5f62 100644 --- a/testbench/tests.vh +++ b/testbench/tests.vh @@ -44,10 +44,10 @@ string tvpaths[] = '{ string coverage64gc[] = '{ `COVERAGE, + "priv", "ieu", "ebu", "csrwrites", - "priv", "ifu", "fpu", "lsu", diff --git a/tests/coverage/priv.S b/tests/coverage/priv.S index 0dff00f37..e90e943a9 100644 --- a/tests/coverage/priv.S +++ b/tests/coverage/priv.S @@ -92,6 +92,9 @@ sretdone: # writes to FCSR li t0, 1 + slli t0, t0, 13 + csrs mstatus, t0 + li t0, 1 csrw fcsr, t0 # switch to supervisor mode