Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Improvement to ebu coverage.

Browse Source 
Also modified object dumps to include data segments.
This commit is contained in:
Rose Thompson 2024-01-31 14:03:27 -06:00
parent cc7f433ce0
commit 07d1a4104a
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/coverage/Makefile
View File

@ -19,7 +19,7 @@ all: $(OBJECTS)
%.elf: $(SRCDIR)/%.$(SEXT) WALLY-init-lib.h Makefile
riscv64-unknown-elf-gcc -g -o $@ -march=rv64gqc_zfa_zba_zbb_zbc_zbs_zfh_zicboz_zicbop_zicbom -mabi=lp64 -mcmodel=medany \
-nostartfiles -T../../examples/link/link.ld $<
riscv64-unknown-elf-objdump -S $@ > $@.objdump
riscv64-unknown-elf-objdump -S -D $@ > $@.objdump
riscv64-unknown-elf-elf2hex --bit-width 64 --input $@ --output $@.memfile
extractFunctionRadix.sh $@.objdump

6
tests/coverage/tlbmisc.S
View File

@ -96,6 +96,11 @@ main:
sw t1, 0(t0) # write to page
jalr ra, t0 # jump to page
# AMO at page has PBMT = 2 or 1 (uncached)
li t0, 0x80401000
li t1, 10
amoadd.w t1, t1, (t0)
# Nonleaf PTE has PBMT != 0 causes a page fault during page walking. H
li t0, 0x80600000
lw t1, 0(t0) # read from page
@ -409,6 +414,7 @@ pagetable:
.align 12
#80400000
.8byte 0x60000000200020CF # reserved entry
.8byte 0x40000000201000CF # non-cache non-idempotent
# Leaf page table at 0x80015000 with various permissions for testing CBOM and CBOZ
.align 12