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

    if( !o ) return;
    if( bcore_btree_node_vd_s_is_empty( o ) ) ERR( "empty node" );
    if( o->child0 == NULL )       ERR( "deleted leaf" );
    if( o->child1 && o->child1 != BNUL_VP )
    {
        if( o != o->child0->parent ) ERR( "child0 incorrect parent" );
        if( o != o->child1->parent ) ERR( "child1 incorrect parent" );
        bcore_btree_node_vd_s_check_consistency( o->child0 );
        bcore_btree_node_vd_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_VP )
    {
        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_vd_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, 0x8c32c(%rip)     # 0x1b3950
je 0x127647
leaq 0x31c4c(%rip), %rdi     # 0x159279
leaq 0x319c9(%rip), %rsi     # 0x158ffd
movl $0x9ca, %edx            # imm = 0x9CA
leaq 0x31c61(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8c309(%rip)     # 0x1b3958
je 0x127672
leaq 0x31c21(%rip), %rdi     # 0x159279
leaq 0x3199e(%rip), %rsi     # 0x158ffd
movl $0x9cb, %edx            # imm = 0x9CB
leaq 0x31c36(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8c2e6(%rip)     # 0x1b3960
je 0x12769d
leaq 0x31bf6(%rip), %rdi     # 0x159279
leaq 0x31973(%rip), %rsi     # 0x158ffd
movl $0x9cc, %edx            # imm = 0x9CC
leaq 0x31c0b(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8c2c3(%rip)     # 0x1b3968
je 0x1276c8
leaq 0x31bcb(%rip), %rdi     # 0x159279
leaq 0x31948(%rip), %rsi     # 0x158ffd
movl $0x9cd, %edx            # imm = 0x9CD
leaq 0x31be0(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8c2a0(%rip)     # 0x1b3970
je 0x1276f3
leaq 0x31ba0(%rip), %rdi     # 0x159279
leaq 0x3191d(%rip), %rsi     # 0x158ffd
movl $0x9ce, %edx            # imm = 0x9CE
leaq 0x31bb5(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, 0x8c27d(%rip)     # 0x1b3978
je 0x12771e
leaq 0x31b75(%rip), %rdi     # 0x159279
leaq 0x318f2(%rip), %rsi     # 0x158ffd
movl $0x9cf, %edx            # imm = 0x9CF
leaq 0x31b8a(%rip), %rcx     # 0x1592a1
movb $0x0, %al
callq 0x9cf40
cmpq $0x0, -0x8(%rbp)
jne 0x12772a
jmp 0x127b56
movq -0x8(%rbp), %rdi
callq 0x1275f0
cmpl $0x0, %eax
je 0x127759
leaq 0x31b3a(%rip), %rdi     # 0x159279
leaq 0x318b7(%rip), %rsi     # 0x158ffd
movl $0x9d2, %edx            # imm = 0x9D2
leaq 0x318e1(%rip), %rcx     # 0x159033
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x18(%rax)
jne 0x127785
leaq 0x31b0e(%rip), %rdi     # 0x159279
leaq 0x3188b(%rip), %rsi     # 0x158ffd
movl $0x9d3, %edx            # imm = 0x9D3
leaq 0x318c0(%rip), %rcx     # 0x15903e
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x127969
movq -0x8(%rbp), %rax
leaq 0x8c1b1(%rip), %rcx     # 0x1b3950
cmpq %rcx, 0x20(%rax)
je 0x127969
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x18(%rcx), %rcx
cmpq 0x10(%rcx), %rax
je 0x1277dc
leaq 0x31ab7(%rip), %rdi     # 0x159279
leaq 0x31834(%rip), %rsi     # 0x158ffd
movl $0x9d6, %edx            # imm = 0x9D6
leaq 0x31876(%rip), %rcx     # 0x15904b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x20(%rcx), %rcx
cmpq 0x10(%rcx), %rax
je 0x12780f
leaq 0x31a84(%rip), %rdi     # 0x159279
leaq 0x31801(%rip), %rsi     # 0x158ffd
movl $0x9d7, %edx            # imm = 0x9D7
leaq 0x3185b(%rip), %rcx     # 0x159063
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x127610
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rdi
callq 0x127610
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x18(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x127870
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq (%rax), %r9
leaq 0x31a23(%rip), %rdi     # 0x159279
leaq 0x317a0(%rip), %rsi     # 0x158ffd
movl $0x9da, %edx            # imm = 0x9DA
leaq 0x31812(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x1278c8
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x18(%rcx), %rcx
cmpq 0x8(%rcx), %rax
ja 0x1278c8
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x8(%rax), %r9
leaq 0x319cb(%rip), %rdi     # 0x159279
leaq 0x31748(%rip), %rsi     # 0x158ffd
movl $0x9db, %edx            # imm = 0x9DB
leaq 0x317ba(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x20(%rcx), %rcx
cmpq (%rcx), %rax
jb 0x12790f
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq (%rax), %r9
leaq 0x31984(%rip), %rdi     # 0x159279
leaq 0x31701(%rip), %rsi     # 0x158ffd
movl $0x9dc, %edx            # imm = 0x9DC
leaq 0x31780(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x127967
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x20(%rcx), %rcx
cmpq 0x8(%rcx), %rax
jb 0x127967
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x8(%rax), %r9
leaq 0x3192c(%rip), %rdi     # 0x159279
leaq 0x316a9(%rip), %rsi     # 0x158ffd
movl $0x9dd, %edx            # imm = 0x9DD
leaq 0x31728(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x127969
movq -0x8(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x127b56
movq -0x8(%rbp), %rax
leaq 0x8bfcd(%rip), %rcx     # 0x1b3950
cmpq %rcx, 0x28(%rax)
je 0x127b56
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jb 0x1279ce
movq -0x8(%rbp), %rax
movq (%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %r9
leaq 0x318c5(%rip), %rdi     # 0x159279
leaq 0x31642(%rip), %rsi     # 0x158ffd
movl $0x9e1, %edx            # imm = 0x9E1
leaq 0x316c1(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x10(%rcx), %rax
je 0x127a01
leaq 0x31892(%rip), %rdi     # 0x159279
leaq 0x3160f(%rip), %rsi     # 0x158ffd
movl $0x9e2, %edx            # imm = 0x9E2
leaq 0x3169b(%rip), %rcx     # 0x159095
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x127610
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x20(%rcx), %rcx
cmpq (%rcx), %rax
ja 0x127a57
movq -0x8(%rbp), %rax
movq 0x8(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq (%rax), %r9
leaq 0x3183c(%rip), %rdi     # 0x159279
leaq 0x315b9(%rip), %rsi     # 0x158ffd
movl $0x9e4, %edx            # imm = 0x9E4
leaq 0x3162b(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x127ab1
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x20(%rcx), %rcx
cmpq 0x8(%rcx), %rax
ja 0x127ab1
movq -0x8(%rbp), %rax
movq 0x8(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x8(%rax), %r9
leaq 0x317e2(%rip), %rdi     # 0x159279
leaq 0x3155f(%rip), %rsi     # 0x158ffd
movl $0x9e5, %edx            # imm = 0x9E5
leaq 0x315d1(%rip), %rcx     # 0x15907b
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq (%rcx), %rax
jb 0x127afa
movq -0x8(%rbp), %rax
movq 0x8(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq (%rax), %r9
leaq 0x31799(%rip), %rdi     # 0x159279
leaq 0x31516(%rip), %rsi     # 0x158ffd
movl $0x9e6, %edx            # imm = 0x9E6
leaq 0x31595(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x127b54
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x28(%rcx), %rcx
cmpq 0x8(%rcx), %rax
jb 0x127b54
movq -0x8(%rbp), %rax
movq 0x8(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x8(%rax), %r9
leaq 0x3173f(%rip), %rdi     # 0x159279
leaq 0x314bc(%rip), %rsi     # 0x158ffd
movl $0x9e7, %edx            # imm = 0x9E7
leaq 0x3153b(%rip), %rcx     # 0x159088
movb $0x0, %al
callq 0x9cf40
jmp 0x127b56
addq $0x10, %rsp
popq %rbp
retq
nopl (%rax)