// File: /workspace/github_c_makefile_star2_O1/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 $0x138, %rsp            # imm = 0x138
movq %rdx, %r13
movq %rsi, %r12
movq %rdi, %r14
movq 0x20(%rdi), %rax
leaq 0x70c(%rip), %rcx       # 0xff146
cmpq %rcx, %rax
je 0xfeb73
movq %r14, %rdi
movq %r12, %rsi
movq %r13, %rdx
callq *%rax
testl %eax, %eax
je 0xff0ed
movq %r13, 0x50(%rsp)
movabsq $-0x7c4788a4d080fe1c, %r13 # imm = 0x83B8775B2F7F01E4
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x54c77(%rip), %rsi     # 0x1536ef
cmovneq %rax, %rsi
leaq 0x56360(%rip), %rdi     # 0x154de3
xorl %eax, %eax
callq 0x114c1e
movq %rax, %r15
leaq 0x5637b(%rip), %rsi     # 0x154e0f
movq %rax, %rdi
xorl %eax, %eax
callq 0x1156f6
leaq 0xaa9c3(%rip), %rbp     # 0x1a9468
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0xfeaff
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0xfeaff
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0xfeaff
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0xfee89
movq (%rax,%rcx), %rbx
testq %rbx, %rbx
jne 0xfeb2f
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r13, %rsi
callq 0xf3f85
movq %rax, %rbx
leaq 0xaa944(%rip), %rdi     # 0x1a9468
movq %r13, %rsi
movq %rax, %rdx
callq 0x12128c
movq %rbx, %rdi
callq *0xa8(%rbx)
movq %rax, 0xf0(%rsp)
movq %rbx, 0xf8(%rsp)
movq $0x2, 0x100(%rsp)
movq 0x8(%r14), %rdi
movq %r12, 0xd8(%rsp)
testq %rdi, %rdi
je 0xfec44
callq 0x1123e1
jmp 0xfec46
cmpq %r13, %r12
je 0xff0ed
testq %r12, %r12
je 0xfee3c
testq %r13, %r13
je 0xfee5c
movq 0x10(%r14), %rdi
xorl %esi, %esi
callq 0x10decb
testb %al, %al
jne 0xfebb1
movabsq $-0x503db0e6e1c2e704, %rax # imm = 0xAFC24F191E3D18FC
cmpq %rax, 0x8(%r14)
jne 0xfee97
movq 0x8(%r14), %rdi
movq %r12, %rsi
movq %r13, %rdx
callq 0xfffcd
testl %eax, %eax
je 0xff0ed
xorl %eax, %eax
callq 0x114bbb
movq %rax, %r15
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x54b0a(%rip), %rbx     # 0x1536ef
cmoveq %rbx, %rax
leaq 0x562ce(%rip), %rsi     # 0x154ebe
movq %r15, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1156f6
movq 0x8(%r14), %rsi
movq %r15, %rdi
movq %r12, %rdx
callq 0x115647
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
cmovneq %rax, %rbx
leaq 0x562a6(%rip), %rsi     # 0x154ec9
movq %r15, %rdi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x1156f6
movq 0x8(%r14), %rsi
movq %r15, %rdi
movq %r13, %rdx
callq 0x115647
jmp 0xff0f0
xorl %eax, %eax
movq %rax, 0xe0(%rsp)
movq $0x1, 0xe8(%rsp)
movq %r15, 0x120(%rsp)
testq %r15, %r15
je 0xfec71
movq (%r15), %rdi
callq 0x1123e1
jmp 0xfec73
xorl %eax, %eax
movq %rax, 0x128(%rsp)
xorl %eax, %eax
movq %rax, 0x130(%rsp)
movq %rax, 0x40(%rsp)
movups 0x120(%rsp), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0xd8(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xf0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x10c944
leaq 0x56142(%rip), %rsi     # 0x154e18
movq %r15, %rdi
xorl %eax, %eax
callq 0x1156f6
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0xfed3a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0xfed3a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0xfed3a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0xfee90
movq (%rax,%rcx), %rbx
testq %rbx, %rbx
jne 0xfed6a
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r13, %rsi
callq 0xf3f85
movq %rax, %rbx
leaq 0xaa709(%rip), %rdi     # 0x1a9468
movq %r13, %rsi
movq %rax, %rdx
callq 0x12128c
movq %rbx, %rdi
callq *0xa8(%rbx)
movq %rax, 0xc0(%rsp)
movq %rbx, 0xc8(%rsp)
movq $0x2, 0xd0(%rsp)
movq 0x8(%r14), %rdi
movq 0x50(%rsp), %rax
movq %rax, 0xa8(%rsp)
testq %rdi, %rdi
je 0xfedac
callq 0x1123e1
jmp 0xfedae
xorl %eax, %eax
movq %rax, 0xb0(%rsp)
movq $0x1, 0xb8(%rsp)
movq %r15, 0x108(%rsp)
testq %r15, %r15
je 0xfedd9
movq (%r15), %rdi
callq 0x1123e1
jmp 0xfeddb
xorl %eax, %eax
movq %rax, 0x110(%rsp)
xorl %eax, %eax
movq %rax, 0x118(%rsp)
movq %rax, 0x40(%rsp)
movups 0x108(%rsp), %xmm0
movups %xmm0, 0x30(%rsp)
movq 0xb8(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0xa8(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xd0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xc0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x10c944
jmp 0xff0f0
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x548a0(%rip), %rsi     # 0x1536ef
cmovneq %rax, %rsi
leaq 0x56038(%rip), %rdi     # 0x154e92
jmp 0xfee7a
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x54880(%rip), %rsi     # 0x1536ef
cmovneq %rax, %rsi
leaq 0x5602e(%rip), %rdi     # 0x154ea8
xorl %eax, %eax
callq 0x114c1e
movq %rax, %r15
jmp 0xff0f0
xorl %ebx, %ebx
jmp 0xfeb03
xorl %ebx, %ebx
jmp 0xfed3e
movq 0x10(%r14), %rdi
xorl %esi, %esi
callq 0x10ded3
movq 0x10(%r14), %rbx
testb %al, %al
je 0xfefa8
movq 0x8(%rbx), %rdi
callq 0x1002b8
movq %rax, %rbp
movq %rax, %rdi
movq %r12, %rsi
callq 0xf837b
movq %rax, %r15
movq %rbp, %rdi
movq %r13, %rsi
callq 0xf837b
cmpq %rax, %r15
jne 0xff105
testq %r15, %r15
je 0xff0ed
movq %r15, 0x60(%rsp)
movq %r13, 0x50(%rsp)
xorl %r15d, %r15d
xorl %r13d, %r13d
leaq 0x90(%rsp), %rdi
movq %rbp, %rsi
movq %r12, %rdx
movq %r13, %rcx
callq *0x30(%rbp)
leaq 0x78(%rsp), %rdi
movq %rbp, %rsi
movq 0x50(%rsp), %rdx
movq %r13, %rcx
callq *0x30(%rbp)
movq 0x88(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x78(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xa0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x90(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xff51b
movq %rax, %rbx
testq %rax, %rax
je 0xfef8c
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x54783(%rip), %rcx     # 0x1536ef
cmoveq %rcx, %rax
movq %rbx, %rdi
leaq 0x55f6f(%rip), %rsi     # 0x154ee9
movq %rax, %rdx
movq %r13, %rcx
xorl %eax, %eax
callq 0x1156f6
movq %rbx, 0x58(%rsp)
testq %rbx, %rbx
jne 0xff13f
incq %r13
cmpq %r13, 0x60(%rsp)
jne 0xfeef5
jmp 0xff0f0
cmpq $0x0, 0x20(%rbx)
je 0xff0ed
movq %r13, 0x50(%rsp)
movl $0x8, %r13d
xorl %r15d, %r15d
xorl %ebp, %ebp
movq %rbx, 0x58(%rsp)
leaq 0x90(%rsp), %rdi
movq %rbx, %rsi
movq %r12, %rdx
movq %rbp, %rcx
callq 0x10ca2c
leaq 0x78(%rsp), %rdi
movq %rbx, %rsi
movq 0x50(%rsp), %rdx
movq %rbp, %rcx
callq 0x10ca2c
movq 0x88(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x78(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xa0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x90(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xff51b
testq %rax, %rax
je 0xff0d5
movq %rax, 0x70(%rsp)
movq %r13, 0x60(%rsp)
movq 0x8(%r14), %rdi
callq 0xe0cbc
movq %rax, %r13
testq %rax, %rax
leaq 0x5469e(%rip), %rax     # 0x1536ef
cmoveq %rax, %r13
movq 0x20(%rbx), %r9
cmpq %rbp, %r9
ja 0xff082
leaq 0x4b23f(%rip), %rdi     # 0x14a2a4
leaq 0x4b254(%rip), %rsi     # 0x14a2c0
movl $0x4e, %edx
leaq 0x4b25c(%rip), %rcx     # 0x14a2d4
movq %rbp, %r8
xorl %eax, %eax
callq 0xc80f6
movq 0x58(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x60(%rsp), %rcx
movq (%rax,%rcx), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x5464c(%rip), %rcx     # 0x1536ef
cmoveq %rcx, %rax
movq 0x70(%rsp), %rbx
movq %rbx, %rdi
leaq 0x55e3e(%rip), %rsi     # 0x154ef4
movq %r13, %rdx
movq 0x60(%rsp), %r13
movq %rax, %rcx
xorl %eax, %eax
callq 0x1156f6
movq %rax, 0x68(%rsp)
movq %rbx, %rax
movq 0x58(%rsp), %rbx
testq %rax, %rax
jne 0xff138
incq %rbp
addq $0x38, %r13
cmpq 0x20(%rbx), %rbp
jb 0xfefc8
jmp 0xff0f0
xorl %r15d, %r15d
movq %r15, %rax
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%r14), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x545d4(%rip), %rsi     # 0x1536ef
cmovneq %rax, %rsi
leaq 0x55da9(%rip), %rdi     # 0x154ecf
movq %r15, %rdx
movq %rbx, %rcx
xorl %eax, %eax
callq 0x114c1e
jmp 0xfee81
movq 0x68(%rsp), %r15
jmp 0xff0f0
movq 0x58(%rsp), %r15
jmp 0xff0f0