// File: /workspace/github_c_makefile_star2_O3/chatziko-k08[P]lecture-code/tests/ADTList_test.c
// Function: test_insert
void test_insert(void) {
	List list = list_create(NULL);
	
	// Θα προσθέτουμε, μέσω της insert, δείκτες ως προς τα στοιχεία του π΄ίνακα
	int N = 1000;
	int* array = malloc(N * sizeof(*array));					

	for (int i = 0; i < N; i++) {
		// LIST_BOF για εισαγωγή στην αρχή
		list_insert_next(list, LIST_BOF, &array[i]);
		
		// Ελέγχουμε εάν ενημερώθηκε (αυξήθηκε) το μέγεθος της λίστας.
		TEST_ASSERT(list_size(list) == (i + 1));	

		// Ελέγχουμε εάν ο πρώτος κόμβος περιέχει σαν τιμή τον δείκτη που μόλις κάναμε insert								
		TEST_ASSERT(list_node_value(list, list_first(list)) == &array[i]);	
	}

	// Ελέγχουμε εάν τα στοιχεία έχουν μπει με την αντίστροφη σειρά
	ListNode node = list_first(list);

	for (int i = N - 1; i >= 0; i--) {
		TEST_ASSERT(list_node_value(list, node) == &array[i]);
		node = list_next(list, node);
	}

	// Εισαγωγή σε ενδιάμεσο κόμβο: προσθέτουμε το NULL σαν δεύτερο κόμβο
	ListNode first_node = list_first(list);
	list_insert_next(list, first_node, NULL);
	TEST_ASSERT(list_node_value(list, list_next(list, first_node)) == NULL);

	list_destroy(list);
	free(array);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
xorl %edi, %edi
callq 0x4814
movq %rax, %rbx
movl $0xfa0, %edi            # imm = 0xFA0
callq 0x21a0
movq %rax, %r14
movl $0x1, %ebp
leaq 0x15d0(%rip), %r15      # 0x5318
leaq 0x184b(%rip), %r12      # 0x559a
leaq 0x15f3(%rip), %r13      # 0x5349
movq %rax, (%rsp)
movq %rbx, %rdi
cmpq $0x3e9, %rbp            # imm = 0x3E9
je 0x3de5
xorl %esi, %esi
movq %r14, %rdx
callq 0x485a
movq %rbx, %rdi
callq 0x4856
movl %eax, %eax
xorl %edi, %edi
cmpq %rax, %rbp
sete %dil
movq %r15, %rsi
movl $0x27, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x25bc
testl %eax, %eax
je 0x3de0
movq %rbx, %rdi
callq 0x49b9
movq %rbx, %rdi
movq %rax, %rsi
callq 0x49f7
xorl %edi, %edi
cmpq %rax, %r14
sete %dil
movq %r15, %rsi
movl $0x2a, %edx
movq %r12, %rcx
leaq 0x159a(%rip), %r8       # 0x5364
xorl %eax, %eax
callq 0x25bc
incq %rbp
addq $0x4, %r14
testl %eax, %eax
jne 0x3d5a
callq 0x2e1b
callq 0x49b9
movq %rax, %r15
movl $0xf9c, %r13d           # imm = 0xF9C
leaq 0x151e(%rip), %r14      # 0x5318
leaq 0x1799(%rip), %r12      # 0x559a
leaq 0x1591(%rip), %rbp      # 0x5399
movq %rbx, %rdi
movq %r15, %rsi
callq 0x49f7
movq (%rsp), %rcx
addq %r13, %rcx
xorl %edi, %edi
cmpq %rax, %rcx
sete %dil
movq %r14, %rsi
movl $0x31, %edx
movq %r12, %rcx
movq %rbp, %r8
xorl %eax, %eax
callq 0x25bc
testl %eax, %eax
je 0x3de0
movq %rbx, %rdi
movq %r15, %rsi
callq 0x49ce
movq %rax, %r15
addq $-0x4, %r13
cmpq $-0x4, %r13
jne 0x3e08
movq %rbx, %rdi
callq 0x49b9
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x485a
movq %rbx, %rdi
movq %r14, %rsi
callq 0x49ce
movq %rbx, %rdi
movq %rax, %rsi
callq 0x49f7
xorl %edi, %edi
testq %rax, %rax
sete %dil
leaq 0x1486(%rip), %rsi      # 0x5318
leaq 0x1701(%rip), %rcx      # 0x559a
leaq 0x1522(%rip), %r8       # 0x53c2
movl $0x38, %edx
xorl %eax, %eax
callq 0x25bc
testl %eax, %eax
je 0x3de0
movq %rbx, %rdi
callq 0x4978
movq (%rsp), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2290