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

    if( !o ) return;
    if( bcore_btree_node_pp_s_is_empty( o ) ) ERR( "empty node" );
    if( o->child0 == NULL )       ERR( "deleted leaf" );
    if( o->child1 && o->child1 != BNUL_PP )
    {
        if( o != o->child0->parent ) ERR( "child0 incorrect parent" );
        if( o != o->child1->parent ) ERR( "child1 incorrect parent" );
        bcore_btree_node_pp_s_check_consistency( o->child0 );
        bcore_btree_node_pp_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_PP )
    {
        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_pp_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, 0x8e76c(%rip)     # 0x1b3910
je 0x1251c7
leaq 0x3407c(%rip), %rdi     # 0x159229
leaq 0x33e49(%rip), %rsi     # 0x158ffd
movl $0x693, %edx            # imm = 0x693
leaq 0x34091(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e749(%rip)     # 0x1b3918
je 0x1251f2
leaq 0x34051(%rip), %rdi     # 0x159229
leaq 0x33e1e(%rip), %rsi     # 0x158ffd
movl $0x694, %edx            # imm = 0x694
leaq 0x34066(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e726(%rip)     # 0x1b3920
je 0x12521d
leaq 0x34026(%rip), %rdi     # 0x159229
leaq 0x33df3(%rip), %rsi     # 0x158ffd
movl $0x695, %edx            # imm = 0x695
leaq 0x3403b(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e703(%rip)     # 0x1b3928
je 0x125248
leaq 0x33ffb(%rip), %rdi     # 0x159229
leaq 0x33dc8(%rip), %rsi     # 0x158ffd
movl $0x696, %edx            # imm = 0x696
leaq 0x34010(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e6e0(%rip)     # 0x1b3930
je 0x125273
leaq 0x33fd0(%rip), %rdi     # 0x159229
leaq 0x33d9d(%rip), %rsi     # 0x158ffd
movl $0x697, %edx            # imm = 0x697
leaq 0x33fe5(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e6bd(%rip)     # 0x1b3938
je 0x12529e
leaq 0x33fa5(%rip), %rdi     # 0x159229
leaq 0x33d72(%rip), %rsi     # 0x158ffd
movl $0x698, %edx            # imm = 0x698
leaq 0x33fba(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e69a(%rip)     # 0x1b3940
je 0x1252c9
leaq 0x33f7a(%rip), %rdi     # 0x159229
leaq 0x33d47(%rip), %rsi     # 0x158ffd
movl $0x699, %edx            # imm = 0x699
leaq 0x33f8f(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8e677(%rip)     # 0x1b3948
je 0x1252f4
leaq 0x33f4f(%rip), %rdi     # 0x159229
leaq 0x33d1c(%rip), %rsi     # 0x158ffd
movl $0x69a, %edx            # imm = 0x69A
leaq 0x33f64(%rip), %rcx     # 0x159251
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, -0x8(%rbp)
jne 0x125300
jmp 0x12572c
movq -0x8(%rbp), %rdi
callq 0x125170
cmpl $0x0, %eax
je 0x12532f
leaq 0x33f14(%rip), %rdi     # 0x159229
leaq 0x33ce1(%rip), %rsi     # 0x158ffd
movl $0x69d, %edx            # imm = 0x69D
leaq 0x33d0b(%rip), %rcx     # 0x159033
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x12535b
leaq 0x33ee8(%rip), %rdi     # 0x159229
leaq 0x33cb5(%rip), %rsi     # 0x158ffd
movl $0x69e, %edx            # imm = 0x69E
leaq 0x33cea(%rip), %rcx     # 0x15903e
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x30(%rax)
je 0x12553f
movq -0x8(%rbp), %rax
leaq 0x8e59b(%rip), %rcx     # 0x1b3910
cmpq %rcx, 0x30(%rax)
je 0x12553f
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x20(%rcx), %rax
je 0x1253b2
leaq 0x33e91(%rip), %rdi     # 0x159229
leaq 0x33c5e(%rip), %rsi     # 0x158ffd
movl $0x6a1, %edx            # imm = 0x6A1
leaq 0x33ca0(%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 0x1253e5
leaq 0x33e5e(%rip), %rdi     # 0x159229
leaq 0x33c2b(%rip), %rsi     # 0x158ffd
movl $0x6a2, %edx            # imm = 0x6A2
leaq 0x33c85(%rip), %rcx     # 0x159063
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x125190
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x125190
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x125446
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq (%rax), %r9
leaq 0x33dfd(%rip), %rdi     # 0x159229
leaq 0x33bca(%rip), %rsi     # 0x158ffd
movl $0x6a5, %edx            # imm = 0x6A5
leaq 0x33c3c(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12549e
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x12549e
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x33da5(%rip), %rdi     # 0x159229
leaq 0x33b72(%rip), %rsi     # 0x158ffd
movl $0x6a6, %edx            # imm = 0x6A6
leaq 0x33be4(%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 0x1254e5
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x33d5e(%rip), %rdi     # 0x159229
leaq 0x33b2b(%rip), %rsi     # 0x158ffd
movl $0x6a7, %edx            # imm = 0x6A7
leaq 0x33baa(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12553d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x12553d
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x33d06(%rip), %rdi     # 0x159229
leaq 0x33ad3(%rip), %rsi     # 0x158ffd
movl $0x6a8, %edx            # imm = 0x6A8
leaq 0x33b52(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x12553f
movq -0x8(%rbp), %rax
cmpq $0x0, 0x38(%rax)
je 0x12572c
movq -0x8(%rbp), %rax
leaq 0x8e3b7(%rip), %rcx     # 0x1b3910
cmpq %rcx, 0x38(%rax)
je 0x12572c
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x10(%rcx), %rax
jb 0x1255a4
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r9
leaq 0x33c9f(%rip), %rdi     # 0x159229
leaq 0x33a6c(%rip), %rsi     # 0x158ffd
movl $0x6ac, %edx            # imm = 0x6AC
leaq 0x33aeb(%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 0x1255d7
leaq 0x33c6c(%rip), %rdi     # 0x159229
leaq 0x33a39(%rip), %rsi     # 0x158ffd
movl $0x6ad, %edx            # imm = 0x6AD
leaq 0x33ac5(%rip), %rcx     # 0x159095
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rdi
callq 0x125190
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x12562d
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x33c16(%rip), %rdi     # 0x159229
leaq 0x339e3(%rip), %rsi     # 0x158ffd
movl $0x6af, %edx            # imm = 0x6AF
leaq 0x33a55(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x125687
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x125687
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x33bbc(%rip), %rdi     # 0x159229
leaq 0x33989(%rip), %rsi     # 0x158ffd
movl $0x6b0, %edx            # imm = 0x6B0
leaq 0x339fb(%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 0x1256d0
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq (%rax), %r9
leaq 0x33b73(%rip), %rdi     # 0x159229
leaq 0x33940(%rip), %rsi     # 0x158ffd
movl $0x6b1, %edx            # imm = 0x6B1
leaq 0x339bf(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12572a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x12572a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x33b19(%rip), %rdi     # 0x159229
leaq 0x338e6(%rip), %rsi     # 0x158ffd
movl $0x6b2, %edx            # imm = 0x6B2
leaq 0x33965(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x12572c
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)