Module Load_store.Raw_Int64x2

val load_low : nativeint -> int64x2 @@ portable

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

val load_low_zero_high : nativeint -> int64x2 @@ portable

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

val load_low_copy_high : nativeint -> int64x2 -> int64x2 @@ portable

Load the lower 8-byte lane from an arbitrary address encoded as a nativeint#. \ The upper 8-byte lane is copied from the input vector.

val load_high_copy_low : nativeint -> int64x2 -> int64x2 @@ portable

Load the upper 8-byte lane from an arbitrary address encoded as a nativeint#. \ The lower 8-byte lane is copied from the input vector.

val broadcast : nativeint -> int64x2 @@ portable

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

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

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

val unaligned_load : nativeint -> int64x2 @@ portable

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

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

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

val aligned_load : nativeint -> int64x2 @@ portable

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

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

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

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