From 4e96fabda180621fbb3ef7912cb36d1c2ae39f6f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 4 May 2016 14:01:10 +0100
Subject: fix incorrect exception code used on clc alignment check.

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

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 892ed1f6..5da817a3 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -708,7 +708,7 @@ function clause execute (CLC(cd, cb, rt, offset, linked)) =
         else if (vAddr < ((nat) (cb_val.base))) then
           exit (raise_c2_exception(CapEx_LengthViolation, cb))
         else if (vAddr64[4..0] != 0b00000) then
-          exit (SignalExceptionBadAddr(AdES, vAddr64))
+          exit (SignalExceptionBadAddr(AdEL, vAddr64))
         else
           {
             pAddr  := (TranslateOrExit(vAddr64, LoadData)); (* XXX use LoadCap here. *)
-- 
cgit v1.2.3