From cf150a2ea9b798ad5a8632f018acf60765bf8d34 Mon Sep 17 00:00:00 2001
From: Noah Limpert <nlimpert@g.hmc.edu>
Date: Thu, 20 Apr 2023 14:50:06 -0700
Subject: [PATCH] Add in a test that makes match 3 = 0 for all tlb lines
---
testbench/tests.vh | 1 +
tests/coverage/tlbM3.S | 155 +++++++++++++++++++++++++++++++++++++++++
2 files changed, 156 insertions(+)
create mode 100644 tests/coverage/tlbM3.S
diff --git a/testbench/tests.vh b/testbench/tests.vh
index b86756b4..a450b057 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -60,6 +60,7 @@ string tvpaths[] = '{
"pmpcfg2",
"tlbKP",
"tlbMP",
+ "tlbM3",
"tlbASID",
"tlbGLB",
"ifuCamlineWrite"
diff --git a/tests/coverage/tlbM3.S b/tests/coverage/tlbM3.S
new file mode 100644
index 00000000..ececa1f3
--- /dev/null
+++ b/tests/coverage/tlbM3.S
@@ -0,0 +1,155 @@
+///////////////////////////////////////////
+// tlbKP.S
+//
+// Written: mmendozamanriquez@hmc.edu 4 April 2023
+// nlimpert@hmc.edu
+//
+// Purpose: Test coverage for LSU
+//
+// 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.
+////////////////////////////////////////////////////////////////////////////////////////////////
+
+// load code to initalize stack, handle interrupts, terminate
+
+#include "WALLY-init-lib.h"
+
+# run-elf.bash find this in project description
+main:
+ # Page table root address at 0x80010000
+ li t5, 0x9000000000080010
+ csrw satp, t5
+
+ # sfence.vma x0, x0
+
+ # switch to supervisor mode
+ li a0, 1
+ ecall
+
+ li t0, 0x1000
+
+ li t2, 0 # i = 0
+ li t3, 64 # Max amount of Loops = 32
+ li t4, 0x1000
+
+loop: bge t2, t3, interim # exit loop if i >= loops
+ lw t1, 0(t0)
+ # sfence.vma x0, x0
+ add t0, t0, t4
+ addi t2, t2, 1
+ j loop
+
+interim:
+ li t0, 0xFFFFFFFF000
+ li t2, 0 # i = 0
+
+
+loop2:bge t2, t3, finished # exit loop if i >= loops
+ lw t1, 0(t0)
+ add t0, t0, t4
+ addi t2, t2, 1
+ j loop2
+
+finished:
+ j done
+
+.data
+
+.align 16
+# Page table situated at 0x80010000
+pagetable:
+ .8byte 0x200044C1 // old page table was 200040 which just pointed to itself! wrong
+
+.align 12
+ .8byte 0x00000000200048C1
+ .8byte 0x00000000200048C1
+ .8byte 0x00000000200048C1
+
+
+.align 12
+ .8byte 0x0000000020004CC1
+ //.8byte 0x00000200800CF// ADD IN THE MEGAPAGE should 3 nibbles of zeros be removed?
+
+.align 12
+ #80000000
+ .8byte 0x200000CF
+ .8byte 0x200004CF
+ .8byte 0x200008CF
+ .8byte 0x20000CCF
+
+ .8byte 0x200010CF
+ .8byte 0x200014CF
+ .8byte 0x200018CF
+ .8byte 0x20001CCF
+
+ .8byte 0x200020CF
+ .8byte 0x200024CF
+ .8byte 0x200028CF
+ .8byte 0x20002CCF
+
+ .8byte 0x200030CF
+ .8byte 0x200034CF
+ .8byte 0x200038CF
+ .8byte 0x20003CCF
+
+ .8byte 0x200040CF
+ .8byte 0x200044CF
+ .8byte 0x200048CF
+ .8byte 0x20004CCF
+
+ .8byte 0x200050CF
+ .8byte 0x200054CF
+ .8byte 0x200058CF
+ .8byte 0x20005CCF
+
+ .8byte 0x200060CF
+ .8byte 0x200064CF
+ .8byte 0x200068CF
+ .8byte 0x20006CCF
+
+ .8byte 0x200070CF
+ .8byte 0x200074CF
+ .8byte 0x200078CF
+ .8byte 0x20007CCF
+
+ .8byte 0x200080CF
+ .8byte 0x200084CF
+ .8byte 0x200088CF
+ .8byte 0x20008CCF
+
+ .8byte 0x200090CF
+ .8byte 0x200094CF
+ .8byte 0x200098CF
+ .8byte 0x20009CCF
+
+ .8byte 0x2000A0CF
+ .8byte 0x2000A4CF
+ .8byte 0x2000A8CF
+ .8byte 0x2000ACCF
+
+ .8byte 0x2000B0CF
+ .8byte 0x2000B4CF
+ .8byte 0x2000B8CF
+ .8byte 0x2000BCCF
+
+ .8byte 0x2000C0CF
+ .8byte 0x2000C4CF
+ .8byte 0x2000C8CF
+ .8byte 0x2000CCCF
+
+ .8byte 0x2000D0CF
+ .8byte 0x2000D4CF