mirror of
https://github.com/openhwgroup/cvw
synced 2025-01-23 21:14:37 +00:00
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
cd803bfa44
commit
b3a3af8ed3
@ -55,6 +55,7 @@ string tvpaths[] = '{
|
||||
"pmp",
|
||||
"tlbKP",
|
||||
"dcache1",
|
||||
"dcache2"
|
||||
};
|
||||
|
||||
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