SBREAK test now checks EPC value. (#92)

Closes #89

diff --git a/isa/rv64si/sbreak.S b/isa/rv64si/sbreak.S
index d5a2de7a0852ed52ad1c89ccdd115af17040569a..31efff83910b4878dcca38fdc0a975bed64281db 100644 (file)
--- a/isa/rv64si/sbreak.S
+++ b/isa/rv64si/sbreak.S
@@ -24,6 +24,7 @@ RVTEST_CODE_BEGIN
 
   li TESTNUM, 2
 
+do_break:
   sbreak
   j fail
 
@@ -35,6 +36,9 @@ stvec_handler:
   li t1, CAUSE_BREAKPOINT
   csrr t0, scause
   bne t0, t1, fail
+  la t1, do_break
+  csrr t0, sepc
+  bne t0, t1, fail
   j pass
 
 RVTEST_CODE_END