Module Load_store.Raw_Int32x4

val load_low : nativeint -> int32x4 @@ portable

Load the lower 4-byte lane from an arbitrary address encoded as a nativeint#. \ The upper lanes are undefined.

val load_low_zero_high : nativeint -> int32x4 @@ portable

Load the lower 4-byte lane from an arbitrary address encoded as a nativeint#. \ The upper lanes are zeroed.

val store_low : nativeint -> int32x4 -> unit @@ portable

Store the lower 4-byte lane to an arbitrary address encoded as a nativeint#.

val unaligned_load : nativeint -> int32x4 @@ portable

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

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

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

val aligned_load : nativeint -> int32x4 @@ portable

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

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

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

val aligned_load_uncached : nativeint -> int32x4 @@ 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 -> int32x4 -> 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.