From a35692d69681683c2bffe7c824ad230b88679ed9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 31 Oct 2017 16:09:46 +0000
Subject: cheri: throw an exception if there is an attempt to access C26/IDC in
 the delay slot of a ccall selector 1 call.

---
 cheri/cheri_insts.sail | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cheri/cheri_insts.sail')

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 50399785..5687a275 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -1060,6 +1060,7 @@ function clause execute (CCall(cs, cb, 0b00000000001)) = (* selector=1 *)
       delayedPC := (bit[64]) (getCapOffset(cs_val));
       delayedPCC := csUnsealed;
       branchPending := true;
+      inCCallDelay  := true;
       C26 := capStructToCapReg({cb_val with
         sealed=false;
         otype=0;
-- 
cgit v1.2.3