// File: /workspace/github_c_makefile_star2_O1/chatziko-k08[P]lecture-code/tests/ADTMap_test.c
// Function: test_insert
void test_insert(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);
	}

	// Ανακατεύουμε το key_array ώστε να υπάρχει ομοιόμορφη εισαγωγή τιμών
	shuffle(key_array, N);

	// Δοκιμάζουμε την insert εισάγοντας κάθε φορά νέους κόμβους
	for (int i = 0; i < N; i++) {
		value_array[i] = create_int(i);

		// Εισαγωγή, δοκιμή και έλεγχος ότι ενημερώθηκε το size
		insert_and_test(map, key_array[i], value_array[i]);

		TEST_ASSERT(map_size(map) == (i + 1)); 
	}

	// Προσθέτουμε ένα κλειδί που είναι __ισοδύναμο__ (όχι ίσο) με το κλειδί του πρώτου κόμβο
	// Και ελέγχουμε αν και το key και το value έχουν ενημερωθεί
	int* new_key = create_int(*key_array[0]);
	int* new_value = create_int(99);

	insert_and_test(map, new_key, new_value);

	map_destroy(map);

	// Δοκιμάζουμε ότι insert/replace δουλεύει σωστά και χωρίς αυτόματο free
	Map map2 = map_create(compare_ints, NULL, NULL);
	map_set_hash_function(map2, hash_int);

	int key1 = 0, key2 = 0;
	int value1 = 0, value2 = 0;

	insert_and_test(map2, &key1, &value1);
	insert_and_test(map2, &key1, &value2);
	insert_and_test(map2, &key2, &value2);

	map_destroy(map2);
	free(key_array);
	free(value_array);

	// Δοκιμάζουμε ότι η συμπεριφορά είναι σωστή όταν 2 keys κάνουν hash στην ίδια τιμή,
	// ακόμα και μετά από διαγραφή του ενός.
	Map map3 = map_create(compare_ints, NULL, NULL);
	map_set_hash_function(map3, hash_int);

	key1 = 1;
	key2 = 54;

	map_insert(map3, &key1, &value1);			// Τα key1,key2 κάνουν hash στην ίδια τιμή (σε hash table μεγέθους 53)
	map_insert(map3, &key2, &value1);
	TEST_ASSERT(map_remove(map3, &key1));
	map_insert(map3, &key2, &value2);			// πρέπει να αντικαταστήσει το key2
	TEST_ASSERT(map_size(map3) == 1);
	TEST_ASSERT(map_remove(map3, &key2));
	TEST_ASSERT(map_find(map3, &key2) == NULL);

	map_destroy(map3);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
leaq -0x179(%rip), %rdi      # 0x3dd1
movq 0x606f(%rip), %rdx      # 0x9fc0
movq %rdx, %rsi
callq 0x4f24
movq %rax, %r14
leaq 0x123b(%rip), %rsi      # 0x519e
movq %rax, %rdi
callq 0x51a4
movl $0x1f40, %edi           # imm = 0x1F40
callq 0x21b0
movq %rax, %rbx
xorl %r15d, %r15d
movl $0x4, %edi
callq 0x21b0
movl %r15d, (%rax)
movq %rax, (%rbx,%r15,8)
incq %r15
cmpq $0x3e8, %r15            # imm = 0x3E8
jne 0x3f7b
movq %rbx, %rdi
movl $0x3e8, %esi            # imm = 0x3E8
callq 0x3ee6
leaq 0x236c(%rip), %r15      # 0x6318
leaq 0x2659(%rip), %r12      # 0x660c
leaq 0x23a7(%rip), %r13      # 0x6361
xorl %ebp, %ebp
cmpq $0x3e8, %rbp            # imm = 0x3E8
je 0x4014
movl $0x4, %edi
callq 0x21b0
movl %ebp, (%rax)
movq (%rbx,%rbp,8), %rsi
movq %r14, %rdi
movq %rax, %rdx
callq 0x3e8f
movq %r14, %rdi
callq 0x4fe0
incq %rbp
movl %eax, %eax
xorl %edi, %edi
cmpq %rax, %rbp
sete %dil
movq %r15, %rsi
movl $0x51, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
jne 0x3fbc
callq 0x2e33
movq (%rbx), %rax
movl (%rax), %ebp
movl $0x4, %edi
callq 0x21b0
movq %rax, %r15
movl %ebp, (%rax)
movl $0x4, %edi
callq 0x21b0
movl $0x63, (%rax)
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x3e8f
movq %r14, %rdi
callq 0x510a
leaq -0x284(%rip), %rdi      # 0x3dd1
xorl %r15d, %r15d
xorl %esi, %esi
xorl %edx, %edx
callq 0x4f24
movq %rax, %r13
leaq 0x1133(%rip), %rsi      # 0x519e
movq %rax, %rdi
callq 0x51a4
leaq 0x14(%rsp), %r14
movl %r15d, (%r14)
leaq 0x8(%rsp), %r12
movl %r15d, (%r12)
leaq 0x10(%rsp), %rdx
movl %r15d, (%rdx)
leaq 0xc(%rsp), %rbp
movl %r15d, (%rbp)
movq %r13, %rdi
movq %r14, %rsi
callq 0x3e8f
movq %r13, %rdi
movq %r14, %rsi
movq %rbp, %rdx
callq 0x3e8f
movq %r13, %rdi
movq %r12, %rsi
movq %rbp, %rdx
callq 0x3e8f
movq %r13, %rdi
callq 0x510a
movq %rbx, %rdi
callq 0x22c0
leaq -0x302(%rip), %rdi      # 0x3dd1
xorl %esi, %esi
xorl %edx, %edx
callq 0x4f24
movq %rax, %rbx
movq %rax, %rdi
leaq 0x10b5(%rip), %rsi      # 0x519e
callq 0x51a4
movl $0x1, (%r14)
movq %r12, %r15
movl $0x36, (%r12)
movq %rbx, %rdi
movq %r14, %rsi
leaq 0x10(%rsp), %r12
movq %r12, %rdx
callq 0x501b
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x501b
movq %rbx, %rdi
movq %r14, %rsi
callq 0x50b0
movzbl %al, %edi
leaq 0x21e2(%rip), %rsi      # 0x6318
leaq 0x24cf(%rip), %rcx      # 0x660c
leaq 0x2236(%rip), %r8       # 0x637a
movl $0x76, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x400f
leaq 0x8(%rsp), %rsi
leaq 0xc(%rsp), %rdx
movq %rbx, %rdi
callq 0x501b
movq %rbx, %rdi
callq 0x4fe0
xorl %edi, %edi
cmpl $0x1, %eax
sete %dil
leaq 0x2196(%rip), %rsi      # 0x6318
leaq 0x2483(%rip), %rcx      # 0x660c
leaq 0x2202(%rip), %r8       # 0x6392
movl $0x78, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x400f
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x50b0
movzbl %al, %edi
leaq 0x215d(%rip), %rsi      # 0x6318
leaq 0x244a(%rip), %rcx      # 0x660c
leaq 0x21dd(%rip), %r8       # 0x63a6
movl $0x79, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x400f
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x4fe8
xorl %edi, %edi
testq %rax, %rax
sete %dil
leaq 0x211e(%rip), %rsi      # 0x6318
leaq 0x240b(%rip), %rcx      # 0x660c
leaq 0x21b6(%rip), %r8       # 0x63be
movl $0x7a, %edx
xorl %eax, %eax
callq 0x25ec
testl %eax, %eax
je 0x400f
movq %rbx, %rdi
callq 0x510a
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq