Jacket
Search the docs
/
API
Tools
Playground
main
Memory module
← Memory
Procedures
copy
copy_0
copy_10_sse_128
copy_11_sse_256
copy_12_sse_512
copy_13_sse_1024
copy_1_u64
copy_20_avx_256
copy_2_u64_128
copy_3_u64_256
copy_4_u64_256_asm
copy_5_asm_rep
copy_6_asm_rep_bytes
avx_copy_256
copy_128
copy_256
copy_256_expand_array
copy_256_expand_assign
copy_256_expand_index
copy_256_inline_array
copy_256_inline_assign
copy_256_inline_index
copy_u64_unwrap
copy_u64_unwrap_nocall_array
copy_u64_unwrap_nocall_asm
copy_u64_unwrap_nocall_assign
copy_u64_unwrap_nocall_index
sse_copy_1024
sse_copy_128
sse_copy_256
sse_copy_512
On this page
See also
std
/
Memory
/
copy_12_sse_512
copy_12_sse_512
procedure
Source
copy_12_sse_512
:: (destination: *
void
, source: *
void
, count:
s64
)
Parameters
destination
:
*
void
source
:
*
void
count
:
s64
See also
copy_10_sse_128
copy_11_sse_256
copy_13_sse_1024
copy_1_u64
Jacket
Jacket