// File: /workspace/github_c_makefile_star2_O0/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 %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x6f8f5
xorl %eax, %eax
movq %rax, -0x88(%rbp)
jmp 0x6f92f
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
leaq 0xd1525(%rip), %rsi     # 0x140e2b
leaq 0xd1565(%rip), %rdx     # 0x140e72
leaq 0xd15a6(%rip), %rcx     # 0x140eba
leaq 0xcf6f3(%rip), %r8      # 0x13f00e
movl $0x1e9f, %r9d           # imm = 0x1E9F
movb $0x0, %al
callq 0x9e090
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x6f965
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
leaq 0x1429e0(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x6f97b
xorl %eax, %eax
movq %rax, -0x90(%rbp)
jmp 0x6f9b5
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
leaq 0xd149f(%rip), %rsi     # 0x140e2b
leaq 0xd1552(%rip), %rdx     # 0x140ee5
leaq 0xd1520(%rip), %rcx     # 0x140eba
leaq 0xcf66d(%rip), %r8      # 0x13f00e
movl $0x1ea0, %r9d           # imm = 0x1EA0
movb $0x0, %al
callq 0x9e090
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x6f9eb
movq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x14295a(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x6fa01
xorl %eax, %eax
movq %rax, -0x98(%rbp)
jmp 0x6fa3b
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
leaq 0xd1419(%rip), %rsi     # 0x140e2b
leaq 0xd1489(%rip), %rdx     # 0x140ea2
leaq 0xd149a(%rip), %rcx     # 0x140eba
leaq 0xcf5e7(%rip), %r8      # 0x13f00e
movl $0x1ea1, %r9d           # imm = 0x1EA1
movb $0x0, %al
callq 0x9e090
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x6fa71
movq -0x38(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x1428d4(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x40(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x6fa87
xorl %eax, %eax
movq %rax, -0xa0(%rbp)
jmp 0x6fac1
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
leaq 0xd1393(%rip), %rsi     # 0x140e2b
leaq 0xd144b(%rip), %rdx     # 0x140eea
leaq 0xd1414(%rip), %rcx     # 0x140eba
leaq 0xcf561(%rip), %r8      # 0x13f00e
movl $0x1ea2, %r9d           # imm = 0x1EA2
movb $0x0, %al
callq 0x9e090
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x48(%rbp)
je 0x6faf7
movq -0x48(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x14284e(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x50(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
cmpq $0x0, 0x30(%rax)
je 0x6fb0d
xorl %eax, %eax
movq %rax, -0xa8(%rbp)
jmp 0x6fb47
movabsq $-0x2b54a1bd1db02486, %rdi # imm = 0xD4AB5E42E24FDB7A
leaq 0xd130d(%rip), %rsi     # 0x140e2b
leaq 0xd1383(%rip), %rdx     # 0x140ea8
leaq 0xd138e(%rip), %rcx     # 0x140eba
leaq 0xcf4db(%rip), %r8      # 0x13f00e
movl $0x1ea3, %r9d           # imm = 0x1EA3
movb $0x0, %al
callq 0x9e090
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq %rax, -0x58(%rbp)
cmpq $0x0, -0x58(%rbp)
je 0x6fb7a
movq -0x58(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq 0x1427c8(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x60(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x6f0f0
movq %rax, -0x68(%rbp)
cmpq $0x0, -0x68(%rbp)
je 0x6fbb3
movq -0x68(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq 0x14278f(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x70(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x6f0f0
movq %rax, -0x78(%rbp)
cmpq $0x0, -0x78(%rbp)
je 0x6fbec
movq -0x78(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq 0x142756(%rip), %rax    # 0x1b2330
movq (%rax), %rdi
callq 0xc0720
movq -0x80(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x6fbf4
movq $0x0, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0xb0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)