// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_operator_f3_bop_s_check_consistency
er_t x_btcl_operator_f3_bop_s_check_consistency( const x_btcl_operator_f3_bop_s* o )
{
    // bcore_x_btcl_operator_f3.x:226:5
    
    BLM_TRY(EM_ASSERT(o->a ))
    BLM_TRY(EM_ASSERT(o->b ))
    BLM_TRY(EM_ASSERT(o->sa ))
    BLM_TRY(EM_ASSERT(o->sb ))
    BLM_TRY(EM_ASSERT(o->fp_get != NULL ))
    BLM_TRY(x_btcl_operator_f3_a_check_consistency(o->a))
    BLM_TRY(x_btcl_operator_f3_a_check_consistency(o->b))
    return  0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $-0x2b54a1bd1db02486, %r14 # imm = 0xD4AB5E42E24FDB7A
cmpq $0x0, 0x10(%rdi)
je 0x96b13
cmpq $0x0, 0x18(%rbx)
je 0x96b4d
cmpq $0x0, 0x20(%rbx)
je 0x96b87
cmpq $0x0, 0x28(%rbx)
je 0x96bbd
cmpq $0x0, 0x30(%rbx)
je 0x96bf3
movq 0x10(%rbx), %r14
movq (%r14), %r15
leaq 0x103e4a(%rip), %rax    # 0x19a8a8
movl 0x103e44(%rip), %ecx    # 0x19a8a8
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r15, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r15, %rdx
je 0x96ab8
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r15, %rdx
je 0x96ab8
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r15, %rdx
je 0x96ab8
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r15, %rdx
jne 0x96ac1
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x96ae8
movabsq $0x37a58f457601baa0, %rdi # imm = 0x37A58F457601BAA0
movq %r15, %rsi
callq 0xe9bc5
movq %rax, %r12
leaq 0x103dcb(%rip), %rdi    # 0x19a8a8
movq %r15, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r14, %rdi
callq *0x28(%r12)
testq %rax, %rax
jne 0x96c28
movq 0x18(%rbx), %rdi
callq 0x95e1f
testq %rax, %rax
jne 0x96c28
xorl %r15d, %r15d
jmp 0x96c3a
leaq 0xa2625(%rip), %rsi     # 0x13913f
leaq 0xa2665(%rip), %rdx     # 0x139186
leaq 0xa26a6(%rip), %rcx     # 0x1391ce
leaq 0xa07ff(%rip), %r8      # 0x13732e
movl $0x1f0f, %r9d           # imm = 0x1F0F
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x96c28
jmp 0x96a24
leaq 0xa25eb(%rip), %rsi     # 0x13913f
leaq 0xa269e(%rip), %rdx     # 0x1391f9
leaq 0xa266c(%rip), %rcx     # 0x1391ce
leaq 0xa07c5(%rip), %r8      # 0x13732e
movl $0x1f10, %r9d           # imm = 0x1F10
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x96c28
jmp 0x96a2f
leaq 0xa25b1(%rip), %rsi     # 0x13913f
leaq 0xa2621(%rip), %rdx     # 0x1391b6
leaq 0xa2632(%rip), %rcx     # 0x1391ce
leaq 0xa078b(%rip), %r8      # 0x13732e
movl $0x1f11, %r9d           # imm = 0x1F11
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x96c28
jmp 0x96a3a
leaq 0xa257b(%rip), %rsi     # 0x13913f
leaq 0xa2633(%rip), %rdx     # 0x1391fe
leaq 0xa25fc(%rip), %rcx     # 0x1391ce
leaq 0xa0755(%rip), %r8      # 0x13732e
movl $0x1f12, %r9d           # imm = 0x1F12
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x96c28
jmp 0x96a45
leaq 0xa2545(%rip), %rsi     # 0x13913f
leaq 0xa25bb(%rip), %rdx     # 0x1391bc
leaq 0xa25c6(%rip), %rcx     # 0x1391ce
leaq 0xa071f(%rip), %r8      # 0x13732e
movl $0x1f13, %r9d           # imm = 0x1F13
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
je 0x96a50
movq %rax, %r15
leaq 0x10519e(%rip), %rax    # 0x19bdd0
movq (%rax), %rdi
callq 0xd6d2c
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq