// File: /workspace/github_c_makefile_star2_O3/chatziko-k08[P]lecture-code/tests/../modules/UsingBTree/ADTSet.c
// Function: repair_underflow
static void repair_underflow(BTreeNode node) {
	// Εαν δοθεί κενός ή μη-ελλιπής κόμβος ή η ρίζα, το δέντρο δε χρειάζεται αναδιαμόρφωση.
	if (node == NULL || node->count >= MIN_VALUES || node->parent == NULL)
		return;

	BTreeNode left_sibling  = get_left_sibling(node);
	BTreeNode right_sibling = get_right_sibling(node);

	// Εαν υπάρχει ο δεξιός αδερφός & έχει περισσότερα δεδομένα από τα ελάχιστα δυνατά, κάνε αριστερή περιστροφή.
	if (right_sibling != NULL && right_sibling->count > MIN_VALUES)
		transfer_left(node, right_sibling);
	
	// Εαν υπάρχει ο αριστερός αδερφός & έχει περισσότερα δεδομένα από τα ελάχιστα δυνατά, κάνε δεξιά περιστροφή.
	else if (left_sibling != NULL && left_sibling->count > MIN_VALUES)
		tranfer_right(node, left_sibling);

	// Εαν υπάρχει ο αριστερός αδερφός, συγχώνευσέ τον με τον ελλιπή κόμβο, παίρνοντας μια διαχωριστική τιμή από τον πατέρα.
	else if (left_sibling != NULL) 
		merge(left_sibling, node);

	else // Εαν υπάρχει ο δεξιός αδερφός, συγχώνευσέ τον με τον ελλιπή κόμβο, παίρνοντας μια διαχωριστική τιμή από τον πατέρα.
		merge(node, right_sibling);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
testq %rdi, %rdi
je 0x59f0
movq %rdi, %rsi
movslq (%rdi), %rax
cmpq $0x1, %rax
jg 0x59f0
movq 0x8(%rsi), %rcx
testq %rcx, %rcx
je 0x59f0
movl (%rcx), %edx
cmpq %rsi, 0x10(%rcx)
je 0x585f
testl %edx, %edx
jle 0x5863
leaq 0x1(%rdx), %r8
movl $0x1, %edi
xorl %ebx, %ebx
cmpq %rsi, 0x10(%rcx,%rdi,8)
je 0x586b
incq %rdi
cmpq %rdi, %r8
jne 0x584e
jmp 0x5870
xorl %ebx, %ebx
jmp 0x5870
xorl %r14d, %r14d
jmp 0x59bf
movq 0x8(%rcx,%rdi,8), %rbx
xorl %r14d, %r14d
testl %edx, %edx
jle 0x5928
movslq %edx, %rdi
cmpq %rsi, 0x10(%rcx,%rdi,8)
je 0x5928
xorl %r14d, %r14d
xorl %edi, %edi
cmpq %rsi, 0x10(%rcx,%rdi,8)
je 0x58a2
incq %rdi
cmpq %rdi, %rdx
jne 0x588e
jmp 0x5928
movq 0x18(%rcx,%rdi,8), %r14
testq %r14, %r14
je 0x5925
cmpl $0x3, (%r14)
jl 0x5928
leaq 0x38(%rcx), %rdx
movq %rdx, %rdi
addq $0x8, %rdx
cmpq %rsi, -0x28(%rdi)
jne 0x58b6
movq (%rdx), %rdi
movq %rsi, 0x8(%rdi)
movq %rdi, 0x40(%rsi,%rax,8)
leal 0x1(%rax), %edi
movl %edi, (%rsi)
movq 0x40(%r14), %rdi
movq %rdi, (%rdx)
movq %rcx, 0x8(%rdi)
cmpq $0x0, 0x10(%rsi)
je 0x58fd
movq 0x10(%r14), %rcx
movq %rsi, 0x8(%rcx)
movq 0x18(%rsi,%rax,8), %rdx
movq %rdx, 0x20(%rsi,%rax,8)
movq %rcx, 0x18(%rsi,%rax,8)
movslq (%r14), %rbx
leal -0x1(%rbx), %ebp
cmpq $0x2, %rbx
jl 0x59d4
leaq 0x40(%r14), %rdi
leaq 0x48(%r14), %rsi
movl %ebp, %edx
shlq $0x3, %rdx
callq 0x21e0
jmp 0x59d9
xorl %r14d, %r14d
testq %rbx, %rbx
je 0x59bf
cmpl $0x3, (%rbx)
jl 0x59c7
movq $-0x1, %rdx
movq %rdx, %rdi
incq %rdx
cmpq %rsi, 0x20(%rcx,%rdi,8)
jne 0x5941
movl %edx, %edx
movq 0x40(%rcx,%rdx,8), %rdi
movq %rsi, 0x8(%rdi)
cmpl $0x1, %eax
jne 0x5966
movq 0x40(%rsi), %r8
movq %r8, 0x48(%rsi)
movq %rdi, 0x40(%rsi)
leal 0x1(%rax), %edi
movl %edi, (%rsi)
movslq (%rbx), %r8
leaq -0x1(%r8), %r15
movq 0x38(%rbx,%r8,8), %r9
movq %r9, 0x40(%rcx,%rdx,8)
movq %rcx, 0x8(%r9)
cmpq $0x0, 0x10(%rsi)
je 0x59ba
leaq 0x10(%rsi), %r14
movq 0x10(%rbx,%r8,8), %r12
movq %rsi, 0x8(%r12)
cmpl $-0x1, %eax
jl 0x59b7
movl %edi, %eax
addq $0x18, %rsi
leaq 0x8(,%rax,8), %rdx
movq %rsi, %rdi
movq %r14, %rsi
callq 0x21e0
movq %r12, (%r14)
movl %r15d, (%rbx)
jmp 0x59f0
movq %rsi, %rdi
movq %r14, %rsi
jmp 0x59ca
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x59f9
cmpl $0x1, %ebx
jne 0x59ed
leaq 0x10(%r14), %rdi
leaq 0x18(%r14), %rsi
shlq $0x3, %rbx
movq %rbx, %rdx
callq 0x21e0
movl %ebp, (%r14)
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq