Module Load_store.Raw_Int8x16

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

Store 16 bytes to an arbitrary address encoded as a nativeint# subject to a mask. If the upper bit of each 1-byte mask lane is zero, the corresponding input lane will not be written to memory. However, page faults/memory exceptions may still be triggered as if the full 16 bytes were written.

val unaligned_load : nativeint -> int8x16 @@ portable

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

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

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

val aligned_load : nativeint -> int8x16 @@ portable

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

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

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

val aligned_load_uncached : nativeint -> int8x16 @@ portable

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

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

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