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

    if( !o ) return;
    if( bcore_btree_node_ps_s_is_empty( o ) ) ERR( "empty node" );
    if( o->child0 == NULL )       ERR( "deleted leaf" );
    if( o->child1 && o->child1 != BNUL_PS )
    {
        if( o != o->child0->parent ) ERR( "child0 incorrect parent" );
        if( o != o->child1->parent ) ERR( "child1 incorrect parent" );
        bcore_btree_node_ps_s_check_consistency( o->child0 );
        bcore_btree_node_ps_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_PS )
    {
        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_ps_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, 0x90b3c(%rip)     # 0x1b38d0
je 0x122db7
leaq 0x363c3(%rip), %rdi     # 0x159160
leaq 0x36259(%rip), %rsi     # 0x158ffd
movl $0x37d, %edx            # imm = 0x37D
leaq 0x363d8(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90b19(%rip)     # 0x1b38d8
je 0x122de2
leaq 0x36398(%rip), %rdi     # 0x159160
leaq 0x3622e(%rip), %rsi     # 0x158ffd
movl $0x37e, %edx            # imm = 0x37E
leaq 0x363ad(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90af6(%rip)     # 0x1b38e0
je 0x122e0d
leaq 0x3636d(%rip), %rdi     # 0x159160
leaq 0x36203(%rip), %rsi     # 0x158ffd
movl $0x37f, %edx            # imm = 0x37F
leaq 0x36382(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90ad3(%rip)     # 0x1b38e8
je 0x122e38
leaq 0x36342(%rip), %rdi     # 0x159160
leaq 0x361d8(%rip), %rsi     # 0x158ffd
movl $0x380, %edx            # imm = 0x380
leaq 0x36357(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90ab0(%rip)     # 0x1b38f0
je 0x122e63
leaq 0x36317(%rip), %rdi     # 0x159160
leaq 0x361ad(%rip), %rsi     # 0x158ffd
movl $0x381, %edx            # imm = 0x381
leaq 0x3632c(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90a8d(%rip)     # 0x1b38f8
je 0x122e8e
leaq 0x362ec(%rip), %rdi     # 0x159160
leaq 0x36182(%rip), %rsi     # 0x158ffd
movl $0x382, %edx            # imm = 0x382
leaq 0x36301(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90a6a(%rip)     # 0x1b3900
je 0x122eb9
leaq 0x362c1(%rip), %rdi     # 0x159160
leaq 0x36157(%rip), %rsi     # 0x158ffd
movl $0x383, %edx            # imm = 0x383
leaq 0x362d6(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x90a47(%rip)     # 0x1b3908
je 0x122ee4
leaq 0x36296(%rip), %rdi     # 0x159160
leaq 0x3612c(%rip), %rsi     # 0x158ffd
movl $0x384, %edx            # imm = 0x384
leaq 0x362ab(%rip), %rcx     # 0x159188
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, -0x8(%rbp)
jne 0x122ef0
jmp 0x12331c
movq -0x8(%rbp), %rdi
callq 0x122d60
cmpl $0x0, %eax
je 0x122f1f
leaq 0x3625b(%rip), %rdi     # 0x159160
leaq 0x360f1(%rip), %rsi     # 0x158ffd
movl $0x387, %edx            # imm = 0x387
leaq 0x3611b(%rip), %rcx     # 0x159033
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x122f4b
leaq 0x3622f(%rip), %rdi     # 0x159160
leaq 0x360c5(%rip), %rsi     # 0x158ffd
movl $0x388, %edx            # imm = 0x388
leaq 0x360fa(%rip), %rcx     # 0x15903e
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x30(%rax)
je 0x12312f
movq -0x8(%rbp), %rax
leaq 0x9096b(%rip), %rcx     # 0x1b38d0
cmpq %rcx, 0x30(%rax)
je 0x12312f
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x20(%rcx), %rax
je 0x122fa2
leaq 0x361d8(%rip), %rdi     # 0x159160
leaq 0x3606e(%rip), %rsi     # 0x158ffd
movl $0x38b, %edx            # imm = 0x38B
leaq 0x360b0(%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 0x122fd5
leaq 0x361a5(%rip), %rdi     # 0x159160
leaq 0x3603b(%rip), %rsi     # 0x158ffd
movl $0x38c, %edx            # imm = 0x38C
leaq 0x36095(%rip), %rcx     # 0x159063
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x122d80
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x122d80
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x123036
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq (%rax), %r9
leaq 0x36144(%rip), %rdi     # 0x159160
leaq 0x35fda(%rip), %rsi     # 0x158ffd
movl $0x38f, %edx            # imm = 0x38F
leaq 0x3604c(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12308e
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x12308e
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x360ec(%rip), %rdi     # 0x159160
leaq 0x35f82(%rip), %rsi     # 0x158ffd
movl $0x390, %edx            # imm = 0x390
leaq 0x35ff4(%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 0x1230d5
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x360a5(%rip), %rdi     # 0x159160
leaq 0x35f3b(%rip), %rsi     # 0x158ffd
movl $0x391, %edx            # imm = 0x391
leaq 0x35fba(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12312d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x12312d
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x3604d(%rip), %rdi     # 0x159160
leaq 0x35ee3(%rip), %rsi     # 0x158ffd
movl $0x392, %edx            # imm = 0x392
leaq 0x35f62(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x12312f
movq -0x8(%rbp), %rax
cmpq $0x0, 0x38(%rax)
je 0x12331c
movq -0x8(%rbp), %rax
leaq 0x90787(%rip), %rcx     # 0x1b38d0
cmpq %rcx, 0x38(%rax)
je 0x12331c
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x10(%rcx), %rax
jb 0x123194
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r9
leaq 0x35fe6(%rip), %rdi     # 0x159160
leaq 0x35e7c(%rip), %rsi     # 0x158ffd
movl $0x396, %edx            # imm = 0x396
leaq 0x35efb(%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 0x1231c7
leaq 0x35fb3(%rip), %rdi     # 0x159160
leaq 0x35e49(%rip), %rsi     # 0x158ffd
movl $0x397, %edx            # imm = 0x397
leaq 0x35ed5(%rip), %rcx     # 0x159095
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rdi
callq 0x122d80
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x12321d
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq (%rax), %r9
leaq 0x35f5d(%rip), %rdi     # 0x159160
leaq 0x35df3(%rip), %rsi     # 0x158ffd
movl $0x399, %edx            # imm = 0x399
leaq 0x35e65(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x123277
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x30(%rcx), %rcx
cmpq 0x10(%rcx), %rax
ja 0x123277
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x35f03(%rip), %rdi     # 0x159160
leaq 0x35d99(%rip), %rsi     # 0x158ffd
movl $0x39a, %edx            # imm = 0x39A
leaq 0x35e0b(%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 0x1232c0
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq (%rax), %r9
leaq 0x35eba(%rip), %rdi     # 0x159160
leaq 0x35d50(%rip), %rsi     # 0x158ffd
movl $0x39b, %edx            # imm = 0x39B
leaq 0x35dcf(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
cmpq $0x0, 0x38(%rax)
je 0x12331a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jb 0x12331a
movq -0x8(%rbp), %rax
movq 0x10(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq 0x10(%rax), %r9
leaq 0x35e60(%rip), %rdi     # 0x159160
leaq 0x35cf6(%rip), %rsi     # 0x158ffd
movl $0x39c, %edx            # imm = 0x39C
leaq 0x35d75(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x12331c
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)