// File: /workspace/github_c_makefile_star2_O0/chatziko-k08[P]lecture-code/tests/../modules/UsingBTree/ADTSet.c
// Function: node_find_next
static SetNode node_find_next(SetNode set_node, CompareFunc compare) {
	// Βρίσκουμε σε ποιον btree_node ανήκει ο set_node, και το index του μέσα σε αυτόν
	BTreeNode btree_node = set_node->owner;
	int index;
	for (index = 0; index < MAX_VALUES && btree_node->set_nodes[index] != set_node; index++)
		;
	assert(index < MAX_VALUES);		// βρέθηκε

	if (!is_leaf(btree_node))		// Αν είναι εσωτερικός κόμβος, βρες και επέστρεψε τον μικρότερο κόμβο του αντίστοιχου παιδιού.
		return node_find_min(btree_node->children[index+1]);

	// Ο κόμβος είναι φύλλο.

	if (index == btree_node->count-1) {			// Ο set_node είναι τελευταίος μέσα στο btree node
		// Ψάξε για κάποιον πρόγονο του κόμβου που να έχει τουλάχιστον 1 τιμή μεγαλύτερη από την node.
		while (btree_node->parent != NULL && compare(set_node->value, btree_node->parent->set_nodes[btree_node->parent->count-1]->value) > 0)
			btree_node = btree_node->parent;

		if (btree_node->parent == NULL)			// Φτάσαμε στη ρίζα, οπότε ο set_node είναι η μεγαλύτερη τιμή του δέντρου.
			return NULL;

		for (int i = 0; i < btree_node->parent->count; i++)
			if (compare(set_node->value, btree_node->parent->set_nodes[i]->value) < 0)
				return btree_node->parent->set_nodes[i];		// Βρες & επέστρεψε την τιμή του προγόνου, που είναι αμέσως μεγαλύτερη από την set_node.
	}
	
	// Επέστρεψε τον αμέσως προηγούμενο set_node του φύλλου.
	return btree_node->set_nodes[index+1];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x20(%rbp)
movl $0x0, -0x24(%rbp)
xorl %eax, %eax
cmpl $0x4, -0x24(%rbp)
movb %al, -0x29(%rbp)
jge 0x6835
movq -0x20(%rbp), %rax
movslq -0x24(%rbp), %rcx
movq 0x40(%rax,%rcx,8), %rax
cmpq -0x10(%rbp), %rax
setne %al
movb %al, -0x29(%rbp)
movb -0x29(%rbp), %al
testb $0x1, %al
jne 0x683e
jmp 0x684b
jmp 0x6840
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x6813
cmpl $0x4, -0x24(%rbp)
jge 0x6853
jmp 0x6872
leaq 0x2834(%rip), %rdi      # 0x908e
leaq 0x27a9(%rip), %rsi      # 0x900a
movl $0x212, %edx            # imm = 0x212
leaq 0x2865(%rip), %rcx      # 0x90d2
callq 0x20f0
movq -0x20(%rbp), %rdi
callq 0x6d20
testb $0x1, %al
jne 0x689f
movq -0x20(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq 0x10(%rax,%rcx,8), %rdi
callq 0x6130
movq %rax, -0x8(%rbp)
jmp 0x699f
movl -0x24(%rbp), %eax
movq -0x20(%rbp), %rcx
movl (%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jne 0x6989
jmp 0x68b5
movq -0x20(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, 0x8(%rcx)
movb %al, -0x2a(%rbp)
je 0x68fb
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rdi
movq -0x20(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq -0x20(%rbp), %rdx
movq 0x8(%rdx), %rdx
movl (%rdx), %edx
subl $0x1, %edx
movslq %edx, %rdx
movq 0x40(%rcx,%rdx,8), %rcx
movq (%rcx), %rsi
callq *%rax
cmpl $0x0, %eax
setg %al
movb %al, -0x2a(%rbp)
movb -0x2a(%rbp), %al
testb $0x1, %al
jne 0x6904
jmp 0x6912
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x68b5
movq -0x20(%rbp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x6927
movq $0x0, -0x8(%rbp)
jmp 0x699f
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
movq -0x20(%rbp), %rcx
movq 0x8(%rcx), %rcx
cmpl (%rcx), %eax
jge 0x6987
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rdi
movq -0x20(%rbp), %rcx
movq 0x8(%rcx), %rcx
movslq -0x28(%rbp), %rdx
movq 0x40(%rcx,%rdx,8), %rcx
movq (%rcx), %rsi
callq *%rax
cmpl $0x0, %eax
jge 0x697a
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x28(%rbp), %rcx
movq 0x40(%rax,%rcx,8), %rax
movq %rax, -0x8(%rbp)
jmp 0x699f
jmp 0x697c
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x692e
jmp 0x6989
movq -0x20(%rbp), %rax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq 0x40(%rax,%rcx,8), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)