// File: /workspace/github_c_makefile_star2_O0/chatziko-k08[P]lecture-code/tests/ADTSet_test.c
// Function: test_remove
void test_remove(void) {

	Set set = set_create(compare_ints, free);

	int N = 1000;

	int** value_array = malloc(N * sizeof(*value_array));

	for (int i = 0; i < N; i++)
		value_array[i] = create_int(i);

	// Ανακατεύουμε το value_array ώστε να υπάρχει ομοιόμορφη εισαγωγή τιμών
	// Πχ εάν εισάγουμε δείκτες με αύξουσα σειρά τιμών, τότε εάν το Set υλοποιείται με BST,
	// οι κόμβοι θα προστίθενται μόνο δεξιά της ρίζας, άρα και η set_remove δεν θα δοκιμάζεται πλήρως
	shuffle(value_array, N);

	for (int i = 0; i < N; i++)
		set_insert(set, value_array[i]);

	// Δοκιμάζουμε, πριν διαγράψουμε κανονικά τους κόμβους, ότι η set_remove
	// διαχειρίζεται σωστά μια τιμή που δεν υπάρχει στο Set
	int not_exists = 2000;
	TEST_ASSERT(!set_remove(set, &not_exists));

	// Διαγράφουμε όλους τους κόμβους
	for (int i = 0; i < N; i++) {
		TEST_ASSERT(set_remove(set, value_array[i]));
		TEST_ASSERT(set_is_proper(set));
	}

	set_destroy(set);

	// Δοκιμάζουμε τη remove χωρίς αυτόματο free
	Set set2 = set_create(compare_ints, NULL);
	
	int local_value1 = 0;

	insert_and_test(set2, &local_value1);
	TEST_ASSERT(set_remove(set2, &local_value1));
	TEST_ASSERT(set_is_proper(set2));
	TEST_ASSERT(set_size(set2) == 0);
	
	set_destroy(set2);
	free(value_array);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
leaq -0x3df(%rip), %rdi      # 0x43d0
movq 0x780a(%rip), %rsi      # 0xbfc0
callq 0x5d80
movq %rax, -0x8(%rbp)
movl $0x3e8, -0xc(%rbp)      # imm = 0x3E8
movslq -0xc(%rbp), %rdi
shlq $0x3, %rdi
callq 0x2180
movq %rax, -0x18(%rbp)
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0x4808
movl -0x1c(%rbp), %edi
callq 0x43a0
movq %rax, %rdx
movq -0x18(%rbp), %rax
movslq -0x1c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x47de
movq -0x18(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x44a0
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0x4843
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
callq 0x63f0
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x481b
movl $0x7d0, -0x24(%rbp)     # imm = 0x7D0
movq -0x8(%rbp), %rdi
leaq -0x24(%rbp), %rsi
callq 0x5ee0
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x3a7c(%rip), %rsi      # 0x82e1
movl $0x86, %edx
leaq 0x3de5(%rip), %rcx      # 0x8656
leaq 0x3af5(%rip), %r8       # 0x836d
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x4889
callq 0x2e50
jmp 0x488b
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0x4934
jmp 0x48a0
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
callq 0x5ee0
andb $0x1, %al
movzbl %al, %edi
leaq 0x3a20(%rip), %rsi      # 0x82e1
movl $0x8a, %edx
leaq 0x3d89(%rip), %rcx      # 0x8656
leaq 0x3ab7(%rip), %r8       # 0x838b
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x48e5
callq 0x2e50
jmp 0x48e7
jmp 0x48e9
movq -0x8(%rbp), %rdi
callq 0x6a00
andb $0x1, %al
movzbl %al, %edi
leaq 0x39e3(%rip), %rsi      # 0x82e1
movl $0x8b, %edx
leaq 0x3d4c(%rip), %rcx      # 0x8656
leaq 0x39de(%rip), %r8       # 0x82ef
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x4922
callq 0x2e50
jmp 0x4924
jmp 0x4926
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x4892
movq -0x8(%rbp), %rdi
callq 0x6230
leaq -0x574(%rip), %rdi      # 0x43d0
xorl %eax, %eax
movl %eax, %esi
callq 0x5d80
movq %rax, -0x30(%rbp)
movl $0x0, -0x34(%rbp)
movq -0x30(%rbp), %rdi
leaq -0x34(%rbp), %rsi
callq 0x43f0
movq -0x30(%rbp), %rdi
leaq -0x34(%rbp), %rsi
callq 0x5ee0
andb $0x1, %al
movzbl %al, %edi
leaq 0x3963(%rip), %rsi      # 0x82e1
movl $0x96, %edx
leaq 0x3ccc(%rip), %rcx      # 0x8656
leaq 0x3a1a(%rip), %r8       # 0x83ab
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x49a2
callq 0x2e50
jmp 0x49a4
jmp 0x49a6
movq -0x30(%rbp), %rdi
callq 0x6a00
andb $0x1, %al
movzbl %al, %edi
leaq 0x3926(%rip), %rsi      # 0x82e1
movl $0x97, %edx
leaq 0x3c8f(%rip), %rcx      # 0x8656
leaq 0x39fd(%rip), %r8       # 0x83cb
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x49df
callq 0x2e50
jmp 0x49e1
jmp 0x49e3
movq -0x30(%rbp), %rdi
callq 0x5e00
cmpl $0x0, %eax
sete %al
andb $0x1, %al
movzbl %al, %edi
leaq 0x38e3(%rip), %rsi      # 0x82e1
movl $0x98, %edx
leaq 0x3c4c(%rip), %rcx      # 0x8656
leaq 0x39ce(%rip), %r8       # 0x83df
movb $0x0, %al
callq 0x2370
cmpl $0x0, %eax
jne 0x4a22
callq 0x2e50
jmp 0x4a24
movq -0x30(%rbp), %rdi
callq 0x6230
movq -0x18(%rbp), %rdi
callq 0x2270
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax)