// File: /workspace/github_c_makefile_star2_O3/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 0x97781
cmpq $0x0, 0x18(%rbx)
je 0x977bb
cmpq $0x0, 0x20(%rbx)
je 0x977f5
cmpq $0x0, 0x28(%rbx)
je 0x9782f
cmpq $0x0, 0x30(%rbx)
je 0x97869
cmpq $0x0, 0x38(%rbx)
je 0x9789f
cmpq $0x0, 0x40(%rbx)
je 0x978d5
movq 0x10(%rbx), %rdi
callq 0x95e1f
testq %rax, %rax
jne 0x9790a
movq 0x18(%rbx), %rdi
callq 0x95e1f
testq %rax, %rax
jne 0x9790a
movq 0x20(%rbx), %rdi
callq 0x95e1f
testq %rax, %rax
jne 0x9790a
xorl %r15d, %r15d
jmp 0x9791c
leaq 0xa19b7(%rip), %rsi     # 0x13913f
leaq 0xa19f7(%rip), %rdx     # 0x139186
leaq 0xa1a6e(%rip), %rcx     # 0x139204
leaq 0x9fb91(%rip), %r8      # 0x13732e
movl $0x1f4c, %r9d           # imm = 0x1F4C
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x97701
leaq 0xa197d(%rip), %rsi     # 0x13913f
leaq 0xa1a30(%rip), %rdx     # 0x1391f9
leaq 0xa1a34(%rip), %rcx     # 0x139204
leaq 0x9fb57(%rip), %r8      # 0x13732e
movl $0x1f4d, %r9d           # imm = 0x1F4D
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x9770c
leaq 0xa1943(%rip), %rsi     # 0x13913f
leaq 0xa1a2c(%rip), %rdx     # 0x13922f
leaq 0xa19fa(%rip), %rcx     # 0x139204
leaq 0x9fb1d(%rip), %r8      # 0x13732e
movl $0x1f4e, %r9d           # imm = 0x1F4E
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x97717
leaq 0xa1909(%rip), %rsi     # 0x13913f
leaq 0xa1979(%rip), %rdx     # 0x1391b6
leaq 0xa19c0(%rip), %rcx     # 0x139204
leaq 0x9fae3(%rip), %r8      # 0x13732e
movl $0x1f4f, %r9d           # imm = 0x1F4F
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x97722
leaq 0xa18cf(%rip), %rsi     # 0x13913f
leaq 0xa1987(%rip), %rdx     # 0x1391fe
leaq 0xa1986(%rip), %rcx     # 0x139204
leaq 0x9faa9(%rip), %r8      # 0x13732e
movl $0x1f50, %r9d           # imm = 0x1F50
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x9772d
leaq 0xa1899(%rip), %rsi     # 0x13913f
leaq 0xa1987(%rip), %rdx     # 0x139234
leaq 0xa1950(%rip), %rcx     # 0x139204
leaq 0x9fa73(%rip), %r8      # 0x13732e
movl $0x1f51, %r9d           # imm = 0x1F51
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
jne 0x9790a
jmp 0x97738
leaq 0xa1863(%rip), %rsi     # 0x13913f
leaq 0xa18d9(%rip), %rdx     # 0x1391bc
leaq 0xa191a(%rip), %rcx     # 0x139204
leaq 0x9fa3d(%rip), %r8      # 0x13732e
movl $0x1f52, %r9d           # imm = 0x1F52
movq %r14, %rdi
xorl %eax, %eax
callq 0xbec3c
testq %rax, %rax
je 0x97743
movq %rax, %r15
leaq 0x1044bc(%rip), %rax    # 0x19bdd0
movq (%rax), %rdi
callq 0xd6d2c
movq %r15, %rax
popq %rbx
popq %r14
popq %r15
retq