mirror of
				https://github.com/openhwgroup/cvw
				synced 2025-02-11 06:05:49 +00:00 
			
		
		
		
	Add in a test that makes match 3 = 0 for all tlb lines
This commit is contained in:
		
							parent
							
								
									73cca666bf
								
							
						
					
					
						commit
						cf150a2ea9
					
				@ -60,6 +60,7 @@ string tvpaths[] = '{
 | 
			
		||||
    "pmpcfg2",
 | 
			
		||||
    "tlbKP",
 | 
			
		||||
    "tlbMP",
 | 
			
		||||
    "tlbM3",
 | 
			
		||||
    "tlbASID",
 | 
			
		||||
    "tlbGLB",
 | 
			
		||||
    "ifuCamlineWrite"
 | 
			
		||||
 | 
			
		||||
							
								
								
									
										155
									
								
								tests/coverage/tlbM3.S
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										155
									
								
								tests/coverage/tlbM3.S
									
									
									
									
									
										Normal file
									
								
							@ -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
 | 
			
		||||
		Loading…
	
		Reference in New Issue
	
	Block a user