// File: /workspace/github_c_makefile_star2_O1/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 %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
cmpq $0x0, 0x10(%rdi)
je 0x9f32a
xorl %r14d, %r14d
jmp 0x9f360
leaq 0xa4f96(%rip), %rsi     # 0x1442c7
leaq 0xa4fd6(%rip), %rdx     # 0x14430e
leaq 0xa5017(%rip), %rcx     # 0x144356
leaq 0xa3170(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f0f, %r9d           # imm = 0x1F0F
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r14
testq %r14, %r14
je 0x9f379
leaq 0x109a64(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
jmp 0x9f5bf
cmpq $0x0, 0x18(%rbx)
je 0x9f385
xorl %r15d, %r15d
jmp 0x9f3bb
leaq 0xa4f3b(%rip), %rsi     # 0x1442c7
leaq 0xa4fee(%rip), %rdx     # 0x144381
leaq 0xa4fbc(%rip), %rcx     # 0x144356
leaq 0xa3115(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f10, %r9d           # imm = 0x1F10
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0x9f3d2
leaq 0x109a09(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0x9f5bf
cmpq $0x0, 0x20(%rbx)
je 0x9f3e7
xorl %r15d, %r15d
jmp 0x9f41d
leaq 0xa4ed9(%rip), %rsi     # 0x1442c7
leaq 0xa4f49(%rip), %rdx     # 0x14433e
leaq 0xa4f5a(%rip), %rcx     # 0x144356
leaq 0xa30b3(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f11, %r9d           # imm = 0x1F11
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0x9f434
leaq 0x1099a7(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0x9f5bf
cmpq $0x0, 0x28(%rbx)
je 0x9f449
xorl %r15d, %r15d
jmp 0x9f47f
leaq 0xa4e77(%rip), %rsi     # 0x1442c7
leaq 0xa4f2f(%rip), %rdx     # 0x144386
leaq 0xa4ef8(%rip), %rcx     # 0x144356
leaq 0xa3051(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f12, %r9d           # imm = 0x1F12
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0x9f496
leaq 0x109945(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0x9f5bf
cmpq $0x0, 0x30(%rbx)
je 0x9f4ab
xorl %r15d, %r15d
jmp 0x9f4e1
leaq 0xa4e15(%rip), %rsi     # 0x1442c7
leaq 0xa4e8b(%rip), %rdx     # 0x144344
leaq 0xa4e96(%rip), %rcx     # 0x144356
leaq 0xa2fef(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f13, %r9d           # imm = 0x1F13
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0x9f4f8
leaq 0x1098e3(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0x9f5bf
movq 0x10(%rbx), %r15
movq (%r15), %r12
leaq 0x108399(%rip), %rax    # 0x1a78a8
movl 0x108393(%rip), %ecx    # 0x1a78a8
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x9f569
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x9f569
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x9f569
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x9f5e6
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x9f599
movabsq $0x37a58f457601baa0, %rdi # imm = 0x37A58F457601BAA0
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x10831a(%rip), %rdi    # 0x1a78a8
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
callq *0x28(%r13)
movq %rax, %r15
testq %rax, %rax
je 0x9f5ba
leaq 0x109821(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
je 0x9f5cc
movq %r14, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq 0x18(%rbx), %rdi
callq 0x9e6cb
movq %rax, %r14
testq %rax, %rax
jne 0x9f365
xorl %r14d, %r14d
jmp 0x9f5bf
xorl %r13d, %r13d
jmp 0x9f56d