// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x50, %rsp
xorl %eax, %eax
movl %eax, %edi
callq 0x56c0
movq %rax, -0x8(%rbp)
movl $0x3e8, -0xc(%rbp)      # imm = 0x3E8
movslq -0xc(%rbp), %rdi
shlq $0x2, %rdi
callq 0x2180
movq %rax, -0x18(%rbp)
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0x4558
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rdx
movslq -0x1c(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x5750
movq -0x8(%rbp), %rdi
callq 0x5730
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
sete %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x1e25(%rip), %rsi      # 0x62e1
movl $0x27, %edx
leaq 0x20a0(%rip), %rcx      # 0x6568
leaq 0x1e43(%rip), %r8       # 0x6312
movb $0x0, %al
callq 0x2360
cmpl $0x0, %eax
jne 0x44e0
callq 0x2e40
jmp 0x44e2
jmp 0x44e4
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
callq 0x5a10
movq -0x40(%rbp), %rdi
movq %rax, %rsi
callq 0x5ac0
movq -0x18(%rbp), %rcx
movslq -0x1c(%rbp), %rdx
shlq $0x2, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x1dbf(%rip), %rsi      # 0x62e1
movl $0x2a, %edx
leaq 0x203a(%rip), %rcx      # 0x6568
leaq 0x1df8(%rip), %r8       # 0x632d
movb $0x0, %al
callq 0x2360
cmpl $0x0, %eax
jne 0x4546
callq 0x2e40
jmp 0x4548
jmp 0x454a
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x4474
movq -0x8(%rbp), %rdi
callq 0x5a10
movq %rax, -0x28(%rbp)
movl -0xc(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x2c(%rbp)
cmpl $0x0, -0x2c(%rbp)
jl 0x45e6
jmp 0x4576
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x5ac0
movq -0x18(%rbp), %rcx
movslq -0x2c(%rbp), %rdx
shlq $0x2, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x1d3d(%rip), %rsi      # 0x62e1
movl $0x31, %edx
leaq 0x1fb8(%rip), %rcx      # 0x6568
leaq 0x1dab(%rip), %r8       # 0x6362
movb $0x0, %al
callq 0x2360
cmpl $0x0, %eax
jne 0x45c8
callq 0x2e40
jmp 0x45ca
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x5a70
movq %rax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0x456e
movq -0x8(%rbp), %rdi
callq 0x5a10
movq %rax, -0x38(%rbp)
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x5750
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x5a70
movq -0x48(%rbp), %rdi
movq %rax, %rsi
callq 0x5ac0
cmpq $0x0, %rax
sete %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x1ca9(%rip), %rsi      # 0x62e1
movl $0x38, %edx
leaq 0x1f24(%rip), %rcx      # 0x6568
leaq 0x1d40(%rip), %r8       # 0x638b
movb $0x0, %al
callq 0x2360
cmpl $0x0, %eax
jne 0x465c
callq 0x2e40
jmp 0x465e
movq -0x8(%rbp), %rdi
callq 0x5990
movq -0x18(%rbp), %rdi
callq 0x2260
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)