// File: /workspace/github_c_makefile_star2_O1/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
cmpq $0x0, 0x10(%rdi)
je 0xa016d
xorl %r14d, %r14d
jmp 0xa01a3
leaq 0xa4153(%rip), %rsi     # 0x1442c7
leaq 0xa4193(%rip), %rdx     # 0x14430e
leaq 0xa420a(%rip), %rcx     # 0x14438c
leaq 0xa232d(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f4c, %r9d           # imm = 0x1F4C
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r14
testq %r14, %r14
je 0xa01bc
leaq 0x108c21(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
jmp 0xa0454
cmpq $0x0, 0x18(%rbx)
je 0xa01c8
xorl %r15d, %r15d
jmp 0xa01fe
leaq 0xa40f8(%rip), %rsi     # 0x1442c7
leaq 0xa41ab(%rip), %rdx     # 0x144381
leaq 0xa41af(%rip), %rcx     # 0x14438c
leaq 0xa22d2(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f4d, %r9d           # imm = 0x1F4D
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa0215
leaq 0x108bc6(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
cmpq $0x0, 0x20(%rbx)
je 0xa022a
xorl %r15d, %r15d
jmp 0xa0260
leaq 0xa4096(%rip), %rsi     # 0x1442c7
leaq 0xa417f(%rip), %rdx     # 0x1443b7
leaq 0xa414d(%rip), %rcx     # 0x14438c
leaq 0xa2270(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f4e, %r9d           # imm = 0x1F4E
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa0277
leaq 0x108b64(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
cmpq $0x0, 0x28(%rbx)
je 0xa028c
xorl %r15d, %r15d
jmp 0xa02c2
leaq 0xa4034(%rip), %rsi     # 0x1442c7
leaq 0xa40a4(%rip), %rdx     # 0x14433e
leaq 0xa40eb(%rip), %rcx     # 0x14438c
leaq 0xa220e(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f4f, %r9d           # imm = 0x1F4F
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa02d9
leaq 0x108b02(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
cmpq $0x0, 0x30(%rbx)
je 0xa02ee
xorl %r15d, %r15d
jmp 0xa0324
leaq 0xa3fd2(%rip), %rsi     # 0x1442c7
leaq 0xa408a(%rip), %rdx     # 0x144386
leaq 0xa4089(%rip), %rcx     # 0x14438c
leaq 0xa21ac(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f50, %r9d           # imm = 0x1F50
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa033b
leaq 0x108aa0(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
cmpq $0x0, 0x38(%rbx)
je 0xa0350
xorl %r15d, %r15d
jmp 0xa0386
leaq 0xa3f70(%rip), %rsi     # 0x1442c7
leaq 0xa405e(%rip), %rdx     # 0x1443bc
leaq 0xa4027(%rip), %rcx     # 0x14438c
leaq 0xa214a(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f51, %r9d           # imm = 0x1F51
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa039d
leaq 0x108a3e(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
cmpq $0x0, 0x40(%rbx)
je 0xa03b2
xorl %r15d, %r15d
jmp 0xa03e8
leaq 0xa3f0e(%rip), %rsi     # 0x1442c7
leaq 0xa3f84(%rip), %rdx     # 0x144344
leaq 0xa3fc5(%rip), %rcx     # 0x14438c
leaq 0xa20e8(%rip), %r8      # 0x1424b6
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
movl $0x1f52, %r9d           # imm = 0x1F52
xorl %eax, %eax
callq 0xc87b0
movq %rax, %r15
testq %r15, %r15
je 0xa03ff
leaq 0x1089dc(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
movq 0x10(%rbx), %rdi
callq 0x9e6cb
movq %rax, %r15
testq %rax, %rax
je 0xa0427
leaq 0x1089b4(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
jne 0xa0454
movq 0x18(%rbx), %rdi
callq 0x9e6cb
movq %rax, %r15
testq %rax, %rax
je 0xa044f
leaq 0x10898c(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r15, %r14
testq %r15, %r15
je 0xa045d
movq %r14, %rax
popq %rbx
popq %r14
popq %r15
retq
movq 0x20(%rbx), %rdi
callq 0x9e6cb
movq %rax, %r14
testq %rax, %rax
jne 0xa01a8
xorl %r14d, %r14d
jmp 0xa0454