diff options
| author | Robert Norton | 2016-05-04 14:01:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-04 14:01:10 +0100 |
| commit | 4e96fabda180621fbb3ef7912cb36d1c2ae39f6f (patch) | |
| tree | 0d50d315ac182037ef5d5bd0d29f98ee07f358db /cheri | |
| parent | d26a230b63e5e6ba528d3d5930521d23c8bdd727 (diff) | |
fix incorrect exception code used on clc alignment check.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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. *) |