1;;! target = "x86_64"
2;;! test = "winch"
3
4(module
5  (func (export "empty")
6    (loop)
7    (loop $l)
8  )
9)
10;; wasm[0]::function[0]:
11;;       pushq   %rbp
12;;       movq    %rsp, %rbp
13;;       movq    8(%rdi), %r11
14;;       movq    0x18(%r11), %r11
15;;       addq    $0x10, %r11
16;;       cmpq    %rsp, %r11
17;;       ja      0x38
18;;   1c: movq    %rdi, %r14
19;;       subq    $0x10, %rsp
20;;       movq    %rdi, 8(%rsp)
21;;       movq    %rsi, (%rsp)
22;;       addq    $0x10, %rsp
23;;       popq    %rbp
24;;       retq
25;;   38: ud2
26