diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index b2801bae..b11dadfa 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -108,8 +108,8 @@ function clause execute (CGetLen(rd, cb)) = else let capVal = readCapReg(cb) in let len65 = getCapLength(capVal) in - let len64 = (bit[64]) (min(MAX_U64, len65)) in - wGPR(rd) := len64; + let len64 = (if len65 > MAX_U64 then MAX_U64 else len65) in + wGPR(rd) := (bit[64]) len64; (* END_CGetLen *) } |