forked from Github_Repos/cvw
add D$ test case to trigger a FlushStage while SetDirtyWay=1
This hits some conditional coverage in each cacheway. A cache store hit happens at the same time as a StoreAmoMisalignedFault.
This commit is contained in:
parent
cd9feb0260
commit
3de03abd9d
@ -55,6 +55,7 @@ string tvpaths[] = '{
|
|||||||
"pmp",
|
"pmp",
|
||||||
"tlbKP",
|
"tlbKP",
|
||||||
"dcache1",
|
"dcache1",
|
||||||
|
"dcache2"
|
||||||
};
|
};
|
||||||
|
|
||||||
string coremark[] = '{
|
string coremark[] = '{
|
||||||
|
49
tests/coverage/dcache2.S
Normal file
49
tests/coverage/dcache2.S
Normal file
@ -0,0 +1,49 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
// dcache2.S
|
||||||
|
//
|
||||||
|
// Written: avercruysse@hmc.edu 18 April 2023
|
||||||
|
//
|
||||||
|
// Purpose: Test Coverage for D$
|
||||||
|
// (for all 4 cache ways, trigger a FlushStage while SetDirtyWay=1)
|
||||||
|
//
|
||||||
|
// A component of the CORE-V-WALLY configurable RISC-V project.
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021-23 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
||||||
|
//
|
||||||
|
// Licensed under the Solderpad Hardware License v 2.1 (the “License”); you may not use this file
|
||||||
|
// except in compliance with the License, or, at your option, the Apache License version 2.0. You
|
||||||
|
// may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://solderpad.org/licenses/SHL-2.1/
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, any work distributed under the
|
||||||
|
// License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
|
||||||
|
// either express or implied. See the License for the specific language governing permissions
|
||||||
|
// and limitations under the License.
|
||||||
|
////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-init-lib.h"
|
||||||
|
main:
|
||||||
|
// way 0
|
||||||
|
li t0, 0x80100770
|
||||||
|
sd zero, 0(t0)
|
||||||
|
sd zero, 1(t0)
|
||||||
|
|
||||||
|
// way 1
|
||||||
|
li t0, 0x80101770
|
||||||
|
sd zero, 0(t0)
|
||||||
|
sd zero, 1(t0)
|
||||||
|
|
||||||
|
// way 2
|
||||||
|
li t0, 0x80102770
|
||||||
|
sd zero, 0(t0)
|
||||||
|
sd zero, 1(t0)
|
||||||
|
|
||||||
|
// way 3
|
||||||
|
li t0, 0x80103770
|
||||||
|
sd zero, 0(t0)
|
||||||
|
sd zero, 1(t0)
|
||||||
|
|
||||||
|
j done
|
Loading…
Reference in New Issue
Block a user