1;;! target = "x86_64"
2;;! test = "winch"
3
4(module
5  (memory (data "\00\00\00\00\00\00\00\00\00\00\00\00\00\00\a0\7f"))
6
7  (func (export "v128.load") (result v128) (v128.load (i32.const 0)))
8)
9;; wasm[0]::function[0]:
10;;       pushq   %rbp
11;;       movq    %rsp, %rbp
12;;       movq    8(%rdi), %r11
13;;       movq    0x18(%r11), %r11
14;;       addq    $0x10, %r11
15;;       cmpq    %rsp, %r11
16;;       ja      0x4a
17;;   1c: movq    %rdi, %r14
18;;       subq    $0x10, %rsp
19;;       movq    %rdi, 8(%rsp)
20;;       movq    %rsi, (%rsp)
21;;       movl    $0, %eax
22;;       movq    0x38(%r14), %rcx
23;;       movl    %eax, %eax
24;;       addq    %rax, %rcx
25;;       movdqu  (%rcx), %xmm0
26;;       addq    $0x10, %rsp
27;;       popq    %rbp
28;;       retq
29;;   4a: ud2
30