// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore_btree.c
// Function: bcore_btree_pp_s_pull
void bcore_btree_pp_s_pull( bcore_btree_pp_s* o, bcore_btree_node_pp_s* node )
{
    if( bcore_btree_node_pp_s_is_empty( node->child0 ) )
    {
        if( bcore_btree_node_pp_s_is_full( node->child1 ) )
        {
            node->child0->kv1    = node->kv1;
            node->child0->child1 = node->child1->child0;
            bcore_btree_node_pp_s_set_parent_child1( node->child0 );
            node->kv1            = node->child1->kv1;
            node->child1->kv1    = node->child1->kv2;
            node->child1->child0 = node->child1->child1;
            node->child1->child1 = node->child1->child2;
            node->child1->child2 = NULL;
        }
        else if( bcore_btree_node_pp_s_is_full( node ) )
        {
            node->child1->kv2    = node->child1->kv1;
            node->child1->kv1    = node->kv1;
            node->child1->child2 = node->child1->child1;
            node->child1->child1 = node->child1->child0;
            node->child1->child0 = node->child0->child0;
            bcore_btree_node_pp_s_set_parent_child0( node->child1 );
            bcore_btree_pp_s_delete_node( o, node->child0 );
            node->kv1    = node->kv2;
            node->child0 = node->child1;
            node->child1 = node->child2;
            node->child2 = NULL;
        }
        else
        {
            node->child1->kv2    = node->child1->kv1;
            node->child1->kv1    = node->kv1;
            node->child1->child2 = node->child1->child1;
            node->child1->child1 = node->child1->child0;
            node->child1->child0 = node->child0->child0;
            bcore_btree_node_pp_s_set_parent_child0( node->child1 );
            bcore_btree_pp_s_delete_node( o, node->child0 );
            node->child0 = node->child1;
            node->child1 = node->child2 = NULL;
            if( node->parent )
            {
                bcore_btree_pp_s_pull( o, node->parent );
            }
            else
            {
                o->root = node->child0;
                o->root->parent = NULL;
                bcore_btree_pp_s_delete_node( o, node );
            }
        }
    }
    else if( bcore_btree_node_pp_s_is_empty( node->child1 ) )
    {
        if( bcore_btree_node_pp_s_is_full( node->child0 ) )
        {
            node->child1->kv1    = node->kv1;
            node->child1->child1 = node->child1->child0;
            node->child1->child0 = node->child0->child2;
            bcore_btree_node_pp_s_set_parent_child0( node->child1 );
            node->kv1            = node->child0->kv2;
            node->child0->child2 = NULL;
        }
        else if( bcore_btree_node_pp_s_is_full( node ) )
        {
            node->child0->kv2    = node->kv1;
            node->child0->child2 = node->child1->child0;
            bcore_btree_node_pp_s_set_parent_child2( node->child0 );
            bcore_btree_pp_s_delete_node( o, node->child1 );
            node->kv1    = node->kv2;
            node->child1 = node->child2;
            node->child2 = NULL;
        }
        else
        {
            node->child0->kv2    = node->kv1;
            node->child0->child2 = node->child1->child0;
            bcore_btree_node_pp_s_set_parent_child2( node->child0 );
            bcore_btree_pp_s_delete_node( o, node->child1 );
            node->child1 = node->child2 = NULL;
            if( node->parent )
            {
                bcore_btree_pp_s_pull( o, node->parent );
            }
            else
            {
                o->root = node->child0;
                o->root->parent = NULL;
                bcore_btree_pp_s_delete_node( o, node );
            }
        }
    }
    else // node->child2 is empty
    {
        if( bcore_btree_node_pp_s_is_full( node ) )
        {
            if( bcore_btree_node_pp_s_is_full( node->child1 ) )
            {
                node->child2->kv1 = node->kv2;
                node->child2->child1 = node->child2->child0;
                node->child2->child0 = node->child1->child2;
                bcore_btree_node_pp_s_set_parent_child0( node->child2 );
                node->kv2            = node->child1->kv2;
                node->child1->child2 = NULL;
            }
            else
            {
                node->child1->kv2    = node->kv2;
                node->child1->child2 = node->child2->child0;
                bcore_btree_node_pp_s_set_parent_child2( node->child1 );
                bcore_btree_pp_s_delete_node( o, node->child2 );
                node->child2         = NULL;
            }
        }
    }
}

// Assembly:
pushq %rbx
leaq 0x78347(%rip), %rcx     # 0x19d3b0
xorps %xmm0, %xmm0
movq %rsi, %rax
leaq 0x28(%rsi), %rdx
movq 0x28(%rsi), %r9
movq 0x30(%rsi), %r8
addq $0x30, %rsi
cmpq $0x0, 0x30(%r9)
je 0x12510a
cmpq $0x0, 0x30(%r8)
jne 0x1251b0
cmpq $0x0, 0x38(%r9)
jne 0x12520d
cmpq $0x0, 0x38(%rax)
jne 0x12525e
movups (%rax), %xmm1
movups %xmm1, 0x10(%r9)
movq 0x28(%rax), %r9
movq 0x30(%rax), %r8
movq 0x28(%r8), %r10
movq %r10, 0x38(%r9)
testq %r10, %r10
sete %r11b
cmpq %rcx, %r10
sete %bl
orb %r11b, %bl
jne 0x1250d9
movq %r9, 0x20(%r10)
leaq 0x28(%r8), %r9
movups %xmm0, (%r9)
movq $0x0, 0x10(%r9)
movq 0x20(%rdi), %r9
movq %r9, 0x20(%r8)
movq %r8, 0x20(%rdi)
movups %xmm0, (%rsi)
movq 0x20(%rax), %rsi
testq %rsi, %rsi
jne 0x12506c
jmp 0x1252c0
cmpq $0x0, 0x38(%r8)
jne 0x1252e8
cmpq $0x0, 0x38(%rax)
jne 0x125343
movups (%r8), %xmm1
movups %xmm1, 0x10(%r8)
movq 0x30(%rax), %r8
movups (%rax), %xmm1
movups %xmm1, (%r8)
movq 0x30(%rax), %r8
movups 0x28(%r8), %xmm1
movups %xmm1, 0x30(%r8)
movq 0x28(%rax), %r9
movq 0x30(%rax), %r8
movq 0x28(%r9), %r9
movq %r9, 0x28(%r8)
testq %r9, %r9
sete %r10b
cmpq %rcx, %r9
sete %r11b
orb %r10b, %r11b
jne 0x125169
movq %r8, 0x20(%r9)
movq 0x28(%rax), %r8
movups %xmm0, 0x28(%r8)
movq $0x0, 0x38(%r8)
movq 0x20(%rdi), %r9
movq %r9, 0x20(%r8)
movq %r8, 0x20(%rdi)
movq 0x30(%rax), %r8
movq %r8, 0x28(%rax)
movups %xmm0, (%rsi)
movq 0x20(%rax), %rsi
testq %rsi, %rsi
jne 0x12506c
movq %r8, (%rdi)
xorl %ecx, %ecx
movq %rcx, 0x20(%r8)
movq %rcx, 0x10(%rdx)
jmp 0x1252d1
movq 0x38(%rax), %rsi
testq %rsi, %rsi
je 0x125406
cmpq $0x0, 0x38(%r8)
je 0x1253b6
leaq 0x10(%rax), %rdx
movups 0x10(%rax), %xmm0
movups %xmm0, (%rsi)
movq 0x38(%rax), %rsi
movq 0x28(%rsi), %rdi
movq %rdi, 0x30(%rsi)
movq 0x30(%rax), %rax
movq 0x38(%rax), %rdi
movq %rdi, 0x28(%rsi)
testq %rdi, %rdi
sete %r8b
cmpq %rcx, %rdi
sete %cl
orb %r8b, %cl
jne 0x125201
movq %rsi, 0x20(%rdi)
movups 0x10(%rax), %xmm0
movups %xmm0, (%rdx)
jmp 0x125336
movups (%rax), %xmm0
movups %xmm0, (%r8)
movq 0x30(%rax), %rdx
movq 0x28(%rdx), %rsi
movq %rsi, 0x30(%rdx)
movq 0x28(%rax), %rsi
movq 0x30(%rax), %rdx
movq 0x38(%rsi), %rsi
movq %rsi, 0x28(%rdx)
testq %rsi, %rsi
sete %dil
cmpq %rcx, %rsi
sete %cl
orb %dil, %cl
jne 0x125246
movq %rdx, 0x20(%rsi)
movq 0x28(%rax), %rcx
movups 0x10(%rcx), %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x38(%rcx)
jmp 0x125406
movups (%rax), %xmm0
movups %xmm0, 0x10(%r9)
movq 0x28(%rax), %r8
movq 0x30(%rax), %rdx
leaq 0x28(%rdx), %rsi
movq 0x28(%rdx), %r9
movq %r9, 0x38(%r8)
testq %r9, %r9
sete %r10b
cmpq %rcx, %r9
sete %cl
orb %r10b, %cl
jne 0x125290
movq %r8, 0x20(%r9)
xorps %xmm0, %xmm0
movups %xmm0, (%rsi)
xorl %ecx, %ecx
movq %rcx, 0x10(%rsi)
movq 0x20(%rdi), %rsi
movq %rsi, 0x20(%rdx)
movq %rdx, 0x20(%rdi)
movups 0x10(%rax), %xmm0
movups %xmm0, (%rax)
movq 0x38(%rax), %rdx
movq %rdx, 0x30(%rax)
movq %rcx, 0x38(%rax)
jmp 0x125406
movq 0x28(%rax), %rcx
movq %rcx, (%rdi)
xorl %esi, %esi
movq %rsi, 0x20(%rcx)
movq %rsi, 0x10(%rdx)
xorps %xmm0, %xmm0
movups %xmm0, (%rdx)
movq 0x20(%rdi), %rcx
movq %rcx, 0x20(%rax)
movq %rax, 0x20(%rdi)
jmp 0x125406
movups (%rax), %xmm0
movups %xmm0, (%r9)
movq 0x28(%rax), %rdx
movq 0x30(%rax), %rsi
movq 0x28(%rsi), %rsi
movq %rsi, 0x30(%rdx)
testq %rsi, %rsi
sete %dil
cmpq %rcx, %rsi
sete %cl
orb %dil, %cl
jne 0x125315
movq %rdx, 0x20(%rsi)
movq 0x30(%rax), %rcx
movups (%rcx), %xmm0
movups %xmm0, (%rax)
movups 0x10(%rcx), %xmm0
movups %xmm0, (%rcx)
movq 0x30(%rax), %rcx
movups 0x30(%rcx), %xmm0
movups %xmm0, 0x28(%rcx)
movq 0x30(%rax), %rax
movq $0x0, 0x38(%rax)
jmp 0x125406
movups (%r8), %xmm0
movups %xmm0, 0x10(%r8)
movq 0x30(%rax), %rdx
movups (%rax), %xmm0
movups %xmm0, (%rdx)
movq 0x30(%rax), %rdx
movups 0x28(%rdx), %xmm0
movups %xmm0, 0x30(%rdx)
movq 0x28(%rax), %rsi
movq 0x30(%rax), %rdx
movq 0x28(%rsi), %rsi
movq %rsi, 0x28(%rdx)
testq %rsi, %rsi
sete %r8b
cmpq %rcx, %rsi
sete %cl
orb %r8b, %cl
jne 0x125388
movq %rdx, 0x20(%rsi)
movq 0x28(%rax), %rcx
xorl %edx, %edx
movq %rdx, 0x38(%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rcx)
movq 0x20(%rdi), %rsi
movq %rsi, 0x20(%rcx)
movq %rcx, 0x20(%rdi)
movups 0x10(%rax), %xmm0
movups 0x30(%rax), %xmm1
movups %xmm0, (%rax)
movups %xmm1, 0x28(%rax)
jmp 0x125402
movups 0x10(%rax), %xmm0
movups %xmm0, 0x10(%r8)
movq 0x30(%rax), %rdx
movq 0x38(%rax), %rsi
movq 0x28(%rsi), %rsi
movq %rsi, 0x38(%rdx)
testq %rsi, %rsi
sete %r8b
cmpq %rcx, %rsi
sete %cl
orb %r8b, %cl
jne 0x1253e5
movq %rdx, 0x20(%rsi)
movq 0x38(%rax), %rcx
xorl %edx, %edx
movq %rdx, 0x38(%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rcx)
movq 0x20(%rdi), %rsi
movq %rsi, 0x20(%rcx)
movq %rcx, 0x20(%rdi)
movq %rdx, 0x38(%rax)
popq %rbx
retq