diff options
| author | Peter Sewell | 2017-01-25 15:01:27 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-01-25 15:01:27 +0000 |
| commit | b357733fefdbbbdd4efa56c8b3ddc6bcbeca4c28 (patch) | |
| tree | 8b5417d74da0c0d1280eceb8fcef4af71a5250bf /cheri/cheri_insts_128.sail | |
| parent | c588e96bd15572d929d2f957b2a9b2ac86814c0a (diff) | |
| parent | 2968c83f019b6945ac06a6faf8aaf518e92bdc29 (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/sail
Diffstat (limited to 'cheri/cheri_insts_128.sail')
| -rw-r--r-- | cheri/cheri_insts_128.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts_128.sail b/cheri/cheri_insts_128.sail index b671b515..1d2b37fb 100644 --- a/cheri/cheri_insts_128.sail +++ b/cheri/cheri_insts_128.sail @@ -108,7 +108,7 @@ function clause execute (CGetLen(rd, cb)) = else let capVal = readCapReg(cb) in let len65 = getCapLength(capVal) in - let len64 = if len65 > MAX_U64 then + let len64 = if unsigned(len65) > MAX_U64 then (bit[64]) MAX_U64 else len65[63..0] in wGPR(rd) := len64; (* END_CGetLen *) |