// File: /workspace/github_cpp_makefile_star2_O1/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, %r14
movq %rdi, %r15
movq (%rsi), %rax
movq %rax, -0x80(%rbp)
movq 0x8(%rsi), %rax
movq %rax, -0x78(%rbp)
testq %rax, %rax
je 0xc7f8
movq 0xd796(%rip), %rcx      # 0x19f80
cmpb $0x0, (%rcx)
je 0xc7f4
incl 0x8(%rax)
jmp 0xc7f8
lock
incl 0x8(%rax)
leaq -0x80(%rbp), %rdi
callq 0xc678
movl %eax, %ebx
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0xc811
callq 0x4114
testb %bl, %bl
je 0xc915
movq (%r14), %rsi
leaq -0x50(%rbp), %rdi
callq 0x634a
movq -0x50(%rbp), %r12
movq -0x48(%rbp), %rbx
xorpd %xmm0, %xmm0
movapd %xmm0, -0x50(%rbp)
movq (%r14), %rsi
leaq -0x90(%rbp), %rdi
callq 0x627a
movq -0x90(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x634a
movq -0x70(%rbp), %r13
movq -0x68(%rbp), %r14
xorpd %xmm0, %xmm0
movapd %xmm0, -0x70(%rbp)
movq -0x68(%rbp), %rdi
testq %rdi, %rdi
je 0xc874
callq 0x4114
movq -0x88(%rbp), %rdi
testq %rdi, %rdi
je 0xc885
callq 0x4114
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xc893
callq 0x4114
movq (%r12), %rdi
callq 0xaf0f
testq %rax, %rax
je 0xc980
movsd (%rax), %xmm0
movsd %xmm0, -0x30(%rbp)
movq (%r13), %rdi
callq 0xaf0f
testq %rax, %rax
je 0xc985
movsd (%rax), %xmm2
movsd -0x30(%rbp), %xmm1
movapd %xmm1, %xmm0
cmpneqsd %xmm2, %xmm0
movq %xmm0, %r12
andl $0x1, %r12d
movsd %xmm2, -0x58(%rbp)
ucomisd %xmm2, %xmm1
jne 0xc8e8
jnp 0xc925
leaq -0x40(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x6f32(%rip), %rsi      # 0x13829
leaq 0x6f2c(%rip), %rdx      # 0x1382a
leaq -0x50(%rbp), %rdi
callq 0x6ca4
leaq -0x50(%rbp), %rsi
movq %r15, %rdi
callq 0x51e2
jmp 0xc92d
xorpd %xmm0, %xmm0
movupd %xmm0, (%r15)
xorl %ebx, %ebx
xorl %r14d, %r14d
jmp 0xc954
movq %r15, %rdi
callq 0x51b8
movsd -0x30(%rbp), %xmm0
ucomisd -0x58(%rbp), %xmm0
jne 0xc93b
jnp 0xc954
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc954
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xc961
movq %r14, %rdi
callq 0x4114
testq %rbx, %rbx
je 0xc96e
movq %rbx, %rdi
callq 0x4114
movq %r15, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x4667
callq 0x4667
movq %rax, %r15
movb $0x1, %r12b
jmp 0xc9bf
movq %rax, %r15
movsd -0x30(%rbp), %xmm0
ucomisd -0x58(%rbp), %xmm0
jne 0xc9a3
jnp 0xc9bf
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
movb $0x1, %r12b
cmpq %rax, %rdi
je 0xc9bf
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x31f0
testb %r12b, %r12b
jmp 0xca19
jmp 0xc9c8
jmp 0xc9cd
movq %rax, %r15
jmp 0xca19
movq %rax, %rdi
callq 0x4085
movq %rax, %r15
movq -0x88(%rbp), %rdi
testq %rdi, %rdi
je 0xc9ee
callq 0x4114
jmp 0xc9ee
movq %rax, %r15
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xca16
callq 0x4114
jmp 0xca16
movq %rax, %r15
jmp 0xca14
movq %rax, %r15
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0xca14
callq 0x4114
xorl %ebx, %ebx
xorl %r14d, %r14d
testq %r14, %r14
je 0xca26
movq %r14, %rdi
callq 0x4114
testq %rbx, %rbx
je 0xca33
movq %rbx, %rdi
callq 0x4114
movq %r15, %rdi
callq 0x3310
nop