// File: /workspace/github_c_makefile_star2_O0/chatziko-k08[P]lecture-code/tests/../modules/UsingBTree/ADTSet.c
// Function: node_remove
static BTreeNode node_remove(BTreeNode root, CompareFunc compare, Pointer value, bool* removed, Pointer* old_value) {
	if (root == NULL) {
		*removed = false;   // Κενό δέντρο, δεν υπάρχει η τιμή.
		return root;
	}

	int index = 9;    // Βρες τον κόμβο που περιέχει την τιμή.
	BTreeNode node = node_find(root, compare, value, &index);

	if (index == -1) {
		*removed = false;   // Η τιμή που θέλουμε να διαγράψουμε *δεν υπάρχει* στο δέντρο.
		return root;
	}

	// Βρέθηκε ισοδύναμη τιμή στον node, οπότε τον διαγράφουμε. Το πώς θα γίνει αυτό εξαρτάται από το αν έχει παιδιά.
	*removed = true;
	*old_value = node->set_nodes[index]->value;

	free(node->set_nodes[index]);

	if (is_leaf(node)) {
		// Άν ο κόμβος είναι φύλλο, διάγραψε την τιμή, αναδιάταξε τα δεδομένα, και αναδιαμόρφωσε το δέντρο.

		for (int i = index; i < node->count-1; i++)  // Ολίσθησε όλα τα δεδομένα 1 θέση αριστερά.
			node->set_nodes[i] = node->set_nodes[i + 1];
 
		node->count--;    // Αφαίρεσε το δεδομένο.

		repair_underflow(node);  // Αναδιαμόρφωσε το δένδρο.

	} else {
		// Άν είναι εσωτερικός κόμβος τότε η τιμή που θέλουμε να διαγράψουμε λειτουργεί ως διαχωριστική τιμή.
		// Βρες το μεγαλύτερο στοιχείο του υποδέντρου που ορίζεται ακριβώς πριν τη διαχωριστική τιμή
		// και αντικατέστησε με αυτό τη διαχωριστική τιμή, ώστε να διατηρηθεί η διάταξη στον κόμβο.
		// Η μεγαλύτερη τιμή βρίσκεται σε φύλλο. Αφού διαγράφουμε από φύλλο, είναι πολύ πιθανό να γίνει ελλιπές.
		// Οπότε αναδιαμόρφωσε το δέντρο ξεκινώντας από το φύλλο στο οποίο έγινε η διαγραφή.
		
		SetNode max = node_find_max(node->children[index]);

		BTreeNode max_node = max->owner;
		max_node->count--;    // Αφαίρεσε το δεδομένο.

		node->set_nodes[index] = max;
		max->owner = node;

		repair_underflow(max_node);   // Αναδιαμόρφωσε το δέντρο.
	}

	// Αν η ρίζα αδειάσει, free, και ρίζα γίνεται το (μοναδικό, αν έχει) παιδί της
	if (root->count == 0) {
		BTreeNode first_child = root->children[0];
		if (first_child != NULL)
			first_child->parent = NULL;

		free(root);
		root = first_child;
	}
	return root;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq %r8, -0x30(%rbp)
cmpq $0x0, -0x10(%rbp)
jne 0x5f97
movq -0x28(%rbp), %rax
movb $0x0, (%rax)
movq -0x10(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x60fa
movl $0x9, -0x34(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
leaq -0x34(%rbp), %rcx
callq 0x6310
movq %rax, -0x40(%rbp)
cmpl $-0x1, -0x34(%rbp)
jne 0x5fd1
movq -0x28(%rbp), %rax
movb $0x0, (%rax)
movq -0x10(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x60fa
movq -0x28(%rbp), %rax
movb $0x1, (%rax)
movq -0x40(%rbp), %rax
movslq -0x34(%rbp), %rcx
movq 0x40(%rax,%rcx,8), %rax
movq (%rax), %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
movslq -0x34(%rbp), %rcx
movq 0x40(%rax,%rcx,8), %rdi
callq 0x2270
movq -0x40(%rbp), %rdi
callq 0x6d20
testb $0x1, %al
jne 0x6010
jmp 0x6066
movl -0x34(%rbp), %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
movq -0x40(%rbp), %rcx
movl (%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x6050
movq -0x40(%rbp), %rax
movl -0x44(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq 0x40(%rax,%rcx,8), %rdx
movq -0x40(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, 0x40(%rax,%rcx,8)
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0x6016
movq -0x40(%rbp), %rax
movl (%rax), %ecx
addl $-0x1, %ecx
movl %ecx, (%rax)
movq -0x40(%rbp), %rdi
callq 0x6d40
jmp 0x60b9
movq -0x40(%rbp), %rax
movslq -0x34(%rbp), %rcx
movq 0x10(%rax,%rcx,8), %rdi
callq 0x61b0
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movl (%rax), %ecx
addl $-0x1, %ecx
movl %ecx, (%rax)
movq -0x50(%rbp), %rdx
movq -0x40(%rbp), %rax
movslq -0x34(%rbp), %rcx
movq %rdx, 0x40(%rax,%rcx,8)
movq -0x40(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rdi
callq 0x6d40
movq -0x10(%rbp), %rax
cmpl $0x0, (%rax)
jne 0x60f2
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x60(%rbp)
cmpq $0x0, -0x60(%rbp)
je 0x60e1
movq -0x60(%rbp), %rax
movq $0x0, 0x8(%rax)
movq -0x10(%rbp), %rdi
callq 0x2270
movq -0x60(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)