Check sepc for rv64si/scall test. (#107)

Closes #105.

diff --git a/isa/rv64si/scall.S b/isa/rv64si/scall.S
index 1f5e6b79fa286f9d486f1274f320fadd2e1516d2..0579806e9af0770cf7c04eb689e25ec29d055c9e 100644 (file)
--- a/isa/rv64si/scall.S
+++ b/isa/rv64si/scall.S
@@ -51,6 +51,7 @@ RVTEST_CODE_BEGIN
 1:
 
   li TESTNUM, 1
+do_scall:
   scall
   j fail
 
@@ -61,6 +62,9 @@ RVTEST_CODE_BEGIN
 stvec_handler:
   csrr t0, scause
   bne t0, t1, fail
+  la t2, do_scall
+  csrr t0, sepc
+  bne t0, t2, fail
   j pass
 
 RVTEST_CODE_END