Module Int8x32.Raw

val unaligned_load : nativeint -> int8x32 @@ portable

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

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

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

val aligned_load : nativeint -> int8x32 @@ portable

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

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

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

val aligned_load_uncached : nativeint -> int8x32 @@ 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 -> int8x32 -> 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 -> int8x32 @@ portable

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