// File: /workspace/github_c_makefile_star2_O1/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 %r14
pushq %rbx
testq %rdi, %rdi
je 0x593b
movq %rdi, %rsi
movslq (%rdi), %rax
cmpq $0x1, %rax
jg 0x593b
movq 0x8(%rsi), %rcx
testq %rcx, %rcx
je 0x593b
cmpq %rsi, 0x10(%rcx)
je 0x57b9
movslq (%rcx), %rdx
testq %rdx, %rdx
setle %r8b
jle 0x57b4
cmpq %rsi, 0x18(%rcx)
je 0x579d
leal 0x1(%rdx), %edi
addq $-0x2, %rdi
xorl %r8d, %r8d
cmpq %r8, %rdi
je 0x57aa
leaq 0x1(%r8), %r9
cmpq %rsi, 0x20(%rcx,%r8,8)
movq %r9, %r8
jne 0x5781
cmpq %rdx, %r9
setae %r8b
jmp 0x57a3
xorl %r9d, %r9d
xorl %r8d, %r8d
movq 0x10(%rcx,%r9,8), %rdi
jmp 0x57b4
incq %r8
cmpq %rdx, %r8
setae %r8b
testb %r8b, %r8b
je 0x57bb
xorl %edi, %edi
movslq (%rcx), %r8
cmpq %rsi, 0x10(%rcx,%r8,8)
je 0x580d
testl %r8d, %r8d
setg %dl
jle 0x5809
cmpq %rsi, 0x10(%rcx)
je 0x57f8
leaq -0x1(%r8), %rdx
xorl %r10d, %r10d
cmpq %r10, %rdx
je 0x5807
leaq 0x1(%r10), %r9
cmpq %rsi, 0x18(%rcx,%r10,8)
movq %r9, %r10
jne 0x57da
cmpq %r8, %r9
setb %dl
incq %r9
jmp 0x5800
movb $0x1, %dl
movl $0x1, %r9d
movq 0x10(%rcx,%r9,8), %rbx
jmp 0x5809
xorl %edx, %edx
testb %dl, %dl
jne 0x580f
xorl %ebx, %ebx
testq %rbx, %rbx
je 0x58ac
cmpl $0x3, (%rbx)
jl 0x58ac
leaq 0x38(%rcx), %rdx
movq %rdx, %rdi
addq $0x8, %rdx
cmpq %rsi, -0x28(%rdi)
jne 0x5825
movq (%rdx), %rdi
movq %rsi, 0x8(%rdi)
movq %rdi, 0x40(%rsi,%rax,8)
leal 0x1(%rax), %edi
movl %edi, (%rsi)
movq 0x40(%rbx), %rdi
movq %rdi, (%rdx)
movq %rcx, 0x8(%rdi)
cmpq $0x0, 0x10(%rsi)
je 0x586c
movq 0x10(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x18(%rsi,%rax,8), %rdx
movq %rdx, 0x20(%rsi,%rax,8)
movq %rcx, 0x18(%rsi,%rax,8)
movslq (%rbx), %r14
leal -0x1(%r14), %ebp
cmpq $0x2, %r14
jl 0x588c
leaq 0x40(%rbx), %rdi
leaq 0x48(%rbx), %rsi
movl %ebp, %edx
shlq $0x3, %rdx
callq 0x21e0
testl %r14d, %r14d
jle 0x58a5
leaq 0x10(%rbx), %rdi
leaq 0x18(%rbx), %rsi
shlq $0x3, %r14
movq %r14, %rdx
callq 0x21e0
movl %ebp, (%rbx)
jmp 0x593b
testq %rdi, %rdi
je 0x5940
cmpl $0x3, (%rdi)
jl 0x5946
movq $-0x1, %rdx
movq %rdx, %r8
incq %rdx
cmpq %rsi, 0x20(%rcx,%r8,8)
jne 0x58c5
movl %edx, %r8d
movq 0x40(%rcx,%r8,8), %rdx
movq %rsi, 0x8(%rdx)
cmpl $0x1, %eax
jne 0x58eb
movq 0x40(%rsi), %r9
movq %r9, 0x48(%rsi)
movq %rdx, 0x40(%rsi)
leal 0x1(%rax), %r9d
movl %r9d, (%rsi)
movslq (%rdi), %r10
leaq -0x1(%r10), %rdx
movq 0x38(%rdi,%r10,8), %r11
movq %r11, 0x40(%rcx,%r8,8)
movq %rcx, 0x8(%r11)
cmpq $0x0, 0x10(%rsi)
je 0x5939
movq 0x10(%rdi,%r10,8), %rcx
movq %rsi, 0x8(%rcx)
cmpl $-0x1, %eax
jl 0x5935
movslq %r9d, %rax
incq %rax
movq 0x8(%rsi,%rax,8), %r8
movq %r8, 0x10(%rsi,%rax,8)
decq %rax
jg 0x5926
movq %rcx, 0x10(%rsi)
movl %edx, (%rdi)
popq %rbx
popq %r14
popq %rbp
retq
movq %rsi, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x594c