1;;! target = "x86_64"
2;;! test = "winch"
3
4(module
5  (elem declare func $f)
6  (func $f)
7  (func (export "ref-func") (result funcref)
8    (ref.func $f)
9  )
10)
11;; wasm[0]::function[0]::f:
12;;       pushq   %rbp
13;;       movq    %rsp, %rbp
14;;       movq    8(%rdi), %r11
15;;       movq    0x18(%r11), %r11
16;;       addq    $0x10, %r11
17;;       cmpq    %rsp, %r11
18;;       ja      0x38
19;;   1c: movq    %rdi, %r14
20;;       subq    $0x10, %rsp
21;;       movq    %rdi, 8(%rsp)
22;;       movq    %rsi, (%rsp)
23;;       addq    $0x10, %rsp
24;;       popq    %rbp
25;;       retq
26;;   38: ud2
27;;
28;; wasm[0]::function[1]:
29;;       pushq   %rbp
30;;       movq    %rsp, %rbp
31;;       movq    8(%rdi), %r11
32;;       movq    0x18(%r11), %r11
33;;       addq    $0x10, %r11
34;;       cmpq    %rsp, %r11
35;;       ja      0x8a
36;;   5c: movq    %rdi, %r14
37;;       subq    $0x10, %rsp
38;;       movq    %rdi, 8(%rsp)
39;;       movq    %rsi, (%rsp)
40;;       movq    %r14, %rdi
41;;       movl    $0, %esi
42;;       callq   0x252
43;;       movq    8(%rsp), %r14
44;;       addq    $0x10, %rsp
45;;       popq    %rbp
46;;       retq
47;;   8a: ud2
48