// File: /workspace/github_c_makefile_star2_O3/chatziko-k08[P]lecture-code/tests/ADTMap_test.c
// Function: test_remove
void test_remove(void) {

	Map map = map_create(compare_ints, free, free);
	map_set_hash_function(map, hash_int);

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

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

		map_insert(map, key_array[i], value_array[i]);
		// Ανά τακτά χρονικά διαστήματα διαγράφουμε κάποιο κλειδί που μόλις βάλαμε
		if (i % (N / 20) == 0) 
			TEST_ASSERT(map_remove(map, key_array[i]));
	}

	// Δοκιμάζουμε, πριν διαγράψουμε κανονικά τους κόμβους, ότι η map_remove
	// διαχειρίζεται σωστά ένα κλειδί που δεν υπάρχει στο Map
	int not_exists = 2000;
	TEST_ASSERT(!map_remove(map, &not_exists));

	// Διαγράφουμε όλους τους κόμβους και ελέγχουμε εάν η τιμή που μας επιστρέφει η map_remove είναι σωστή
	for (int i = 0; i < N; i++) {
		// (Αν δεν το έχουμε διαγράψει ήδη)
		if (i % (N / 20) != 0) {
			TEST_ASSERT(map_remove(map, key_array[i]));
		}
	}
	// Ελέγχουμε την συμπεριφορά της remove σε κάτι που έχει ήδη διαγραφεί.
	int key1 = 100;
	TEST_ASSERT(!map_remove(map, &key1));
	map_destroy(map);


	// Σειριακή εισαγωγή στοιχείων και αμέσως διαγραφή. Αυτό σε έναν πίνακα κατακερματισμού
	// μπορεί να προκαλέσει όλα τα κελιά να είναι μαρκαρισμένα ως DELETED.
	map = map_create(compare_ints, free, free);
	map_set_hash_function(map, hash_int);

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

		map_insert(map, key_array[i], value_array[i]);
		map_remove(map, key_array[i]);

		TEST_ASSERT(map_size(map) == 0);
	}
	map_destroy(map);

	free(key_array);
	free(value_array);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq -0x474(%rip), %rdi      # 0x3cc4
movq 0x5e81(%rip), %rdx      # 0x9fc0
movq %rdx, %rsi
callq 0x4e20
movq %rax, %r14
leaq 0xf49(%rip), %rsi       # 0x509a
movq %rax, %rdi
callq 0x50a0
movl $0x1f40, %edi           # imm = 0x1F40
callq 0x21b0
movq %rax, %rbx
xorl %r15d, %r15d
xorl %r12d, %r12d
movzwl %r12w, %eax
shrl %eax
imull $0x147b, %eax, %eax     # imm = 0x147B
shrl $0x11, %eax
imull $0x32, %eax, %r13d
movl $0x4, %edi
callq 0x21b0
movq %rax, %rbp
movl %r12d, (%rax)
movq %rax, (%rbx,%r12,8)
movl $0x4, %edi
callq 0x21b0
movl %r12d, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x4f17
addw %r15w, %r13w
jne 0x41eb
movq %r14, %rdi
movq %rbp, %rsi
callq 0x4fac
movzbl %al, %edi
leaq 0x214f(%rip), %rsi      # 0x6318
movl $0x90, %edx
leaq 0x2434(%rip), %rcx      # 0x6609
leaq 0x2200(%rip), %r8       # 0x63dc
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x43b9
incq %r12
decl %r15d
cmpq $0x3e8, %r12            # imm = 0x3E8
jne 0x416c
leaq 0x4(%rsp), %rsi
movl $0x7d0, (%rsi)          # imm = 0x7D0
movq %r14, %rdi
callq 0x4fac
xorb $0x1, %al
movzbl %al, %edi
leaq 0x20fb(%rip), %rsi      # 0x6318
leaq 0x23e5(%rip), %rcx      # 0x6609
leaq 0x21cf(%rip), %r8       # 0x63fa
movl $0x96, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x43b9
leaq 0x23c3(%rip), %r12      # 0x6609
leaq 0x218f(%rip), %r13      # 0x63dc
xorl %ebp, %ebp
xorl %r15d, %r15d
movzwl %r15w, %eax
shrl %eax
imull $0x147b, %eax, %eax     # imm = 0x147B
shrl $0x11, %eax
imull $0x32, %eax, %eax
addw %bp, %ax
je 0x4299
movq (%rbx,%r15,8), %rsi
movq %r14, %rdi
callq 0x4fac
movzbl %al, %edi
leaq 0x2099(%rip), %rsi      # 0x6318
movl $0x9c, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x43b9
incq %r15
decl %ebp
cmpq $0x3e8, %r15            # imm = 0x3E8
jne 0x4252
movq %rsp, %rsi
movl $0x64, (%rsi)
movq %r14, %rdi
callq 0x4fac
xorb $0x1, %al
movzbl %al, %edi
leaq 0x2054(%rip), %rsi      # 0x6318
leaq 0x233e(%rip), %rcx      # 0x6609
leaq 0x2146(%rip), %r8       # 0x6418
movl $0xa1, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x43b9
movq %r14, %rdi
callq 0x5006
leaq -0x631(%rip), %rdi      # 0x3cc4
movq 0x5cc4(%rip), %rdx      # 0x9fc0
movq %rdx, %rsi
callq 0x4e20
movq %rax, %r14
leaq 0xd8c(%rip), %rsi       # 0x509a
movq %rax, %rdi
callq 0x50a0
leaq 0x22ec(%rip), %r12      # 0x6609
leaq 0x200e(%rip), %r13      # 0x6332
xorl %r15d, %r15d
movl $0x4, %edi
callq 0x21b0
movq %rax, %rbp
movl %r15d, (%rax)
movq %rax, (%rbx,%r15,8)
movl $0x4, %edi
callq 0x21b0
movl %r15d, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x4f17
movq %r14, %rdi
movq %rbp, %rsi
callq 0x4fac
movq %r14, %rdi
callq 0x4edc
xorl %edi, %edi
testl %eax, %eax
sete %dil
leaq 0x1fa0(%rip), %rsi      # 0x6318
movl $0xb1, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x43b9
incq %r15
cmpq $0x3e8, %r15            # imm = 0x3E8
jne 0x4327
movq %r14, %rdi
callq 0x5006
movq %rbx, %rdi
callq 0x22c0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x2e4b