Draft : Added test cases for load address match trigger in sdtrig extension

riscv-test-suite/rv32i_m/sdtrig/src/execute_match0.S

@@ -0,0 +1,114 @@
+#include "model_test.h"
+#include "arch_test.h"
+#include "debug_defines.h"
+RVTEST_ISA("RV32IZicsr_Sdtrig")
+
+.section .text.init
+.globl rvtest_entry_point
+rvtest_entry_point:
+RVMODEL_BOOT
+RVTEST_CODE_BEGIN
+
+#ifdef TEST_CASE_1
+  RVTEST_CASE(1,"//check ISA:=regex(.*I.*Zicsr.*Sdtrig.*);def TEST_CASE_1=True;",execute_match0)
+  RVTEST_SIGBASE(x1, signature_x1_0)
+      # Set mtvec to the address of the trap handler
+  la a0, trap_handler
+  csrw mtvec, a0 
+
+  # Read the misa 
+  csrr t2, misa
+  RVTEST_SIGUPD(x1,t2) 
+  li t1, (1 << 18)        
+  and t2,t2,t1     
+
+  bnez t2, implement_mie
+  beqz t2 , implement_tcontrol
+
+implement_mie:                                   
+    li t1,(1<<3)
+    csrw mstatus, t1        
+    csrr t4, mstatus        
+    j resume_code
+
+implement_tcontrol:   
+
+    li t3, (1<<3)             
+    csrw tcontrol, t3
+    csrr t4, tcontrol
+    j resume_code    
+
+resume_code: 
+   # Write 0 to tselect, read back and append it to the signature
+  csrw tselect, zero
+  csrr t0, tselect
+  RVTEST_SIGUPD(x1, t0)
+
+  # Read tinfo 
+   csrr t6, tinfo
+
+  # Set the value of tdata
+   csrw tdata1, zero
+   csrr a3, tdata1
+
+  # Set the address for tdata2 where the trigger should occur
+   la t2, 0x80001234  # Set the data value to match
+   csrw tdata2, t2
+
+
+  # Set up trigger to cause a trap on a breakpoint
+  # Configure tdata1 for address match control
+  li t2, (CSR_TDATA1_TYPE_MCONTROL6 << 28 | \
+         CSR_TDATA1_DMODE_BOTH << 27 | \
+         CSR_MCONTROL6_SELECT_ADDRESS << 21 | \
+         CSR_MCONTROL6_SIZE_ANY << 16 | \
+         CSR_MCONTROL6_CHAIN_DISABLED << 11 | \
+         CSR_MCONTROL6_ACTION_BREAKPOINT << 12 | \
+         CSR_MCONTROL6_MATCH_EQUAL << 7 | \
+         CSR_MCONTROL6_M | \
+         CSR_MCONTROL6_EXECUTE)
+  csrw tdata1, t2
+  csrr t4,tdata1
+  RVTEST_SIGUPD(x1, t4)
+  csrr t6,tdata2
+  RVTEST_SIGUPD(x1, t6)
+
+  # Trigger setup complete; now perform an instruction that will hit the trigger
+    la t4, 0x80001234
+    jalr x0,0(t4)
+  nop
+  nop
+
+ #endif
+
+trap_handler:
+  # Save trap information
+  csrr t0, mcause         # Cause of the trap
+  csrr t1, mepc           # Program counter at the time of trap
+  csrr t2, mtval          # Trap value
+  RVTEST_SIGUPD(x1, t0)   # Update signature with mcause
+  RVTEST_SIGUPD(x1, t1)   # Update signature with mepc
+  RVTEST_SIGUPD(x1, t2)   # Update signature with mtval
+
+   # Check if the trigger hit bit is set (bit 22 in tdata1)
+  csrr t3, tdata1
+  RVTEST_SIGUPD(x1, t3)
+
+end:
+RVTEST_CODE_END
+RVMODEL_HALT
+
+# Output data section.
+RVMODEL_DATA_BEGIN
+rvtest_sig_begin:
+sig_begin_canary:
+CANARY;
+
+signature_x1_0:
+  .fill 128*(XLEN/32),4,0xdeadbeef
+
+sig_end_canary:
+CANARY;
+rvtest_sig_end:
+RVMODEL_DATA_END
+

riscv-test-suite/rv32i_m/sdtrig/src/execute_match1.S

@@ -0,0 +1,116 @@
+#include "model_test.h"
+#include "arch_test.h"
+#include "debug_defines.h"
+RVTEST_ISA("RV32IZicsr_Sdtrig")
+
+.section .text.init
+.globl rvtest_entry_point
+rvtest_entry_point:
+RVMODEL_BOOT
+RVTEST_CODE_BEGIN
+
+#ifdef TEST_CASE_1
+  RVTEST_CASE(1,"//check ISA:=regex(.*I.*Zicsr.*Sdtrig.*);def TEST_CASE_1=True;",execute_match1)
+  RVTEST_SIGBASE(x1, signature_x1_0)
+
+  # Set mtvec to the address of the trap handler
+  la a0, trap_handler
+  csrw mtvec, a0 
+
+  # Read the misa 
+  csrr t2, misa
+  RVTEST_SIGUPD(x1,t2) 
+  li t1, (1 << 18)        
+  and t2,t2,t1     
+
+  bnez t2, implement_mie
+  beqz t2 , implement_tcontrol
+
+implement_mie:                                   
+    li t1,(1<<3)
+    csrw mstatus, t1        
+    csrr t4, mstatus        
+    j resume_code
+
+implement_tcontrol:   
+
+    li t3, (1<<3)             
+    csrw tcontrol, t3
+    csrr t4, tcontrol
+    j resume_code    
+
+resume_code: 
+
+   # Write 0 to tselect, read back and append it to the signature
+  csrw tselect, zero
+  csrr t0, tselect
+  RVTEST_SIGUPD(x1, t0)
+
+  # Read tinfo 
+    csrr t6, tinfo
+
+   # Set the value of tdata
+   csrw tdata1, zero
+   csrr a3, tdata1
+
+   # Set the address for tdata2 where the trigger should occur
+   la t2, 0x80001001   # Set the data value to match
+   csrw tdata2, t2
+
+
+  # Set up trigger to cause a trap on a breakpoint
+  # Configure tdata1 for address match control
+  li t2, (CSR_TDATA1_TYPE_MCONTROL6 << 28 | \
+         CSR_TDATA1_DMODE_BOTH << 27 | \
+         CSR_MCONTROL6_SELECT_ADDRESS << 21 | \
+         CSR_MCONTROL6_SIZE_ANY << 16 | \
+         CSR_MCONTROL6_CHAIN_DISABLED << 11 | \
+         CSR_MCONTROL6_ACTION_BREAKPOINT << 12 | \
+         CSR_MCONTROL6_MATCH_NAPOT << 7 | \
+         CSR_MCONTROL6_M | \
+         CSR_MCONTROL6_EXECUTE)
+  csrw tdata1, t2
+  csrr t4,tdata1
+  RVTEST_SIGUPD(x1, t4)
+  csrr t6,tdata2
+  RVTEST_SIGUPD(x1, t6)
+
+  # Trigger setup complete; now perform an instruction that will hit the trigger
+    la t4, 0x80001000
+    jalr x0,0(t4)
+  nop
+  nop
+
+ #endif
+
+trap_handler:
+  # Save trap information
+  csrr t0, mcause         # Cause of the trap
+  csrr t1, mepc           # Program counter at the time of trap
+  csrr t2, mtval          # Trap value
+  RVTEST_SIGUPD(x1, t0)   # Update signature with mcause
+  RVTEST_SIGUPD(x1, t1)   # Update signature with mepc
+  RVTEST_SIGUPD(x1, t2)   # Update signature with mtval
+
+   # Check if the trigger hit bit is set (bit 22 in tdata1)
+  csrr t3, tdata1
+  RVTEST_SIGUPD(x1, t3)
+
+end:
+RVTEST_CODE_END
+RVMODEL_HALT
+
+# Output data section.
+RVMODEL_DATA_BEGIN
+rvtest_sig_begin:
+sig_begin_canary:
+CANARY;
+
+signature_x1_0:
+  .fill 128*(XLEN/32),4,0xdeadbeef
+
+sig_end_canary:
+CANARY;
+rvtest_sig_end:
+RVMODEL_DATA_END
+

riscv-test-suite/rv32i_m/sdtrig/src/execute_match2.S

@@ -0,0 +1,115 @@
+#include "model_test.h"
+#include "arch_test.h"
+#include "debug_defines.h"
+RVTEST_ISA("RV32IZicsr_Sdtrig")
+
+.section .text.init
+.globl rvtest_entry_point
+rvtest_entry_point:
+RVMODEL_BOOT
+RVTEST_CODE_BEGIN
+
+#ifdef TEST_CASE_1
+  RVTEST_CASE(1,"//check ISA:=regex(.*I.*Zicsr.*Sdtrig.*);def TEST_CASE_1=True;",execute_match2)
+  RVTEST_SIGBASE(x1, signature_x1_0)
+
+  # Set mtvec to the address of the trap handler
+  la a0, trap_handler
+  csrw mtvec, a0 
+
+  # Read the misa 
+  csrr t2, misa
+  RVTEST_SIGUPD(x1,t2) 
+  li t1, (1 << 18)        
+  and t2,t2,t1     
+
+  bnez t2, implement_mie
+  beqz t2 , implement_tcontrol
+
+implement_mie:                                   
+    li t1,(1<<3)
+    csrw mstatus, t1        
+    csrr t4, mstatus        
+    j resume_code
+
+implement_tcontrol:   
+
+    li t3, (1<<3)             
+    csrw tcontrol, t3
+    csrr t4, tcontrol
+    j resume_code    
+
+resume_code: 
+
+   # Write 0 to tselect, read back and append it to the signature
+  csrw tselect, zero
+  csrr t0, tselect
+  RVTEST_SIGUPD(x1, t0)
+
+  # Read tinfo 
+  csrr t6, tinfo
+
+  # Set the value of tdata
+   csrw tdata1, zero
+   csrr a3, tdata1
+
+  # Set the address for tdata2 where the trigger should occur
+   la t2, 0x80001233   # Set the data value to match
+   csrw tdata2, t2
+
+  # Set up trigger to cause a trap on a breakpoint
+  # Configure tdata1 for address match control
+  li t2, (CSR_TDATA1_TYPE_MCONTROL6 << 28 | \
+         CSR_TDATA1_DMODE_BOTH << 27 | \
+         CSR_MCONTROL6_SELECT_ADDRESS << 21 | \
+         CSR_MCONTROL6_SIZE_ANY << 16 | \
+         CSR_MCONTROL6_CHAIN_DISABLED << 11 | \
+         CSR_MCONTROL6_ACTION_BREAKPOINT << 12 | \
+         CSR_MCONTROL6_MATCH_GE << 7 | \
+         CSR_MCONTROL6_M | \
+         CSR_MCONTROL6_EXECUTE)
+  csrw tdata1, t2
+  csrr t4,tdata1
+  RVTEST_SIGUPD(x1, t4)
+  csrr t6,tdata2
+  RVTEST_SIGUPD(x1, t6)
+
+  # Trigger setup complete; now perform an instruction that will hit the trigger
+    la t4, 0x80001234
+    jalr x0,0(t4)
+  nop
+  nop
+
+ #endif
+
+trap_handler:
+  # Save trap information
+  csrr t0, mcause         # Cause of the trap
+  csrr t1, mepc           # Program counter at the time of trap
+  csrr t2, mtval          # Trap value
+  RVTEST_SIGUPD(x1, t0)   # Update signature with mcause
+  RVTEST_SIGUPD(x1, t1)   # Update signature with mepc
+  RVTEST_SIGUPD(x1, t2)   # Update signature with mtval
+
+   # Check if the trigger hit bit is set (bit 22 in tdata1)
+  csrr t3, tdata1
+  RVTEST_SIGUPD(x1, t3)
+
+end:
+RVTEST_CODE_END
+RVMODEL_HALT
+
+# Output data section.
+RVMODEL_DATA_BEGIN
+rvtest_sig_begin:
+sig_begin_canary:
+CANARY;
+
+signature_x1_0:
+  .fill 128*(XLEN/32),4,0xdeadbeef
+
+sig_end_canary:
+CANARY;
+rvtest_sig_end:
+RVMODEL_DATA_END
+