From 018aea17aca9abb6221e1a59d943ecdd386cc8ec Mon Sep 17 00:00:00 2001
From: Christopher Celio <celio@eecs.berkeley.edu>
Date: Wed, 22 Nov 2017 14:01:26 -0800
Subject: [PATCH] Check sepc for rv64si/scall test. (#107)

Closes #105.
---
 isa/rv64si/scall.S | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/isa/rv64si/scall.S b/isa/rv64si/scall.S
index 1f5e6b7..0579806 100644
--- 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
-- 
2.30.2