Module Int32x8.Raw

val broadcast : nativeint -> int32x8 @@ portable

Load 4 bytes from an arbitrary address encoded as a nativeint# into all lanes.

val load_masked : nativeint -> mask:int32x8 -> int32x8 @@ portable

Load 32 bytes from an arbitrary address encoded as a nativeint# subject to a mask. If the upper bit of each 4-byte mask lane is zero, the corresponding output lane will be zeroed, and page faults/memory exceptions will not be generated.

val store_masked : nativeint -> int32x8 -> mask:int32x8 -> unit @@ portable

Store 32 bytes to an arbitrary address encoded as a nativeint# subject to a mask. If the upper bit of each 4-byte mask lane is zero, the corresponding input lane will not be written to memory, and page faults/memory exceptions will not be generated.

val unaligned_load : nativeint -> int32x8 @@ portable

Load 32 bytes from an arbitrary address encoded as a nativeint#.

val unaligned_store : nativeint -> int32x8 -> unit @@ portable

Store 32 bytes to an arbitrary address encoded as a nativeint#.

val aligned_load : nativeint -> int32x8 @@ portable

Load 32 bytes from a 32-byte-aligned address encoded as a nativeint#. Does not validate alignment.

val aligned_store : nativeint -> int32x8 -> unit @@ portable

Store 32 bytes to a 32-byte-aligned address encoded as a nativeint#. Does not validate alignment.

val aligned_load_uncached : nativeint -> int32x8 @@ portable

Non-temporally load 32 bytes from a 32-byte-aligned address encoded as a nativeint#. Does not validate alignment. The address will not be cached.

val aligned_store_uncached : nativeint -> int32x8 -> unit @@ portable

Non-temporally store 32 bytes to a 32-byte-aligned address encoded as a nativeint#. Does not validate alignment. The address will not be cached.

val broadcast_lanes : nativeint -> int32x8 @@ portable

Load 16 bytes from an arbitrary address encoded as a nativeint# into both lanes.