// File: /workspace/github_c_makefile_star2_O3/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 $0x118, %rsp            # imm = 0x118
movq %rdx, %r14
movq %rsi, %r12
movq %rdi, %rbx
movq 0x20(%rdi), %rax
leaq 0x6b0(%rip), %rcx       # 0xf4a4f
cmpq %rcx, %rax
je 0xf44d4
movq %rbx, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq *%rax
testl %eax, %eax
je 0xf494b
movq %r14, 0x48(%rsp)
movabsq $-0x7c4788a4d080fe1c, %r13 # imm = 0x83B8775B2F7F01E4
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x54338(%rip), %rsi     # 0x148715
cmovneq %rax, %rsi
leaq 0x55a23(%rip), %rdi     # 0x149e0b
xorl %eax, %eax
callq 0x109ce5
movq %rax, %r15
leaq 0x55a3e(%rip), %rsi     # 0x149e37
movq %rax, %rdi
xorl %eax, %eax
callq 0x10a7d0
leaq 0xa805e(%rip), %r14     # 0x19c468
movl (%r14), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0xf4460
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0xf4460
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0xf4460
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0xf4469
movq (%rax,%rcx), %rbp
testq %rbp, %rbp
jne 0xf4490
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r13, %rsi
callq 0xe9bc5
movq %rax, %rbp
leaq 0xa7fe3(%rip), %rdi     # 0x19c468
movq %r13, %rsi
movq %rax, %rdx
callq 0x115fac
movq %rbp, %rdi
callq *0xa8(%rbp)
movq %rax, 0xd0(%rsp)
movq %rbp, 0xd8(%rsp)
movq $0x2, 0xe0(%rsp)
movq 0x8(%rbx), %rdi
movq %r12, 0xb8(%rsp)
testq %rdi, %rdi
je 0xf45a7
callq 0x1074f1
jmp 0xf45a9
cmpq %r14, %r12
je 0xf494b
testq %r12, %r12
je 0xf479d
testq %r14, %r14
je 0xf47bd
movq 0x10(%rbx), %rdi
xorl %esi, %esi
callq 0x10326d
movq 0x8(%rbx), %rdi
testb %al, %al
jne 0xf4518
movabsq $-0x503db0e6e1c2e704, %rax # imm = 0xAFC24F191E3D18FC
cmpq %rax, %rdi
movq %rax, %rdi
jne 0xf47ea
movq %r12, %rsi
movq %r14, %rdx
callq 0xf585d
testl %eax, %eax
je 0xf494b
xorl %eax, %eax
callq 0x109c82
movq %rax, %r15
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x541cd(%rip), %r13     # 0x148715
cmoveq %r13, %rax
leaq 0x55993(%rip), %rsi     # 0x149ee6
movq %r15, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x10a7d0
movq 0x8(%rbx), %rsi
movq %r15, %rdi
movq %r12, %rdx
callq 0x10a721
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
cmovneq %rax, %r13
leaq 0x5596b(%rip), %rsi     # 0x149ef1
movq %r15, %rdi
movq %r13, %rdx
xorl %eax, %eax
callq 0x10a7d0
movq 0x8(%rbx), %rsi
movq %r15, %rdi
movq %r14, %rdx
callq 0x10a721
jmp 0xf494e
xorl %eax, %eax
movq %rax, 0xc0(%rsp)
movq $0x1, 0xc8(%rsp)
movq %r15, 0x100(%rsp)
testq %r15, %r15
je 0xf45d4
movq (%r15), %rdi
callq 0x1074f1
jmp 0xf45d6
xorl %eax, %eax
movq %rax, 0x108(%rsp)
xorl %eax, %eax
movq %rax, 0x110(%rsp)
movq %rax, 0x40(%rsp)
movups 0x100(%rsp), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0xc8(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0xb8(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xd0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x101d28
leaq 0x55807(%rip), %rsi     # 0x149e40
movq %r15, %rdi
xorl %eax, %eax
callq 0x10a7d0
movl (%r14), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0xf4699
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0xf4699
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0xf4699
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0xf46a2
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0xf46c9
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r13, %rsi
callq 0xe9bc5
movq %rax, %r12
leaq 0xa7daa(%rip), %rdi     # 0x19c468
movq %r13, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r12, %rdi
callq *0xa8(%r12)
movq %rax, 0xa0(%rsp)
movq %r12, 0xa8(%rsp)
movq $0x2, 0xb0(%rsp)
movq 0x8(%rbx), %rdi
movq 0x48(%rsp), %rax
movq %rax, 0x88(%rsp)
testq %rdi, %rdi
je 0xf470d
callq 0x1074f1
jmp 0xf470f
xorl %eax, %eax
movq %rax, 0x90(%rsp)
movq $0x1, 0x98(%rsp)
movq %r15, 0xe8(%rsp)
testq %r15, %r15
je 0xf473a
movq (%r15), %rdi
callq 0x1074f1
jmp 0xf473c
xorl %eax, %eax
movq %rax, 0xf0(%rsp)
xorl %eax, %eax
movq %rax, 0xf8(%rsp)
movq %rax, 0x40(%rsp)
movups 0xe8(%rsp), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x88(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xb0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xa0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x101d28
jmp 0xf494e
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x53f65(%rip), %rsi     # 0x148715
cmovneq %rax, %rsi
leaq 0x556ff(%rip), %rdi     # 0x149eba
jmp 0xf47db
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x53f45(%rip), %rsi     # 0x148715
cmovneq %rax, %rsi
leaq 0x556f5(%rip), %rdi     # 0x149ed0
xorl %eax, %eax
callq 0x109ce5
movq %rax, %r15
jmp 0xf494e
movq 0x10(%rbx), %rdi
xorl %esi, %esi
callq 0x103275
movq 0x10(%rbx), %r13
testb %al, %al
je 0xf48bc
movq 0x8(%r13), %rdi
callq 0xf5b48
movq %rax, %r15
movq %rax, %rdi
movq %r12, %rsi
callq 0xede4d
movq %rax, %rbp
movq %r15, 0x50(%rsp)
movq %r15, %rdi
movq %r14, %rsi
callq 0xede4d
cmpq %rax, %rbp
jne 0xf4963
testq %rbp, %rbp
je 0xf494b
movq %r14, 0x48(%rsp)
xorl %r15d, %r15d
xorl %r13d, %r13d
movq %rbp, %r14
leaq 0x70(%rsp), %rdi
movq 0x50(%rsp), %rbp
movq %rbp, %rsi
movq %r12, %rdx
movq %r13, %rcx
callq *0x30(%rbp)
leaq 0x58(%rsp), %rdi
movq %rbp, %rsi
movq 0x48(%rsp), %rdx
movq %r13, %rcx
callq *0x30(%rbp)
movq 0x68(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xf4e03
testq %rax, %rax
jne 0xf4a19
incq %r13
movq %r14, %rbp
cmpq %r13, %r14
jne 0xf4848
jmp 0xf494e
cmpq $0x0, 0x20(%r13)
je 0xf494b
movq %r14, 0x48(%rsp)
movl $0x8, %eax
xorl %r15d, %r15d
xorl %ebp, %ebp
movq %rax, 0x50(%rsp)
leaq 0x70(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %rbp, %rcx
callq 0x101e10
leaq 0x58(%rsp), %rdi
movq %r13, %rsi
movq 0x48(%rsp), %rdx
movq %rbp, %rcx
callq 0x101e10
movq 0x68(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xf4e03
testq %rax, %rax
jne 0xf4996
incq %rbp
movq 0x50(%rsp), %rax
addq $0x38, %rax
cmpq 0x20(%r13), %rbp
jb 0xf48d6
jmp 0xf494e
xorl %r15d, %r15d
movq %r15, %rax
addq $0x118, %rsp            # imm = 0x118
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r15
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x53d9c(%rip), %rsi     # 0x148715
cmovneq %rax, %rsi
leaq 0x55573(%rip), %rdi     # 0x149ef7
movq %rbp, %rdx
movq %r15, %rcx
xorl %eax, %eax
callq 0x109ce5
jmp 0xf47e2
movq %rax, %r14
movq 0x8(%rbx), %rdi
callq 0xd6ec4
movq %rax, %rbx
testq %rax, %rax
leaq 0x53d66(%rip), %r15     # 0x148715
cmoveq %r15, %rbx
movq %r13, %r12
movq 0x20(%r13), %r9
cmpq %rbp, %r9
ja 0xf49e3
leaq 0x4a756(%rip), %rdi     # 0x13f11c
leaq 0x4a76b(%rip), %rsi     # 0x13f138
leaq 0x4a778(%rip), %rcx     # 0x13f14c
movl $0x4e, %edx
movq %rbp, %r8
xorl %eax, %eax
callq 0xbe592
movq 0x30(%r12), %rax
movq 0x50(%rsp), %rcx
movq (%rax,%rcx), %rdi
callq 0xd6ec4
testq %rax, %rax
cmovneq %rax, %r15
leaq 0x55518(%rip), %rsi     # 0x149f1c
movq %r14, %rdi
movq %rbx, %rdx
movq %r15, %rcx
xorl %eax, %eax
callq 0x10a7d0
jmp 0xf47e2
movq %rax, %rbp
movq 0x8(%rbx), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x53ce6(%rip), %rdx     # 0x148715
cmovneq %rax, %rdx
leaq 0x554d7(%rip), %rsi     # 0x149f11
movq %rbp, %rdi
movq %r13, %rcx
xorl %eax, %eax
callq 0x10a7d0
movq %rbp, %r15
jmp 0xf494e