mirror of
https://github.com/openhwgroup/cvw
synced 2025-02-11 06:05:49 +00:00
Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main
This commit is contained in:
Ross Thompson
commit
3db60a1cc1
@ -19,10 +19,10 @@ disassemble:
|
|||||||
# -cd ${DIS}/rootfs; cpio -id --nonmatching 'dev/console' < ../../rootfs.cpio
|
# -cd ${DIS}/rootfs; cpio -id --nonmatching 'dev/console' < ../../rootfs.cpio
|
||||||
|
|
||||||
${DIS}/fw_jump.objdump: ${IMAGES}/fw_jump.elf
|
${DIS}/fw_jump.objdump: ${IMAGES}/fw_jump.elf
|
||||||
riscv64-unknown-elf-objdump -D ${IMAGES}/fw_jump.elf >> ${DIS}/fw_jump.objdump
|
riscv64-unknown-elf-objdump -S ${IMAGES}/fw_jump.elf >> ${DIS}/fw_jump.objdump
|
||||||
|
|
||||||
${DIS}/vmlinux.objdump: ${IMAGES}/vmlinux
|
${DIS}/vmlinux.objdump: ${IMAGES}/vmlinux
|
||||||
riscv64-unknown-elf-objdump -D ${IMAGES}/vmlinux >> ${DIS}/vmlinux.objdump
|
riscv64-unknown-elf-objdump -S ${IMAGES}/vmlinux >> ${DIS}/vmlinux.objdump
|
||||||
|
|
||||||
${DIS}/vmlinux.objdump.addr: ${DIS}/vmlinux.objdump
|
${DIS}/vmlinux.objdump.addr: ${DIS}/vmlinux.objdump
|
||||||
-cd ${DIS}; extractFunctionRadix.sh vmlinux.objdump
|
-cd ${DIS}; extractFunctionRadix.sh vmlinux.objdump
|
||||||
|
|||||||
@ -42,6 +42,7 @@
|
|||||||
`define ZIFENCEI_SUPPORTED 1
|
`define ZIFENCEI_SUPPORTED 1
|
||||||
`define ZICOUNTERS_SUPPORTED 1
|
`define ZICOUNTERS_SUPPORTED 1
|
||||||
`define COUNTERS 32
|
`define COUNTERS 32
|
||||||
|
`define DESIGN_COMPILER 0
|
||||||
|
|
||||||
// Microarchitectural Features
|
// Microarchitectural Features
|
||||||
`define UARCH_PIPELINED 1
|
`define UARCH_PIPELINED 1
|
||||||
|
|||||||
1024
pipelined/config/rv32ia/BTBPredictor.txt
Normal file
1024
pipelined/config/rv32ia/BTBPredictor.txt
Normal file
File diff suppressed because it is too large
Load Diff
1024
pipelined/config/rv32ia/twoBitPredictor.txt
Normal file
1024
pipelined/config/rv32ia/twoBitPredictor.txt
Normal file
File diff suppressed because it is too large
Load Diff
135
pipelined/config/rv32ia/wally-config.vh
Normal file
135
pipelined/config/rv32ia/wally-config.vh
Normal file
@ -0,0 +1,135 @@
|
|||||||
|
//////////////////////////////////////////
|
||||||
|
// wally-config.vh
|
||||||
|
//
|
||||||
|
// Written: David_Harris@hmc.edu 4 January 2021
|
||||||
|
// Modified:
|
||||||
|
//
|
||||||
|
// Purpose: Specify which features are configured
|
||||||
|
// Macros to determine which modes are supported based on MISA
|
||||||
|
//
|
||||||
|
// A component of the Wally configurable RISC-V project.
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
// include shared configuration
|
||||||
|
`include "wally-shared.vh"
|
||||||
|
|
||||||
|
`define FPGA 0
|
||||||
|
`define QEMU 0
|
||||||
|
`define DESIGN_COMPILER 0
|
||||||
|
|
||||||
|
// RV32 or RV64: XLEN = 32 or 64
|
||||||
|
`define XLEN 32
|
||||||
|
|
||||||
|
// IEEE 754 compliance
|
||||||
|
`define IEEE754 0
|
||||||
|
|
||||||
|
// IA
|
||||||
|
`define MISA (32'h00000100 | 1 << 20 | 1 << 18 | 1 << 12 | 1 << 0 | 1 << 3 | 1 << 5)
|
||||||
|
`define ZICSR_SUPPORTED 1
|
||||||
|
`define ZIFENCEI_SUPPORTED 1
|
||||||
|
`define COUNTERS 32
|
||||||
|
`define ZICOUNTERS_SUPPORTED 1
|
||||||
|
|
||||||
|
// Microarchitectural Features
|
||||||
|
`define UARCH_PIPELINED 1
|
||||||
|
`define UARCH_SUPERSCALR 0
|
||||||
|
`define UARCH_SINGLECYCLE 0
|
||||||
|
// *** replace with MEM_BUS
|
||||||
|
`define DMEM `MEM_CACHE
|
||||||
|
`define IMEM `MEM_CACHE
|
||||||
|
`define DBUS 1
|
||||||
|
`define IBUS 1
|
||||||
|
`define VIRTMEM_SUPPORTED 1
|
||||||
|
`define VECTORED_INTERRUPTS_SUPPORTED 1
|
||||||
|
|
||||||
|
// TLB configuration. Entries should be a power of 2
|
||||||
|
`define ITLB_ENTRIES 32
|
||||||
|
`define DTLB_ENTRIES 32
|
||||||
|
|
||||||
|
// Cache configuration. Sizes should be a power of two
|
||||||
|
// typical configuration 4 ways, 4096 bytes per way, 256 bit or more lines
|
||||||
|
`define DCACHE_NUMWAYS 4
|
||||||
|
`define DCACHE_WAYSIZEINBYTES 4096
|
||||||
|
`define DCACHE_LINELENINBITS 256
|
||||||
|
`define ICACHE_NUMWAYS 4
|
||||||
|
`define ICACHE_WAYSIZEINBYTES 4096
|
||||||
|
`define ICACHE_LINELENINBITS 256
|
||||||
|
|
||||||
|
// Integer Divider Configuration
|
||||||
|
// DIV_BITSPERCYCLE must be 1, 2, or 4
|
||||||
|
`define DIV_BITSPERCYCLE 4
|
||||||
|
|
||||||
|
// Legal number of PMP entries are 0, 16, or 64
|
||||||
|
`define PMP_ENTRIES 64
|
||||||
|
|
||||||
|
// Address space
|
||||||
|
`define RESET_VECTOR 32'h80000000
|
||||||
|
|
||||||
|
// Peripheral Addresses
|
||||||
|
// Peripheral memory space extends from BASE to BASE+RANGE
|
||||||
|
// Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
|
||||||
|
`define BOOTROM_SUPPORTED 1'b1
|
||||||
|
`define BOOTROM_BASE 34'h00001000
|
||||||
|
`define BOOTROM_RANGE 34'h00000FFF
|
||||||
|
`define RAM_SUPPORTED 1'b1
|
||||||
|
`define RAM_BASE 34'h80000000
|
||||||
|
`define RAM_RANGE 34'h07FFFFFF
|
||||||
|
`define EXT_MEM_SUPPORTED 1'b0
|
||||||
|
`define EXT_MEM_BASE 34'h80000000
|
||||||
|
`define EXT_MEM_RANGE 34'h07FFFFFF
|
||||||
|
`define CLINT_SUPPORTED 1'b0
|
||||||
|
`define CLINT_BASE 34'h02000000
|
||||||
|
`define CLINT_RANGE 34'h0000FFFF
|
||||||
|
`define GPIO_SUPPORTED 1'b0
|
||||||
|
`define GPIO_BASE 34'h10060000
|
||||||
|
`define GPIO_RANGE 34'h000000FF
|
||||||
|
`define UART_SUPPORTED 1'b1
|
||||||
|
`define UART_BASE 34'h10000000
|
||||||
|
`define UART_RANGE 34'h00000007
|
||||||
|
`define PLIC_SUPPORTED 1'b1
|
||||||
|
`define PLIC_BASE 34'h0C000000
|
||||||
|
`define PLIC_RANGE 34'h03FFFFFF
|
||||||
|
`define SDC_SUPPORTED 1'b0
|
||||||
|
`define SDC_BASE 34'h00012100
|
||||||
|
`define SDC_RANGE 34'h0000001F
|
||||||
|
|
||||||
|
// Bus Interface width
|
||||||
|
`define AHBW 32
|
||||||
|
|
||||||
|
// Test modes
|
||||||
|
|
||||||
|
// Tie GPIO outputs back to inputs
|
||||||
|
`define GPIO_LOOPBACK_TEST 1
|
||||||
|
|
||||||
|
// Hardware configuration
|
||||||
|
`define UART_PRESCALE 1
|
||||||
|
|
||||||
|
// Interrupt configuration
|
||||||
|
`define PLIC_NUM_SRC 10
|
||||||
|
// comment out the following if >=32 sources
|
||||||
|
`define PLIC_NUM_SRC_LT_32
|
||||||
|
`define PLIC_GPIO_ID 3
|
||||||
|
`define PLIC_UART_ID 10
|
||||||
|
|
||||||
|
`define TWO_BIT_PRELOAD "../config/rv32ia/twoBitPredictor.txt"
|
||||||
|
`define BTB_PRELOAD "../config/rv32ia/BTBPredictor.txt"
|
||||||
|
`define BPRED_ENABLED 1
|
||||||
|
`define BPTYPE "BPGSHARE" // BPLOCALPAg or BPGLOBAL or BPTWOBIT or BPGSHARE
|
||||||
|
`define TESTSBP 0
|
||||||
|
|
||||||
|
`define REPLAY 0
|
||||||
|
`define HPTW_WRITES_SUPPORTED 0
|
||||||
1024
pipelined/config/rv64ia/BTBPredictor.txt
Normal file
1024
pipelined/config/rv64ia/BTBPredictor.txt
Normal file
File diff suppressed because it is too large
Load Diff
1024
pipelined/config/rv64ia/twoBitPredictor.txt
Normal file
1024
pipelined/config/rv64ia/twoBitPredictor.txt
Normal file
File diff suppressed because it is too large
Load Diff
136
pipelined/config/rv64ia/wally-config.vh
Normal file
136
pipelined/config/rv64ia/wally-config.vh
Normal file
@ -0,0 +1,136 @@
|
|||||||
|
//////////////////////////////////////////
|
||||||
|
// wally-config.vh
|
||||||
|
//
|
||||||
|
// Written: David_Harris@hmc.edu 4 January 2021
|
||||||
|
// Modified:
|
||||||
|
//
|
||||||
|
// Purpose: Specify which features are configured
|
||||||
|
// Macros to determine which modes are supported based on MISA
|
||||||
|
//
|
||||||
|
// A component of the Wally configurable RISC-V project.
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
// include shared configuration
|
||||||
|
`include "wally-shared.vh"
|
||||||
|
|
||||||
|
`define FPGA 0
|
||||||
|
`define QEMU 0
|
||||||
|
`define DESIGN_COMPILER 0
|
||||||
|
|
||||||
|
// RV32 or RV64: XLEN = 32 or 64
|
||||||
|
`define XLEN 64
|
||||||
|
|
||||||
|
// IEEE 754 compliance
|
||||||
|
`define IEEE754 0
|
||||||
|
|
||||||
|
// MISA RISC-V configuration per specification IA
|
||||||
|
`define MISA (32'h00000100 | 1 << 20 | 1 << 18 | 1 << 12 | 1 << 0 | 1 << 3 | 1 << 5)
|
||||||
|
`define ZICSR_SUPPORTED 1
|
||||||
|
`define ZIFENCEI_SUPPORTED 1
|
||||||
|
`define COUNTERS 32
|
||||||
|
`define ZICOUNTERS_SUPPORTED 1
|
||||||
|
|
||||||
|
/// Microarchitectural Features
|
||||||
|
`define UARCH_PIPELINED 1
|
||||||
|
`define UARCH_SUPERSCALR 0
|
||||||
|
`define UARCH_SINGLECYCLE 0
|
||||||
|
`define DMEM `MEM_CACHE
|
||||||
|
`define IMEM `MEM_CACHE
|
||||||
|
`define DBUS 1
|
||||||
|
`define IBUS 1
|
||||||
|
`define VIRTMEM_SUPPORTED 1
|
||||||
|
`define VECTORED_INTERRUPTS_SUPPORTED 1
|
||||||
|
|
||||||
|
// TLB configuration. Entries should be a power of 2
|
||||||
|
`define ITLB_ENTRIES 32
|
||||||
|
`define DTLB_ENTRIES 32
|
||||||
|
|
||||||
|
// Cache configuration. Sizes should be a power of two
|
||||||
|
// typical configuration 4 ways, 4096 bytes per way, 256 bit or more lines
|
||||||
|
`define DCACHE_NUMWAYS 4
|
||||||
|
`define DCACHE_WAYSIZEINBYTES 4096
|
||||||
|
`define DCACHE_LINELENINBITS 256
|
||||||
|
`define ICACHE_NUMWAYS 4
|
||||||
|
`define ICACHE_WAYSIZEINBYTES 4096
|
||||||
|
`define ICACHE_LINELENINBITS 256
|
||||||
|
|
||||||
|
// Integer Divider Configuration
|
||||||
|
// DIV_BITSPERCYCLE must be 1, 2, or 4
|
||||||
|
`define DIV_BITSPERCYCLE 4
|
||||||
|
|
||||||
|
// Legal number of PMP entries are 0, 16, or 64
|
||||||
|
`define PMP_ENTRIES 64
|
||||||
|
|
||||||
|
// Address space
|
||||||
|
`define RESET_VECTOR 64'h0000000080000000
|
||||||
|
|
||||||
|
// Bus Interface width
|
||||||
|
`define AHBW 64
|
||||||
|
|
||||||
|
// Peripheral Physiccal Addresses
|
||||||
|
// Peripheral memory space extends from BASE to BASE+RANGE
|
||||||
|
// Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
|
||||||
|
|
||||||
|
// *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
|
||||||
|
`define BOOTROM_SUPPORTED 1'b1
|
||||||
|
`define BOOTROM_BASE 56'h00001000 // spec had been 0x1000 to 0x2FFF, but dh truncated to 0x1000 to 0x1FFF because upper half seems to be all zeros and this is easier for decoder
|
||||||
|
`define BOOTROM_RANGE 56'h00000FFF
|
||||||
|
`define RAM_SUPPORTED 1'b1
|
||||||
|
`define RAM_BASE 56'h80000000
|
||||||
|
`define RAM_RANGE 56'h7FFFFFFF
|
||||||
|
`define EXT_MEM_SUPPORTED 1'b0
|
||||||
|
`define EXT_MEM_BASE 56'h80000000
|
||||||
|
`define EXT_MEM_RANGE 56'h07FFFFFF
|
||||||
|
`define CLINT_SUPPORTED 1'b1
|
||||||
|
`define CLINT_BASE 56'h02000000
|
||||||
|
`define CLINT_RANGE 56'h0000FFFF
|
||||||
|
`define GPIO_SUPPORTED 1'b1
|
||||||
|
`define GPIO_BASE 56'h10060000
|
||||||
|
`define GPIO_RANGE 56'h000000FF
|
||||||
|
`define UART_SUPPORTED 1'b1
|
||||||
|
`define UART_BASE 56'h10000000
|
||||||
|
`define UART_RANGE 56'h00000007
|
||||||
|
`define PLIC_SUPPORTED 1'b1
|
||||||
|
`define PLIC_BASE 56'h0C000000
|
||||||
|
`define PLIC_RANGE 56'h03FFFFFF
|
||||||
|
`define SDC_SUPPORTED 1'b0
|
||||||
|
`define SDC_BASE 56'h00012100
|
||||||
|
`define SDC_RANGE 56'h0000001F
|
||||||
|
|
||||||
|
// Test modes
|
||||||
|
|
||||||
|
// Tie GPIO outputs back to inputs
|
||||||
|
`define GPIO_LOOPBACK_TEST 1
|
||||||
|
|
||||||
|
// Hardware configuration
|
||||||
|
`define UART_PRESCALE 1
|
||||||
|
|
||||||
|
// Interrupt configuration
|
||||||
|
`define PLIC_NUM_SRC 10
|
||||||
|
// comment out the following if >=32 sources
|
||||||
|
`define PLIC_NUM_SRC_LT_32
|
||||||
|
`define PLIC_GPIO_ID 3
|
||||||
|
`define PLIC_UART_ID 10
|
||||||
|
|
||||||
|
`define TWO_BIT_PRELOAD "../config/rv64ia/twoBitPredictor.txt"
|
||||||
|
`define BTB_PRELOAD "../config/rv64ia/BTBPredictor.txt"
|
||||||
|
`define BPRED_ENABLED 1
|
||||||
|
`define BPTYPE "BPGSHARE" // BPLOCALPAg or BPGLOBAL or BPTWOBIT or BPGSHARE
|
||||||
|
`define TESTSBP 0
|
||||||
|
|
||||||
|
`define REPLAY 0
|
||||||
|
`define HPTW_WRITES_SUPPORTED 0
|
||||||
File diff suppressed because it is too large
Load Diff
@ -62,7 +62,7 @@ tc = TestCase(
|
|||||||
grepstr="400100000 instructions")
|
grepstr="400100000 instructions")
|
||||||
configs.append(tc)
|
configs.append(tc)
|
||||||
|
|
||||||
tests64gc = ["arch64i", "arch64priv", "arch64c", "arch64m", "arch64d", "imperas64i", "imperas64f", "imperas64d", "imperas64m", "wally64a", "imperas64c", "wally64priv", "wally64periph"] # , "imperas64mmu" "wally64i", #, "testsBP64"]
|
tests64gc = ["arch64i", "arch64priv", "arch64c", "arch64m", "arch64d", "imperas64i", "imperas64f", "imperas64d", "imperas64m", "wally64a", "imperas64c", "wally64periph"] # , "imperas64mmu" "wally64i", #, "testsBP64"]
|
||||||
for test in tests64gc:
|
for test in tests64gc:
|
||||||
tc = TestCase(
|
tc = TestCase(
|
||||||
name=test,
|
name=test,
|
||||||
|
|||||||
@ -27,7 +27,6 @@ add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv
|
|||||||
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/LoadPageFaultM
|
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/LoadPageFaultM
|
||||||
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/StoreAmoPageFaultM
|
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/StoreAmoPageFaultM
|
||||||
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/InterruptM
|
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/InterruptM
|
||||||
add wave -noupdate -group HDU -expand -group traps /testbench/dut/core/priv/priv/trap/PendingInterruptM
|
|
||||||
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/hzu/FlushF
|
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/hzu/FlushF
|
||||||
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/FlushD
|
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/FlushD
|
||||||
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/FlushE
|
add wave -noupdate -group HDU -group Flush -color Yellow /testbench/dut/core/FlushE
|
||||||
@ -92,7 +91,7 @@ add wave -noupdate -group Bpred -group {branch update selection inputs} /testben
|
|||||||
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassWrongNonCFI
|
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassWrongNonCFI
|
||||||
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassRightBPRight
|
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassRightBPRight
|
||||||
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassRightBPWrong
|
add wave -noupdate -group Bpred -group {branch update selection inputs} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/BPClassRightBPWrong
|
||||||
add wave -noupdate -group Bpred -radix hexadecimal -childformat {{{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[6]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[5]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[4]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[3]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[2]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[1]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[0]} -radix binary}} -subitemconfig {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[6]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[5]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[4]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[3]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[2]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[1]} {-height 16 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[0]} {-height 16 -radix binary}} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel
|
add wave -noupdate -group Bpred -radix hexadecimal -childformat {{{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[6]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[5]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[4]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[3]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[2]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[1]} -radix binary} {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[0]} -radix binary}} -subitemconfig {{/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[6]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[5]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[4]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[3]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[2]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[1]} {-height 17 -radix binary} {/testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel[0]} {-height 17 -radix binary}} /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRMuxSel
|
||||||
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRNext
|
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRNext
|
||||||
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRUpdateEN
|
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/GHRUpdateEN
|
||||||
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/PHTUpdateAdr
|
add wave -noupdate -group Bpred /testbench/dut/core/ifu/bpred/bpred/Predictor/DirPredictor/PHTUpdateAdr
|
||||||
@ -214,7 +213,6 @@ add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/
|
|||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SetValid
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SetValid
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SetDirty
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SetDirty
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SelAdr
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/SelAdr
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/VIRTMEM_SUPPORTED/lsuvirtmem/SelReplayCPURequest
|
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/IEUAdrE
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/IEUAdrE
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/IEUAdrM
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/IEUAdrM
|
||||||
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/RAdr
|
add wave -noupdate -group lsu -expand -group dcache /testbench/dut/core/lsu/bus/dcache/dcache/RAdr
|
||||||
@ -383,7 +381,6 @@ add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/GPIOIntr
|
|||||||
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HREADPLIC
|
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HREADPLIC
|
||||||
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HRESPPLIC
|
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HRESPPLIC
|
||||||
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HREADYPLIC
|
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/HREADYPLIC
|
||||||
add wave -noupdate -group plic /testbench/dut/uncore/plic/plic/ExtIntM
|
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intClaim
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intClaim
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intEn
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intEn
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intInProgress
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intInProgress
|
||||||
@ -391,11 +388,11 @@ add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/pl
|
|||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intPriority
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intPriority
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intThreshold
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/intThreshold
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/nextIntPending
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/nextIntPending
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/pendingArray
|
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/pendingMaxP
|
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/pendingPGrouped
|
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/pendingRequestsAtMaxP
|
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/requests
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/requests
|
||||||
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/irqMatrix
|
||||||
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/priorities_with_irqs
|
||||||
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/max_priority_with_irqs
|
||||||
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/irqs_at_max_priority
|
||||||
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/threshMask
|
add wave -noupdate -group plic -expand -group internals /testbench/dut/uncore/plic/plic/threshMask
|
||||||
add wave -noupdate -group GPIO /testbench/dut/uncore/gpio/gpio/HCLK
|
add wave -noupdate -group GPIO /testbench/dut/uncore/gpio/gpio/HCLK
|
||||||
add wave -noupdate -group GPIO /testbench/dut/uncore/gpio/gpio/HSELGPIO
|
add wave -noupdate -group GPIO /testbench/dut/uncore/gpio/gpio/HSELGPIO
|
||||||
@ -425,21 +422,21 @@ add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/MTIME
|
|||||||
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/MTIMECMP
|
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/MTIMECMP
|
||||||
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/TimerIntM
|
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/TimerIntM
|
||||||
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/SwIntM
|
add wave -noupdate -group CLINT /testbench/dut/uncore/clint/clint/SwIntM
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HCLK
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HCLK
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HRESETn
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HRESETn
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HSELUART
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HSELUART
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HADDR
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HADDR
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HWRITE
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HWRITE
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HWDATA
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HWDATA
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HREADUART
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HREADUART
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HRESPUART
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HRESPUART
|
||||||
add wave -noupdate -group uart -group {Bus Connection} /testbench/dut/uncore/uart/uart/HREADYUART
|
add wave -noupdate -group uart -expand -group {Bus Connection} /testbench/dut/uncore/uart/uart/HREADYUART
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/LSR
|
add wave -noupdate -group uart -expand -group Registers -expand /testbench/dut/uncore/uart/uart/u/LSR
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/MCR
|
add wave -noupdate -group uart -expand -group Registers /testbench/dut/uncore/uart/uart/u/MCR
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/MSR
|
add wave -noupdate -group uart -expand -group Registers /testbench/dut/uncore/uart/uart/u/MSR
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/RBR
|
add wave -noupdate -group uart -expand -group Registers /testbench/dut/uncore/uart/uart/u/RBR
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/TXHR
|
add wave -noupdate -group uart -expand -group Registers /testbench/dut/uncore/uart/uart/u/TXHR
|
||||||
add wave -noupdate -group uart -group Registers /testbench/dut/uncore/uart/uart/u/LCR
|
add wave -noupdate -group uart -expand -group Registers /testbench/dut/uncore/uart/uart/u/LCR
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/INTR
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/INTR
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxstate
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxstate
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/txstate
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/txstate
|
||||||
@ -448,6 +445,11 @@ add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/txbitsexpected
|
|||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxbitsreceived
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxbitsreceived
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxbitsexpected
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxbitsexpected
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxdata
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxdata
|
||||||
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxoverrunerr
|
||||||
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxdataready
|
||||||
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxdataavailintr
|
||||||
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/RXBR
|
||||||
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/squashRXerrIP
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxshiftreg
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/rxshiftreg
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/SOUTbit
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/SOUTbit
|
||||||
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/SINsync
|
add wave -noupdate -group uart /testbench/dut/uncore/uart/uart/u/SINsync
|
||||||
@ -526,4 +528,4 @@ configure wave -griddelta 40
|
|||||||
configure wave -timeline 0
|
configure wave -timeline 0
|
||||||
configure wave -timelineunits ns
|
configure wave -timelineunits ns
|
||||||
update
|
update
|
||||||
WaveRestoreZoom {0 ns} {496 ns}
|
WaveRestoreZoom {0 ns} {208 ns}
|
||||||
|
|||||||
@ -308,7 +308,10 @@ module uartPC16550D(
|
|||||||
if (fifoenabled) begin
|
if (fifoenabled) begin
|
||||||
if (rxfifotail+1 < rxfifohead) rxfifotail <= #1 rxfifotail + 1;
|
if (rxfifotail+1 < rxfifohead) rxfifotail <= #1 rxfifotail + 1;
|
||||||
if (rxfifohead == rxfifotail +1) rxdataready <= #1 0;
|
if (rxfifohead == rxfifotail +1) rxdataready <= #1 0;
|
||||||
end else rxdataready <= #1 0;
|
end else begin
|
||||||
|
rxdataready <= #1 0;
|
||||||
|
RXBR <= #1 {0, RXBR[9:0]}; // Ben 31 March 2022: I added this so that rxoverrunerr permanently goes away upon reading RBR (when not in FIFO mode)
|
||||||
|
end
|
||||||
end else if (~MEMWb & A == 3'b010) // writes to FIFO Control Register
|
end else if (~MEMWb & A == 3'b010) // writes to FIFO Control Register
|
||||||
if (Din[1] | ~Din[0]) begin // rx FIFO reset or FIFO disable clears FIFO contents
|
if (Din[1] | ~Din[0]) begin // rx FIFO reset or FIFO disable clears FIFO contents
|
||||||
rxfifohead <= #1 0; rxfifotail <= #1 0;
|
rxfifohead <= #1 0; rxfifotail <= #1 0;
|
||||||
|
|||||||
@ -1,11 +1,11 @@
|
|||||||
///////////////////////////////////////////
|
///////////////////////////////////////////
|
||||||
// testbench-imperas.sv
|
// testbench.sv
|
||||||
//
|
//
|
||||||
// Written: David_Harris@hmc.edu 9 January 2021
|
// Written: David_Harris@hmc.edu 9 January 2021
|
||||||
// Modified:
|
// Modified:
|
||||||
//
|
//
|
||||||
// Purpose: Wally Testbench and helper modules
|
// Purpose: Wally Testbench and helper modules
|
||||||
// Applies test programs from the Imperas suite
|
// Applies test programs from the riscv-arch-test and Imperas suites
|
||||||
//
|
//
|
||||||
// A component of the Wally configurable RISC-V project.
|
// A component of the Wally configurable RISC-V project.
|
||||||
//
|
//
|
||||||
@ -30,487 +30,30 @@
|
|||||||
////////////////////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
`include "wally-config.vh"
|
`include "wally-config.vh"
|
||||||
|
`include "tests.vh"
|
||||||
|
|
||||||
module testbench();
|
module testbench;
|
||||||
parameter DEBUG = 0;
|
parameter DEBUG=0;
|
||||||
parameter TESTSPERIPH = 0; // set to 0 for regression
|
parameter TEST="none";
|
||||||
parameter TESTSPRIV = 0; // set to 0 for regression
|
|
||||||
|
|
||||||
logic clk;
|
logic clk;
|
||||||
logic reset;
|
logic reset_ext, reset;
|
||||||
|
|
||||||
parameter SIGNATURESIZE = 5000000;
|
parameter SIGNATURESIZE = 5000000;
|
||||||
|
|
||||||
int test, i, errors, totalerrors;
|
int test, i, errors, totalerrors;
|
||||||
logic [31:0] sig32[0:SIGNATURESIZE];
|
logic [31:0] sig32[0:SIGNATURESIZE];
|
||||||
logic [`XLEN-1:0] signature[0:SIGNATURESIZE];
|
logic [`XLEN-1:0] signature[0:SIGNATURESIZE];
|
||||||
logic [`XLEN-1:0] testadr;
|
logic [`XLEN-1:0] testadr, testadrNoBase;
|
||||||
string InstrFName, InstrDName, InstrEName, InstrMName, InstrWName;
|
string InstrFName, InstrDName, InstrEName, InstrMName, InstrWName;
|
||||||
logic [31:0] InstrW;
|
logic [31:0] InstrW;
|
||||||
logic [`XLEN-1:0] meminit;
|
|
||||||
|
|
||||||
string tests32mmu[] = '{
|
string tests[];
|
||||||
"rv32mmu/WALLY-MMU-SV32", "3000"
|
logic [3:0] dummy;
|
||||||
//"rv32mmu/WALLY-PMA", "3000",
|
|
||||||
//"rv32mmu/WALLY-PMA", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64mmu[] = '{
|
|
||||||
"rv64mmu/WALLY-MMU-SV48", "3000",
|
|
||||||
"rv64mmu/WALLY-MMU-SV39", "3000"
|
|
||||||
//"rv64mmu/WALLY-PMA", "3000",
|
|
||||||
//"rv64mmu/WALLY-PMA", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
string tests32f[] = '{
|
|
||||||
"rv32f/I-FADD-S-01", "2000",
|
|
||||||
"rv32f/I-FCLASS-S-01", "2000",
|
|
||||||
"rv32f/I-FCVT-S-W-01", "2000",
|
|
||||||
"rv32f/I-FCVT-S-WU-01", "2000",
|
|
||||||
"rv32f/I-FCVT-W-S-01", "2000",
|
|
||||||
"rv32f/I-FCVT-WU-S-01", "2000",
|
|
||||||
"rv32f/I-FDIV-S-01", "2000",
|
|
||||||
"rv32f/I-FEQ-S-01", "2000",
|
|
||||||
"rv32f/I-FLE-S-01", "2000",
|
|
||||||
"rv32f/I-FLT-S-01", "2000",
|
|
||||||
"rv32f/I-FMADD-S-01", "2000",
|
|
||||||
"rv32f/I-FMAX-S-01", "2000",
|
|
||||||
"rv32f/I-FMIN-S-01", "2000",
|
|
||||||
"rv32f/I-FMSUB-S-01", "2000",
|
|
||||||
"rv32f/I-FMUL-S-01", "2000",
|
|
||||||
"rv32f/I-FMV-W-X-01", "2000",
|
|
||||||
"rv32f/I-FMV-X-W-01", "2000",
|
|
||||||
"rv32f/I-FNMADD-S-01", "2000",
|
|
||||||
"rv32f/I-FNMSUB-S-01", "2000",
|
|
||||||
"rv32f/I-FSGNJ-S-01", "2000",
|
|
||||||
"rv32f/I-FSGNJN-S-01", "2000",
|
|
||||||
"rv32f/I-FSGNJX-S-01", "2000",
|
|
||||||
"rv32f/I-FSQRT-S-01", "2000",
|
|
||||||
"rv32f/I-FSW-01", "2000",
|
|
||||||
"rv32f/I-FLW-01", "2110",
|
|
||||||
"rv32f/I-FSUB-S-01", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64f[] = '{
|
|
||||||
"rv64f/I-FLW-01", "2110",
|
|
||||||
"rv64f/I-FMV-W-X-01", "2000",
|
|
||||||
"rv64f/I-FMV-X-W-01", "2000",
|
|
||||||
"rv64f/I-FSW-01", "2000",
|
|
||||||
"rv64f/I-FCLASS-S-01", "2000",
|
|
||||||
"rv64f/I-FADD-S-01", "2000",
|
|
||||||
// "rv64f/I-FCVT-S-L-01", "2000",
|
|
||||||
// "rv64f/I-FCVT-S-LU-01", "2000",
|
|
||||||
// "rv64f/I-FCVT-S-W-01", "2000",
|
|
||||||
// "rv64f/I-FCVT-S-WU-01", "2000",
|
|
||||||
"rv64f/I-FCVT-L-S-01", "2000",
|
|
||||||
"rv64f/I-FCVT-LU-S-01", "2000",
|
|
||||||
"rv64f/I-FCVT-W-S-01", "2000",
|
|
||||||
"rv64f/I-FCVT-WU-S-01", "2000",
|
|
||||||
"rv64f/I-FDIV-S-01", "2000",
|
|
||||||
"rv64f/I-FEQ-S-01", "2000",
|
|
||||||
"rv64f/I-FLE-S-01", "2000",
|
|
||||||
"rv64f/I-FLT-S-01", "2000",
|
|
||||||
"rv64f/I-FMADD-S-01", "2000",
|
|
||||||
"rv64f/I-FMAX-S-01", "2000",
|
|
||||||
"rv64f/I-FMIN-S-01", "2000",
|
|
||||||
"rv64f/I-FMSUB-S-01", "2000",
|
|
||||||
"rv64f/I-FMUL-S-01", "2000",
|
|
||||||
"rv64f/I-FNMADD-S-01", "2000",
|
|
||||||
"rv64f/I-FNMSUB-S-01", "2000",
|
|
||||||
"rv64f/I-FSGNJ-S-01", "2000",
|
|
||||||
"rv64f/I-FSGNJN-S-01", "2000",
|
|
||||||
"rv64f/I-FSGNJX-S-01", "2000",
|
|
||||||
"rv64f/I-FSQRT-S-01", "2000",
|
|
||||||
"rv64f/I-FSUB-S-01", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64d[] = '{
|
|
||||||
"rv64d/I-FSD-01", "2000",
|
|
||||||
"rv64d/I-FLD-01", "2420",
|
|
||||||
"rv64d/I-FMV-X-D-01", "2000",
|
|
||||||
"rv64d/I-FMV-D-X-01", "2000",
|
|
||||||
"rv64d/I-FDIV-D-01", "2000",
|
|
||||||
"rv64d/I-FNMADD-D-01", "2000",
|
|
||||||
"rv64d/I-FNMSUB-D-01", "2000",
|
|
||||||
"rv64d/I-FMSUB-D-01", "2000",
|
|
||||||
"rv64d/I-FMAX-D-01", "2000",
|
|
||||||
"rv64d/I-FMIN-D-01", "2000",
|
|
||||||
"rv64d/I-FLE-D-01", "2000",
|
|
||||||
"rv64d/I-FLT-D-01", "2000",
|
|
||||||
"rv64d/I-FEQ-D-01", "2000",
|
|
||||||
"rv64d/I-FADD-D-01", "2000",
|
|
||||||
"rv64d/I-FCLASS-D-01", "2000",
|
|
||||||
"rv64d/I-FMADD-D-01", "2000",
|
|
||||||
"rv64d/I-FMUL-D-01", "2000",
|
|
||||||
"rv64d/I-FSGNJ-D-01", "2000",
|
|
||||||
"rv64d/I-FSGNJN-D-01", "2000",
|
|
||||||
"rv64d/I-FSGNJX-D-01", "2000",
|
|
||||||
"rv64d/I-FSQRT-D-01", "2000",
|
|
||||||
"rv64d/I-FSUB-D-01", "2000",
|
|
||||||
// "rv64d/I-FCVT-D-L-01", "2000",
|
|
||||||
// "rv64d/I-FCVT-D-LU-01", "2000",
|
|
||||||
"rv64d/I-FCVT-D-S-01", "2000",
|
|
||||||
// "rv64d/I-FCVT-D-W-01", "2000",
|
|
||||||
// "rv64d/I-FCVT-D-WU-01", "2000",
|
|
||||||
"rv64d/I-FCVT-L-D-01", "2000",
|
|
||||||
"rv64d/I-FCVT-LU-D-01", "2000",
|
|
||||||
"rv64d/I-FCVT-S-D-01", "2000",
|
|
||||||
"rv64d/I-FCVT-W-D-01", "2000",
|
|
||||||
"rv64d/I-FCVT-WU-D-01", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64a[] = '{
|
|
||||||
"rv64a/WALLY-AMO", "2110",
|
|
||||||
"rv64a/WALLY-LRSC", "2110"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64m[] = '{
|
|
||||||
"rv64m/I-MUL-01", "3000",
|
|
||||||
"rv64m/I-MULH-01", "3000",
|
|
||||||
"rv64m/I-MULHSU-01", "3000",
|
|
||||||
"rv64m/I-MULHU-01", "3000",
|
|
||||||
"rv64m/I-MULW-01", "3000",
|
|
||||||
"rv64m/I-DIV-01", "3000",
|
|
||||||
"rv64m/I-DIVU-01", "3000",
|
|
||||||
"rv64m/I-DIVUW-01", "3000",
|
|
||||||
"rv64m/I-DIVW-01", "3000",
|
|
||||||
"rv64m/I-REM-01", "3000",
|
|
||||||
"rv64m/I-REMU-01", "3000",
|
|
||||||
"rv64m/I-REMUW-01", "3000",
|
|
||||||
"rv64m/I-REMW-01", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64ic[] = '{
|
|
||||||
"rv64ic/I-C-ADD-01", "3000",
|
|
||||||
"rv64ic/I-C-ADDI-01", "3000",
|
|
||||||
"rv64ic/I-C-ADDIW-01", "3000",
|
|
||||||
"rv64ic/I-C-ADDW-01", "3000",
|
|
||||||
"rv64ic/I-C-AND-01", "3000",
|
|
||||||
"rv64ic/I-C-ANDI-01", "3000",
|
|
||||||
"rv64ic/I-C-BEQZ-01", "3000",
|
|
||||||
"rv64ic/I-C-BNEZ-01", "3000",
|
|
||||||
"rv64ic/I-C-EBREAK-01", "2000",
|
|
||||||
"rv64ic/I-C-J-01", "3000",
|
|
||||||
"rv64ic/I-C-JALR-01", "4000",
|
|
||||||
"rv64ic/I-C-JR-01", "4000",
|
|
||||||
"rv64ic/I-C-LD-01", "3420",
|
|
||||||
"rv64ic/I-C-LDSP-01", "3420",
|
|
||||||
"rv64ic/I-C-LI-01", "3000",
|
|
||||||
"rv64ic/I-C-LUI-01", "2000",
|
|
||||||
"rv64ic/I-C-LW-01", "3110",
|
|
||||||
"rv64ic/I-C-LWSP-01", "3110",
|
|
||||||
"rv64ic/I-C-MV-01", "3000",
|
|
||||||
"rv64ic/I-C-NOP-01", "2000",
|
|
||||||
"rv64ic/I-C-OR-01", "3000",
|
|
||||||
"rv64ic/I-C-SD-01", "3000",
|
|
||||||
"rv64ic/I-C-SDSP-01", "3000",
|
|
||||||
"rv64ic/I-C-SLLI-01", "3000",
|
|
||||||
"rv64ic/I-C-SRAI-01", "3000",
|
|
||||||
"rv64ic/I-C-SRLI-01", "3000",
|
|
||||||
"rv64ic/I-C-SUB-01", "3000",
|
|
||||||
"rv64ic/I-C-SUBW-01", "3000",
|
|
||||||
"rv64ic/I-C-SW-01", "3000",
|
|
||||||
"rv64ic/I-C-SWSP-01", "3000",
|
|
||||||
"rv64ic/I-C-XOR-01", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64iNOc[] = {
|
|
||||||
"rv64i/I-MISALIGN_JMP-01","2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64i[] = '{
|
|
||||||
//"rv64i/WALLY-PIPELINE-100K", "f7ff0",
|
|
||||||
"rv64i/I-ADD-01", "3000",
|
|
||||||
"rv64i/I-ADDI-01", "3000",
|
|
||||||
"rv64i/I-ADDIW-01", "3000",
|
|
||||||
"rv64i/I-ADDW-01", "3000",
|
|
||||||
"rv64i/I-AND-01", "3000",
|
|
||||||
"rv64i/I-ANDI-01", "3000",
|
|
||||||
"rv64i/I-AUIPC-01", "3000",
|
|
||||||
"rv64i/I-BEQ-01", "4000",
|
|
||||||
"rv64i/I-BGE-01", "4000",
|
|
||||||
"rv64i/I-BGEU-01", "4000",
|
|
||||||
"rv64i/I-BLT-01", "4000",
|
|
||||||
"rv64i/I-BLTU-01", "4000",
|
|
||||||
"rv64i/I-BNE-01", "4000",
|
|
||||||
"rv64i/I-DELAY_SLOTS-01", "2000",
|
|
||||||
"rv64i/I-EBREAK-01", "2000",
|
|
||||||
"rv64i/I-ECALL-01", "2000",
|
|
||||||
"rv64i/I-ENDIANESS-01", "2010",
|
|
||||||
"rv64i/I-IO-01", "2050",
|
|
||||||
"rv64i/I-JAL-01", "3000",
|
|
||||||
"rv64i/I-JALR-01", "4000",
|
|
||||||
"rv64i/I-LB-01", "4020",
|
|
||||||
"rv64i/I-LBU-01", "4020",
|
|
||||||
"rv64i/I-LD-01", "4420",
|
|
||||||
"rv64i/I-LH-01", "4050",
|
|
||||||
"rv64i/I-LHU-01", "4050",
|
|
||||||
"rv64i/I-LUI-01", "2000",
|
|
||||||
"rv64i/I-LW-01", "4110",
|
|
||||||
"rv64i/I-LWU-01", "4110",
|
|
||||||
"rv64i/I-MISALIGN_LDST-01", "2010",
|
|
||||||
"rv64i/I-NOP-01", "2000",
|
|
||||||
"rv64i/I-OR-01", "3000",
|
|
||||||
"rv64i/I-ORI-01", "3000",
|
|
||||||
"rv64i/I-RF_size-01", "2000",
|
|
||||||
"rv64i/I-RF_width-01", "2000",
|
|
||||||
"rv64i/I-RF_x0-01", "2010",
|
|
||||||
"rv64i/I-SB-01", "4000",
|
|
||||||
"rv64i/I-SD-01", "4000",
|
|
||||||
"rv64i/I-SH-01", "4000",
|
|
||||||
"rv64i/I-SLL-01", "3000",
|
|
||||||
"rv64i/I-SLLI-01", "3000",
|
|
||||||
"rv64i/I-SLLIW-01", "3000",
|
|
||||||
"rv64i/I-SLLW-01", "3000",
|
|
||||||
"rv64i/I-SLT-01", "3000",
|
|
||||||
"rv64i/I-SLTI-01", "3000",
|
|
||||||
"rv64i/I-SLTIU-01", "3000",
|
|
||||||
"rv64i/I-SLTU-01", "3000",
|
|
||||||
"rv64i/I-SRA-01", "3000",
|
|
||||||
"rv64i/I-SRAI-01", "3000",
|
|
||||||
"rv64i/I-SRAIW-01", "3000",
|
|
||||||
"rv64i/I-SRAW-01", "3000",
|
|
||||||
"rv64i/I-SRL-01", "3000",
|
|
||||||
"rv64i/I-SRLI-01", "3000",
|
|
||||||
"rv64i/I-SRLIW-01", "3000",
|
|
||||||
"rv64i/I-SRLW-01", "3000",
|
|
||||||
"rv64i/I-SUB-01", "3000",
|
|
||||||
"rv64i/I-SUBW-01", "3000",
|
|
||||||
"rv64i/I-SW-01", "4000",
|
|
||||||
"rv64i/I-XOR-01", "3000",
|
|
||||||
"rv64i/I-XORI-01", "3000",
|
|
||||||
"rv64i/WALLY-ADD", "4000",
|
|
||||||
"rv64i/WALLY-SUB", "4000",
|
|
||||||
"rv64i/WALLY-ADDI", "3000",
|
|
||||||
"rv64i/WALLY-ANDI", "3000",
|
|
||||||
"rv64i/WALLY-ORI", "3000",
|
|
||||||
"rv64i/WALLY-XORI", "3000",
|
|
||||||
"rv64i/WALLY-SLTI", "3000",
|
|
||||||
"rv64i/WALLY-SLTIU", "3000",
|
|
||||||
"rv64i/WALLY-SLLI", "3000",
|
|
||||||
"rv64i/WALLY-SRLI", "3000",
|
|
||||||
"rv64i/WALLY-SRAI", "3000",
|
|
||||||
"rv64i/WALLY-JAL", "4000",
|
|
||||||
"rv64i/WALLY-JALR", "3000",
|
|
||||||
"rv64i/WALLY-STORE", "3000",
|
|
||||||
"rv64i/WALLY-ADDIW", "3000",
|
|
||||||
"rv64i/WALLY-SLLIW", "3000",
|
|
||||||
"rv64i/WALLY-SRLIW", "3000",
|
|
||||||
"rv64i/WALLY-SRAIW", "3000",
|
|
||||||
"rv64i/WALLY-ADDW", "4000",
|
|
||||||
"rv64i/WALLY-SUBW", "4000",
|
|
||||||
"rv64i/WALLY-SLLW", "3000",
|
|
||||||
"rv64i/WALLY-SRLW", "3000",
|
|
||||||
"rv64i/WALLY-SRAW", "3000",
|
|
||||||
"rv64i/WALLY-BEQ" ,"5000",
|
|
||||||
"rv64i/WALLY-BNE", "5000 ",
|
|
||||||
"rv64i/WALLY-BLTU", "5000 ",
|
|
||||||
"rv64i/WALLY-BLT", "5000",
|
|
||||||
"rv64i/WALLY-BGE", "5000 ",
|
|
||||||
"rv64i/WALLY-BGEU", "5000 ",
|
|
||||||
"rv64i/WALLY-CSRRW", "4000",
|
|
||||||
"rv64i/WALLY-CSRRS", "4000",
|
|
||||||
"rv64i/WALLY-CSRRC", "5000",
|
|
||||||
"rv64i/WALLY-CSRRWI", "4000",
|
|
||||||
"rv64i/WALLY-CSRRSI", "4000",
|
|
||||||
"rv64i/WALLY-CSRRCI", "4000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32a[] = '{
|
|
||||||
"rv32a/WALLY-AMO", "2110",
|
|
||||||
"rv32a/WALLY-LRSC", "2110"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32m[] = '{
|
|
||||||
"rv32m/I-MUL-01", "2000",
|
|
||||||
"rv32m/I-MULH-01", "2000",
|
|
||||||
"rv32m/I-MULHSU-01", "2000",
|
|
||||||
"rv32m/I-MULHU-01", "2000",
|
|
||||||
"rv32m/I-DIV-01", "2000",
|
|
||||||
"rv32m/I-DIVU-01", "2000",
|
|
||||||
"rv32m/I-REM-01", "2000",
|
|
||||||
"rv32m/I-REMU-01", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32ic[] = '{
|
|
||||||
"rv32ic/I-C-ADD-01", "2000",
|
|
||||||
"rv32ic/I-C-ADDI-01", "2000",
|
|
||||||
"rv32ic/I-C-AND-01", "2000",
|
|
||||||
"rv32ic/I-C-ANDI-01", "2000",
|
|
||||||
"rv32ic/I-C-BEQZ-01", "2000",
|
|
||||||
"rv32ic/I-C-BNEZ-01", "2000",
|
|
||||||
"rv32ic/I-C-EBREAK-01", "2000",
|
|
||||||
"rv32ic/I-C-J-01", "2000",
|
|
||||||
"rv32ic/I-C-JALR-01", "3000",
|
|
||||||
"rv32ic/I-C-JR-01", "3000",
|
|
||||||
"rv32ic/I-C-LI-01", "2000",
|
|
||||||
"rv32ic/I-C-LUI-01", "2000",
|
|
||||||
"rv32ic/I-C-LW-01", "2110",
|
|
||||||
"rv32ic/I-C-LWSP-01", "2110",
|
|
||||||
"rv32ic/I-C-MV-01", "2000",
|
|
||||||
"rv32ic/I-C-NOP-01", "2000",
|
|
||||||
"rv32ic/I-C-OR-01", "2000",
|
|
||||||
"rv32ic/I-C-SLLI-01", "2000",
|
|
||||||
"rv32ic/I-C-SRAI-01", "2000",
|
|
||||||
"rv32ic/I-C-SRLI-01", "2000",
|
|
||||||
"rv32ic/I-C-SUB-01", "2000",
|
|
||||||
"rv32ic/I-C-SW-01", "2000",
|
|
||||||
"rv32ic/I-C-SWSP-01", "2000",
|
|
||||||
"rv32ic/I-C-XOR-01", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32iNOc[] = {
|
|
||||||
"rv32i/I-MISALIGN_JMP-01","2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32i[] = {
|
|
||||||
//"rv32i/WALLY-PIPELINE-100K", "10a800",
|
|
||||||
"rv32i/I-ADD-01", "2000",
|
|
||||||
"rv32i/I-ADDI-01","2000",
|
|
||||||
"rv32i/I-AND-01","2000",
|
|
||||||
"rv32i/I-ANDI-01","2000",
|
|
||||||
"rv32i/I-AUIPC-01","2000",
|
|
||||||
"rv32i/I-BEQ-01","3000",
|
|
||||||
"rv32i/I-BGE-01","3000",
|
|
||||||
"rv32i/I-BGEU-01","3000",
|
|
||||||
"rv32i/I-BLT-01","3000",
|
|
||||||
"rv32i/I-BLTU-01","3000",
|
|
||||||
"rv32i/I-BNE-01","3000",
|
|
||||||
"rv32i/I-DELAY_SLOTS-01","2000",
|
|
||||||
"rv32i/I-EBREAK-01","2000",
|
|
||||||
"rv32i/I-ECALL-01","2000",
|
|
||||||
"rv32i/I-ENDIANESS-01","2010",
|
|
||||||
"rv32i/I-IO-01","2030rv",
|
|
||||||
"rv32i/I-JAL-01","3000",
|
|
||||||
"rv32i/I-JALR-01","3000",
|
|
||||||
"rv32i/I-LB-01","3020",
|
|
||||||
"rv32i/I-LBU-01","3020",
|
|
||||||
"rv32i/I-LH-01","3050",
|
|
||||||
"rv32i/I-LHU-01","3050",
|
|
||||||
"rv32i/I-LUI-01","2000",
|
|
||||||
"rv32i/I-LW-01","3110",
|
|
||||||
"rv32i/I-MISALIGN_LDST-01","2010",
|
|
||||||
"rv32i/I-NOP-01","2000",
|
|
||||||
"rv32i/I-OR-01","2000",
|
|
||||||
"rv32i/I-ORI-01","2000",
|
|
||||||
"rv32i/I-RF_size-01","2000",
|
|
||||||
"rv32i/I-RF_width-01","2000",
|
|
||||||
"rv32i/I-RF_x0-01","2010",
|
|
||||||
"rv32i/I-SB-01","3000",
|
|
||||||
"rv32i/I-SH-01","3000",
|
|
||||||
"rv32i/I-SLL-01","2000",
|
|
||||||
"rv32i/I-SLLI-01","2000",
|
|
||||||
"rv32i/I-SLT-01","2000",
|
|
||||||
"rv32i/I-SLTI-01","2000",
|
|
||||||
"rv32i/I-SLTIU-01","2000",
|
|
||||||
"rv32i/I-SLTU-01","2000",
|
|
||||||
"rv32i/I-SRA-01","2000",
|
|
||||||
"rv32i/I-SRAI-01","2000",
|
|
||||||
"rv32i/I-SRL-01","2000",
|
|
||||||
"rv32i/I-SRLI-01","2000",
|
|
||||||
"rv32i/I-SUB-01","2000",
|
|
||||||
"rv32i/I-SW-01","3000",
|
|
||||||
"rv32i/I-XOR-01","2000",
|
|
||||||
"rv32i/I-XORI-01","2000",
|
|
||||||
"rv32i/WALLY-ADD", "3000",
|
|
||||||
"rv32i/WALLY-SUB", "3000",
|
|
||||||
"rv32i/WALLY-ADDI", "2000",
|
|
||||||
"rv32i/WALLY-ANDI", "2000",
|
|
||||||
"rv32i/WALLY-ORI", "2000",
|
|
||||||
"rv32i/WALLY-XORI", "2000",
|
|
||||||
"rv32i/WALLY-SLTI", "2000",
|
|
||||||
"rv32i/WALLY-SLTIU", "2000",
|
|
||||||
"rv32i/WALLY-SLLI", "2000",
|
|
||||||
"rv32i/WALLY-SRLI", "2000",
|
|
||||||
"rv32i/WALLY-SRAI", "2000",
|
|
||||||
"rv32i/WALLY-LOAD", "11c00",
|
|
||||||
"rv32i/WALLY-SUB", "3000",
|
|
||||||
"rv32i/WALLY-STORE", "2000",
|
|
||||||
"rv32i/WALLY-JAL", "3000",
|
|
||||||
"rv32i/WALLY-JALR", "2000",
|
|
||||||
"rv32i/WALLY-BEQ" ,"4000",
|
|
||||||
"rv32i/WALLY-BNE", "4000 ",
|
|
||||||
"rv32i/WALLY-BLTU", "4000 ",
|
|
||||||
"rv32i/WALLY-BLT", "4000",
|
|
||||||
"rv32i/WALLY-BGE", "4000 ",
|
|
||||||
"rv32i/WALLY-BGEU", "4000 ",
|
|
||||||
"rv32i/WALLY-CSRRW", "3000",
|
|
||||||
"rv32i/WALLY-CSRRS", "3000",
|
|
||||||
"rv32i/WALLY-CSRRC", "4000",
|
|
||||||
"rv32i/WALLY-CSRRWI", "3000",
|
|
||||||
"rv32i/WALLY-CSRRSI", "3000",
|
|
||||||
"rv32i/WALLY-CSRRCI", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string testsBP64[] = '{
|
|
||||||
"rv64BP/blink-led", "10000"
|
|
||||||
/* -----\/----- EXCLUDED -----\/-----
|
|
||||||
"rv64BP/simple", "10000",
|
|
||||||
"rv64BP/mmm", "1000000",
|
|
||||||
"rv64BP/linpack_bench", "1000000",
|
|
||||||
"rv64BP/sieve", "1000000",
|
|
||||||
"rv64BP/qsort", "1000000",
|
|
||||||
"rv64BP/dhrystone", "1000000"
|
|
||||||
-----/\----- EXCLUDED -----/\----- */
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64p[] = '{
|
|
||||||
"rv64p/WALLY-MSTATUS", "2000",
|
|
||||||
"rv64p/WALLY-MCAUSE", "3000",
|
|
||||||
"rv64p/WALLY-SCAUSE", "2000",
|
|
||||||
"rv64p/WALLY-MEPC", "5000",
|
|
||||||
"rv64p/WALLY-SEPC", "4000",
|
|
||||||
"rv64p/WALLY-MTVAL", "6000",
|
|
||||||
"rv64p/WALLY-STVAL", "4000",
|
|
||||||
"rv64p/WALLY-MTVEC", "2000",
|
|
||||||
"rv64p/WALLY-STVEC", "2000",
|
|
||||||
"rv64p/WALLY-MARCHID", "4000",
|
|
||||||
"rv64p/WALLY-MIMPID", "4000",
|
|
||||||
"rv64p/WALLY-MHARTID", "4000",
|
|
||||||
"rv64p/WALLY-MVENDORID", "4000",
|
|
||||||
"rv64p/WALLY-MIE", "3000",
|
|
||||||
"rv64p/WALLY-MEDELEG", "4000",
|
|
||||||
"rv64p/WALLY-IP", "2000",
|
|
||||||
"rv64p/WALLY-CSR-PERMISSIONS-M", "5000",
|
|
||||||
"rv64p/WALLY-CSR-PERMISSIONS-S", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32p[] = '{
|
|
||||||
"rv32p/WALLY-MSTATUS", "2000",
|
|
||||||
"rv32p/WALLY-MCAUSE", "3000",
|
|
||||||
"rv32p/WALLY-SCAUSE", "2000",
|
|
||||||
"rv32p/WALLY-MEPC", "5000",
|
|
||||||
"rv32p/WALLY-SEPC", "4000",
|
|
||||||
"rv32p/WALLY-MTVAL", "5000",
|
|
||||||
"rv32p/WALLY-STVAL", "4000",
|
|
||||||
"rv32p/WALLY-MARCHID", "4000",
|
|
||||||
"rv32p/WALLY-MIMPID", "4000",
|
|
||||||
"rv32p/WALLY-MHARTID", "4000",
|
|
||||||
"rv32p/WALLY-MVENDORID", "4000",
|
|
||||||
"rv32p/WALLY-MTVEC", "2000",
|
|
||||||
"rv32p/WALLY-STVEC", "2000",
|
|
||||||
"rv32p/WALLY-MIE", "3000",
|
|
||||||
"rv32p/WALLY-MEDELEG", "4000",
|
|
||||||
"rv32p/WALLY-IP", "3000",
|
|
||||||
"rv32p/WALLY-CSR-PERMISSIONS-M", "5000",
|
|
||||||
"rv32p/WALLY-CSR-PERMISSIONS-S", "3000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests64periph[] = '{
|
|
||||||
"rv64i-periph/WALLY-PERIPH", "2000"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests32periph[] = '{
|
|
||||||
"rv32i-periph/WALLY-PLIC", "2080"
|
|
||||||
};
|
|
||||||
|
|
||||||
string tests[];
|
|
||||||
string ProgramAddrMapFile, ProgramLabelMapFile;
|
string ProgramAddrMapFile, ProgramLabelMapFile;
|
||||||
logic [`AHBW-1:0] HRDATAEXT;
|
logic [`AHBW-1:0] HRDATAEXT;
|
||||||
logic HREADYEXT, HRESPEXT, HREADY;
|
logic HREADYEXT, HRESPEXT;
|
||||||
logic HSELEXT;
|
|
||||||
|
|
||||||
logic [31:0] HADDR;
|
logic [31:0] HADDR;
|
||||||
logic [`AHBW-1:0] HWDATA;
|
logic [`AHBW-1:0] HWDATA;
|
||||||
logic HWRITE;
|
logic HWRITE;
|
||||||
@ -524,97 +67,53 @@ string tests32f[] = '{
|
|||||||
|
|
||||||
logic DCacheFlushDone, DCacheFlushStart;
|
logic DCacheFlushDone, DCacheFlushStart;
|
||||||
|
|
||||||
flopenr #(`XLEN) PCWReg(clk, reset, ~dut.wallypipelinedsoc.core.ieu.dp.StallW, dut.wallypipelinedsoc.core.ifu.PCM, PCW);
|
flopenr #(`XLEN) PCWReg(clk, reset, ~dut.core.ieu.dp.StallW, dut.core.ifu.PCM, PCW);
|
||||||
flopenr #(32) InstrWReg(clk, reset, ~dut.wallypipelinedsoc.core.ieu.dp.StallW, dut.wallypipelinedsoc.core.ifu.InstrM, InstrW);
|
flopenr #(32) InstrWReg(clk, reset, ~dut.core.ieu.dp.StallW, dut.core.ifu.InstrM, InstrW);
|
||||||
|
|
||||||
// check assertions for a legal configuration
|
// check assertions for a legal configuration
|
||||||
riscvassertions riscvassertions();
|
riscvassertions riscvassertions();
|
||||||
logging logging(clk, reset, dut.wallypipelinedsoc.uncore.HADDR, dut.wallypipelinedsoc.uncore.HTRANS);
|
|
||||||
|
|
||||||
// pick tests based on modes supported
|
string signame, memfilename, pathname, romfilename, sdcfilename;
|
||||||
initial begin
|
|
||||||
if (`XLEN == 64) begin // RV64
|
|
||||||
if (`TESTSBP) begin
|
|
||||||
tests = testsBP64;
|
|
||||||
// testsbp should not run the other tests. It starts at address 0 rather than
|
|
||||||
// 0x8000_0000, the next if must remain an else if.
|
|
||||||
end else if (TESTSPERIPH)
|
|
||||||
tests = tests64periph;
|
|
||||||
else if (TESTSPRIV)
|
|
||||||
tests = tests64p;
|
|
||||||
else begin
|
|
||||||
tests = {tests64p,tests64i, tests64periph};
|
|
||||||
if (`C_SUPPORTED) tests = {tests, tests64ic};
|
|
||||||
else tests = {tests, tests64iNOc};
|
|
||||||
if (`M_SUPPORTED) tests = {tests, tests64m};
|
|
||||||
if (`F_SUPPORTED) tests = {tests64f, tests};
|
|
||||||
if (`D_SUPPORTED) tests = {tests64d, tests};
|
|
||||||
if (`VIRTMEM_SUPPORTED) tests = {tests64mmu, tests};
|
|
||||||
if (`A_SUPPORTED) tests = {tests64a, tests};
|
|
||||||
end
|
|
||||||
//tests = {tests64a, tests};
|
|
||||||
end else begin // RV32
|
|
||||||
// *** add the 32 bit bp tests
|
|
||||||
if (TESTSPERIPH)
|
|
||||||
tests = tests32periph;
|
|
||||||
else if (TESTSPRIV)
|
|
||||||
tests = tests32p;
|
|
||||||
else begin
|
|
||||||
tests = {tests32i, tests32p};//,tests32periph}; *** broken at the moment
|
|
||||||
if (`C_SUPPORTED % 2 == 1) tests = {tests, tests32ic};
|
|
||||||
else tests = {tests, tests32iNOc};
|
|
||||||
if (`M_SUPPORTED % 2 == 1) tests = {tests, tests32m};
|
|
||||||
if (`F_SUPPORTED) tests = {tests32f, tests};
|
|
||||||
if (`VIRTMEM_SUPPORTED) tests = {tests32mmu, tests};
|
|
||||||
if (`A_SUPPORTED) tests = {tests32a, tests};
|
|
||||||
end
|
|
||||||
end
|
|
||||||
end
|
|
||||||
|
|
||||||
string signame, memfilename, romfilename, sdcfilename;
|
logic [31:0] GPIOPinsIn, GPIOPinsOut, GPIOPinsEn;
|
||||||
|
|
||||||
logic [3:0] GPIOPinsIn_IO;
|
|
||||||
logic [4:0] GPIOPinsOut_IO;
|
|
||||||
logic UARTSin, UARTSout;
|
logic UARTSin, UARTSout;
|
||||||
logic ddr4_calib_complete;
|
|
||||||
|
|
||||||
|
|
||||||
logic SDCCLK;
|
logic SDCCLK;
|
||||||
tri1 SDCCmd;
|
|
||||||
tri1 [3:0] SDCDat;
|
|
||||||
logic SDCCmdIn;
|
logic SDCCmdIn;
|
||||||
logic SDCCmdOut;
|
logic SDCCmdOut;
|
||||||
logic SDCCmdOE;
|
logic SDCCmdOE;
|
||||||
logic [3:0] SDCDatIn;
|
logic [3:0] SDCDatIn;
|
||||||
|
tri1 [3:0] SDCDat;
|
||||||
|
tri1 SDCCmd;
|
||||||
|
|
||||||
assign SDCCmd = SDCCmdOE ? SDCCmdOut : 1'bz;
|
logic HREADY;
|
||||||
assign SDCCmdIn = SDCCmd;
|
logic HSELEXT;
|
||||||
assign SDCDatIn = SDCDat;
|
|
||||||
|
|
||||||
sdModel sdcard
|
sdModel sdcard
|
||||||
(.sdClk(SDCCLK),
|
(.sdClk(SDCCLK),
|
||||||
.cmd(SDCCmd),
|
.cmd(SDCCmd),
|
||||||
.dat(SDCDat));
|
.dat(SDCDat));
|
||||||
|
|
||||||
|
assign SDCCmd = SDCCmdOE ? SDCCmdOut : 1'bz;
|
||||||
|
assign SDCCmdIn = SDCCmd;
|
||||||
|
assign SDCDatIn = SDCDat;
|
||||||
|
|
||||||
// instantiate device to be tested
|
// instantiate device to be tested
|
||||||
assign GPIOPinsIn = 0;
|
assign GPIOPinsIn = 0;
|
||||||
assign UARTSin = 1;
|
assign UARTSin = 1;
|
||||||
|
|
||||||
ram #(.BASE(`RAM_BASE), .RANGE(`RAM_RANGE))
|
wallypipelinedsoc dut(.clk, .reset_ext, .reset, .HRDATAEXT,.HREADYEXT, .HRESPEXT,.HSELEXT,
|
||||||
ram (.HCLK, .HRESETn, .HADDR, .HWRITE, .HTRANS, .HWDATA, .HSELTim(HSELEXT),
|
|
||||||
.HREADTim(HRDATAEXT), .HREADYTim(HREADYEXT), .HRESPTim(HRESPEXT));
|
|
||||||
|
|
||||||
|
|
||||||
wallypipelinedsocwrapper dut(.clk, .reset_ext, .HRDATAEXT,.HREADYEXT, .HRESPEXT,.HSELEXT,
|
|
||||||
.HCLK, .HRESETn, .HADDR, .HWDATA, .HWRITE, .HSIZE, .HBURST, .HPROT,
|
.HCLK, .HRESETn, .HADDR, .HWDATA, .HWRITE, .HSIZE, .HBURST, .HPROT,
|
||||||
.HTRANS, .HMASTLOCK, .HREADY, .TIMECLK(0), .GPIOPinsIn, .GPIOPinsOut, .GPIOPinsEn,
|
.HTRANS, .HMASTLOCK, .HREADY, .TIMECLK(1'b0), .GPIOPinsIn, .GPIOPinsOut, .GPIOPinsEn,
|
||||||
.UARTSin, .UARTSout, .SDCCmdIn, .SDCCmdOut, .SDCCmdOE, .SDCDatIn, .SDCCLK);
|
.UARTSin, .UARTSout, .SDCCmdIn, .SDCCmdOut, .SDCCmdOE, .SDCDatIn, .SDCCLK);
|
||||||
|
|
||||||
// Track names of instructions
|
// Track names of instructions
|
||||||
instrTrackerTB it(clk, reset, dut.wallypipelinedsoc.core.ieu.dp.FlushE,
|
instrTrackerTB it(clk, reset, dut.core.ieu.dp.FlushE,
|
||||||
dut.wallypipelinedsoc.core.ifu.icache.FinalInstrRawF,
|
dut.core.ifu.FinalInstrRawF[31:0],
|
||||||
dut.wallypipelinedsoc.core.ifu.InstrD, dut.wallypipelinedsoc.core.ifu.InstrE,
|
dut.core.ifu.InstrD, dut.core.ifu.InstrE,
|
||||||
dut.wallypipelinedsoc.core.ifu.InstrM, InstrW,
|
dut.core.ifu.InstrM, InstrW,
|
||||||
InstrFName, InstrDName, InstrEName, InstrMName, InstrWName);
|
InstrFName, InstrDName, InstrEName, InstrMName, InstrWName);
|
||||||
|
|
||||||
// initialize tests
|
// initialize tests
|
||||||
@ -623,57 +122,51 @@ string tests32f[] = '{
|
|||||||
|
|
||||||
initial
|
initial
|
||||||
begin
|
begin
|
||||||
test = 0;
|
test = 1;
|
||||||
totalerrors = 0;
|
totalerrors = 0;
|
||||||
testadr = 0;
|
testadr = 0;
|
||||||
|
testadrNoBase = 0;
|
||||||
// fill memory with defined values to reduce Xs in simulation
|
// fill memory with defined values to reduce Xs in simulation
|
||||||
// Quick note the memory will need to be initialized. The C library does not
|
// Quick note the memory will need to be initialized. The C library does not
|
||||||
// guarantee the initialized reads. For example a strcmp can read 6 byte
|
// guarantee the initialized reads. For example a strcmp can read 6 byte
|
||||||
// strings, but uses a load double to read them in. If the last 2 bytes are
|
// strings, but uses a load double to read them in. If the last 2 bytes are
|
||||||
// not initialized the compare results in an 'x' which propagates through
|
// not initialized the compare results in an 'x' which propagates through
|
||||||
// the design.
|
// the design.
|
||||||
if (`XLEN == 32) meminit = 32'hFEDC0123;
|
if (TEST == "coremark")
|
||||||
else meminit = 64'hFEDCBA9876543210;
|
|
||||||
// *** broken because DTIM also drives RAM
|
|
||||||
/* -----\/----- EXCLUDED -----\/-----
|
|
||||||
if (`TESTSBP) begin
|
|
||||||
for (i=MemStartAddr; i<MemEndAddr; i = i+1) begin
|
|
||||||
ram.RAM[i] = meminit;
|
|
||||||
end
|
|
||||||
end
|
|
||||||
-----/\----- EXCLUDED -----/\----- */
|
|
||||||
// read test vectors into memory
|
// read test vectors into memory
|
||||||
memfilename = {"../../imperas-riscv-tests/work/", tests[test], ".elf.memfile"};
|
pathname = tvpaths[tests[0].atoi()];
|
||||||
//romfilename = {"../../testsBP/fpga-test-sdc/bin/fpga-test-sdc.hex"};
|
/* if (tests[0] == `IMPERASTEST)
|
||||||
|
pathname = tvpaths[0];
|
||||||
|
else pathname = tvpaths[1]; */
|
||||||
|
memfilename = {pathname, tests[test], ".elf.memfile"};
|
||||||
romfilename = {"../../tests/testsBP/fpga-test-sdc/bin/fpga-test-sdc.memfile"};
|
romfilename = {"../../tests/testsBP/fpga-test-sdc/bin/fpga-test-sdc.memfile"};
|
||||||
sdcfilename = {"../src/sdc/tb/ramdisk2.hex"};
|
sdcfilename = {"../testbench/sdc/ramdisk2.hex"};
|
||||||
$readmemh(memfilename, ram.RAM);
|
//$readmemh(romfilename, dut.wallypipelinedsoc.uncore.bootrom.bootrom.memory.RAM);
|
||||||
$readmemh(romfilename, dut.wallypipelinedsoc.uncore.bootram.bootram.RAM);
|
|
||||||
$readmemh(sdcfilename, sdcard.FLASHmem);
|
$readmemh(sdcfilename, sdcard.FLASHmem);
|
||||||
ProgramAddrMapFile = {"../../imperas-riscv-tests/work/rv64BP/fpga-test-sdc.objdump.addr"};
|
|
||||||
ProgramLabelMapFile = {"../../imperas-riscv-tests/work/rv64BP/fpga-test-sdc.objdump.lab"};
|
ProgramAddrMapFile = {pathname, tests[test], ".elf.objdump.addr"};
|
||||||
|
ProgramLabelMapFile = {pathname, tests[test], ".elf.objdump.lab"};
|
||||||
$display("Read memfile %s", memfilename);
|
$display("Read memfile %s", memfilename);
|
||||||
reset = 0; #97; reset = 1; # 1000; reset = 0;
|
reset_ext = 0; #97 reset_ext = 1; # 1000; reset_ext = 0;
|
||||||
end
|
end
|
||||||
|
|
||||||
// generate clock to sequence tests
|
// generate clock to sequence tests
|
||||||
always
|
always
|
||||||
begin
|
begin
|
||||||
clk = 1; # 5; clk = 0; # 5;
|
clk = 1; # 5; clk = 0; # 5;
|
||||||
|
// if ($time % 100000 == 0) $display("Time is %0t", $time);
|
||||||
end
|
end
|
||||||
|
|
||||||
// check results
|
// check results
|
||||||
always @(negedge clk)
|
always @(negedge clk)
|
||||||
begin
|
begin
|
||||||
/* -----\/----- EXCLUDED -----\/-----
|
if (TEST == "coremark")
|
||||||
if (dut.wallypipelinedsoc.core.priv.EcallFaultM &
|
if (dut.core.priv.priv.ecallM) begin
|
||||||
(dut.wallypipelinedsoc.core.ieu.dp.regf.rf[3] == 1 |
|
$display("Benchmark: coremark is done.");
|
||||||
(dut.wallypipelinedsoc.core.ieu.dp.regf.we3 &
|
$stop;
|
||||||
dut.wallypipelinedsoc.core.ieu.dp.regf.a3 == 3 &
|
end
|
||||||
dut.wallypipelinedsoc.core.ieu.dp.regf.wd3 == 1))) begin
|
|
||||||
-----/\----- EXCLUDED -----/\----- */
|
|
||||||
if (DCacheFlushDone) begin
|
if (DCacheFlushDone) begin
|
||||||
//$display("Code ended with ecall with gp = 1");
|
|
||||||
|
|
||||||
#600; // give time for instructions in pipeline to finish
|
#600; // give time for instructions in pipeline to finish
|
||||||
// clear signature to prevent contamination from previous tests
|
// clear signature to prevent contamination from previous tests
|
||||||
@ -682,7 +175,7 @@ string tests32f[] = '{
|
|||||||
end
|
end
|
||||||
|
|
||||||
// read signature, reformat in 64 bits if necessary
|
// read signature, reformat in 64 bits if necessary
|
||||||
signame = {"../../imperas-riscv-tests/work/", tests[test], ".signature.output"};
|
signame = {pathname, tests[test], ".signature.output"};
|
||||||
$readmemh(signame, sig32);
|
$readmemh(signame, sig32);
|
||||||
i = 0;
|
i = 0;
|
||||||
while (i < SIGNATURESIZE) begin
|
while (i < SIGNATURESIZE) begin
|
||||||
@ -693,8 +186,8 @@ string tests32f[] = '{
|
|||||||
signature[i/2] = {sig32[i+1], sig32[i]};
|
signature[i/2] = {sig32[i+1], sig32[i]};
|
||||||
i = i + 2;
|
i = i + 2;
|
||||||
end
|
end
|
||||||
if (sig32[i-1] === 'bx) begin
|
if (i >= 4 & sig32[i-4] === 'bx) begin
|
||||||
if (i == 1) begin
|
if (i == 4) begin
|
||||||
i = SIGNATURESIZE+1; // flag empty file
|
i = SIGNATURESIZE+1; // flag empty file
|
||||||
$display(" Error: empty test file");
|
$display(" Error: empty test file");
|
||||||
end else i = SIGNATURESIZE; // skip over the rest of the x's for efficiency
|
end else i = SIGNATURESIZE; // skip over the rest of the x's for efficiency
|
||||||
@ -705,17 +198,27 @@ string tests32f[] = '{
|
|||||||
errors = (i == SIGNATURESIZE+1); // error if file is empty
|
errors = (i == SIGNATURESIZE+1); // error if file is empty
|
||||||
i = 0;
|
i = 0;
|
||||||
testadr = (`RAM_BASE+tests[test+1].atohex())/(`XLEN/8);
|
testadr = (`RAM_BASE+tests[test+1].atohex())/(`XLEN/8);
|
||||||
|
testadrNoBase = (tests[test+1].atohex())/(`XLEN/8);
|
||||||
/* verilator lint_off INFINITELOOP */
|
/* verilator lint_off INFINITELOOP */
|
||||||
while (signature[i] !== 'bx) begin
|
while (signature[i] !== 'bx) begin
|
||||||
//$display("signature[%h] = %h", i, signature[i]);
|
logic [`XLEN-1:0] sig;
|
||||||
if (signature[i] !== ram.RAM[testadr+i] &
|
/* -----\/----- EXCLUDED -----\/-----
|
||||||
(signature[i] !== DCacheFlushFSM.ShadowRAM[testadr+i])) begin
|
if (`DMEM == `MEM_TIM) sig = dut.core.lsu.dtim.dtim.ram.memory.RAM[testadrNoBase+i];
|
||||||
if (signature[i+4] !== 'bx | signature[i] !== 32'hFFFFFFFF) begin
|
else sig = dut.uncore.ram.ram.memory.RAM[testadrNoBase+i];
|
||||||
|
-----/\----- EXCLUDED -----/\----- */
|
||||||
|
//$display("signature[%h] = %h sig = %h", i, signature[i], sig);
|
||||||
|
if (signature[i] !== sig &
|
||||||
|
//if (signature[i] !== dut.core.lsu.dtim.ram.memory.RAM[testadr+i] &
|
||||||
|
(signature[i] !== DCacheFlushFSM.ShadowRAM[testadr+i])) begin // ***i+1?
|
||||||
|
if ((signature[i] !== '0 | signature[i+4] !== 'x)) begin
|
||||||
|
// if (signature[i+4] !== 'bx | (signature[i] !== 32'hFFFFFFFF & signature[i] !== 32'h00000000)) begin
|
||||||
// report errors unless they are garbage at the end of the sim
|
// report errors unless they are garbage at the end of the sim
|
||||||
// kind of hacky test for garbage right now
|
// kind of hacky test for garbage right now
|
||||||
|
$display("sig4 = %h ne %b", signature[i+4], signature[i+4] !== 'bx);
|
||||||
errors = errors+1;
|
errors = errors+1;
|
||||||
$display(" Error on test %s result %d: adr = %h sim (D$) %h sim (TIM) = %h, signature = %h",
|
$display(" Error on test %s result %d: adr = %h sim (D$) %h sim (DMEM) = %h, signature = %h",
|
||||||
tests[test], i, (testadr+i)*(`XLEN/8), DCacheFlushFSM.ShadowRAM[testadr+i], ram.RAM[testadr+i], signature[i]);
|
tests[test], i, (testadr+i)*(`XLEN/8), DCacheFlushFSM.ShadowRAM[testadr+i], sig, signature[i]);
|
||||||
|
// tests[test], i, (testadr+i)*(`XLEN/8), DCacheFlushFSM.ShadowRAM[testadr+i], dut.core.lsu.dtim.ram.memory.RAM[testadr+i], signature[i]);
|
||||||
$stop;//***debug
|
$stop;//***debug
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
@ -736,51 +239,66 @@ string tests32f[] = '{
|
|||||||
$stop;
|
$stop;
|
||||||
end
|
end
|
||||||
else begin
|
else begin
|
||||||
memfilename = {"../../imperas-riscv-tests/work/", tests[test], ".elf.memfile"};
|
//pathname = tvpaths[tests[0]];
|
||||||
$readmemh(memfilename, ram.RAM);
|
memfilename = {pathname, tests[test], ".elf.memfile"};
|
||||||
$display("Read memfile %s", memfilename);
|
//$readmemh(memfilename, dut.uncore.ram.ram.memory.RAM);
|
||||||
ProgramAddrMapFile = {"../../imperas-riscv-tests/work/", tests[test], ".elf.objdump.addr"};
|
/* -----\/----- EXCLUDED -----\/-----
|
||||||
ProgramLabelMapFile = {"../../imperas-riscv-tests/work/", tests[test], ".elf.objdump.lab"};
|
if (`IMEM == `MEM_TIM) $readmemh(memfilename, dut.core.ifu.irom.irom.ram.memory.RAM);
|
||||||
reset = 0; #97; reset = 1; # 1000; reset = 0;
|
else $readmemh(memfilename, dut.uncore.ram.ram.memory.RAM);
|
||||||
|
if (`DMEM == `MEM_TIM) $readmemh(memfilename, dut.core.lsu.dtim.dtim.ram.memory.RAM);
|
||||||
|
-----/\----- EXCLUDED -----/\----- */
|
||||||
|
|
||||||
|
ProgramAddrMapFile = {pathname, tests[test], ".elf.objdump.addr"};
|
||||||
|
ProgramLabelMapFile = {pathname, tests[test], ".elf.objdump.lab"};
|
||||||
|
$display("Read memfile %s", memfilename);
|
||||||
|
reset_ext = 1; # 47; reset_ext = 0;
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
end // always @ (negedge clk)
|
end // always @ (negedge clk)
|
||||||
|
|
||||||
// track the current function or global label
|
// track the current function or global label
|
||||||
/* -----\/----- EXCLUDED -----\/-----
|
|
||||||
if (DEBUG == 1) begin : FunctionName
|
if (DEBUG == 1) begin : FunctionName
|
||||||
FunctionName FunctionName(.reset(reset),
|
FunctionName FunctionName(.reset(reset),
|
||||||
.clk(clk),
|
.clk(clk),
|
||||||
.ProgramAddrMapFile(ProgramAddrMapFile),
|
.ProgramAddrMapFile(ProgramAddrMapFile),
|
||||||
.ProgramLabelMapFile(ProgramLabelMapFile));
|
.ProgramLabelMapFile(ProgramLabelMapFile));
|
||||||
end
|
end
|
||||||
-----/\----- EXCLUDED -----/\----- */
|
|
||||||
|
|
||||||
assign DCacheFlushStart = dut.wallypipelinedsoc.core.priv.EcallFaultM &
|
// Termination condition
|
||||||
(dut.wallypipelinedsoc.core.ieu.dp.regf.rf[3] == 1 |
|
// terminate on a specific ECALL after li x3,1 for old Imperas tests, *** remove this when old imperas tests are removed
|
||||||
(dut.wallypipelinedsoc.core.ieu.dp.regf.we3 &
|
// or sw gp,-56(t0) for new Imperas tests
|
||||||
dut.wallypipelinedsoc.core.ieu.dp.regf.a3 == 3 &
|
// or sd gp, -56(t0)
|
||||||
dut.wallypipelinedsoc.core.ieu.dp.regf.wd3 == 1));
|
// or on a jump to self infinite loop (6f) for RISC-V Arch tests
|
||||||
|
logic ecf; // remove this once we don't rely on old Imperas tests with Ecalls
|
||||||
|
if (`ZICSR_SUPPORTED) assign ecf = dut.core.priv.priv.EcallFaultM;
|
||||||
|
else assign ecf = 0;
|
||||||
|
assign DCacheFlushStart = ecf &
|
||||||
|
(dut.core.ieu.dp.regf.rf[3] == 1 |
|
||||||
|
(dut.core.ieu.dp.regf.we3 &
|
||||||
|
dut.core.ieu.dp.regf.a3 == 3 &
|
||||||
|
dut.core.ieu.dp.regf.wd3 == 1)) |
|
||||||
|
(dut.core.ifu.InstrM == 32'h6f | dut.core.ifu.InstrM == 32'hfc32a423 | dut.core.ifu.InstrM == 32'hfc32a823) & dut.core.ieu.c.InstrValidM;
|
||||||
|
|
||||||
DCacheFlushFSM DCacheFlushFSM(.clk(clk),
|
DCacheFlushFSM DCacheFlushFSM(.clk(clk),
|
||||||
.reset(reset),
|
.reset(reset),
|
||||||
.start(DCacheFlushStart),
|
.start(DCacheFlushStart),
|
||||||
.done(DCacheFlushDone));
|
.done(DCacheFlushDone));
|
||||||
|
|
||||||
|
|
||||||
// initialize the branch predictor
|
// initialize the branch predictor
|
||||||
if (`BPRED_ENABLED == 1)
|
if (`BPRED_ENABLED == 1)
|
||||||
initial begin
|
initial begin
|
||||||
$readmemb(`TWO_BIT_PRELOAD, dut.wallypipelinedsoc.core.ifu.bpred.bpred.Predictor.DirPredictor.PHT.mem);
|
$readmemb(`TWO_BIT_PRELOAD, dut.core.ifu.bpred.bpred.Predictor.DirPredictor.PHT.mem);
|
||||||
$readmemb(`BTB_PRELOAD, dut.wallypipelinedsoc.core.ifu.bpred.bpred.TargetPredictor.memory.mem);
|
$readmemb(`BTB_PRELOAD, dut.core.ifu.bpred.bpred.TargetPredictor.memory.mem);
|
||||||
end
|
end
|
||||||
endmodule
|
endmodule
|
||||||
|
|
||||||
module riscvassertions();
|
module riscvassertions;
|
||||||
// Legal number of PMP entries are 0, 16, or 64
|
|
||||||
initial begin
|
initial begin
|
||||||
assert (`PMP_ENTRIES == 0 | `PMP_ENTRIES==16 | `PMP_ENTRIES==64) else $error("Illegal number of PMP entries: PMP_ENTRIES must be 0, 16, or 64");
|
assert (`PMP_ENTRIES == 0 | `PMP_ENTRIES==16 | `PMP_ENTRIES==64) else $error("Illegal number of PMP entries: PMP_ENTRIES must be 0, 16, or 64");
|
||||||
assert (`F_SUPPORTED | ~`D_SUPPORTED) else $error("Can't support double without supporting float");
|
assert (`S_SUPPORTED | `VIRTMEM_SUPPORTED == 0) else $error("Virtual memory requires S mode support");
|
||||||
|
assert (`DIV_BITSPERCYCLE == 1 | `DIV_BITSPERCYCLE==2 | `DIV_BITSPERCYCLE==4) else $error("Illegal number of divider bits/cycle: DIV_BITSPERCYCLE must be 1, 2, or 4");
|
||||||
|
assert (`F_SUPPORTED | ~`D_SUPPORTED) else $error("Can't support double (D) without supporting float (F)");
|
||||||
|
assert (`I_SUPPORTED ^ `E_SUPPORTED) else $error("Exactly one of I and E must be supported");
|
||||||
assert (`XLEN == 64 | ~`D_SUPPORTED) else $error("Wally does not yet support D extensions on RV32");
|
assert (`XLEN == 64 | ~`D_SUPPORTED) else $error("Wally does not yet support D extensions on RV32");
|
||||||
assert (`DCACHE_WAYSIZEINBYTES <= 4096 | (`DMEM != `MEM_CACHE) | `VIRTMEM_SUPPORTED == 0) else $error("DCACHE_WAYSIZEINBYTES cannot exceed 4 KiB when caches and vitual memory is enabled (to prevent aliasing)");
|
assert (`DCACHE_WAYSIZEINBYTES <= 4096 | (`DMEM != `MEM_CACHE) | `VIRTMEM_SUPPORTED == 0) else $error("DCACHE_WAYSIZEINBYTES cannot exceed 4 KiB when caches and vitual memory is enabled (to prevent aliasing)");
|
||||||
assert (`DCACHE_LINELENINBITS >= 128 | (`DMEM != `MEM_CACHE)) else $error("DCACHE_LINELENINBITS must be at least 128 when caches are enabled");
|
assert (`DCACHE_LINELENINBITS >= 128 | (`DMEM != `MEM_CACHE)) else $error("DCACHE_LINELENINBITS must be at least 128 when caches are enabled");
|
||||||
@ -788,14 +306,21 @@ module riscvassertions();
|
|||||||
assert (`ICACHE_WAYSIZEINBYTES <= 4096 | (`IMEM != `MEM_CACHE) | `VIRTMEM_SUPPORTED == 0) else $error("ICACHE_WAYSIZEINBYTES cannot exceed 4 KiB when caches and vitual memory is enabled (to prevent aliasing)");
|
assert (`ICACHE_WAYSIZEINBYTES <= 4096 | (`IMEM != `MEM_CACHE) | `VIRTMEM_SUPPORTED == 0) else $error("ICACHE_WAYSIZEINBYTES cannot exceed 4 KiB when caches and vitual memory is enabled (to prevent aliasing)");
|
||||||
assert (`ICACHE_LINELENINBITS >= 32 | (`IMEM != `MEM_CACHE)) else $error("ICACHE_LINELENINBITS must be at least 32 when caches are enabled");
|
assert (`ICACHE_LINELENINBITS >= 32 | (`IMEM != `MEM_CACHE)) else $error("ICACHE_LINELENINBITS must be at least 32 when caches are enabled");
|
||||||
assert (`ICACHE_LINELENINBITS < `ICACHE_WAYSIZEINBYTES*8) else $error("ICACHE_LINELENINBITS must be smaller than way size");
|
assert (`ICACHE_LINELENINBITS < `ICACHE_WAYSIZEINBYTES*8) else $error("ICACHE_LINELENINBITS must be smaller than way size");
|
||||||
assert (2**$clog2(`DCACHE_LINELENINBITS) == `DCACHE_LINELENINBITS) else $error("DCACHE_LINELENINBITS must be a power of 2");
|
assert (2**$clog2(`DCACHE_LINELENINBITS) == `DCACHE_LINELENINBITS | (`DMEM != `MEM_CACHE)) else $error("DCACHE_LINELENINBITS must be a power of 2");
|
||||||
assert (2**$clog2(`DCACHE_WAYSIZEINBYTES) == `DCACHE_WAYSIZEINBYTES) else $error("DCACHE_WAYSIZEINBYTES must be a power of 2");
|
assert (2**$clog2(`DCACHE_WAYSIZEINBYTES) == `DCACHE_WAYSIZEINBYTES | (`DMEM != `MEM_CACHE)) else $error("DCACHE_WAYSIZEINBYTES must be a power of 2");
|
||||||
assert (2**$clog2(`ICACHE_LINELENINBITS) == `ICACHE_LINELENINBITS) else $error("ICACHE_LINELENINBITS must be a power of 2");
|
assert (2**$clog2(`ICACHE_LINELENINBITS) == `ICACHE_LINELENINBITS | (`IMEM != `MEM_CACHE)) else $error("ICACHE_LINELENINBITS must be a power of 2");
|
||||||
assert (2**$clog2(`ICACHE_WAYSIZEINBYTES) == `ICACHE_WAYSIZEINBYTES) else $error("ICACHE_WAYSIZEINBYTES must be a power of 2");
|
assert (2**$clog2(`ICACHE_WAYSIZEINBYTES) == `ICACHE_WAYSIZEINBYTES | (`IMEM != `MEM_CACHE)) else $error("ICACHE_WAYSIZEINBYTES must be a power of 2");
|
||||||
assert (`ICACHE_NUMWAYS == 1 | (`IMEM != `MEM_CACHE)) else $warning("Multiple Instruction Cache ways not yet implemented");
|
assert (2**$clog2(`ITLB_ENTRIES) == `ITLB_ENTRIES | `VIRTMEM_SUPPORTED==0) else $error("ITLB_ENTRIES must be a power of 2");
|
||||||
assert (2**$clog2(`ITLB_ENTRIES) == `ITLB_ENTRIES) else $error("ITLB_ENTRIES must be a power of 2");
|
assert (2**$clog2(`DTLB_ENTRIES) == `DTLB_ENTRIES | `VIRTMEM_SUPPORTED==0) else $error("DTLB_ENTRIES must be a power of 2");
|
||||||
assert (2**$clog2(`DTLB_ENTRIES) == `DTLB_ENTRIES) else $error("DTLB_ENTRIES must be a power of 2");
|
assert (`RAM_RANGE >= 56'h07FFFFFF) else $warning("Some regression tests will fail if RAM_RANGE is less than 56'h07FFFFFF");
|
||||||
assert (`RAM_RANGE >= 56'h07FFFFFF) else $error("Some regression tests will fail if RAM_RANGE is less than 56'h07FFFFFF");
|
assert (`ZICSR_SUPPORTED == 1 | (`PMP_ENTRIES == 0 & `VIRTMEM_SUPPORTED == 0)) else $error("PMP_ENTRIES and VIRTMEM_SUPPORTED must be zero if ZICSR not supported.");
|
||||||
|
assert (`ZICSR_SUPPORTED == 1 | (`S_SUPPORTED == 0 & `U_SUPPORTED == 0)) else $error("S and U modes not supported if ZISR not supported");
|
||||||
|
assert (`U_SUPPORTED | (`S_SUPPORTED == 0)) else $error ("S mode only supported if U also is supported");
|
||||||
|
// assert (`MEM_DCACHE == 0 | `MEM_DTIM == 0) else $error("Can't simultaneously have a data cache and TIM");
|
||||||
|
assert (`DMEM == `MEM_CACHE | `VIRTMEM_SUPPORTED ==0) else $error("Virtual memory needs dcache");
|
||||||
|
assert (`IMEM == `MEM_CACHE | `VIRTMEM_SUPPORTED ==0) else $error("Virtual memory needs icache");
|
||||||
|
assert (`DMEM == `MEM_CACHE | `DBUS ==0) else $error("Dcache rquires DBUS.");
|
||||||
|
assert (`IMEM == `MEM_CACHE | `IBUS ==0) else $error("Icache rquires IBUS.");
|
||||||
end
|
end
|
||||||
endmodule
|
endmodule
|
||||||
|
|
||||||
@ -809,70 +334,70 @@ module DCacheFlushFSM
|
|||||||
input logic start,
|
input logic start,
|
||||||
output logic done);
|
output logic done);
|
||||||
|
|
||||||
localparam integer numlines = testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.NUMLINES;
|
|
||||||
localparam integer numways = testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.NUMWAYS;
|
|
||||||
localparam integer linebytelen = testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.LINEBYTELEN;
|
|
||||||
localparam integer numwords = testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.LINELEN/`XLEN;
|
|
||||||
localparam integer lognumlines = $clog2(numlines);
|
|
||||||
localparam integer loglinebytelen = $clog2(linebytelen);
|
|
||||||
localparam integer lognumways = $clog2(numways);
|
|
||||||
localparam integer tagstart = lognumlines + loglinebytelen;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
genvar index, way, cacheWord;
|
|
||||||
logic [`XLEN-1:0] CacheData [numways-1:0] [numlines-1:0] [numwords-1:0];
|
|
||||||
logic [`XLEN-1:0] CacheTag [numways-1:0] [numlines-1:0] [numwords-1:0];
|
|
||||||
logic CacheValid [numways-1:0] [numlines-1:0] [numwords-1:0];
|
|
||||||
logic CacheDirty [numways-1:0] [numlines-1:0] [numwords-1:0];
|
|
||||||
logic [`PA_BITS-1:0] CacheAdr [numways-1:0] [numlines-1:0] [numwords-1:0];
|
|
||||||
genvar adr;
|
genvar adr;
|
||||||
|
|
||||||
logic [`XLEN-1:0] ShadowRAM[`RAM_BASE>>(1+`XLEN/32):(`RAM_RANGE+`RAM_BASE)>>1+(`XLEN/32)];
|
logic [`XLEN-1:0] ShadowRAM[`RAM_BASE>>(1+`XLEN/32):(`RAM_RANGE+`RAM_BASE)>>1+(`XLEN/32)];
|
||||||
|
|
||||||
for(index = 0; index < numlines; index++) begin
|
if(`DMEM == `MEM_CACHE) begin
|
||||||
for(way = 0; way < numways; way++) begin
|
localparam integer numlines = testbench.dut.core.lsu.bus.dcache.dcache.NUMLINES;
|
||||||
for(cacheWord = 0; cacheWord < numwords; cacheWord++) begin
|
localparam integer numways = testbench.dut.core.lsu.bus.dcache.dcache.NUMWAYS;
|
||||||
copyShadow #(.tagstart(tagstart), .loglinebytelen(loglinebytelen))
|
localparam integer linebytelen = testbench.dut.core.lsu.bus.dcache.dcache.LINEBYTELEN;
|
||||||
copyShadow(.clk,
|
localparam integer numwords = testbench.dut.core.lsu.bus.dcache.dcache.LINELEN/`XLEN;
|
||||||
.start,
|
localparam integer lognumlines = $clog2(numlines);
|
||||||
.tag(testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.CacheWays[way].CacheTagMem.StoredData[index]),
|
localparam integer loglinebytelen = $clog2(linebytelen);
|
||||||
.valid(testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.CacheWays[way].ValidBits[index]),
|
localparam integer lognumways = $clog2(numways);
|
||||||
.dirty(testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.CacheWays[way].DirtyBits[index]),
|
localparam integer tagstart = lognumlines + loglinebytelen;
|
||||||
.data(testbench.dut.wallypipelinedsoc.core.lsu.bus.dcache.CacheWays[way].word[cacheWord].CacheDataMem.StoredData[index]),
|
|
||||||
.index(index),
|
|
||||||
.cacheWord(cacheWord),
|
|
||||||
.CacheData(CacheData[way][index][cacheWord]),
|
genvar index, way, cacheWord;
|
||||||
.CacheAdr(CacheAdr[way][index][cacheWord]),
|
logic [`XLEN-1:0] CacheData [numways-1:0] [numlines-1:0] [numwords-1:0];
|
||||||
.CacheTag(CacheTag[way][index][cacheWord]),
|
logic [`XLEN-1:0] CacheTag [numways-1:0] [numlines-1:0] [numwords-1:0];
|
||||||
.CacheValid(CacheValid[way][index][cacheWord]),
|
logic CacheValid [numways-1:0] [numlines-1:0] [numwords-1:0];
|
||||||
.CacheDirty(CacheDirty[way][index][cacheWord]));
|
logic CacheDirty [numways-1:0] [numlines-1:0] [numwords-1:0];
|
||||||
|
logic [`PA_BITS-1:0] CacheAdr [numways-1:0] [numlines-1:0] [numwords-1:0];
|
||||||
|
for(index = 0; index < numlines; index++) begin
|
||||||
|
for(way = 0; way < numways; way++) begin
|
||||||
|
for(cacheWord = 0; cacheWord < numwords; cacheWord++) begin
|
||||||
|
copyShadow #(.tagstart(tagstart),
|
||||||
|
.loglinebytelen(loglinebytelen))
|
||||||
|
copyShadow(.clk,
|
||||||
|
.start,
|
||||||
|
.tag(testbench.dut.core.lsu.bus.dcache.dcache.CacheWays[way].CacheTagMem.StoredData[index]),
|
||||||
|
.valid(testbench.dut.core.lsu.bus.dcache.dcache.CacheWays[way].ValidBits[index]),
|
||||||
|
.dirty(testbench.dut.core.lsu.bus.dcache.dcache.CacheWays[way].DirtyBits[index]),
|
||||||
|
.data(testbench.dut.core.lsu.bus.dcache.dcache.CacheWays[way].word[cacheWord].CacheDataMem.StoredData[index]),
|
||||||
|
.index(index),
|
||||||
|
.cacheWord(cacheWord),
|
||||||
|
.CacheData(CacheData[way][index][cacheWord]),
|
||||||
|
.CacheAdr(CacheAdr[way][index][cacheWord]),
|
||||||
|
.CacheTag(CacheTag[way][index][cacheWord]),
|
||||||
|
.CacheValid(CacheValid[way][index][cacheWord]),
|
||||||
|
.CacheDirty(CacheDirty[way][index][cacheWord]));
|
||||||
|
end
|
||||||
|
end
|
||||||
end
|
end
|
||||||
end
|
|
||||||
end
|
|
||||||
|
|
||||||
integer i, j, k;
|
integer i, j, k;
|
||||||
|
|
||||||
always @(posedge clk) begin
|
always @(posedge clk) begin
|
||||||
if (start) begin #1
|
if (start) begin #1
|
||||||
#1
|
#1
|
||||||
for(i = 0; i < numlines; i++) begin
|
for(i = 0; i < numlines; i++) begin
|
||||||
for(j = 0; j < numways; j++) begin
|
for(j = 0; j < numways; j++) begin
|
||||||
for(k = 0; k < numwords; k++) begin
|
for(k = 0; k < numwords; k++) begin
|
||||||
if (CacheValid[j][i][k] & CacheDirty[j][i][k]) begin
|
if (CacheValid[j][i][k] & CacheDirty[j][i][k]) begin
|
||||||
ShadowRAM[CacheAdr[j][i][k] >> $clog2(`XLEN/8)] = CacheData[j][i][k];
|
ShadowRAM[CacheAdr[j][i][k] >> $clog2(`XLEN/8)] = CacheData[j][i][k];
|
||||||
end
|
end
|
||||||
|
end
|
||||||
|
end
|
||||||
|
end
|
||||||
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
end
|
end
|
||||||
end
|
flop #(1) doneReg(.clk, .d(start), .q(done));
|
||||||
end
|
|
||||||
end
|
|
||||||
|
|
||||||
|
|
||||||
flop #(1) doneReg(.clk(clk),
|
|
||||||
.d(start),
|
|
||||||
.q(done));
|
|
||||||
|
|
||||||
endmodule
|
endmodule
|
||||||
|
|
||||||
module copyShadow
|
module copyShadow
|
||||||
|
|||||||
@ -1,3 +1,5 @@
|
|||||||
include ../../Makefile.include
|
include ../../Makefile.include
|
||||||
|
|
||||||
|
RVTEST_DEFINES += -march=rv$(XLEN)ia # KMG: removed compressed instructions from privileged tests
|
||||||
|
|
||||||
$(eval $(call compile_template,-march=rv32iac -mabi=ilp32 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN)))
|
$(eval $(call compile_template,-march=rv32iac -mabi=ilp32 -Drvtest_mtrap_routine=True -DXLEN=$(XLEN)))
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -0,0 +1,990 @@
|
|||||||
|
00000aaa # Test 5.3.1.4: readback value from writing mie to enable interrupts
|
||||||
|
00000001 # mcause from an instruction access fault
|
||||||
|
00000000 # mtval of faulting instruction address (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000002 # mcause from an Illegal instruction
|
||||||
|
00000000 # mtval of faulting instruction (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000003 # mcause from Breakpoint
|
||||||
|
800003ec # mtval of breakpoint instruction adress (0x800003ec)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000004 # mcause from load address misaligned
|
||||||
|
800003f5 # mtval of misaligned address (0x800003f5)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000005 # mcause from load access
|
||||||
|
00000000 # mtval of accessed adress (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000006 # mcause from store misaligned
|
||||||
|
80000411 # mtval of address with misaligned store instr (0x80000410)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000007 # mcause from store access
|
||||||
|
00000000 # mtval of accessed address (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
0000000b # mcause from M mode ecall
|
||||||
|
00000000 # mtval of ecall (*** defined to be zero for now)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000008 # mcause from U mode ecall
|
||||||
|
00000000 # mtval of ecall (*** defined to be zero for now)
|
||||||
|
00000080 # masked out mstatus.MPP = 00 (from U mode), mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000009 # mcause from S mode ecall
|
||||||
|
00000000 # mtval of ecall (*** defined to be zero for now)
|
||||||
|
00000880 # masked out mstatus.MPP = 01 (from S mode), mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
80000007 # mcause value from m time interrupt
|
||||||
|
00000000 # mtval for mtime interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
80000001 # mcause value from m soft interrupt
|
||||||
|
00000000 # mtval for msoft interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
8000000b # mcause value from m ext interrupt
|
||||||
|
00000000 # mtval for mext interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
0000b309 # medeleg after attempted write of all 1's (only some bits are writeable)
|
||||||
|
00000222 # mideleg after attempted write of all 1's (only some bits are writeable)
|
||||||
|
00000001 # Test 5.3.1.4: mcause from an instruction access fault
|
||||||
|
00000000 # mtval of faulting instruction address (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000002 # mcause from an Illegal instruction
|
||||||
|
00000000 # mtval of faulting instruction (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000003 # mcause from Breakpoint
|
||||||
|
800003ec # mtval of breakpoint instruction adress (0x800003ec)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000004 # mcause from load address misaligned
|
||||||
|
800003f5 # mtval of misaligned address (0x800003f5)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000005 # mcause from load access
|
||||||
|
00000000 # mtval of accessed adress (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000006 # mcause from store misaligned
|
||||||
|
80000411 # mtval of address with misaligned store instr (0x80000410)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
00000007 # mcause from store access
|
||||||
|
00000000 # mtval of accessed address (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
0000000b # mcause from M mode ecall
|
||||||
|
00000000 # mtval of ecall (*** defined to be zero for now)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
80000007 # mcause value from time interrupt
|
||||||
|
00000000 # mtval for mtime interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
80000001 # mcause value from m soft interrupt
|
||||||
|
00000000 # mtval for msoft interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
000007ec # value to indicate a vectored interrupts
|
||||||
|
0000000b # mcause value from m ext interrupt
|
||||||
|
00000000 # mtval for mext interrupt (0x0)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
0000000b # mcause from M mode ecall from test termination
|
||||||
|
00000000 # mtval of ecall (*** defined to be zero for now)
|
||||||
|
00001880 # masked out mstatus.MPP = 11, mstatus.MPIE = 1, and mstatus.MIE = 0
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
|
deadbeef
|
||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -25,7 +25,7 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
# Test 5.2.3.6: Test that all the machine mode CSR's are innaccessible for reads and writes in S mode.
|
# Test 5.2.3.6: Test that all the machine mode CSR's are innaccessible for reads and writes in S mode.
|
||||||
|
|
||||||
|
|||||||
@ -25,7 +25,7 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
# Test 5.2.3.6: Test that all the machine mode CSR's are innaccessible for reads and writes in R mode.
|
# Test 5.2.3.6: Test that all the machine mode CSR's are innaccessible for reads and writes in R mode.
|
||||||
|
|
||||||
|
|||||||
@ -25,7 +25,8 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
||||||
|
|
||||||
INIT_TEST_TABLE
|
INIT_TEST_TABLE
|
||||||
|
|||||||
@ -38,7 +38,8 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
||||||
|
|
||||||
INIT_TEST_TABLE
|
INIT_TEST_TABLE
|
||||||
|
|||||||
@ -25,7 +25,8 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
j test_loop_setup // begin test loop/table tests instead of executing inline code.
|
||||||
|
|
||||||
INIT_TEST_TABLE
|
INIT_TEST_TABLE
|
||||||
|
|||||||
@ -52,16 +52,128 @@ RVTEST_CODE_BEGIN
|
|||||||
// address for stack
|
// address for stack
|
||||||
la sp, top_of_stack
|
la sp, top_of_stack
|
||||||
|
|
||||||
// trap handler setup
|
.endm
|
||||||
la x1, machine_trap_handler
|
|
||||||
csrrw x4, mtvec, x1 // x4 reserved for "default" trap handler address that needs to be restored before halting this test.
|
// Code to trigger traps goes here so we have consistent mtvals for instruction adresses
|
||||||
|
// Even if more tests are added.
|
||||||
|
.macro CAUSE_TRAP_TRIGGERS
|
||||||
|
j end_trap_triggers
|
||||||
|
|
||||||
|
// The following tests involve causing many of the interrupts and exceptions that are easily done in a few lines
|
||||||
|
// This effectively includes everything that isn't to do with page faults (virtual memory)
|
||||||
|
|
||||||
|
cause_instr_addr_misaligned:
|
||||||
|
// cause a misaligned address trap
|
||||||
|
auipc x28, 0 // get current PC, which is aligned
|
||||||
|
addi x28, x28, 0x3 // add 1 to pc to create misaligned address
|
||||||
|
jr x28 // cause instruction address midaligned trap
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_instr_access:
|
||||||
|
la x28, 0x0 // address zero is an address with no memory
|
||||||
|
sw x1, -4(sp) // push the return adress ontot the stack
|
||||||
|
addi sp, sp, -4
|
||||||
|
jalr x28 // cause instruction access trap
|
||||||
|
lw x1, 0(sp) // pop return adress back from the stack
|
||||||
|
addi sp, sp, 4
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_illegal_instr:
|
||||||
|
.word 0x00000000 // a 32 bit zros is an illegal instruction
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_breakpnt: // ****
|
||||||
|
ebreak
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_load_addr_misaligned:
|
||||||
|
auipc x28, 0 // get current PC, which is aligned
|
||||||
|
addi x28, x28, 1
|
||||||
|
lw x29, 0(x28) // load from a misaligned address
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_load_acc:
|
||||||
|
la x28, 0 // 0 is an address with no memory
|
||||||
|
lw x29, 0(x28) // load from unimplemented address
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_store_addr_misaligned:
|
||||||
|
auipc x28, 0 // get current PC, which is aligned
|
||||||
|
addi x28, x28, 1
|
||||||
|
sw x29, 0(x28) // store to a misaligned address
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_store_acc:
|
||||||
|
la x28, 0 // 0 is an address with no memory
|
||||||
|
sw x29, 0(x28) // store to unimplemented address
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_ecall:
|
||||||
|
// *** ASSUMES you have already gone to the mode you need to call this from.
|
||||||
|
ecall
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_time_interrupt:
|
||||||
|
// The following code works for both RV32 and RV64.
|
||||||
|
// RV64 alone would be easier using double-word adds and stores
|
||||||
|
li x28, 0x30 // Desired offset from the present time
|
||||||
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
|
la x30, 0x0200BFF8 // MTIME register in CLINT
|
||||||
|
lw x7, 0(x30) // low word of MTIME
|
||||||
|
lw x31, 4(x30) // high word of MTIME
|
||||||
|
add x28, x7, x28 // add desired offset to the current time
|
||||||
|
bgtu x28, x7, nowrap // check new time exceeds current time (no wraparound)
|
||||||
|
addi x31, x31, 1 // if wrap, increment most significant word
|
||||||
|
sw x31,4(x29) // store into most significant word of MTIMECMP
|
||||||
|
nowrap:
|
||||||
|
sw x28, 0(x29) // store into least significant word of MTIMECMP
|
||||||
|
loop: j loop // wait until interrupt occurs
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_soft_interrupt:
|
||||||
|
la x28, 0x02000000 // MSIP register in CLINT
|
||||||
|
li x29, 1 // 1 in the lsb
|
||||||
|
sw x29, 0(x28) // Write MSIP bit
|
||||||
|
ret
|
||||||
|
|
||||||
|
cause_ext_interrupt:
|
||||||
|
li x28, 0x10060000 // load base GPIO memory location
|
||||||
|
li x29, 0x1
|
||||||
|
sw x29, 8(x28) // enable the first pin as an output
|
||||||
|
sw x29, 28(x28) // set first pin to high interrupt enable
|
||||||
|
sw x29, 40(x28) // write a 1 to the first output pin (cause interrupt)
|
||||||
|
ret
|
||||||
|
|
||||||
|
end_trap_triggers:
|
||||||
|
.endm
|
||||||
|
|
||||||
|
.macro TRAP_HANDLER MODE, VECTORED=1, DEBUG=0
|
||||||
|
// MODE decides which mode this trap handler will be taken in (M or S mode)
|
||||||
|
// Vectored decides whether interrumpts are handled with the vector table at trap_handler_MODE (1)
|
||||||
|
// vs Using the non-vector approach the rest of the trap handler takes (0)
|
||||||
|
// DEBUG decides whether we will print mtval a string with status.mpie, status.mie, and status.mpp to the signature (1)
|
||||||
|
// vs not saving that info to the signature (0)
|
||||||
|
|
||||||
|
|
||||||
|
// Set up the exception Handler, keeping the original handler in x4.
|
||||||
|
la x1, trap_handler_\MODE\()
|
||||||
|
ori x1, x1, \VECTORED // set mode field of tvec to VECTORED, which will force vectored interrupts if it's 1.
|
||||||
|
|
||||||
|
.if (\MODE\() == m)
|
||||||
|
csrrw x4, \MODE\()tvec, x1 // x4 reserved for "default" trap handler address that needs to be restored before halting this test.
|
||||||
|
.else
|
||||||
|
csrw \MODE\()tvec, x1 // we only neet save the machine trap handler and this if statement ensures it isn't overwritten
|
||||||
|
.endif
|
||||||
|
|
||||||
li a0, 0
|
li a0, 0
|
||||||
li a1, 0
|
li a1, 0
|
||||||
li a2, 0 // reset trap handler inputs to zero
|
li a2, 0 // reset trap handler inputs to zero
|
||||||
|
|
||||||
// go to beginning of S file where we can decide between using the test data loop
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
// or using the macro inline code insertion
|
li x30, 0xFFFFFFFF
|
||||||
j s_file_begin
|
sw x30, 0(x29) // set mtimecmp to 0xFFFFFFFF to really make sure time interrupts don't go off immediately after being enabled
|
||||||
|
|
||||||
|
j trap_handler_end_\MODE\() // skip the trap handler when it is being defined.
|
||||||
|
|
||||||
// ---------------------------------------------------------------------------------------------
|
// ---------------------------------------------------------------------------------------------
|
||||||
// General traps Handler
|
// General traps Handler
|
||||||
@ -96,38 +208,77 @@ RVTEST_CODE_BEGIN
|
|||||||
// --------------------------------------------------------------------------------------------
|
// --------------------------------------------------------------------------------------------
|
||||||
|
|
||||||
|
|
||||||
machine_trap_handler:
|
.align 2
|
||||||
|
trap_handler_\MODE\():
|
||||||
|
j trap_unvectored_\MODE\() // for the unvectored implimentation: jump past this table of addresses into the actual handler
|
||||||
|
// *** ASSUMES that a cause value of 0 for an interrupt is unimplemented
|
||||||
|
// otherwise, a vectored interrupt handler should jump to trap_handler_\MODE\() + 4 * Interrupt cause code
|
||||||
|
// No matter the value of VECTORED, exceptions (not interrupts) are handled in an unvecotred way
|
||||||
|
j soft_interrupt_\MODE\() // 1: instruction access fault // the zero spot is taken up by the instruction to skip this table.
|
||||||
|
j segfault_\MODE\() // 2: reserved
|
||||||
|
j soft_interrupt_\MODE\() // 3: breakpoint
|
||||||
|
j segfault_\MODE\() // 4: reserved
|
||||||
|
j time_interrupt_\MODE\() // 5: load access fault
|
||||||
|
j segfault_\MODE\() // 6: reserved
|
||||||
|
j time_interrupt_\MODE\() // 7: store access fault
|
||||||
|
j segfault_\MODE\() // 8: reserved
|
||||||
|
j ext_interrupt_\MODE\() // 9: ecall from S-mode
|
||||||
|
j segfault_\MODE\() // 10: reserved
|
||||||
|
j ext_interrupt_\MODE\() // 11: ecall from M-mode
|
||||||
|
// 12 through >=16 are reserved or designated for platform use
|
||||||
|
|
||||||
|
trap_unvectored_\MODE\():
|
||||||
// The processor is always in machine mode when a trap takes us here
|
// The processor is always in machine mode when a trap takes us here
|
||||||
// save registers on stack before using
|
// save registers on stack before using
|
||||||
sw x1, -4(sp)
|
sw x1, -4(sp)
|
||||||
sw x5, -8(sp)
|
sw x5, -8(sp)
|
||||||
|
|
||||||
// Record trap
|
// Record trap
|
||||||
csrr x1, mcause // record the mcause
|
csrr x1, \MODE\()cause // record the mcause
|
||||||
sw x1, 0(x16)
|
sw x1, 0(x16)
|
||||||
addi x6, x6, 4
|
addi x6, x6, 4
|
||||||
addi x16, x16, 4 // update pointers for logging results
|
addi x16, x16, 4 // update pointers for logging results
|
||||||
|
|
||||||
|
.if (\DEBUG\() == 1) // record extra information (MTVAL, some status bits) about traps
|
||||||
|
csrr x1, \MODE\()tval
|
||||||
|
sw x1, 0(x16)
|
||||||
|
addi x6, x6, 4
|
||||||
|
addi x16, x16, 4
|
||||||
|
|
||||||
|
csrr x1, \MODE\()status
|
||||||
|
.if (\MODE\() == m) // Taking traps in different modes means we want to get different bits from the status register.
|
||||||
|
li x5, 0x1888 // mask bits to select MPP, MPIE, and MIE.
|
||||||
|
.else
|
||||||
|
li x5, 0x122 // mask bits to select SPP, SPIE, and SIE.
|
||||||
|
.endif
|
||||||
|
and x5, x5, x1
|
||||||
|
sw x5, 0(x16) // store masked out status bits to the output
|
||||||
|
addi x6, x6, 4
|
||||||
|
addi x16, x16, 4
|
||||||
|
|
||||||
|
.endif
|
||||||
|
|
||||||
// Respond to trap based on cause
|
// Respond to trap based on cause
|
||||||
// All interrupts should return after being logged
|
// All interrupts should return after being logged
|
||||||
|
csrr x1, \MODE\()cause
|
||||||
li x5, 0x8000000000000000 // if msb is set, it is an interrupt
|
li x5, 0x8000000000000000 // if msb is set, it is an interrupt
|
||||||
and x5, x5, x1
|
and x5, x5, x1
|
||||||
bnez x5, trapreturn // return from interrupt
|
bnez x5, trapreturn_\MODE\() // return from interrupt
|
||||||
// Other trap handling is specified in the vector Table
|
// Other trap handling is specified in the vector Table
|
||||||
slli x1, x1, 2 // multiply cause by 4 to get offset in vector Table
|
slli x1, x1, 2 // multiply cause by 4 to get offset in vector Table
|
||||||
la x5, trap_handler_vector_table
|
la x5, exception_vector_table_\MODE\()
|
||||||
add x5, x5, x1 // compute address of vector in Table
|
add x5, x5, x1 // compute address of vector in Table
|
||||||
lw x5, 0(x5) // fectch address of handler from vector Table
|
lw x5, 0(x5) // fectch address of handler from vector Table
|
||||||
jr x5 // and jump to the handler
|
jr x5 // and jump to the handler
|
||||||
|
|
||||||
segfault:
|
segfault_\MODE\():
|
||||||
lw x5, -8(sp) // restore registers from stack before faulting
|
lw x5, -8(sp) // restore registers from stack before faulting
|
||||||
lw x1, -4(sp)
|
lw x1, -4(sp)
|
||||||
j terminate_test // halt program.
|
j terminate_test // halt program.
|
||||||
|
|
||||||
trapreturn:
|
trapreturn_\MODE\():
|
||||||
// look at the instruction to figure out whether to add 2 or 4 bytes to PC, or go to address specified in a1
|
// look at the instruction to figure out whether to add 2 or 4 bytes to PC, or go to address specified in a1
|
||||||
csrr x1, mepc // get the mepc
|
csrr x1, \MODE\()epc // get the mepc
|
||||||
addi x1, x1, 4 // *** should be 2 for compressed instructions, see note.
|
addi x1, x1, 4 // *** should be 2 for compressed instructions, see note.
|
||||||
|
|
||||||
|
|
||||||
@ -151,13 +302,13 @@ trapreturn:
|
|||||||
// csrr x1, mepc // get the mepc again
|
// csrr x1, mepc // get the mepc again
|
||||||
// addi x1, x1, 4 // add 4 to find the next instruction
|
// addi x1, x1, 4 // add 4 to find the next instruction
|
||||||
|
|
||||||
trapreturn_specified:
|
trapreturn_specified_\MODE\():
|
||||||
// reset the necessary pointers and registers (x1, x5, x6, and the return address going to mepc)
|
// reset the necessary pointers and registers (x1, x5, x6, and the return address going to mepc)
|
||||||
// so that when we return to a new virtual address, they're all in the right spot as well.
|
// so that when we return to a new virtual address, they're all in the right spot as well.
|
||||||
|
|
||||||
beqz a1, trapreturn_finished // either update values, of go to default return address.
|
beqz a1, trapreturn_finished_\MODE\() // either update values, of go to default return address.
|
||||||
|
|
||||||
la x5, trap_return_pagetype_table
|
la x5, trap_return_pagetype_table_\MODE\()
|
||||||
slli a2, a2, 2
|
slli a2, a2, 2
|
||||||
add x5, x5, a2
|
add x5, x5, a2
|
||||||
lw a2, 0(x5) // a2 = number of offset bits in current page type
|
lw a2, 0(x5) // a2 = number of offset bits in current page type
|
||||||
@ -189,54 +340,93 @@ trapreturn_specified:
|
|||||||
li a1, 0
|
li a1, 0
|
||||||
li a2, 0 // reset trapreturn inputs to the trap handler
|
li a2, 0 // reset trapreturn inputs to the trap handler
|
||||||
|
|
||||||
trapreturn_finished:
|
trapreturn_finished_\MODE\():
|
||||||
csrw mepc, x1 // update the mepc with address of next instruction
|
csrw \MODE\()epc, x1 // update the mepc with address of next instruction
|
||||||
lw x5, -8(sp) // restore registers from stack before returning
|
lw x5, -8(sp) // restore registers from stack before returning
|
||||||
lw x1, -4(sp)
|
lw x1, -4(sp)
|
||||||
mret // return from trap
|
\MODE\()ret // return from trap
|
||||||
|
|
||||||
ecallhandler:
|
ecallhandler_\MODE\():
|
||||||
// Check input parameter a0. encoding above.
|
// Check input parameter a0. encoding above.
|
||||||
// *** ASSUMES: that this trap is being handled in machine mode. in other words, that nothing odd has been written to the medeleg or mideleg csrs.
|
// *** ASSUMES: that this trap is being handled in machine mode. in other words, that nothing odd has been written to the medeleg or mideleg csrs.
|
||||||
li x5, 2 // case 2: change to machine mode
|
li x5, 2 // case 2: change to machine mode
|
||||||
beq a0, x5, ecallhandler_changetomachinemode
|
beq a0, x5, ecallhandler_changetomachinemode_\MODE\()
|
||||||
li x5, 3 // case 3: change to supervisor mode
|
li x5, 3 // case 3: change to supervisor mode
|
||||||
beq a0, x5, ecallhandler_changetosupervisormode
|
beq a0, x5, ecallhandler_changetosupervisormode_\MODE\()
|
||||||
li x5, 4 // case 4: change to user mode
|
li x5, 4 // case 4: change to user mode
|
||||||
beq a0, x5, ecallhandler_changetousermode
|
beq a0, x5, ecallhandler_changetousermode_\MODE\()
|
||||||
// unsupported ecalls should segfault
|
// unsupported ecalls should segfault
|
||||||
j segfault
|
j segfault_\MODE\()
|
||||||
|
|
||||||
ecallhandler_changetomachinemode:
|
ecallhandler_changetomachinemode_\MODE\():
|
||||||
// Force mstatus.MPP (bits 12:11) to 11 to enter machine mode after mret
|
// Force mstatus.MPP (bits 12:11) to 11 to enter machine mode after mret
|
||||||
li x1, 0b1100000000000
|
li x1, 0b1100000000000
|
||||||
csrs mstatus, x1
|
csrs \MODE\()status, x1
|
||||||
j trapreturn
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
ecallhandler_changetosupervisormode:
|
ecallhandler_changetosupervisormode_\MODE\():
|
||||||
// Force mstatus.MPP (bits 12:11) to 01 to enter supervisor mode after mret
|
// Force mstatus.MPP (bits 12:11) to 01 to enter supervisor mode after mret
|
||||||
li x1, 0b1100000000000
|
li x1, 0b1100000000000
|
||||||
csrc mstatus, x1
|
csrc \MODE\()status, x1
|
||||||
li x1, 0b0100000000000
|
li x1, 0b0100000000000
|
||||||
csrs mstatus, x1
|
csrs \MODE\()status, x1
|
||||||
j trapreturn
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
ecallhandler_changetousermode:
|
ecallhandler_changetousermode_\MODE\():
|
||||||
// Force mstatus.MPP (bits 12:11) to 00 to enter user mode after mret
|
// Force mstatus.MPP (bits 12:11) to 00 to enter user mode after mret
|
||||||
li x1, 0b1100000000000
|
li x1, 0b1100000000000
|
||||||
csrc mstatus, x1
|
csrc \MODE\()status, x1
|
||||||
j trapreturn
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
instrfault:
|
instrpagefault_\MODE\():
|
||||||
lw x1, -4(sp) // load return address int x1 (the address AFTER the jal into faulting page)
|
lw x1, -4(sp) // load return address int x1 (the address AFTER the jal into faulting page)
|
||||||
j trapreturn_finished // puts x1 into mepc, restores stack and returns to program (outside of faulting page)
|
j trapreturn_finished_\MODE\() // puts x1 into mepc, restores stack and returns to program (outside of faulting page)
|
||||||
|
|
||||||
illegalinstr:
|
instrfault_\MODE\():
|
||||||
j trapreturn // return to the code after recording the mcause
|
lw x1, -4(sp) // load return address int x1 (the address AFTER the jal to the faulting address)
|
||||||
|
j trapreturn_finished_\MODE\() // return to the code after recording the mcause
|
||||||
|
|
||||||
accessfault:
|
illegalinstr_\MODE\():
|
||||||
|
j trapreturn_\MODE\() // return to the code after recording the mcause
|
||||||
|
|
||||||
|
accessfault_\MODE\():
|
||||||
// *** What do I have to do here?
|
// *** What do I have to do here?
|
||||||
j trapreturn
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
|
addr_misaligned_\MODE\():
|
||||||
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
|
breakpt_\MODE\():
|
||||||
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
|
soft_interrupt_\MODE\():
|
||||||
|
li x5, 0x7EC // write 0x7EC (looks like VEC) to the output before the mcause and extras to indicate that this trap was handled with a vector table.
|
||||||
|
sw x5, 0(x16)
|
||||||
|
addi x6, x6, 4
|
||||||
|
addi x16, x16, 4
|
||||||
|
la x28, 0x02000000 // Reset by clearing MSIP interrupt from CLINT
|
||||||
|
sw x0, 0(x28)
|
||||||
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
|
time_interrupt_\MODE\():
|
||||||
|
li x5, 0x7EC
|
||||||
|
sw x5, 0(x16)
|
||||||
|
addi x6, x6, 4
|
||||||
|
addi x16, x16, 4
|
||||||
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
|
li x30, 0xFFFFFFFF
|
||||||
|
sw x30, 0(x29) // reset interrupt by setting mtimecmp to 0xFFFFFFFF
|
||||||
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
|
ext_interrupt_\MODE\():
|
||||||
|
li x5, 0x7EC
|
||||||
|
sw x5, 0(x16)
|
||||||
|
addi x6, x6, 4
|
||||||
|
addi x16, x16, 4
|
||||||
|
li x28, 0x10060000 // reset interrupt by clearing all the GPIO bits
|
||||||
|
sw x0, 8(x28) // disable the first pin as an output
|
||||||
|
sw x0, 40(x28) // write a 0 to the first output pin (reset interrupt)
|
||||||
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
// Table of trap behavior
|
// Table of trap behavior
|
||||||
// lists what to do on each exception (not interrupts)
|
// lists what to do on each exception (not interrupts)
|
||||||
@ -244,29 +434,30 @@ accessfault:
|
|||||||
// Expected exceptions should increment the EPC to the next instruction and return
|
// Expected exceptions should increment the EPC to the next instruction and return
|
||||||
|
|
||||||
.align 2 // aligns this data table to an 4 byte boundary
|
.align 2 // aligns this data table to an 4 byte boundary
|
||||||
trap_handler_vector_table:
|
exception_vector_table_\MODE\():
|
||||||
.4byte segfault // 0: instruction address misaligned
|
.4byte addr_misaligned_\MODE\() // 0: instruction address misaligned
|
||||||
.4byte instrfault // 1: instruction access fault
|
.4byte instrfault_\MODE\() // 1: instruction access fault
|
||||||
.4byte illegalinstr // 2: illegal instruction
|
.4byte illegalinstr_\MODE\() // 2: illegal instruction
|
||||||
.4byte segfault // 3: breakpoint
|
.4byte breakpt_\MODE\() // 3: breakpoint
|
||||||
.4byte segfault // 4: load address misaligned
|
.4byte addr_misaligned_\MODE\() // 4: load address misaligned
|
||||||
.4byte accessfault // 5: load access fault
|
.4byte accessfault_\MODE\() // 5: load access fault
|
||||||
.4byte segfault // 6: store address misaligned
|
.4byte addr_misaligned_\MODE\() // 6: store address misaligned
|
||||||
.4byte accessfault // 7: store access fault
|
.4byte accessfault_\MODE\() // 7: store access fault
|
||||||
.4byte ecallhandler // 8: ecall from U-mode
|
.4byte ecallhandler_\MODE\() // 8: ecall from U-mode
|
||||||
.4byte ecallhandler // 9: ecall from S-mode
|
.4byte ecallhandler_\MODE\() // 9: ecall from S-mode
|
||||||
.4byte segfault // 10: reserved
|
.4byte segfault_\MODE\() // 10: reserved
|
||||||
.4byte ecallhandler // 11: ecall from M-mode
|
.4byte ecallhandler_\MODE\() // 11: ecall from M-mode
|
||||||
.4byte instrfault // 12: instruction page fault
|
.4byte instrpagefault_\MODE\() // 12: instruction page fault
|
||||||
.4byte trapreturn // 13: load page fault
|
.4byte trapreturn_\MODE\() // 13: load page fault
|
||||||
.4byte segfault // 14: reserved
|
.4byte segfault_\MODE\() // 14: reserved
|
||||||
.4byte trapreturn // 15: store page fault
|
.4byte trapreturn_\MODE\() // 15: store page fault
|
||||||
|
|
||||||
.align 2
|
.align 2
|
||||||
trap_return_pagetype_table:
|
trap_return_pagetype_table_\MODE\():
|
||||||
.4byte 0xC // 0: kilopage has 12 offset bits
|
.4byte 0xC // 0: kilopage has 12 offset bits
|
||||||
.4byte 0x16 // 1: megapage has 22 offset bits
|
.4byte 0x16 // 1: megapage has 22 offset bits
|
||||||
|
|
||||||
|
trap_handler_end_\MODE\(): // place to jump to so we can skip the trap handler and continue with the test
|
||||||
.endm
|
.endm
|
||||||
|
|
||||||
// Test Summary table!
|
// Test Summary table!
|
||||||
@ -367,7 +558,7 @@ trap_return_pagetype_table:
|
|||||||
// they generally do not fault or cause issues as long as these modes are enabled
|
// they generally do not fault or cause issues as long as these modes are enabled
|
||||||
// *** add functionality to check if modes are enabled before jumping? maybe cause a fault if not?
|
// *** add functionality to check if modes are enabled before jumping? maybe cause a fault if not?
|
||||||
|
|
||||||
.macro GOTO_M_MODE RETURN_VPN RETURN_PAGETYPE
|
.macro GOTO_M_MODE RETURN_VPN=0x0 RETURN_PAGETYPE=0x0
|
||||||
li a0, 2 // determine trap handler behavior (go to machine mode)
|
li a0, 2 // determine trap handler behavior (go to machine mode)
|
||||||
li a1, \RETURN_VPN // return VPN
|
li a1, \RETURN_VPN // return VPN
|
||||||
li a2, \RETURN_PAGETYPE // return page types
|
li a2, \RETURN_PAGETYPE // return page types
|
||||||
@ -375,7 +566,7 @@ trap_return_pagetype_table:
|
|||||||
// now in S mode
|
// now in S mode
|
||||||
.endm
|
.endm
|
||||||
|
|
||||||
.macro GOTO_S_MODE RETURN_VPN RETURN_PAGETYPE
|
.macro GOTO_S_MODE RETURN_VPN=0x0 RETURN_PAGETYPE=0x0
|
||||||
li a0, 3 // determine trap handler behavior (go to supervisor mode)
|
li a0, 3 // determine trap handler behavior (go to supervisor mode)
|
||||||
li a1, \RETURN_VPN // return VPN
|
li a1, \RETURN_VPN // return VPN
|
||||||
li a2, \RETURN_PAGETYPE // return page types
|
li a2, \RETURN_PAGETYPE // return page types
|
||||||
@ -383,7 +574,7 @@ trap_return_pagetype_table:
|
|||||||
// now in S mode
|
// now in S mode
|
||||||
.endm
|
.endm
|
||||||
|
|
||||||
.macro GOTO_U_MODE RETURN_VPN RETURN_PAGETYPE
|
.macro GOTO_U_MODE RETURN_VPN=0x0 RETURN_PAGETYPE=0x0
|
||||||
li a0, 4 // determine trap handler behavior (go to user mode)
|
li a0, 4 // determine trap handler behavior (go to user mode)
|
||||||
li a1, \RETURN_VPN // return VPN
|
li a1, \RETURN_VPN // return VPN
|
||||||
li a2, \RETURN_PAGETYPE // return page types
|
li a2, \RETURN_PAGETYPE // return page types
|
||||||
|
|||||||
@ -25,7 +25,7 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
// Test 5.2.3.1: testing Read-only access to Machine info CSRs
|
// Test 5.2.3.1: testing Read-only access to Machine info CSRs
|
||||||
CSR_R_ACCESS mvendorid
|
CSR_R_ACCESS mvendorid
|
||||||
|
|||||||
@ -25,7 +25,7 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
// Test 5.3.2.2: Machine ISA register test
|
// Test 5.3.2.2: Machine ISA register test
|
||||||
|
|
||||||
// Misa is a specific case *** so I don't want to add a whole test case for reading nonzero but unkown value CSRs.
|
// Misa is a specific case *** so I don't want to add a whole test case for reading nonzero but unkown value CSRs.
|
||||||
|
|||||||
@ -0,0 +1,45 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
//
|
||||||
|
// WALLY-unvectored-interrupt
|
||||||
|
//
|
||||||
|
// Author: Kip Macsai-Goren <kmacsaigoren@g.hmc.edu>
|
||||||
|
//
|
||||||
|
// Created 2022-03-11
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-TEST-LIB-64.h"
|
||||||
|
|
||||||
|
INIT_TESTS
|
||||||
|
|
||||||
|
// test 5.3.1.5 Unvectored interrupt tests
|
||||||
|
|
||||||
|
TRAP_HANDLER m, VECTORED=0, DEBUG=1 // turn off vectored interrupts, while turning on recording of mstatus bits.
|
||||||
|
|
||||||
|
li x28, 0x8
|
||||||
|
csrs sstatus, x28 // set sstatus.MIE bit to 1 // *** might be unneccessary for s mode
|
||||||
|
WRITE_READ_CSR mie, 0xFFF // *** commented out until I can get the trap handler (and spike for time interrupts) to work correctly with interrupts
|
||||||
|
|
||||||
|
// cause traps, ensuring that we DONT go through the vectored part of the trap handler
|
||||||
|
// *** this assumes that interrupt code 0 remains reserved
|
||||||
|
|
||||||
|
CAUSE_TIME_INTERRUPT // *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
CAUSE_SOFT_INTERRUPT // *** exiting out of the trap handler after these is current;y broken
|
||||||
|
CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
END_TESTS
|
||||||
|
|
||||||
|
TEST_STACK_AND_DATA
|
||||||
@ -25,7 +25,8 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
// Test 5.3.2.3: Scratch registers test
|
// Test 5.3.2.3: Scratch registers test
|
||||||
|
|
||||||
WRITE_READ_CSR mscratch, 0x111 // check that mscratch is readable and writeable in machine mode
|
WRITE_READ_CSR mscratch, 0x111 // check that mscratch is readable and writeable in machine mode
|
||||||
|
|||||||
@ -25,7 +25,7 @@
|
|||||||
|
|
||||||
INIT_TESTS
|
INIT_TESTS
|
||||||
|
|
||||||
s_file_begin:
|
TRAP_HANDLER m
|
||||||
|
|
||||||
// Test 5.3.2.3: Scratch registers test
|
// Test 5.3.2.3: Scratch registers test
|
||||||
WRITE_READ_CSR sscratch, 0x111 // check that sscratch is readable and writeable in machine mode
|
WRITE_READ_CSR sscratch, 0x111 // check that sscratch is readable and writeable in machine mode
|
||||||
|
|||||||
@ -0,0 +1,55 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
//
|
||||||
|
// WALLY-unvectored-interrupt
|
||||||
|
//
|
||||||
|
// Author: Kip Macsai-Goren <kmacsaigoren@g.hmc.edu>
|
||||||
|
//
|
||||||
|
// Created 2022-03-11
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-TEST-LIB-64.h"
|
||||||
|
|
||||||
|
INIT_TESTS
|
||||||
|
|
||||||
|
// test 5.3.1.5 Unvectored interrupt tests
|
||||||
|
|
||||||
|
TRAP_HANDLER s, VECTORED=0, DEBUG=1 // turn off vectored interrupts, while turning on recording of mstatus bits.
|
||||||
|
|
||||||
|
// li x28, 0x8
|
||||||
|
// csrs sstatus, x28 // set sstatus.MIE bit to 1 // *** might be unneccessary for s mode
|
||||||
|
// WRITE_READ_CSR mie, 0xFFFF *** commented out until I can get the trap handler (and spike for time interrupts) to work correctly with interrupts
|
||||||
|
|
||||||
|
WRITE_READ_CSR mideleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
|
||||||
|
GOTO_S_MODE
|
||||||
|
|
||||||
|
// cause traps, ensuring that we DONT go through the vectored part of the trap handler
|
||||||
|
// *** this assumes that interrupt code 0 remains reserved
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
GOTO_U_MODE
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
END_TESTS
|
||||||
|
|
||||||
|
TEST_STACK_AND_DATA
|
||||||
@ -0,0 +1,76 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
//
|
||||||
|
// WALLY-trap
|
||||||
|
//
|
||||||
|
// Author: Kip Macsai-Goren <kmacsaigoren@g.hmc.edu>
|
||||||
|
//
|
||||||
|
// Created 2022-02-20
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-TEST-LIB-64.h"
|
||||||
|
|
||||||
|
INIT_TESTS
|
||||||
|
|
||||||
|
CAUSE_TRAP_TRIGGERS // initialize code that will cause traps for consistent mtval addresses
|
||||||
|
|
||||||
|
TRAP_HANDLER m, DEBUG=1 // turn on recording mtval and status bits on traps
|
||||||
|
|
||||||
|
li x28, 0x8
|
||||||
|
csrs mstatus, x28 // set mstatus.MIE bit to 1
|
||||||
|
WRITE_READ_CSR mie, 0xFFF // Enable interrupts from all sources // *** commented out until I can get the trap handler (and spike for time interrupts) to work correctly with interrupts
|
||||||
|
|
||||||
|
// test 5.3.1.4 Basic trap tests
|
||||||
|
|
||||||
|
// jal cause_instr_addr_misaligned //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
jal cause_instr_access
|
||||||
|
jal cause_illegal_instr
|
||||||
|
jal cause_breakpnt
|
||||||
|
jal cause_load_addr_misaligned
|
||||||
|
jal cause_load_acc
|
||||||
|
jal cause_store_addr_misaligned
|
||||||
|
jal cause_store_acc
|
||||||
|
GOTO_U_MODE // Causes M mode ecall
|
||||||
|
GOTO_S_MODE // Causes U mode ecall
|
||||||
|
GOTO_M_MODE // Causes S mode ecall
|
||||||
|
|
||||||
|
jal cause_time_interrupt // *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
jal cause_soft_interrupt // *** exiting out of the trap handler after these is current;y broken
|
||||||
|
jal cause_ext_interrupt
|
||||||
|
|
||||||
|
// try the traps again with mideleg = medeleg = all 1's to ensure traps still go to M mode from M mode
|
||||||
|
|
||||||
|
WRITE_READ_CSR medeleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
WRITE_READ_CSR mideleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
|
||||||
|
// jal cause_instr_addr_misaligned //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
jal cause_instr_access
|
||||||
|
jal cause_illegal_instr
|
||||||
|
jal cause_breakpnt
|
||||||
|
jal cause_load_addr_misaligned
|
||||||
|
jal cause_load_acc
|
||||||
|
jal cause_store_addr_misaligned
|
||||||
|
jal cause_store_acc
|
||||||
|
jal cause_ecall // M mode ecall
|
||||||
|
|
||||||
|
jal cause_time_interrupt // *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
jal cause_soft_interrupt // *** exiting out of the trap handler after these is current;y broken
|
||||||
|
jal cause_ext_interrupt
|
||||||
|
|
||||||
|
END_TESTS
|
||||||
|
|
||||||
|
TEST_STACK_AND_DATA
|
||||||
|
|
||||||
@ -0,0 +1,85 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
//
|
||||||
|
// WALLY-trap-s
|
||||||
|
//
|
||||||
|
// Author: Kip Macsai-Goren <kmacsaigoren@g.hmc.edu>
|
||||||
|
//
|
||||||
|
// Created 2022-03-11
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-TEST-LIB-64.h"
|
||||||
|
|
||||||
|
INIT_TESTS
|
||||||
|
|
||||||
|
// test 5.3.1.4 Basic trap tests
|
||||||
|
|
||||||
|
TRAP_HANDLER m, DEBUG=1 // turn on recording mtval and status bits on traps
|
||||||
|
TRAP_HANDLER s, DEBUG=1 // have S mode trap handler as well
|
||||||
|
|
||||||
|
// Like WALLY-trap, cause all the same traps from S mode and make sure they go to machine mode with zeroed mideleg, medeleg
|
||||||
|
|
||||||
|
GOTO_S_MODE
|
||||||
|
|
||||||
|
li x28, 0x8
|
||||||
|
csrs sstatus, x28 // set sstatus.MIE bit to 1 // *** might be unneccessary for s mode
|
||||||
|
// WRITE_READ_CSR mie, 0xFFFF *** commented out until I can get the trap handler (and spike for time interrupts) to work correctly with interrupts
|
||||||
|
|
||||||
|
|
||||||
|
// CAUSE_INSTR_ADDR_MISALIGNED //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
CAUSE_INSTR_ACCESS
|
||||||
|
CAUSE_ILLEGAL_INSTR
|
||||||
|
CAUSE_BREAKPNT
|
||||||
|
CAUSE_LOAD_ADDR_MISALIGNED
|
||||||
|
CAUSE_LOAD_ACC
|
||||||
|
CAUSE_STORE_ADDR_MISALIGNED
|
||||||
|
CAUSE_STORE_ACC
|
||||||
|
CAUSE_ECALL
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
|
||||||
|
// Now delegate all traps to S mode and attempt them again, ensuring they now go to the S mode trap handler
|
||||||
|
// We can tell which one becuase the different trap handler modes write different bits of the status register
|
||||||
|
// to the output when debug is on.
|
||||||
|
|
||||||
|
GOTO_M_MODE // so we can write the delegate registers
|
||||||
|
|
||||||
|
WRITE_READ_CSR medeleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
WRITE_READ_CSR mideleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
|
||||||
|
GOTO_S_MODE
|
||||||
|
|
||||||
|
// CAUSE_INSTR_ADDR_MISALIGNED //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
CAUSE_INSTR_ACCESS
|
||||||
|
CAUSE_ILLEGAL_INSTR
|
||||||
|
CAUSE_BREAKPNT
|
||||||
|
CAUSE_LOAD_ADDR_MISALIGNED
|
||||||
|
CAUSE_LOAD_ACC
|
||||||
|
CAUSE_STORE_ADDR_MISALIGNED
|
||||||
|
CAUSE_STORE_ACC
|
||||||
|
CAUSE_ECALL
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
END_TESTS
|
||||||
|
|
||||||
|
TEST_STACK_AND_DATA
|
||||||
|
|
||||||
@ -0,0 +1,84 @@
|
|||||||
|
///////////////////////////////////////////
|
||||||
|
//
|
||||||
|
// WALLY-trap-u
|
||||||
|
//
|
||||||
|
// Author: Kip Macsai-Goren <kmacsaigoren@g.hmc.edu>
|
||||||
|
//
|
||||||
|
// Created 2022-03-11
|
||||||
|
//
|
||||||
|
// Copyright (C) 2021 Harvey Mudd College & Oklahoma State University
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation
|
||||||
|
// files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy,
|
||||||
|
// modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software
|
||||||
|
// is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||||
|
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
||||||
|
// BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
|
||||||
|
// OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||||||
|
///////////////////////////////////////////
|
||||||
|
|
||||||
|
#include "WALLY-TEST-LIB-64.h"
|
||||||
|
|
||||||
|
INIT_TESTS
|
||||||
|
|
||||||
|
// test 5.3.1.4 Basic trap tests
|
||||||
|
|
||||||
|
TRAP_HANDLER m, DEBUG=1 // turn on recording mtval and status bits on traps
|
||||||
|
TRAP_HANDLER s, DEBUG=1 // have S mode trap handler as well
|
||||||
|
|
||||||
|
// Like WALLY-trap, cause all the same traps from U mode and make sure they go to machine mode with zeroed mideleg, medeleg
|
||||||
|
|
||||||
|
GOTO_U_MODE
|
||||||
|
|
||||||
|
// li x28, 0x8
|
||||||
|
// csrs sstatus, x28 // set sstatus.MIE bit to 1 // *** might be unneccessary for s mode
|
||||||
|
// WRITE_READ_CSR mie, 0xFFFF *** commented out until I can get the trap handler (and spike for time interrupts) to work correctly with interrupts
|
||||||
|
|
||||||
|
|
||||||
|
// CAUSE_INSTR_ADDR_MISALIGNED //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
CAUSE_INSTR_ACCESS
|
||||||
|
CAUSE_ILLEGAL_INSTR
|
||||||
|
CAUSE_BREAKPNT
|
||||||
|
CAUSE_LOAD_ADDR_MISALIGNED
|
||||||
|
CAUSE_LOAD_ACC
|
||||||
|
CAUSE_STORE_ADDR_MISALIGNED
|
||||||
|
CAUSE_STORE_ACC
|
||||||
|
CAUSE_ECALL
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
|
||||||
|
// Now delegate all traps to S mode and attempt them again, ensuring they now go to the S mode trap handler
|
||||||
|
// We can tell which one becuase the different trap handler modes write different bits of the status register
|
||||||
|
// to the output when debug is on.
|
||||||
|
|
||||||
|
GOTO_M_MODE // so we can write the delegate registers
|
||||||
|
|
||||||
|
WRITE_READ_CSR medeleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
WRITE_READ_CSR mideleg, 0xFFFFFFFFFFFFFFFF
|
||||||
|
|
||||||
|
GOTO_U_MODE
|
||||||
|
|
||||||
|
// CAUSE_INSTR_ADDR_MISALIGNED //skipped becuase this exception may be impossible when compressed instructions are enabled)
|
||||||
|
CAUSE_INSTR_ACCESS
|
||||||
|
CAUSE_ILLEGAL_INSTR
|
||||||
|
CAUSE_BREAKPNT
|
||||||
|
CAUSE_LOAD_ADDR_MISALIGNED
|
||||||
|
CAUSE_LOAD_ACC
|
||||||
|
CAUSE_STORE_ADDR_MISALIGNED
|
||||||
|
CAUSE_STORE_ACC
|
||||||
|
CAUSE_ECALL
|
||||||
|
|
||||||
|
// CAUSE_TIME_INTERRUPT *** intentionally causing this trap seems difficult in spike. although it is possible for it to accidentally happen.
|
||||||
|
// CAUSE_SOFT_INTERRUPT *** exiting out of the trap handler after these is current;y broken
|
||||||
|
// CAUSE_EXT_INTERRUPT
|
||||||
|
|
||||||
|
END_TESTS
|
||||||
|
|
||||||
|
TEST_STACK_AND_DATA
|
||||||
@ -430,3 +430,67 @@ FFFFFF33
|
|||||||
00000000
|
00000000
|
||||||
00000000
|
00000000
|
||||||
00000000
|
00000000
|
||||||
|
04BEEF1B
|
||||||
|
00000009
|
||||||
|
80000000
|
||||||
|
0000000A
|
||||||
|
00000004
|
||||||
|
00000061
|
||||||
|
00000061
|
||||||
|
00000065
|
||||||
|
00000060
|
||||||
|
00000001
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
04BEEF1C
|
||||||
|
00000009
|
||||||
|
80000000
|
||||||
|
00000003
|
||||||
|
00080000
|
||||||
|
00080000
|
||||||
|
00080000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00080000
|
||||||
|
00080000
|
||||||
|
FFFFFFFF
|
||||||
|
FFF7FFFF
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
04BEEF1D
|
||||||
|
00000009
|
||||||
|
80000000
|
||||||
|
00000003
|
||||||
|
00000001
|
||||||
|
00000001
|
||||||
|
00000001
|
||||||
|
00000000
|
||||||
|
00080000
|
||||||
|
00000000
|
||||||
|
00080001
|
||||||
|
00000001
|
||||||
|
FFFFFFFF
|
||||||
|
FFFFFFFE
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
04BEEF1E
|
||||||
|
00000009
|
||||||
|
80000000
|
||||||
|
0000000A
|
||||||
|
00000004
|
||||||
|
00000061
|
||||||
|
00000061
|
||||||
|
0000006e
|
||||||
|
00000060
|
||||||
|
00000001
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
00000000
|
||||||
|
|||||||
@ -41,11 +41,12 @@ trap_handler: #####
|
|||||||
###################
|
###################
|
||||||
###################
|
###################
|
||||||
# save registers
|
# save registers
|
||||||
addi sp, sp, 0x20
|
addi sp, sp, 0x28
|
||||||
sw t0, 0x00(sp)
|
sw t0, 0x00(sp)
|
||||||
sw t1, 0x08(sp)
|
sw t1, 0x08(sp)
|
||||||
sw t2, 0x10(sp)
|
sw t2, 0x10(sp)
|
||||||
sw t3, 0x18(sp)
|
sw t3, 0x18(sp)
|
||||||
|
sw t4, 0x20(sp)
|
||||||
|
|
||||||
# ===================================
|
# ===================================
|
||||||
# ===== Signature Output Format =====
|
# ===== Signature Output Format =====
|
||||||
@ -56,7 +57,7 @@ trap_handler: #####
|
|||||||
#
|
#
|
||||||
# <offset>: <contents>
|
# <offset>: <contents>
|
||||||
# 0x00: test ID = 0x<group_num>BEEF<intr_num>
|
# 0x00: test ID = 0x<group_num>BEEF<intr_num>
|
||||||
# 0x04: mcause (low) = 0x0000000B
|
# 0x04: mcause (low) = 0x0000000B (MEIP) or 0x00000009 (SEIP)
|
||||||
# 0x08: mcause (high) = 0x80000000
|
# 0x08: mcause (high) = 0x80000000
|
||||||
# ----- If GPIO -----
|
# ----- If GPIO -----
|
||||||
# 0x0C: claim ID = 3
|
# 0x0C: claim ID = 3
|
||||||
@ -87,18 +88,26 @@ trap_handler: #####
|
|||||||
add t0, t0, a1
|
add t0, t0, a1
|
||||||
sw t0, 0x00(s0)
|
sw t0, 0x00(s0)
|
||||||
|
|
||||||
# 0x04: mcause (low) = 0x0000000B
|
# 0x04: mcause (low) = 0x0000000B (MEIP) or 0x00000009 (SEIP)
|
||||||
# 0x08: mcause (high) = 0x80000000
|
# 0x08: mcause (high) = 0x80000000
|
||||||
# Expect interrupt from src 11 (machine external interrupt)
|
csrrc t0, mcause, x0
|
||||||
csrrc t1, mcause, x0
|
andi t1, t0, 0x7FF
|
||||||
sw t1, 0x04(s0)
|
sw t0, 0x04(s0)
|
||||||
srli t1,t1,32
|
srli t0,t0,32
|
||||||
sw t1, 0x08(s0)
|
sw t0, 0x08(s0)
|
||||||
|
# MEIP or SEIP?
|
||||||
|
# MEIP is on context 0
|
||||||
|
li t4, 0x0C200004
|
||||||
|
li t0, 0xB
|
||||||
|
beq t1, t0, meip
|
||||||
|
# SEIP is on context 1
|
||||||
|
li t4, 0x0C201004
|
||||||
|
meip:
|
||||||
|
|
||||||
# 0x: claim ID
|
# 0x0C: claim ID
|
||||||
# 3: GPIO
|
# 3: GPIO
|
||||||
# A: UART
|
# A: UART
|
||||||
li t0, 0x0C200004
|
mv t0, t4
|
||||||
lw t1, 0(t0)
|
lw t1, 0(t0)
|
||||||
sw t1, 0x0C(s0)
|
sw t1, 0x0C(s0)
|
||||||
li t2, 0xA
|
li t2, 0xA
|
||||||
@ -150,7 +159,7 @@ trap_handler: #####
|
|||||||
# signal to main code that gpio was serviced
|
# signal to main code that gpio was serviced
|
||||||
ori a0, a0, 0b00001000
|
ori a0, a0, 0b00001000
|
||||||
# signal to plic that gpio was serviced
|
# signal to plic that gpio was serviced
|
||||||
li t0, 0x0C200004
|
mv t0, t4
|
||||||
li t1, 3
|
li t1, 3
|
||||||
sw t1, 0(t0)
|
sw t1, 0(t0)
|
||||||
j trap_handler_end
|
j trap_handler_end
|
||||||
@ -181,7 +190,7 @@ trap_handler: #####
|
|||||||
# signal to main code that uart was serviced
|
# signal to main code that uart was serviced
|
||||||
ori a0, a0, 0b00010000
|
ori a0, a0, 0b00010000
|
||||||
# signal to plic that uart was serviced
|
# signal to plic that uart was serviced
|
||||||
li t0, 0x0C200004
|
mv t0, t4
|
||||||
li t1, 0xA
|
li t1, 0xA
|
||||||
sw t1, 0(t0)
|
sw t1, 0(t0)
|
||||||
|
|
||||||
@ -193,7 +202,8 @@ trap_handler: #####
|
|||||||
ld t1, 0x08(sp)
|
ld t1, 0x08(sp)
|
||||||
ld t2, 0x10(sp)
|
ld t2, 0x10(sp)
|
||||||
ld t3, 0x18(sp)
|
ld t3, 0x18(sp)
|
||||||
addi sp, sp, SEXT_IMM(-0x20)
|
ld t4, 0x20(sp)
|
||||||
|
addi sp, sp, SEXT_IMM(-0x28)
|
||||||
mret
|
mret
|
||||||
|
|
||||||
################
|
################
|
||||||
@ -267,7 +277,7 @@ main_code: #####
|
|||||||
# set MEIE
|
# set MEIE
|
||||||
li t0, 0x800
|
li t0, 0x800
|
||||||
csrrs x0, mie, t0
|
csrrs x0, mie, t0
|
||||||
Intr01BEEF01:
|
Intr01BEEF00:
|
||||||
# UART TX 'h'
|
# UART TX 'h'
|
||||||
li t0, 0x10000000
|
li t0, 0x10000000
|
||||||
li t1, 'h'
|
li t1, 'h'
|
||||||
@ -276,7 +286,7 @@ Intr01BEEF01:
|
|||||||
li t1, 0b00010000
|
li t1, 0b00010000
|
||||||
1: bne t1,a0,1b
|
1: bne t1,a0,1b
|
||||||
li a0, 0
|
li a0, 0
|
||||||
Intr01BEEF02:
|
Intr01BEEF01:
|
||||||
# GPIO raise pin 19
|
# GPIO raise pin 19
|
||||||
li t0, 0x10060000
|
li t0, 0x10060000
|
||||||
li t1, 0x00080000
|
li t1, 0x00080000
|
||||||
@ -286,12 +296,12 @@ Intr01BEEF02:
|
|||||||
1: bne t1,a0,1b
|
1: bne t1,a0,1b
|
||||||
li a0, 0
|
li a0, 0
|
||||||
# Now let's go bonkers and trigger both!
|
# Now let's go bonkers and trigger both!
|
||||||
Intr01BEEF03:
|
Intr01BEEF02:
|
||||||
# TX 'e'
|
# TX 'e'
|
||||||
li t0, 0x10000000
|
li t0, 0x10000000
|
||||||
li t1, 'e'
|
li t1, 'e'
|
||||||
sb t1, 0(t0)
|
sb t1, 0(t0)
|
||||||
Intr01BEEF04:
|
Intr01BEEF03:
|
||||||
# GPIO lower pin 19 raise pin 0
|
# GPIO lower pin 19 raise pin 0
|
||||||
li t0, 0x10060000
|
li t0, 0x10060000
|
||||||
li t1, 0x00000001
|
li t1, 0x00000001
|
||||||
@ -787,6 +797,91 @@ Intr03BEEF1A:
|
|||||||
li t1, 0b00010000
|
li t1, 0b00010000
|
||||||
1: bne t1,a0,1b
|
1: bne t1,a0,1b
|
||||||
li a0, 0
|
li a0, 0
|
||||||
|
|
||||||
|
####################################################
|
||||||
|
##### Test 4 - Signs of Life on PLIC Context 1 #####
|
||||||
|
####################################################
|
||||||
|
li a1, 0x04beef00 # group ID
|
||||||
|
# clear MEIE (good to turn off while configuring peripherals)
|
||||||
|
li t0, 0x800
|
||||||
|
csrrc x0, mie, t0
|
||||||
|
# ========== Configure PLIC ==========
|
||||||
|
# priority threshold = 0
|
||||||
|
li t0, 0xC200000
|
||||||
|
li t1, 0
|
||||||
|
sw t1, 0(t0)
|
||||||
|
# source 3 (GPIO) priority = 6
|
||||||
|
li t0, 0xC000000
|
||||||
|
li t1, 6
|
||||||
|
sw t1, 0x0C(t0)
|
||||||
|
# source 0xA (UART) priority = 7
|
||||||
|
li t1, 7
|
||||||
|
sw t1, 0x28(t0)
|
||||||
|
# disable sources 3,0xA on context 0
|
||||||
|
li t0, 0x0C002000
|
||||||
|
li t1, 0
|
||||||
|
sw t1, 0(t0)
|
||||||
|
# enable sources 3,0xA on context 1
|
||||||
|
li t0, 0x0C002080
|
||||||
|
li t1, 0b10000001000
|
||||||
|
sw t1, 0(t0)
|
||||||
|
# ========== Configure UART ==========
|
||||||
|
# MCR: Loop = 1
|
||||||
|
li t0, 0x10000000
|
||||||
|
li t1, 0b10000
|
||||||
|
sb t1, 4(t0)
|
||||||
|
# LCR: Use 8 data bits plus odd parity bit
|
||||||
|
li t1, 0b00001011
|
||||||
|
sb t1, 3(t0)
|
||||||
|
# IER: Enable Received Data Available Interrupt
|
||||||
|
li t1, 0x01
|
||||||
|
sb t1, 1(t0)
|
||||||
|
# ========== Configure GPIO ==========
|
||||||
|
# raise all input_en
|
||||||
|
li t0, 0x10060000
|
||||||
|
li t1, 0xFFFFFFFF
|
||||||
|
sw t1, 0x04(t0)
|
||||||
|
# raise all output_en
|
||||||
|
sw t1, 0x08(t0)
|
||||||
|
# raise all input_en
|
||||||
|
sw t1, 0x18(t0)
|
||||||
|
# ========== Execute Test ==========
|
||||||
|
# set MEIE and SEIE
|
||||||
|
li t0, 0xA00
|
||||||
|
csrrs x0, mie, t0
|
||||||
|
Intr04BEEF1B:
|
||||||
|
# UART TX 'e'
|
||||||
|
li t0, 0x10000000
|
||||||
|
li t1, 'e'
|
||||||
|
sb t1, 0(t0)
|
||||||
|
# wait to finish
|
||||||
|
li t1, 0b00010000
|
||||||
|
1: bne t1,a0,1b
|
||||||
|
li a0, 0
|
||||||
|
Intr04BEEF1C:
|
||||||
|
# GPIO raise pin 19
|
||||||
|
li t0, 0x10060000
|
||||||
|
li t1, 0x00080000
|
||||||
|
sw t1, 0x0C(t0)
|
||||||
|
# wait to finish
|
||||||
|
li t1, 0b00001000
|
||||||
|
1: bne t1,a0,1b
|
||||||
|
li a0, 0
|
||||||
|
# Now let's go bonkers and trigger both!
|
||||||
|
Intr04BEEF1D:
|
||||||
|
# TX 'n'
|
||||||
|
li t0, 0x10000000
|
||||||
|
li t1, 'n'
|
||||||
|
sb t1, 0(t0)
|
||||||
|
Intr04BEEF1E:
|
||||||
|
# GPIO lower pin 19 raise pin 0
|
||||||
|
li t0, 0x10060000
|
||||||
|
li t1, 0x00000001
|
||||||
|
sw t1, 0x0C(t0)
|
||||||
|
# wait to finish
|
||||||
|
li t1, 0b00011000
|
||||||
|
1: bne t1,a0,1b
|
||||||
|
li a0, 0
|
||||||
# ---------------------------------------------------------------------------------------------
|
# ---------------------------------------------------------------------------------------------
|
||||||
|
|
||||||
//terminate_test:
|
//terminate_test:
|
||||||
|
|||||||
@ -117,7 +117,7 @@ cause_ecall:
|
|||||||
cause_time_interrupt:
|
cause_time_interrupt:
|
||||||
// The following code works for both RV32 and RV64.
|
// The following code works for both RV32 and RV64.
|
||||||
// RV64 alone would be easier using double-word adds and stores
|
// RV64 alone would be easier using double-word adds and stores
|
||||||
li x28, 0x100 // Desired offset from the present time
|
li x28, 0x30 // Desired offset from the present time
|
||||||
la x29, 0x02004000 // MTIMECMP register in CLINT
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
la x30, 0x0200BFF8 // MTIME register in CLINT
|
la x30, 0x0200BFF8 // MTIME register in CLINT
|
||||||
lw x7, 0(x30) // low word of MTIME
|
lw x7, 0(x30) // low word of MTIME
|
||||||
@ -158,9 +158,7 @@ end_trap_triggers:
|
|||||||
|
|
||||||
// Set up the exception Handler, keeping the original handler in x4.
|
// Set up the exception Handler, keeping the original handler in x4.
|
||||||
la x1, trap_handler_\MODE\()
|
la x1, trap_handler_\MODE\()
|
||||||
.if (\VECTORED\() == 1)
|
ori x1, x1, \VECTORED // set mode field of tvec to VECTORED, which will force vectored interrupts if it's 1.
|
||||||
ori x1, x1, 0x1 // set mode field of tvec to 1, forcing vectored interrupts
|
|
||||||
.endif
|
|
||||||
|
|
||||||
.if (\MODE\() == m)
|
.if (\MODE\() == m)
|
||||||
csrrw x4, \MODE\()tvec, x1 // x4 reserved for "default" trap handler address that needs to be restored before halting this test.
|
csrrw x4, \MODE\()tvec, x1 // x4 reserved for "default" trap handler address that needs to be restored before halting this test.
|
||||||
@ -172,6 +170,10 @@ end_trap_triggers:
|
|||||||
li a1, 0
|
li a1, 0
|
||||||
li a2, 0 // reset trap handler inputs to zero
|
li a2, 0 // reset trap handler inputs to zero
|
||||||
|
|
||||||
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
|
li x30, 0xFFFFFFFF
|
||||||
|
sd x30, 0(x29) // set mtimecmp to 0xFFFFFFFF to really make sure time interrupts don't go off immediately after being enabled
|
||||||
|
|
||||||
j trap_handler_end_\MODE\() // skip the trap handler when it is being defined.
|
j trap_handler_end_\MODE\() // skip the trap handler when it is being defined.
|
||||||
|
|
||||||
// ---------------------------------------------------------------------------------------------
|
// ---------------------------------------------------------------------------------------------
|
||||||
@ -214,17 +216,17 @@ trap_handler_\MODE\():
|
|||||||
// *** ASSUMES that a cause value of 0 for an interrupt is unimplemented
|
// *** ASSUMES that a cause value of 0 for an interrupt is unimplemented
|
||||||
// otherwise, a vectored interrupt handler should jump to trap_handler_\MODE\() + 4 * Interrupt cause code
|
// otherwise, a vectored interrupt handler should jump to trap_handler_\MODE\() + 4 * Interrupt cause code
|
||||||
// No matter the value of VECTORED, exceptions (not interrupts) are handled in an unvecotred way
|
// No matter the value of VECTORED, exceptions (not interrupts) are handled in an unvecotred way
|
||||||
j s_soft_interrupt_\MODE\() // 1: instruction access fault // the zero spot is taken up by the instruction to skip this table.
|
j soft_interrupt_\MODE\() // 1: instruction access fault // the zero spot is taken up by the instruction to skip this table.
|
||||||
j segfault_\MODE\() // 2: reserved
|
j segfault_\MODE\() // 2: reserved
|
||||||
j m_soft_interrupt_\MODE\() // 3: breakpoint
|
j soft_interrupt_\MODE\() // 3: breakpoint
|
||||||
j segfault_\MODE\() // 4: reserved
|
j segfault_\MODE\() // 4: reserved
|
||||||
j s_time_interrupt_\MODE\() // 5: load access fault
|
j time_interrupt_\MODE\() // 5: load access fault
|
||||||
j segfault_\MODE\() // 6: reserved
|
j segfault_\MODE\() // 6: reserved
|
||||||
j m_time_interrupt_\MODE\() // 7: store access fault
|
j time_interrupt_\MODE\() // 7: store access fault
|
||||||
j segfault_\MODE\() // 8: reserved
|
j segfault_\MODE\() // 8: reserved
|
||||||
j s_ext_interrupt_\MODE\() // 9: ecall from S-mode
|
j ext_interrupt_\MODE\() // 9: ecall from S-mode
|
||||||
j segfault_\MODE\() // 10: reserved
|
j segfault_\MODE\() // 10: reserved
|
||||||
j m_ext_interrupt_\MODE\() // 11: ecall from M-mode
|
j ext_interrupt_\MODE\() // 11: ecall from M-mode
|
||||||
// 12 through >=16 are reserved or designated for platform use
|
// 12 through >=16 are reserved or designated for platform use
|
||||||
|
|
||||||
trap_unvectored_\MODE\():
|
trap_unvectored_\MODE\():
|
||||||
@ -245,12 +247,11 @@ trap_unvectored_\MODE\():
|
|||||||
addi x16, x16, 8
|
addi x16, x16, 8
|
||||||
|
|
||||||
csrr x1, \MODE\()status
|
csrr x1, \MODE\()status
|
||||||
.if (\MODE\() == m) // Taking traps in different modes means we want to get different bits from the status register.
|
.if (\MODE\() == m) // Taking traps in different modes means we want to get different bits from the status register.
|
||||||
li x5, 0x1888 // mask bits to select MPP, MPIE, and MIE.
|
li x5, 0x1888 // mask bits to select MPP, MPIE, and MIE.
|
||||||
.else
|
.else
|
||||||
li x5, 0x122 // mask bits to select SPP, SPIE, and SIE.
|
li x5, 0x122 // mask bits to select SPP, SPIE, and SIE.
|
||||||
.endif
|
.endif
|
||||||
|
|
||||||
and x5, x5, x1
|
and x5, x5, x1
|
||||||
sd x5, 0(x16) // store masked out status bits to the output
|
sd x5, 0(x16) // store masked out status bits to the output
|
||||||
addi x6, x6, 8
|
addi x6, x6, 8
|
||||||
@ -265,7 +266,6 @@ trap_unvectored_\MODE\():
|
|||||||
and x5, x5, x1
|
and x5, x5, x1
|
||||||
bnez x5, trapreturn_\MODE\() // return from interrupt
|
bnez x5, trapreturn_\MODE\() // return from interrupt
|
||||||
// Other trap handling is specified in the vector Table
|
// Other trap handling is specified in the vector Table
|
||||||
csrr x1, \MODE\()cause
|
|
||||||
slli x1, x1, 3 // multiply cause by 8 to get offset in vector Table
|
slli x1, x1, 3 // multiply cause by 8 to get offset in vector Table
|
||||||
la x5, exception_vector_table_\MODE\()
|
la x5, exception_vector_table_\MODE\()
|
||||||
add x5, x5, x1 // compute address of vector in Table
|
add x5, x5, x1 // compute address of vector in Table
|
||||||
@ -345,7 +345,7 @@ trapreturn_finished_\MODE\():
|
|||||||
csrw \MODE\()epc, x1 // update the epc with address of next instruction
|
csrw \MODE\()epc, x1 // update the epc with address of next instruction
|
||||||
ld x5, -16(sp) // restore registers from stack before returning
|
ld x5, -16(sp) // restore registers from stack before returning
|
||||||
ld x1, -8(sp)
|
ld x1, -8(sp)
|
||||||
csrw \MODE\()ip, 0x0 // clear interrupt pending register to indicate interrupt has been handled
|
// *** this should be handled by indirectly clearing this bit csrw \MODE\()ip, 0x0 // clear interrupt pending register to indicate interrupt has been handled
|
||||||
\MODE\()ret // return from trap
|
\MODE\()ret // return from trap
|
||||||
|
|
||||||
ecallhandler_\MODE\():
|
ecallhandler_\MODE\():
|
||||||
@ -376,7 +376,7 @@ ecallhandler_changetosupervisormode_\MODE\():
|
|||||||
ecallhandler_changetousermode_\MODE\():
|
ecallhandler_changetousermode_\MODE\():
|
||||||
// Force mstatus.MPP (bits 12:11) to 00 to enter user mode after mret
|
// Force mstatus.MPP (bits 12:11) to 00 to enter user mode after mret
|
||||||
li x1, 0b1100000000000
|
li x1, 0b1100000000000
|
||||||
csrc mstatus, x1
|
csrc \MODE\()status, x1
|
||||||
j trapreturn_\MODE\()
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
instrpagefault_\MODE\():
|
instrpagefault_\MODE\():
|
||||||
@ -400,7 +400,7 @@ addr_misaligned_\MODE\():
|
|||||||
breakpt_\MODE\():
|
breakpt_\MODE\():
|
||||||
j trapreturn_\MODE\()
|
j trapreturn_\MODE\()
|
||||||
|
|
||||||
s_soft_interrupt_\MODE\(): // these labels are here to make sure the code compiles, but don't actually do anything yet
|
soft_interrupt_\MODE\():
|
||||||
li x5, 0x7EC // write 0x7EC (looks like VEC) to the output before the mcause and extras to indicate that this trap was handled with a vector table.
|
li x5, 0x7EC // write 0x7EC (looks like VEC) to the output before the mcause and extras to indicate that this trap was handled with a vector table.
|
||||||
sd x5, 0(x16)
|
sd x5, 0(x16)
|
||||||
addi x6, x6, 8
|
addi x6, x6, 8
|
||||||
@ -409,30 +409,19 @@ s_soft_interrupt_\MODE\(): // these labels are here to make sure the code compil
|
|||||||
sw x0, 0(x28)
|
sw x0, 0(x28)
|
||||||
j trap_unvectored_\MODE\()
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
m_soft_interrupt_\MODE\():
|
time_interrupt_\MODE\():
|
||||||
li x5, 0x7EC
|
li x5, 0x7EC
|
||||||
sd x5, 0(x16)
|
sd x5, 0(x16)
|
||||||
addi x6, x6, 8
|
addi x6, x6, 8
|
||||||
addi x16, x16, 8
|
addi x16, x16, 8
|
||||||
la x28, 0x02000000 // Reset by clearing MSIP interrupt from CLINT
|
|
||||||
sw x0, 0(x28)
|
la x29, 0x02004000 // MTIMECMP register in CLINT
|
||||||
|
li x30, 0xFFFFFFFF
|
||||||
|
sd x30, 0(x29) // reset interrupt by setting mtimecmp to 0xFFFFFFFF
|
||||||
|
|
||||||
j trap_unvectored_\MODE\()
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
s_time_interrupt_\MODE\():
|
ext_interrupt_\MODE\():
|
||||||
li x5, 0x7EC
|
|
||||||
sd x5, 0(x16)
|
|
||||||
addi x6, x6, 8
|
|
||||||
addi x16, x16, 8
|
|
||||||
j trap_unvectored_\MODE\()
|
|
||||||
|
|
||||||
m_time_interrupt_\MODE\():
|
|
||||||
li x5, 0x7EC
|
|
||||||
sd x5, 0(x16)
|
|
||||||
addi x6, x6, 8
|
|
||||||
addi x16, x16, 8
|
|
||||||
j trap_unvectored_\MODE\()
|
|
||||||
|
|
||||||
s_ext_interrupt_\MODE\():
|
|
||||||
li x5, 0x7EC
|
li x5, 0x7EC
|
||||||
sd x5, 0(x16)
|
sd x5, 0(x16)
|
||||||
addi x6, x6, 8
|
addi x6, x6, 8
|
||||||
@ -442,17 +431,6 @@ s_ext_interrupt_\MODE\():
|
|||||||
sw x0, 40(x28) // write a 0 to the first output pin (reset interrupt)
|
sw x0, 40(x28) // write a 0 to the first output pin (reset interrupt)
|
||||||
j trap_unvectored_\MODE\()
|
j trap_unvectored_\MODE\()
|
||||||
|
|
||||||
m_ext_interrupt_\MODE\():
|
|
||||||
li x5, 0x7EC
|
|
||||||
sd x5, 0(x16)
|
|
||||||
addi x6, x6, 8
|
|
||||||
addi x16, x16, 8
|
|
||||||
li x28, 0x10060000 // reset interrupt by clearing all the GPIO bits
|
|
||||||
sw x0, 8(x28) // disable the first pin as an output
|
|
||||||
sw x0, 40(x28) // write a 0 to the first output pin (reset interrupt)
|
|
||||||
j trap_unvectored_\MODE\()
|
|
||||||
|
|
||||||
|
|
||||||
// Table of trap behavior
|
// Table of trap behavior
|
||||||
// lists what to do on each exception (not interrupts)
|
// lists what to do on each exception (not interrupts)
|
||||||
// unexpected exceptions should cause segfaults for easy detection
|
// unexpected exceptions should cause segfaults for easy detection
|
||||||
@ -720,87 +698,6 @@ trap_handler_end_\MODE\(): // place to jump to so we can skip the trap handler a
|
|||||||
addi x16, x16, 8
|
addi x16, x16, 8
|
||||||
.endm
|
.endm
|
||||||
|
|
||||||
// // The following tests involve causing many of the interrupts and exceptions that are easily done in a few lines
|
|
||||||
// // This effectively includes everything that isn't to do with page faults (virtual memory)
|
|
||||||
|
|
||||||
// .macro CAUSE_INSTR_ADDR_MISALIGNED
|
|
||||||
// // cause a misaligned address trap
|
|
||||||
// auipc x28, 0 // get current PC, which is aligned
|
|
||||||
// addi x28, x28, 0x1 // add 1 to pc to create misaligned address
|
|
||||||
// jalr x28 // cause instruction address midaligned trap
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_INSTR_ACCESS
|
|
||||||
// la x28, 0x0 // address zero is an address with no memory
|
|
||||||
// jalr x28 // cause instruction access trap
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_ILLEGAL_INSTR
|
|
||||||
// .word 0x00000000 // a 32 bit zros is an illegal instruction
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_BREAKPNT // ****
|
|
||||||
// ebreak
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_LOAD_ADDR_MISALIGNED
|
|
||||||
// auipc x28, 0 // get current PC, which is aligned
|
|
||||||
// addi x28, x28, 1
|
|
||||||
// lw x29, 0(x28) // load from a misaligned address
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_LOAD_ACC
|
|
||||||
// la x28, 0 // 0 is an address with no memory
|
|
||||||
// lw x29, 0(x28) // load from unimplemented address
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_STORE_ADDR_MISALIGNED
|
|
||||||
// auipc x28, 0 // get current PC, which is aligned
|
|
||||||
// addi x28, x28, 1
|
|
||||||
// sw x29, 0(x28) // store to a misaligned address
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_STORE_ACC
|
|
||||||
// la x28, 0 // 0 is an address with no memory
|
|
||||||
// sw x29, 0(x28) // store to unimplemented address
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_ECALL
|
|
||||||
// // *** ASSUMES you have already gone to the mode you need to call this from.
|
|
||||||
// ecall
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_TIME_INTERRUPT
|
|
||||||
// // The following code works for both RV32 and RV64.
|
|
||||||
// // RV64 alone would be easier using double-word adds and stores
|
|
||||||
// li x28, 0x100 // Desired offset from the present time
|
|
||||||
// la x29, 0x02004000 // MTIMECMP register in CLINT
|
|
||||||
// la x30, 0x0200BFF8 // MTIME register in CLINT
|
|
||||||
// lw x7, 0(x30) // low word of MTIME
|
|
||||||
// lw x31, 4(x30) // high word of MTIME
|
|
||||||
// add x28, x7, x28 // add desired offset to the current time
|
|
||||||
// bgtu x28, x7, nowrap // check new time exceeds current time (no wraparound)
|
|
||||||
// addi x31, x31, 1 // if wrap, increment most significant word
|
|
||||||
// sw x31,4(x29) // store into most significant word of MTIMECMP
|
|
||||||
// nowrap:
|
|
||||||
// sw x28, 0(x29) // store into least significant word of MTIMECMP
|
|
||||||
// loop: j loop // wait until interrupt occurs
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_SOFT_INTERRUPT
|
|
||||||
// la x28, 0x02000000 // MSIP register in CLINT
|
|
||||||
// li x29, 1 // 1 in the lsb
|
|
||||||
// sw x29, 0(x28) // Write MSIP bit
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
// .macro CAUSE_EXT_INTERRUPT
|
|
||||||
// li x28, 0x10060000 // load base GPIO memory location
|
|
||||||
// li x29, 0x1
|
|
||||||
// sw x29, 8(x28) // enable the first pin as an output
|
|
||||||
// sw x29, 28(x28) // set first pin to high interrupt enable
|
|
||||||
// sw x29, 40(x28) // write a 1 to the first output pin (cause interrupt)
|
|
||||||
// .endm
|
|
||||||
|
|
||||||
.macro END_TESTS
|
.macro END_TESTS
|
||||||
// invokes one final ecall to return to machine mode then terminates this program, so the output is
|
// invokes one final ecall to return to machine mode then terminates this program, so the output is
|
||||||
// 0x8: termination called from U mode
|
// 0x8: termination called from U mode
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user