// File: /workspace/github_c_makefile_star2_O2/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_operator_f3_top_s_check_consistency
er_t x_btcl_operator_f3_top_s_check_consistency( const x_btcl_operator_f3_top_s* o )
{
    // bcore_x_btcl_operator_f3.x:286:5
    
    BLM_TRY(EM_ASSERT(o->a ))
    BLM_TRY(EM_ASSERT(o->b ))
    BLM_TRY(EM_ASSERT(o->c ))
    BLM_TRY(EM_ASSERT(o->sa ))
    BLM_TRY(EM_ASSERT(o->sb ))
    BLM_TRY(EM_ASSERT(o->sc ))
    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))
    BLM_TRY(x_btcl_operator_f3_a_check_consistency(o->c))
    return  0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movabsq $-0x2b54a1bd1db02486, %r14 # imm = 0xD4AB5E42E24FDB7A
cmpq $0x0, 0x10(%rdi)
je 0x461df
cmpq $0x0, 0x18(%rbx)
je 0x46219
cmpq $0x0, 0x20(%rbx)
je 0x46253
cmpq $0x0, 0x28(%rbx)
je 0x4628d
cmpq $0x0, 0x30(%rbx)
je 0x462c7
cmpq $0x0, 0x38(%rbx)
je 0x462fd
cmpq $0x0, 0x40(%rbx)
je 0x46333
movq 0x10(%rbx), %rdi
callq 0x45a61
testq %rax, %rax
jne 0x46368
movq 0x18(%rbx), %rdi
callq 0x45a61
testq %rax, %rax
jne 0x46368
movq 0x20(%rbx), %rdi
callq 0x45a61
testq %rax, %rax
jne 0x46368
xorl %r15d, %r15d
jmp 0x4637a
leaq 0x70385(%rip), %rsi     # 0xb656b
leaq 0x703c5(%rip), %rdx     # 0xb65b2
leaq 0x7043c(%rip), %rcx     # 0xb6630
leaq 0x6e553(%rip), %r8      # 0xb474e
movl $0x1f4c, %r9d           # imm = 0x1F4C
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x4615f
leaq 0x7034b(%rip), %rsi     # 0xb656b
leaq 0x703fe(%rip), %rdx     # 0xb6625
leaq 0x70402(%rip), %rcx     # 0xb6630
leaq 0x6e519(%rip), %r8      # 0xb474e
movl $0x1f4d, %r9d           # imm = 0x1F4D
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x4616a
leaq 0x70311(%rip), %rsi     # 0xb656b
leaq 0x703fa(%rip), %rdx     # 0xb665b
leaq 0x703c8(%rip), %rcx     # 0xb6630
leaq 0x6e4df(%rip), %r8      # 0xb474e
movl $0x1f4e, %r9d           # imm = 0x1F4E
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x46175
leaq 0x702d7(%rip), %rsi     # 0xb656b
leaq 0x70347(%rip), %rdx     # 0xb65e2
leaq 0x7038e(%rip), %rcx     # 0xb6630
leaq 0x6e4a5(%rip), %r8      # 0xb474e
movl $0x1f4f, %r9d           # imm = 0x1F4F
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x46180
leaq 0x7029d(%rip), %rsi     # 0xb656b
leaq 0x70355(%rip), %rdx     # 0xb662a
leaq 0x70354(%rip), %rcx     # 0xb6630
leaq 0x6e46b(%rip), %r8      # 0xb474e
movl $0x1f50, %r9d           # imm = 0x1F50
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x4618b
leaq 0x70267(%rip), %rsi     # 0xb656b
leaq 0x70355(%rip), %rdx     # 0xb6660
leaq 0x7031e(%rip), %rcx     # 0xb6630
leaq 0x6e435(%rip), %r8      # 0xb474e
movl $0x1f51, %r9d           # imm = 0x1F51
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
jne 0x46368
jmp 0x46196
leaq 0x70231(%rip), %rsi     # 0xb656b
leaq 0x702a7(%rip), %rdx     # 0xb65e8
leaq 0x702e8(%rip), %rcx     # 0xb6630
leaq 0x6e3ff(%rip), %r8      # 0xb474e
movl $0x1f52, %r9d           # imm = 0x1F52
movq %r14, %rdi
xorl %eax, %eax
callq 0x605f4
testq %rax, %rax
je 0x461a1
movq %rax, %r15
leaq 0xd1a5e(%rip), %rax     # 0x117dd0
movq (%rax), %rdi
callq 0x71b64
movq %r15, %rax
popq %rbx
popq %r14
popq %r15
retq