diff options
Diffstat (limited to 'aarch64_small/armV8.h.sail')
| -rw-r--r-- | aarch64_small/armV8.h.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/aarch64_small/armV8.h.sail b/aarch64_small/armV8.h.sail index 30309e30..dc28ffde 100644 --- a/aarch64_small/armV8.h.sail +++ b/aarch64_small/armV8.h.sail @@ -259,6 +259,7 @@ let IMPLEMENTATION_DEFINED : IMPLEMENTATION_DEFINED_type = struct { /* FIXME: ask Kathy what should we do with this */ let UNKNOWN = 0 - +val UNKNOWN_VEC: forall 'N, 'N >= 0. implicit('N) -> bits('N) +function UNKNOWN_VEC(N) = (replicate_bits(0b0, 'N)) : bits('N) /* external */ val speculate_exclusive_success : unit -> bool effect {exmem} |