;;; TOOL: run-objdump
;;; ARGS0: --enable-simd

(module
  (memory 1)
  (data (i32.const 0) "\ff\ff\ff\ff")
  (data (i32.const 4) "\00\00\ce\41")
  (data (i32.const 8) "\00\00\00\00\00\ff\8f\40")
  (data (i32.const 16) "\ff\ff\ff\ff\ff\ff\ff\ff")

  ;; v128 load
  (func (export "v128_load_0") (result v128)
    i32.const 4
    v128.load)

  ;; v128 store
  (func (export "v128_store_0") (result v128)
    i32.const 4
    v128.const i32 0x11223344 0x55667788 0x99aabbcc 0xddeeff00
    v128.store
    i32.const 4
    v128.load)
)
(;; STDOUT ;;;

simd-load-store.wasm:	file format wasm 0x1

Code Disassembly:

00003d <v128_load_0>:
 00003e: 41 04                      | i32.const 4
 000040: fd 00 04 00                | v128.load 4 0
 000044: 0b                         | end
000046 <v128_store_0>:
 000047: 41 04                      | i32.const 4
 000049: fd 02 44 33 22 11 88 77 66 | v128.const 0x11223344 0x55667788 0x99aabbcc 0xddeeff00
 000052: 55 cc bb aa 99 00 ff ee dd | 
 00005b: fd 01 04 00                | v128.store 4 0
 00005f: 41 04                      | i32.const 4
 000061: fd 00 04 00                | v128.load 4 0
 000065: 0b                         | end
;;; STDOUT ;;)
