// File: /workspace/github_c_makefile_star2_O1/chatziko-k08[P]lecture-code/tests/ADTSet_test.c
// Function: test_find
void test_find(void) {
	
	Set set = set_create(compare_ints, free);

	int N = 1000;

	int** value_array = malloc(N * sizeof(*value_array));

	for (int i = 0; i < N; i++)
		value_array[i] = create_int(i);

	// Παρόμοια με την set_remove, εάν το δέντρο δεν είναι σωστά ισορροπημένο, οι συναρτήσεις εύρεσης
	// στοιχείων δεν θα ελέγχονται πλήρως
	shuffle(value_array, N);

	for (int i = 0; i < N; i++) {
		set_insert(set, value_array[i]);

		SetNode found_node 	= set_find_node(set, value_array[i]);
		Pointer found_value = set_node_value(set, found_node);

		TEST_ASSERT(found_node != SET_EOF);
		TEST_ASSERT(found_value == value_array[i]);
	}

	// Αναζήτηση στοιχείου που δεν υπάρχει στο set
	int not_exists = 2000;
	TEST_ASSERT(set_find_node(set, &not_exists) == SET_EOF);
	TEST_ASSERT(set_find(set, &not_exists) == NULL);

	// Αναζήτηση μέγιστων/ελάχιστων στοιχείων
	// Συγκρίνουμε τις τιμές των δεικτών και όχι τους ίδιους τους δείκτες, καθώς
	// δεν γνωρίζουμε την θέση τους μετά απο το ανακάτεμα του πίνακα, αλλά γνωρίζουμε
	// ποιές τιμές υπάρχουν στο Set. Στη συγκεκριμένη περίπτωση, γνωρίζουμε ότι Set = {0, 1, ..., N-1}
	SetNode first_node = set_first(set);
	Pointer first_value = set_node_value(set, first_node);
	TEST_ASSERT((*(int *)first_value) == 0);

	SetNode next = set_next(set, first_node);
	Pointer next_value = set_node_value(set, next);
	TEST_ASSERT((*(int *)next_value) == 1);

	SetNode last_node = set_last(set);
	Pointer last_node_value = set_node_value(set, last_node);
	TEST_ASSERT((*(int *)last_node_value) == N-1);

	SetNode prev = set_previous(set, last_node);
	Pointer prev_value = set_node_value(set, prev);
	TEST_ASSERT((*(int *)prev_value) == N-2);

	// Ελέγχουμε και ότι βρίσκουμε σωστά τις τιμές από ενδιάμεσους κόμβους
	SetNode middle_node = set_find_node(set, value_array[N/2]);
	SetNode middle_node_prev = set_previous(set, middle_node);

	Pointer middle_node_value = set_node_value(set, middle_node);
	Pointer middle_node_value_prev = set_node_value(set, middle_node_prev);
	
	TEST_ASSERT(*(int *)middle_node_value == *(int *)middle_node_value_prev + 1);


	set_destroy(set);
	free(value_array);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
leaq -0x4ec(%rip), %rdi      # 0x3dda
movq 0x5cf3(%rip), %rsi      # 0x9fc0
callq 0x4ebc
movq %rax, 0x10(%rsp)
movl $0x1f40, %edi           # imm = 0x1F40
callq 0x21a0
movq %rax, %r13
xorl %ebx, %ebx
movl $0x4, %edi
callq 0x21a0
movl %ebx, (%rax)
movq %rax, (%r13,%rbx,8)
incq %rbx
cmpq $0x3e8, %rbx            # imm = 0x3E8
jne 0x42e6
movq %r13, %rdi
movl $0x3e8, %esi            # imm = 0x3E8
callq 0x3e6a
leaq 0x2374(%rip), %r12      # 0x668b
xorl %ebx, %ebx
movq %r13, %r15
movq (%r13,%rbx,8), %r13
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %r13, %rsi
callq 0x51c5
movq %r14, %rdi
movq %r13, %rsi
callq 0x4f2a
movq %rax, %rbp
movq %r14, %rdi
movq %rax, %rsi
callq 0x5542
movq %rax, %r14
xorl %edi, %edi
testq %rbp, %rbp
setne %dil
leaq 0x1fbb(%rip), %rbp      # 0x6318
movq %rbp, %rsi
movl $0xb4, %edx
movq %r12, %rcx
leaq 0x20bb(%rip), %r8       # 0x642a
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
xorl %edi, %edi
cmpq %r13, %r14
sete %dil
movq %rbp, %rsi
movl $0xb5, %edx
movq %r12, %rcx
leaq 0x20a7(%rip), %r8       # 0x6440
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
incq %rbx
cmpq $0x3e8, %rbx            # imm = 0x3E8
movq %r15, %r13
jne 0x4319
leaq 0xc(%rsp), %rsi
movl $0x7d0, (%rsi)          # imm = 0x7D0
movq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x4f2a
xorl %edi, %edi
testq %rax, %rax
sete %dil
leaq 0x1f35(%rip), %rsi      # 0x6318
leaq 0x22a1(%rip), %rcx      # 0x668b
leaq 0x206d(%rip), %r8       # 0x645e
movl $0xba, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
leaq 0xc(%rsp), %rsi
movq %rbx, %rdi
callq 0x4f16
xorl %edi, %edi
testq %rax, %rax
sete %dil
leaq 0x1ef6(%rip), %rsi      # 0x6318
leaq 0x2262(%rip), %rcx      # 0x668b
leaq 0x2059(%rip), %r8       # 0x6489
movl $0xbb, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq %rbx, %rdi
callq 0x5077
movq %rax, %r15
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5542
xorl %edi, %edi
cmpl $0x0, (%rax)
sete %dil
leaq 0x1eae(%rip), %rsi      # 0x6318
leaq 0x221a(%rip), %rcx      # 0x668b
leaq 0x2034(%rip), %r8       # 0x64ac
movl $0xc3, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq %rbx, %rdi
movq %r15, %rsi
callq 0x5421
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5542
xorl %edi, %edi
cmpl $0x1, (%rax)
sete %dil
leaq 0x1e66(%rip), %rsi      # 0x6318
leaq 0x21d2(%rip), %rcx      # 0x668b
leaq 0x2007(%rip), %r8       # 0x64c7
movl $0xc7, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq %rbx, %rdi
callq 0x5094
movq %rax, %r15
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5542
xorl %edi, %edi
cmpl $0x3e7, (%rax)          # imm = 0x3E7
sete %dil
leaq 0x1e1b(%rip), %rsi      # 0x6318
leaq 0x2187(%rip), %rcx      # 0x668b
leaq 0x1fd6(%rip), %r8       # 0x64e1
movl $0xcb, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq %rbx, %rdi
movq %r15, %rsi
callq 0x533c
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5542
xorl %edi, %edi
cmpl $0x3e6, (%rax)          # imm = 0x3E6
sete %dil
leaq 0x1dd0(%rip), %rsi      # 0x6318
leaq 0x213c(%rip), %rcx      # 0x668b
leaq 0x1fac(%rip), %r8       # 0x6502
movl $0xcf, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq 0xfa0(%r13), %rsi
movq %rbx, %rdi
callq 0x4f2a
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
callq 0x533c
movq %rax, %r15
movq %rbx, %rdi
movq %r14, %rsi
callq 0x5542
movq %rax, %r14
movq %rbx, %rdi
movq %r15, %rsi
callq 0x5542
movl (%rax), %eax
incl %eax
xorl %edi, %edi
cmpl %eax, (%r14)
sete %dil
leaq 0x1d61(%rip), %rsi      # 0x6318
leaq 0x20cd(%rip), %rcx      # 0x668b
leaq 0x1f59(%rip), %r8       # 0x651e
movl $0xd8, %edx
xorl %eax, %eax
callq 0x25dc
testl %eax, %eax
je 0x45f4
movq %rbx, %rdi
callq 0x50b6
movq %r13, %rdi
callq 0x22b0
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x2e23