diff options
Diffstat (limited to 'aarch64/mono/demo')
| -rw-r--r-- | aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail b/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail index 2960240d..202f69ac 100644 --- a/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail +++ b/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail @@ -2546,7 +2546,7 @@ function PACInvSub Tinput = { return(Toutput) } -val ComputePAC : (bits(64), bits(64), bits(64), bits(64)) -> bits(64) effect {rreg, undef, wreg} +val ComputePAC : (bits(64), bits(64), bits(64), bits(64)) -> bits(64) effect {rreg, undef, wreg, escape} function ComputePAC (data, modifier, key0, key1) = { workingval : bits(64) = undefined; |