load32x2_u: Wasm SIMD load instruction

Try it

(module
  (import "console" "log" (func $log (param i64)))
  (memory $memory 1)
  (data (i32.const 0) "\01\02\03\04\05\06\07\08\09\0a\0b\0c\0d\0e\0f\00\01\02\03")
  (func $main
    i32.const 0
    v128.load32x2_u
    i64x2.extract_lane 1
    call $log
  )
  (start $main)
)

WebAssembly.instantiateStreaming(fetch("{%wasm-url%}"), { console });

Syntax

;; Common usage
v128.load32x2_u

;; With optional immediates
v128.load32x2_u memidx offset=int align=int

v128.load32x2_u: The v128.load32x2_u instruction.
memidx Optional: An integer representing the memory index, in cases where the module uses multiple memories. The default is 0.
offset=int Optional: An integer representing a constant number of bytes to add to the memory address before loading. The default is 0.
align=int Optional: An integer representing a hint to the Wasm engine about what alignment to expect for the final address. The minimum value is 1 and the default and maximum value is 8. An align value has to be a power of 2.

Type

[memory_address] -> [output]

memory_address: An integer representing the memory address to load from.
output: The output v128 type i64x2 value interpretation.

Binary encoding

Instruction	Binary format	Example text => binary
`v128.load32x2_u`	`0xFD 6:u32 memidx:u8 offset:u32 align:u32`	`v128.load32x2_u 0 offset=0 align=8` => `0xfd 0x06 0x03 0x00`

Note: While Wasm text format specifies the literal align value, the binary equivalent represents the exponent of the formula 2^x used to calculate the alignment. So for example, align=1 is equivalent to 0x00 (2^0), while align=8 is equivalent to 0x03 (2^3).