1;;! target = "x86_64" 2;;! test = "winch" 3 4(module 5 (func (export "ref-is-null") (param funcref) (result i32) 6 (ref.is_null (local.get 0)) 7 ) 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 $0x20, %r11 15;; cmpq %rsp, %r11 16;; ja 0x4f 17;; 1c: movq %rdi, %r14 18;; subq $0x20, %rsp 19;; movq %rdi, 0x18(%rsp) 20;; movq %rsi, 0x10(%rsp) 21;; movq %rdx, 8(%rsp) 22;; movq 8(%rsp), %rax 23;; cmpq $0, %rax 24;; movl $0, %eax 25;; sete %al 26;; addq $0x20, %rsp 27;; popq %rbp 28;; retq 29;; 4f: ud2 30