1;;! target = "x86_64"
2;;! test = "winch"
3
4(module
5  (func (export "singular") (result i32)
6    (loop (nop))
7    (loop (result i32) (i32.const 7))
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      0x3d
18;;   1c: movq    %rdi, %r14
19;;       subq    $0x10, %rsp
20;;       movq    %rdi, 8(%rsp)
21;;       movq    %rsi, (%rsp)
22;;       movl    $7, %eax
23;;       addq    $0x10, %rsp
24;;       popq    %rbp
25;;       retq
26;;   3d: ud2
27