// File: /workspace/github_c_makefile_star2_O2/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 -0x459(%rip), %rdi      # 0x3a71
movq 0x60ef(%rip), %rdx      # 0x9fc0
movq %rdx, %rsi
callq 0x4b4c
movq %rax, %r14
leaq 0xed1(%rip), %rsi       # 0x4db4
movq %rax, %rdi
callq 0x4dba
movl $0x1f40, %edi           # imm = 0x1F40
callq 0x21a0
movq %rax, %rbx
xorl %r13d, %r13d
xorl %ebp, %ebp
movl %ebp, %eax
xorl %edx, %edx
movw $0x32, %cx
divw %cx
cmpq $0x3e8, %rbp            # imm = 0x3E8
je 0x3f83
imull $0x32, %eax, %r12d
addl %r13d, %r12d
movl %ebp, %edi
callq 0x3b1a
movq %rax, %r15
movq %rax, (%rbx,%rbp,8)
movl %ebp, %edi
callq 0x3b1a
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x4c3c
testw %r12w, %r12w
jne 0x3f78
movq %r14, %rdi
movq %r15, %rsi
callq 0x4ccc
movzbl %al, %edi
leaq 0x23c2(%rip), %rsi      # 0x6318
movl $0x90, %edx
leaq 0x26a7(%rip), %rcx      # 0x6609
leaq 0x2473(%rip), %r8       # 0x63dc
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x4113
incq %rbp
decl %r13d
jmp 0x3efd
leaq 0x4(%rsp), %rsi
movl $0x7d0, (%rsi)          # imm = 0x7D0
movq %r14, %rdi
callq 0x4ccc
xorb $0x1, %al
movzbl %al, %edi
leaq 0x2376(%rip), %rsi      # 0x6318
leaq 0x2660(%rip), %rcx      # 0x6609
leaq 0x244a(%rip), %r8       # 0x63fa
movl $0x96, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x4113
movw $0x32, %r15w
leaq 0x240c(%rip), %r13      # 0x63dc
xorl %r12d, %r12d
xorl %ebp, %ebp
movl %ebp, %eax
xorl %edx, %edx
divw %r15w
cmpq $0x3e8, %rbp            # imm = 0x3E8
je 0x402d
imull $0x32, %eax, %eax
addl %r12d, %eax
testw %ax, %ax
je 0x4025
movq (%rbx,%rbp,8), %rsi
movq %r14, %rdi
callq 0x4ccc
movzbl %al, %edi
leaq 0x2311(%rip), %rsi      # 0x6318
movl $0x9c, %edx
leaq 0x25f6(%rip), %rcx      # 0x6609
movq %r13, %r8
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x4113
incq %rbp
decl %r12d
jmp 0x3fd5
movq %rsp, %rsi
movl $0x64, (%rsi)
movq %r14, %rdi
callq 0x4ccc
xorb $0x1, %al
movzbl %al, %edi
leaq 0x22ce(%rip), %rsi      # 0x6318
leaq 0x25b8(%rip), %rcx      # 0x6609
leaq 0x23c0(%rip), %r8       # 0x6418
movl $0xa1, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x4113
movq %r14, %rdi
callq 0x4d23
leaq -0x60a(%rip), %rdi      # 0x3a71
movq 0x5f3e(%rip), %rdx      # 0x9fc0
movq %rdx, %rsi
callq 0x4b4c
movq %rax, %r14
leaq 0xd20(%rip), %rsi       # 0x4db4
movq %rax, %rdi
callq 0x4dba
leaq 0x2566(%rip), %r12      # 0x6609
leaq 0x2288(%rip), %r13      # 0x6332
xorl %ebp, %ebp
cmpq $0x3e8, %rbp            # imm = 0x3E8
je 0x4118
movl %ebp, %edi
callq 0x3b1a
movq %rax, %r15
movq %rax, (%rbx,%rbp,8)
movl %ebp, %edi
callq 0x3b1a
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x4c3c
movq %r14, %rdi
movq %r15, %rsi
callq 0x4ccc
movq %r14, %rdi
callq 0x4c04
xorl %edi, %edi
testl %eax, %eax
sete %dil
leaq 0x221e(%rip), %rsi      # 0x6318
movl $0xb1, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x239c
incq %rbp
testl %eax, %eax
jne 0x40ac
callq 0x2bc0
movq %r14, %rdi
callq 0x4d23
movq %rbx, %rdi
callq 0x22a0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq