// File: /workspace/github_c_makefile_star2_O2/johsteffens[P]beth/lib/bcore/bcore_spect_compare.c
// Function: bcore_diff_spect
st_s* bcore_diff_spect( const bcore_compare_s* p, vc_t obj1, vc_t obj2 )
{
    if( p->compare == compare_generic )
    {
        return diff_generic( p, obj1, obj2 );
    }
    else
    {
        if( bcore_compare_spect( p, obj1, obj2 ) != 0 )
        {
            st_s* s = st_s_createf( "!%s: objects overloading comparison differ:", ifnameof( p->o_type ) );
            st_s_pushf( s, "\n\tobj1: " );
            bcore_translate_x( bcore_inst_t_create_sr( typeof( "bcore_txt_ml_translator_s" ) ), sr_twc( p->o_type, obj1 ), sr_awm( s ) );
            st_s_pushf( s, "\tobj2: " );
            bcore_translate_x( bcore_inst_t_create_sr( typeof( "bcore_txt_ml_translator_s" ) ), sr_twc( p->o_type, obj2 ), sr_awm( s ) );
            return s;
        }
    }
    return NULL;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rdx, %r14
movq %rsi, %r12
movq %rdi, %rbx
movq 0x20(%rdi), %rax
leaq 0x4df(%rip), %rcx       # 0x8183d
cmpq %rcx, %rax
je 0x81511
movq %rbx, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq *%rax
testl %eax, %eax
je 0x815c8
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x4695b(%rip), %rdi     # 0xc7ce5
xorl %r13d, %r13d
movq %rax, %rsi
xorl %eax, %eax
callq 0x8ebc4
movq %rax, %r15
leaq 0x46970(%rip), %rsi     # 0xc7d11
movq %rax, %rdi
xorl %eax, %eax
callq 0x8f42b
leaq 0x43cd8(%rip), %rdi     # 0xc508a
callq 0x81a11
leaq 0xe0(%rsp), %rdi
movq %rax, %rsi
callq 0x80d28
movq 0x8(%rbx), %rdi
movq %r12, 0xb0(%rsp)
testq %rdi, %rdi
je 0x813e0
callq 0x8cd25
movq %rax, %r13
movq %r13, 0xb8(%rsp)
movq $0x1, 0xc0(%rsp)
leaq 0x110(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x81a49
movq 0x10(%r12), %rax
movq %rax, 0x40(%rsp)
movups (%r12), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0xc0(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0xb0(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xf0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xe0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x8a2f4
leaq 0x468c0(%rip), %rsi     # 0xc7d1a
xorl %r12d, %r12d
movq %r15, %rdi
xorl %eax, %eax
callq 0x8f42b
leaq 0x43c1c(%rip), %rdi     # 0xc508a
callq 0x81a11
leaq 0xc8(%rsp), %rdi
movq %rax, %rsi
callq 0x80d28
movq 0x8(%rbx), %rdi
movq %r14, 0x98(%rsp)
testq %rdi, %rdi
je 0x8149c
callq 0x8cd25
movq %rax, %r12
movq %r12, 0xa0(%rsp)
movq $0x1, 0xa8(%rsp)
leaq 0xf8(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x81a49
movq 0x10(%rbx), %rax
movq %rax, 0x40(%rsp)
movups (%rbx), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0xa8(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x98(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xd8(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xc8(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x8a2f4
jmp 0x815fc
cmpq %r14, %r12
je 0x815c8
testq %r12, %r12
je 0x815cd
testq %r14, %r14
je 0x815df
movq 0x10(%rbx), %rdi
xorl %esi, %esi
callq 0x8b18c
movq 0x8(%rbx), %rdi
testb %al, %al
jne 0x81555
movabsq $-0x503db0e6e1c2e704, %rax # imm = 0xAFC24F191E3D18FC
cmpq %rax, %rdi
movq %rax, %rdi
jne 0x81611
movq %r12, %rsi
movq %r14, %rdx
callq 0x8216d
testl %eax, %eax
je 0x815c8
xorl %eax, %eax
callq 0x8eb65
movq %rax, %r15
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x46856(%rip), %rsi     # 0xc7dd4
movq %r15, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x8f42b
movq 0x8(%rbx), %rsi
movq %r15, %rdi
movq %r12, %rdx
callq 0x8f3b9
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x46835(%rip), %rsi     # 0xc7ddf
movq %r15, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x8f42b
movq 0x8(%rbx), %rsi
movq %r15, %rdi
movq %r14, %rdx
callq 0x8f3b9
jmp 0x815fc
xorl %r15d, %r15d
jmp 0x815fc
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x467cb(%rip), %rdi     # 0xc7da8
jmp 0x815ef
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x467cf(%rip), %rdi     # 0xc7dbe
movq %rax, %rsi
xorl %eax, %eax
callq 0x8ebc4
movq %rax, %r15
movq %r15, %rax
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x10(%rbx), %rdi
xorl %esi, %esi
callq 0x8b194
movq 0x10(%rbx), %r13
testb %al, %al
je 0x816eb
movq 0x8(%r13), %rdi
callq 0x823e9
movq %rax, %r15
movq %rax, %rdi
movq %r12, %rsi
callq 0x7c954
movq %rax, %r13
movq %r15, 0x60(%rsp)
movq %r15, %rdi
movq %r14, %rsi
callq 0x7c954
cmpq %rax, %r13
jne 0x81780
movq %r14, 0x50(%rsp)
xorl %r15d, %r15d
xorl %r14d, %r14d
movq %r13, 0x58(%rsp)
cmpq %r14, %r13
je 0x815fc
leaq 0x80(%rsp), %rdi
movq 0x60(%rsp), %rbp
movq %rbp, %rsi
movq %r12, %rdx
movq %r14, %rcx
callq *0x30(%rbp)
leaq 0x68(%rsp), %rdi
movq %rbp, %rsi
movq 0x50(%rsp), %rdx
movq %r14, 0x48(%rsp)
movq %r14, %rcx
callq *0x30(%rbp)
movq 0x78(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x68(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x90(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x81b00
testq %rax, %rax
jne 0x81810
movq 0x48(%rsp), %r14
incq %r14
movq 0x58(%rsp), %r13
jmp 0x8166b
movq %r14, 0x50(%rsp)
pushq $0x8
popq %rax
xorl %r15d, %r15d
xorl %ebp, %ebp
cmpq 0x20(%r13), %rbp
jae 0x815fc
movq %rax, 0x48(%rsp)
leaq 0x80(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %rbp, %rcx
callq 0x8a459
leaq 0x68(%rsp), %rdi
movq %r13, %r14
movq %r13, %rsi
movq 0x50(%rsp), %rdx
movq %rbp, %rcx
callq 0x8a459
movq 0x78(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x68(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x90(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x81b00
testq %rax, %rax
jne 0x817a8
incq %rbp
movq 0x48(%rsp), %rax
addq $0x38, %rax
movq %r14, %r13
jmp 0x816f8
movq %rax, %r15
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x46652(%rip), %rdi     # 0xc7de5
movq %rax, %rsi
movq %r13, %rdx
movq %r15, %rcx
xorl %eax, %eax
callq 0x8ebc4
jmp 0x815f9
movq %rax, %r13
movq 0x8(%rbx), %rdi
callq 0x819fb
movq %rax, %rbx
movq 0x20(%r14), %r9
cmpq %rbp, %r9
ja 0x817e2
leaq 0x3b622(%rip), %rdi     # 0xbcde9
leaq 0x3b637(%rip), %rsi     # 0xbce05
leaq 0x3b644(%rip), %rcx     # 0xbce19
pushq $0x4e
popq %rdx
movq %rbp, %r8
xorl %eax, %eax
callq 0x60031
movq 0x30(%r14), %rax
movq 0x48(%rsp), %rcx
movq (%rax,%rcx), %rdi
callq 0x819fb
leaq 0x4660f(%rip), %rsi     # 0xc7e0a
movq %r13, %rdi
movq %rbx, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x8f42b
jmp 0x815f9
movq %rax, %rbp
movq 0x8(%rbx), %rdi
callq 0x819fb
leaq 0x465dc(%rip), %rsi     # 0xc7dff
movq %rbp, %rdi
movq %rax, %rdx
movq 0x48(%rsp), %rcx
xorl %eax, %eax
callq 0x8f42b
movq %rbp, %r15
jmp 0x815fc