// File: /workspace/github_c_makefile_star2_O0/johsteffens[P]beth/lib/bcore/bcore_btree.c
// Function: bcore_btree_node_ip_s_check_consistency
void bcore_btree_node_ip_s_check_consistency( bcore_btree_node_ip_s* o )
{
    if( bcore_btree_node_ip_s_null_g.kv1.key != 0    ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.kv1.val != 0    ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.kv2.key != 0    ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.kv2.val != 0    ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.parent  != NULL ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.child0  != NULL ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.child1  != NULL ) ERR( "bcore_btree_node_ip_s_null was modified" );
    if( bcore_btree_node_ip_s_null_g.child2  != NULL ) ERR( "bcore_btree_node_ip_s_null was modified" );

    if( !o ) return;
    if( bcore_btree_node_ip_s_is_empty( o ) ) ERR( "empty node" );
    if( o->child0 == NULL )       ERR( "deleted leaf" );
    if( o->child1 && o->child1 != BNUL_IP )
    {
        if( o != o->child0->parent ) ERR( "child0 incorrect parent" );
        if( o != o->child1->parent ) ERR( "child1 incorrect parent" );
        bcore_btree_node_ip_s_check_consistency( o->child0 );
        bcore_btree_node_ip_s_check_consistency( o->child1 );
        if(                      o->kv1.key <= o->child0->kv1.key ) ERR( "(%lu <= %lu)", o->kv1.key, o->child0->kv1.key );
        if( o->child0->child2 && o->kv1.key <= o->child0->kv2.key ) ERR( "(%lu <= %lu)", o->kv1.key, o->child0->kv2.key );
        if(                      o->kv1.key >= o->child1->kv1.key ) ERR( "(%lu >= %lu)", o->kv1.key, o->child1->kv1.key );
        if( o->child1->child2 && o->kv1.key >= o->child1->kv2.key ) ERR( "(%lu >= %lu)", o->kv1.key, o->child1->kv2.key );
    }
    if( o->child2 && o->child2 != BNUL_IP )
    {
        if( o->kv1.key >= o->kv2.key ) ERR( "(%lu >= %lu)", o->kv1.key, o->kv2.key );
        if( o != o->child2->parent ) ERR( "child2 incorrect parent" );
        bcore_btree_node_ip_s_check_consistency( o->child2 );
        if(                      o->kv2.key <= o->child1->kv1.key ) ERR( "(%lu <= %lu)", o->kv2.key, o->child1->kv1.key );
        if( o->child1->child2 && o->kv2.key <= o->child1->kv2.key ) ERR( "(%lu <= %lu)", o->kv2.key, o->child1->kv2.key );
        if(                      o->kv2.key >= o->child2->kv1.key ) ERR( "(%lu >= %lu)", o->kv2.key, o->child2->kv1.key );
        if( o->child2->child2 && o->kv2.key >= o->child2->kv2.key ) ERR( "(%lu >= %lu)", o->kv2.key, o->child2->kv2.key );
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq %rdi, -0x8(%rbp)
cmpq $0x0, 0x92e9c(%rip)     # 0x1b3890
je 0x120a17
leaq 0x385d8(%rip), %rdi     # 0x158fd5
leaq 0x385f9(%rip), %rsi     # 0x158ffd
movl $0x7e, %edx
leaq 0x385fb(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92e79(%rip)     # 0x1b3898
je 0x120a42
leaq 0x385ad(%rip), %rdi     # 0x158fd5
leaq 0x385ce(%rip), %rsi     # 0x158ffd
movl $0x7f, %edx
leaq 0x385d0(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92e56(%rip)     # 0x1b38a0
je 0x120a6d
leaq 0x38582(%rip), %rdi     # 0x158fd5
leaq 0x385a3(%rip), %rsi     # 0x158ffd
movl $0x80, %edx
leaq 0x385a5(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92e33(%rip)     # 0x1b38a8
je 0x120a98
leaq 0x38557(%rip), %rdi     # 0x158fd5
leaq 0x38578(%rip), %rsi     # 0x158ffd
movl $0x81, %edx
leaq 0x3857a(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92e10(%rip)     # 0x1b38b0
je 0x120ac3
leaq 0x3852c(%rip), %rdi     # 0x158fd5
leaq 0x3854d(%rip), %rsi     # 0x158ffd
movl $0x82, %edx
leaq 0x3854f(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92ded(%rip)     # 0x1b38b8
je 0x120aee
leaq 0x38501(%rip), %rdi     # 0x158fd5
leaq 0x38522(%rip), %rsi     # 0x158ffd
movl $0x83, %edx
leaq 0x38524(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92dca(%rip)     # 0x1b38c0
je 0x120b19
leaq 0x384d6(%rip), %rdi     # 0x158fd5
leaq 0x384f7(%rip), %rsi     # 0x158ffd
movl $0x84, %edx
leaq 0x384f9(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x92da7(%rip)     # 0x1b38c8
je 0x120b44
leaq 0x384ab(%rip), %rdi     # 0x158fd5
leaq 0x384cc(%rip), %rsi     # 0x158ffd
movl $0x85, %edx
leaq 0x384ce(%rip), %rcx     # 0x15900b
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, -0x8(%rbp)
jne 0x120b50
jmp 0x120f7c
movq -0x8(%rbp), %rdi
callq 0x1209c0
cmpl $0x0, %eax
je 0x120b7f
leaq 0x38470(%rip), %rdi     # 0x158fd5
leaq 0x38491(%rip), %rsi     # 0x158ffd
movl $0x88, %edx
leaq 0x384bb(%rip), %rcx     # 0x159033
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x120bab
leaq 0x38444(%rip), %rdi     # 0x158fd5
leaq 0x38465(%rip), %rsi     # 0x158ffd
movl $0x89, %edx
leaq 0x3849a(%rip), %rcx     # 0x15903e
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x30(%rax)
je 0x120d8f
movq -0x8(%rbp), %rax
leaq 0x92ccb(%rip), %rcx     # 0x1b3890
cmpq %rcx, 0x30(%rax)
je 0x120d8f
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x20(%rcx), %rax
je 0x120c02
leaq 0x383ed(%rip), %rdi     # 0x158fd5
leaq 0x3840e(%rip), %rsi     # 0x158ffd
movl $0x8c, %edx
leaq 0x38450(%rip), %rcx     # 0x15904b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x20(%rcx), %rax
je 0x120c35
leaq 0x383ba(%rip), %rdi     # 0x158fd5
leaq 0x383db(%rip), %rsi     # 0x158ffd
movl $0x8d, %edx
leaq 0x38435(%rip), %rcx     # 0x159063
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x1209e0
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1209e0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x120c96
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq (%rax), %r9
leaq 0x38359(%rip), %rdi     # 0x158fd5
leaq 0x3837a(%rip), %rsi     # 0x158ffd
movl $0x90, %edx
leaq 0x383ec(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x120cee
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x120cee
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x38301(%rip), %rdi     # 0x158fd5
leaq 0x38322(%rip), %rsi     # 0x158ffd
movl $0x91, %edx
leaq 0x38394(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq (%rcx), %rax
jb 0x120d35
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x382ba(%rip), %rdi     # 0x158fd5
leaq 0x382db(%rip), %rsi     # 0x158ffd
movl $0x92, %edx
leaq 0x3835a(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x120d8d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x120d8d
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x38262(%rip), %rdi     # 0x158fd5
leaq 0x38283(%rip), %rsi     # 0x158ffd
movl $0x93, %edx
leaq 0x38302(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x120d8f
movq -0x8(%rbp), %rax
cmpq $0x0, 0x38(%rax)
je 0x120f7c
movq -0x8(%rbp), %rax
leaq 0x92ae7(%rip), %rcx     # 0x1b3890
cmpq %rcx, 0x38(%rax)
je 0x120f7c
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x10(%rcx), %rax
jb 0x120df4
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r9
leaq 0x381fb(%rip), %rdi     # 0x158fd5
leaq 0x3821c(%rip), %rsi     # 0x158ffd
movl $0x97, %edx
leaq 0x3829b(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
cmpq 0x20(%rcx), %rax
je 0x120e27
leaq 0x381c8(%rip), %rdi     # 0x158fd5
leaq 0x381e9(%rip), %rsi     # 0x158ffd
movl $0x98, %edx
leaq 0x38275(%rip), %rcx     # 0x159095
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rdi
callq 0x1209e0
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x120e7d
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x38172(%rip), %rdi     # 0x158fd5
leaq 0x38193(%rip), %rsi     # 0x158ffd
movl $0x9a, %edx
leaq 0x38205(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x120ed7
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x120ed7
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x38118(%rip), %rdi     # 0x158fd5
leaq 0x38139(%rip), %rsi     # 0x158ffd
movl $0x9b, %edx
leaq 0x381ab(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
cmpq (%rcx), %rax
jb 0x120f20
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq (%rax), %r9
leaq 0x380cf(%rip), %rdi     # 0x158fd5
leaq 0x380f0(%rip), %rsi     # 0x158ffd
movl $0x9c, %edx
leaq 0x3816f(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x120f7a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x120f7a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x38075(%rip), %rdi     # 0x158fd5
leaq 0x38096(%rip), %rsi     # 0x158ffd
movl $0x9d, %edx
leaq 0x38115(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x120f7c
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)