// File: 0x0584[P]scmin-plus/src/builtin/arithmetic.cpp
// Function: builtin::_n_eq(std::shared_ptr<sexpr> const&, std::unordered_map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::shared_ptr<sexpr>, std::hash<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::equal_to<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::shared_ptr<sexpr>>>>&)
sexpr_t builtin::_n_eq(const sexpr_t& args, env_t& bindings) {
    (void)bindings;
    sexpr_t u, v;
    if (not valid_numeric_args(args))
        return nullptr;
    u = args->car(), v = args->cdr()->car();
    return cmp_helper(u, v, !=) ? symb("t") : nil();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x120, %rsp            # imm = 0x120
movq %rdi, -0xd8(%rbp)
movq %rdi, %rax
movq %rax, -0xd0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x6ef0
leaq -0x38(%rbp), %rdi
callq 0x6ef0
movq -0x10(%rbp), %rsi
leaq -0x48(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x43d0
movq -0xc8(%rbp), %rdi
callq 0x146e0
movb %al, -0xbc(%rbp)
jmp 0x14912
movb -0xbc(%rbp), %al
xorb $-0x1, %al
movb %al, -0xd9(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x4450
movb -0xd9(%rbp), %al
testb $0x1, %al
jne 0x14935
jmp 0x1496b
movq -0xd8(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x4570
movl $0x1, -0x58(%rbp)
jmp 0x14bd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x4450
jmp 0x14bfa
movq -0x10(%rbp), %rdi
callq 0x4400
movq %rax, %rsi
leaq -0x68(%rbp), %rdi
callq 0xb520
jmp 0x14982
leaq -0x28(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x4420
movq -0x10(%rbp), %rdi
callq 0x4400
movq %rax, %rsi
leaq -0x88(%rbp), %rdi
callq 0xb440
jmp 0x149a9
leaq -0x88(%rbp), %rdi
callq 0x4400
movq %rax, %rsi
leaq -0x78(%rbp), %rdi
callq 0xb520
jmp 0x149c3
leaq -0x38(%rbp), %rdi
leaq -0x78(%rbp), %rsi
movq %rsi, -0xf0(%rbp)
callq 0x4420
movq -0xf0(%rbp), %rdi
callq 0x4450
leaq -0x88(%rbp), %rdi
callq 0x4450
leaq -0x68(%rbp), %rdi
callq 0x4450
leaq -0x28(%rbp), %rdi
callq 0x4400
movq %rax, %rdi
movb $0x0, -0xba(%rbp)
movb $0x0, -0xbb(%rbp)
callq 0x4520
movq %rax, -0xe8(%rbp)
jmp 0x14a20
movq -0xe8(%rbp), %rdi
callq 0x10fa0
movsd %xmm0, -0xf8(%rbp)
jmp 0x14a36
movsd -0xf8(%rbp), %xmm0
movsd %xmm0, -0x90(%rbp)
movsd -0x90(%rbp), %xmm0
movsd %xmm0, -0x108(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x4400
movq %rax, %rdi
callq 0x4520
movq %rax, -0x100(%rbp)
jmp 0x14a70
movq -0x100(%rbp), %rdi
callq 0x10fa0
movsd %xmm0, -0x110(%rbp)
jmp 0x14a86
movsd -0x108(%rbp), %xmm0
movsd -0x110(%rbp), %xmm1
movsd %xmm1, -0x98(%rbp)
ucomisd -0x98(%rbp), %xmm0
jne 0x14aac
jp 0x14aac
jmp 0x14b00
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0x3500
movq -0x118(%rbp), %rdx
movb $0x1, -0xba(%rbp)
leaq 0xcd25(%rip), %rsi      # 0x217f9
leaq -0xb8(%rbp), %rdi
callq 0xc230
jmp 0x14ae2
movq -0xd8(%rbp), %rdi
movb $0x1, -0xbb(%rbp)
leaq -0xb8(%rbp), %rsi
callq 0x7920
jmp 0x14afe
jmp 0x14b10
movq -0xd8(%rbp), %rdi
callq 0x78f0
jmp 0x14b0e
jmp 0x14b10
testb $0x1, -0xbb(%rbp)
jne 0x14b1b
jmp 0x14b27
leaq -0xb8(%rbp), %rdi
callq 0x31d0
testb $0x1, -0xba(%rbp)
jne 0x14b32
jmp 0x14b3e
leaq -0xb9(%rbp), %rdi
callq 0x3310
movl $0x1, -0x58(%rbp)
jmp 0x14bd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x14bfa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x14b81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x4450
leaq -0x68(%rbp), %rdi
callq 0x4450
jmp 0x14bfa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x14bbf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
testb $0x1, -0xbb(%rbp)
jne 0x14bb1
jmp 0x14bbd
leaq -0xb8(%rbp), %rdi
callq 0x31d0
jmp 0x14bbf
testb $0x1, -0xba(%rbp)
jne 0x14bca
jmp 0x14bd6
leaq -0xb9(%rbp), %rdi
callq 0x3310
jmp 0x14bfa
leaq -0x38(%rbp), %rdi
callq 0x4450
leaq -0x28(%rbp), %rdi
callq 0x4450
movq -0xd0(%rbp), %rax
addq $0x120, %rsp            # imm = 0x120
popq %rbp
retq
leaq -0x38(%rbp), %rdi
callq 0x4450
leaq -0x28(%rbp), %rdi
callq 0x4450
movq -0x50(%rbp), %rdi
callq 0x34f0
nopw %cs:(%rax,%rax)