// File: /workspace/github_c_makefile_star2_O2/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 0x4594
movq %rax, %rbx
movl $0xfa0, %edi            # imm = 0xFA0
callq 0x21a0
movq %rax, %rbp
pushq $0x1
popq %r14
leaq 0x1808(%rip), %r15      # 0x5318
leaq 0x1a83(%rip), %r12      # 0x559a
pushq $0x2a
popq %r13
movq %rax, (%rsp)
movq %rbx, %rdi
cmpq $0x3e9, %r14            # imm = 0x3E9
je 0x3baa
xorl %esi, %esi
movq %rbp, %rdx
callq 0x45d0
movq %rbx, %rdi
callq 0x45cc
movl %eax, %eax
xorl %edi, %edi
cmpq %rax, %r14
sete %dil
movq %r15, %rsi
pushq $0x27
popq %rdx
movq %r12, %rcx
leaq 0x17f1(%rip), %r8       # 0x5349
xorl %eax, %eax
callq 0x238c
testl %eax, %eax
je 0x3ba5
movq %rbx, %rdi
callq 0x4701
movq %rbx, %rdi
movq %rax, %rsi
callq 0x473f
xorl %edi, %edi
cmpq %rax, %rbp
sete %dil
movq %r15, %rsi
movl %r13d, %edx
movq %r12, %rcx
leaq 0x17d5(%rip), %r8       # 0x5364
xorl %eax, %eax
callq 0x238c
incq %r14
addq $0x4, %rbp
testl %eax, %eax
jne 0x3b1f
callq 0x2bb0
callq 0x4701
movq %rax, %r14
movl $0x3e7, %r15d           # imm = 0x3E7
leaq 0x19db(%rip), %r12      # 0x559a
leaq 0x17d3(%rip), %r13      # 0x5399
pushq $0x31
popq %rbp
movq %rbx, %rdi
testl %r15d, %r15d
js 0x3c1a
movq %r14, %rsi
callq 0x473f
movl %r15d, %ecx
movq (%rsp), %rdx
leaq (%rdx,%rcx,4), %rcx
xorl %edi, %edi
cmpq %rcx, %rax
sete %dil
leaq 0x1724(%rip), %rsi      # 0x5318
movl %ebp, %edx
movq %r12, %rcx
movq %r13, %r8
xorl %eax, %eax
callq 0x238c
testl %eax, %eax
je 0x3ba5
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4716
movq %rax, %r14
decl %r15d
jmp 0x3bc9
callq 0x4701
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x45d0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4716
movq %rbx, %rdi
movq %rax, %rsi
callq 0x473f
xorl %edi, %edi
testq %rax, %rax
sete %dil
leaq 0x16c3(%rip), %rsi      # 0x5318
leaq 0x193e(%rip), %rcx      # 0x559a
leaq 0x175f(%rip), %r8       # 0x53c2
pushq $0x38
popq %rdx
xorl %eax, %eax
callq 0x238c
testl %eax, %eax
je 0x3ba5
movq %rbx, %rdi
callq 0x46c0
movq (%rsp), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2290