diff options
Diffstat (limited to 'aarch64_small/armV8.h.sail')
| -rw-r--r-- | aarch64_small/armV8.h.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64_small/armV8.h.sail b/aarch64_small/armV8.h.sail index b1eac1e7..d0f0b830 100644 --- a/aarch64_small/armV8.h.sail +++ b/aarch64_small/armV8.h.sail @@ -275,3 +275,4 @@ function UNKNOWN_BITS(N) = (replicate_bits(0b0, 'N)) : bits('N) let UNKNOWN_BIT = b0 /* external */ val speculate_exclusive_success : unit -> bool effect {exmem} +function speculate_exclusive_success () = __excl_res () |