Module Int64x4.Unsafe_immediate_array

val get_tagged : 'a. 'a array @ local read -> (idx:int -> int64x4) @ local @@ portable

Load four immediates from an array at an arbitrary (unaligned) index. The returned vector contains four _tagged_ 64-bit values.

val unsafe_get_tagged : 'a. 'a array @ local read -> (idx:int -> int64x4) @ local @@ portable

Load four immediates from an array at an arbitrary (unaligned) index. The returned vector contains four _tagged_ 64-bit values. Does not check bounds.

val get_and_untag : 'a. 'a array @ local read -> (idx:int -> int64x4) @ local @@ portable

Load four immediates from an array at an arbitrary (unaligned) index. The returned vector contains four _untagged_ 63-bit values.

val unsafe_get_and_untag : 'a. 'a array @ local read -> (idx:int -> int64x4) @ local @@ portable

Load four immediates from an array at an arbitrary (unaligned) index. The returned vector contains four _untagged_ 63-bit values. Does not check bounds.

val tag_and_set : 'a. 'a array @ local -> (idx:int -> (int64x4 -> unit) @ local) @ local @@ portable

Store four immediates to an array at an arbitrary (unaligned) index. The given vector must contain four _untagged_ 63-bit values.

val set_tagged : 'a. 'a array @ local -> (idx:int -> (int64x4 -> unit) @ local) @ local @@ portable

Store four immediates to an array at an arbitrary (unaligned) index. The given vector must contain four _tagged_ 64-bit values.

val unsafe_tag_and_set : 'a. 'a array @ local -> (idx:int -> (int64x4 -> unit) @ local) @ local @@ portable

Store four immediates to an array at an arbitrary (unaligned) index. The given vector must contain four _untagged_ 63-bit values. Does not check bounds or ranges.

val unsafe_set_tagged : 'a. 'a array @ local -> (idx:int -> (int64x4 -> unit) @ local) @ local @@ portable

Store four immediates to an array at an arbitrary (unaligned) index. The given vector must contain four _tagged_ 64-bit values. Does not check bounds or tags.

module Int32_u : sig ... end
module Int64_u : sig ... end
module Nativeint_u : sig ... end