// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r15
movq %rdi, %r14
movq (%rsi), %rax
movq %rax, -0x60(%rbp)
movq 0x8(%rsi), %rax
movq %rax, -0x58(%rbp)
testq %rax, %rax
je 0xc4d6
movq 0xdab8(%rip), %rcx      # 0x19f80
cmpb $0x0, (%rcx)
je 0xc4d2
incl 0x8(%rax)
jmp 0xc4d6
lock
incl 0x8(%rax)
leaq -0x60(%rbp), %rdi
callq 0xc364
movl %eax, %ebx
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0xc4ef
callq 0x4104
testb %bl, %bl
je 0xc5dd
movq (%r15), %rsi
leaq -0x50(%rbp), %rdi
callq 0x628e
movq -0x50(%rbp), %r12
movq -0x48(%rbp), %rbx
xorpd %xmm0, %xmm0
movapd %xmm0, -0x50(%rbp)
movq (%r15), %rsi
leaq -0x88(%rbp), %rdi
callq 0x61be
movq -0x88(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x628e
movq -0x70(%rbp), %r13
movq -0x68(%rbp), %r15
xorpd %xmm0, %xmm0
movapd %xmm0, -0x70(%rbp)
movq -0x80(%rbp), %rdi
testq %rdi, %rdi
je 0xc552
callq 0x4104
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xc560
callq 0x4104
movq (%r12), %rdi
callq 0xac3b
testq %rax, %rax
je 0xc61c
movsd (%rax), %xmm0
movsd %xmm0, -0x78(%rbp)
movq (%r13), %rdi
callq 0xac3b
testq %rax, %rax
je 0xc621
movsd -0x78(%rbp), %xmm0
ucomisd (%rax), %xmm0
jne 0xc59a
jnp 0xc5e8
leaq -0x40(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x727f(%rip), %rsi      # 0x13829
leaq 0x7279(%rip), %rdx      # 0x1382a
leaq -0x50(%rbp), %rdi
callq 0x6b44
leaq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x5176
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0xc5f0
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0xc5f0
xorpd %xmm0, %xmm0
movupd %xmm0, (%r14)
jmp 0xc60a
movq %r14, %rdi
callq 0x514c
testq %r15, %r15
je 0xc5fd
movq %r15, %rdi
callq 0x4104
testq %rbx, %rbx
je 0xc60a
movq %rbx, %rdi
callq 0x4104
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x4668
callq 0x4668
jmp 0xc648
movq %rax, %r14
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0xc64b
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0xc64b
jmp 0xc648
jmp 0xc648
jmp 0xc655
movq %rax, %r14
testq %r15, %r15
je 0xc688
movq %r15, %rdi
jmp 0xc67c
movq %rax, %rdi
callq 0x4075
movq %rax, %r14
movq -0x80(%rbp), %rdi
testq %rdi, %rdi
je 0xc673
callq 0x4104
jmp 0xc673
movq %rax, %r14
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xc688
callq 0x4104
jmp 0xc688
movq %rax, %r14
xorl %ebx, %ebx
testq %rbx, %rbx
je 0xc6a3
movq %rbx, %rdi
jmp 0xc69e
movq %rax, %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0xc6a3
callq 0x4104
movq %r14, %rdi
callq 0x3310
nop