// File: /workspace/github_cpp_makefile_star2_O3/attractivechaos[P]udb2/mlib/test.c
// Function: test_int
uint32_t test_int(uint32_t n, uint32_t x0)
{
	uint32_t i, x, z = 0;
	intmap_t h;
	intmap_init(h);
	for (i = 0, x = x0; i < n; ++i) {
		uint32_t key;
		int *p;
		x = hash32(x);
		key = get_key(n, x);
		p = intmap_get(h, key);
#ifndef UDB2_TEST_DEL
		if (p == 0) {
			intmap_set_at(h, key, 1);
			++z;
		} else z += ++*p;
#else
		if (p == 0) {
			intmap_set_at(h, key, 1);
			++z;
		} else intmap_erase(h, key);
#endif
	}
	fprintf(stderr, "# unique keys: %ld; checksum: %u\n", intmap_size(h), z);
	x = intmap_size(h);
	intmap_clear(h);
	return x;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %esi, %r15d
movl %edi, (%rsp)
movl $0x80, %edi
callq 0x1080
testq %rax, %rax
je 0x1e11
movq %rax, %rbx
xorl %eax, %eax
movl $0xffffffff, (%rbx,%rax,8) # imm = 0xFFFFFFFF
incq %rax
cmpq $0x10, %rax
jne 0x165f
movl (%rsp), %r10d
testl %r10d, %r10d
jne 0x1690
callq 0x143e
movl $0xa, %r14d
movl $0xf, %ebp
xorl %r15d, %r15d
jmp 0x1dd7
movl %r10d, %r8d
shrl $0x2, %r8d
movl $0xa, %r14d
movl $0xf, %ebp
movdqa 0x1996(%rip), %xmm0     # 0x3040
movdqa 0x199e(%rip), %xmm1     # 0x3050
movdqa 0x19a6(%rip), %xmm2     # 0x3060
movq 0x19ae(%rip), %xmm3     # 0x3070
movdqa 0x19b6(%rip), %xmm4     # 0x3080
movq 0x194e(%rip), %xmm5     # 0x3020
movq 0x194e(%rip), %xmm6     # 0x3028
movq 0x194e(%rip), %xmm7     # 0x3030
xorl %r13d, %r13d
xorl %r12d, %r12d
xorl %ecx, %ecx
xorl %r9d, %r9d
xorl %r11d, %r11d
movl %r15d, %eax
shll $0xf, %eax
notl %eax
addl %r15d, %eax
movl %eax, %edx
shrl $0xa, %edx
xorl %eax, %edx
leal (%rdx,%rdx,8), %eax
movl %eax, %edx
shrl $0x6, %edx
xorl %eax, %edx
movl %edx, %eax
shll $0xb, %eax
notl %eax
addl %edx, %eax
movl %eax, %r15d
shrl $0x10, %r15d
xorl %eax, %r15d
movl %r15d, %eax
xorl %edx, %edx
divl %r8d
cmpq %r11, %r9
ja 0x1e16
cmpq %r14, %r11
ja 0x1e1f
leaq 0x1(%rbp), %rax
testq %rbp, %rax
jne 0x1e28
cmpq $0xf, %rax
jbe 0x1e31
cmpq %rax, %r14
ja 0x1e43
movl %edx, %esi
shll $0xf, %esi
notl %esi
addl %edx, %esi
movl %esi, %edx
shrl $0xa, %edx
xorl %esi, %edx
leal (%rdx,%rdx,8), %edx
movl %edx, %esi
shrl $0x6, %esi
xorl %edx, %esi
movl %esi, %edi
shll $0xb, %edi
notl %edi
addl %esi, %edi
movl %edi, %edx
shrl $0x10, %edx
xorl %edi, %edx
cmpl $-0x2, %edx
je 0x1e3a
cmpl $-0x1, %edx
je 0x1e4c
movl %edx, %esi
shll $0xb, %esi
xorl %edx, %esi
andl %ebp, %esi
movl (%rbx,%rsi,8), %edi
cmpl %edx, %edi
jne 0x17cb
leaq (%rbx,%rsi,8), %rax
addq $0x4, %rax
movl (%rax), %edx
leal 0x1(%rdx), %esi
movl %esi, (%rax)
addl %edx, %r12d
incl %r12d
incl %r13d
cmpl %r10d, %r13d
jne 0x16f0
jmp 0x1d98
movq %r9, 0x8(%rsp)
movl %r8d, 0x4(%rsp)
cmpl $-0x1, %edi
jne 0x1853
cmpl $-0x2, %edx
je 0x1ee5
cmpl $-0x1, %edx
movq 0x8(%rsp), %r9
je 0x1edc
cmpl $-0x1, %edi
jne 0x188a
movl 0x4(%rsp), %r8d
movl %edx, (%rbx,%rsi,8)
movl $0x1, 0x4(%rbx,%rsi,8)
incq %r11
incq %rcx
cmpq %r14, %rcx
jae 0x18fb
cmpq %r11, %r9
ja 0x1ed3
cmpq %r14, %r11
ja 0x1eca
leaq 0x1(%rbp), %rax
testq %rbp, %rax
jne 0x1eaf
cmpq $0xf, %rax
jbe 0x1eb8
cmpq %rax, %r14
ja 0x1ec1
incl %r12d
jmp 0x17ba
movl $0x1, %r9d
movq %rsi, %r8
addq %r9, %r8
andq %rbp, %r8
movl (%rbx,%r8,8), %r10d
cmpl %edx, %r10d
je 0x1d62
incq %r9
cmpq %rbp, %r9
ja 0x1f64
cmpl $-0x1, %r10d
movl (%rsp), %r10d
jne 0x185c
jmp 0x17da
cmpl $-0x2, %edi
movq $-0x1, %rdi
cmoveq %rsi, %rdi
movl $0x1, %r8d
addq %r8, %rsi
andq %rbp, %rsi
movl (%rbx,%rsi,8), %r9d
cmpl %edx, %r9d
je 0x1d7d
incq %r8
cmpq %rbp, %r8
ja 0x1f70
cmpq $-0x1, %rdi
movq %rdi, %r10
cmoveq %rsi, %r10
cmpl $-0x2, %r9d
cmoveq %r10, %rdi
cmpl $-0x1, %r9d
jne 0x189e
xorl %r8d, %r8d
cmpq $-0x1, %rdi
setne %r8b
cmovneq %rdi, %rsi
subq %r8, %rcx
movl (%rsp), %r10d
movl 0x4(%rsp), %r8d
movq 0x8(%rsp), %r9
jmp 0x17ff
movq %rbp, %rcx
shrq %rcx
movq %rax, %rdx
movq %r11, 0x38(%rsp)
cmpq %rcx, %r11
jbe 0x1925
movabsq $0x7fffffffffffffff, %rcx # imm = 0x7FFFFFFFFFFFFFFF
cmpq %rcx, %rbp
jae 0x1f19
leaq (%rax,%rax), %rdx
leaq -0x1(%rdx), %rcx
movq %rcx, 0x30(%rsp)
testq %rcx, %rdx
jne 0x1f7c
movq %rdx, 0x8(%rsp)
cmpq %rdx, %rax
jae 0x1a88
movq 0x8(%rsp), %rcx
movq %rcx, %rax
shrq $0x3d, %rax
leaq (,%rcx,8), %r14
testq %rax, %rax
jne 0x1f1e
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1090
testq %rax, %rax
je 0x1f1e
movq %rax, %rbx
movq %rbp, %rcx
notq %rcx
movq 0x8(%rsp), %rdx
leaq (%rdx,%rcx), %rax
addq $0x3, %rax
andq $-0x4, %rax
addq %rdx, %rcx
decq %rcx
movq %rcx, %xmm0
pshufd $0x44, %xmm0, %xmm0     # xmm0 = xmm0[0,1,0,1]
leaq (%rbx,%rbp,8), %rcx
addq $0x20, %rcx
movdqa 0x16b0(%rip), %xmm7     # 0x3060
pxor %xmm7, %xmm0
xorl %edx, %edx
movdqa 0x1682(%rip), %xmm5     # 0x3040
movdqa 0x168a(%rip), %xmm6     # 0x3050
pcmpeqd %xmm8, %xmm8
movq %rdx, %xmm1
pshufd $0x44, %xmm1, %xmm1     # xmm1 = xmm1[0,1,0,1]
movdqa %xmm1, %xmm2
por %xmm6, %xmm2
pxor %xmm7, %xmm2
movdqa %xmm2, %xmm3
pcmpgtd %xmm0, %xmm3
pcmpeqd %xmm0, %xmm2
pshufd $0xf5, %xmm2, %xmm4     # xmm4 = xmm2[1,1,3,3]
pand %xmm3, %xmm4
pshufd $0xf5, %xmm3, %xmm2     # xmm2 = xmm3[1,1,3,3]
por %xmm4, %xmm2
movd %xmm2, %esi
notl %esi
testb $0x1, %sil
je 0x1a13
movl $0xffffffff, -0x18(%rcx,%rdx,8) # imm = 0xFFFFFFFF
pxor %xmm8, %xmm2
pextrw $0x4, %xmm2, %esi
testb $0x1, %sil
je 0x1a2b
movl $0xffffffff, -0x10(%rcx,%rdx,8) # imm = 0xFFFFFFFF
por %xmm5, %xmm1
pxor %xmm7, %xmm1
movdqa %xmm1, %xmm2
pcmpgtd %xmm0, %xmm2
pcmpeqd %xmm0, %xmm1
pshufd $0xf5, %xmm1, %xmm3     # xmm3 = xmm1[1,1,3,3]
pand %xmm2, %xmm3
pshufd $0xf5, %xmm2, %xmm1     # xmm1 = xmm2[1,1,3,3]
por %xmm3, %xmm1
pxor %xmm8, %xmm1
pextrw $0x0, %xmm1, %esi
testb $0x1, %sil
je 0x1a69
movl $0xffffffff, -0x8(%rcx,%rdx,8) # imm = 0xFFFFFFFF
pextrw $0x4, %xmm1, %esi
testb $0x1, %sil
je 0x1a7b
movl $0xffffffff, (%rcx,%rdx,8) # imm = 0xFFFFFFFF
addq $0x4, %rdx
cmpq %rdx, %rax
jne 0x19cb
pxor %xmm0, %xmm0
movdqa %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
leaq 0x1(%rbp), %rdx
xorl %r14d, %r14d
movq 0x30(%rsp), %r8
movl (%rbx,%r14,8), %ecx
cmpl $-0x3, %ecx
ja 0x1adc
movl %ecx, %eax
shll $0xb, %eax
xorl %ecx, %eax
andl %r8d, %eax
cmpq %rax, %r14
je 0x1ae4
cmpl $-0x2, (%rbx,%rax,8)
jb 0x1aee
leaq (%rbx,%rax,8), %rax
movl %ecx, (%rax)
movl 0x4(%rbx,%r14,8), %ecx
movl %ecx, 0x4(%rax)
movl $0x0, 0x4(%rbx,%r14,8)
movl $0xffffffff, (%rbx,%r14,8) # imm = 0xFFFFFFFF
incq %r14
cmpq %r14, %rdx
jne 0x1aa7
jmp 0x1b0d
leaq 0x10(%rsp), %rdi
movq %rdx, 0x40(%rsp)
callq 0x1ff2
movq 0x40(%rsp), %rdx
movq 0x30(%rsp), %r8
movl (%rbx,%r14,8), %ecx
jmp 0x1ac9
movq 0x10(%rsp), %rax
movq 0x18(%rsp), %rcx
cmpq %rcx, %rax
ja 0x1f26
testq %rax, %rax
je 0x1bd0
movq 0x20(%rsp), %rcx
testq %rcx, %rcx
je 0x1f2f
movl -0x8(%rcx,%rax,8), %esi
movl %esi, %edx
shll $0xb, %edx
xorl %esi, %edx
andl %r8d, %edx
cmpl $-0x1, (%rbx,%rdx,8)
je 0x1b6c
movl $0x1, %esi
leaq 0x1(%rsi), %rdi
cmpq %rbp, %rdi
ja 0x1eff
addq %rsi, %rdx
andq %r8, %rdx
cmpl $-0x1, (%rbx,%rdx,8)
movq %rdi, %rsi
jne 0x1b50
leaq -0x1(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq -0x8(%rcx,%rax,8), %rax
movq %rax, (%rbx,%rdx,8)
movq 0x10(%rsp), %rax
movq 0x18(%rsp), %rcx
cmpq %rcx, %rax
ja 0x1f38
movq 0x20(%rsp), %rdx
testq %rax, %rax
setne %sil
testq %rdx, %rdx
sete %dil
andb %sil, %dil
cmpb $0x1, %dil
je 0x1f41
testq %rdx, %rdx
sete %dl
testq %rcx, %rcx
setne %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x1b17
jmp 0x1f4a
testq %rcx, %rcx
setne %al
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
sete %cl
andb %al, %cl
cmpb $0x1, %cl
je 0x1f85
xorl %eax, %eax
movq %rax, 0x10(%rsp)
callq 0x1030
xorl %r10d, %r10d
movq $0x1, 0x18(%rsp)
movq 0x8(%rsp), %rdx
movq %rdx, %xmm0
punpckldq 0x145a(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x1462(%rip), %xmm0     # 0x3080
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movapd %xmm1, %xmm0
mulsd 0x13ea(%rip), %xmm0     # 0x3020
cvttsd2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
movsd 0x13de(%rip), %xmm2     # 0x3028
subsd %xmm2, %xmm0
cvttsd2si %xmm0, %r14
andq %rcx, %r14
orq %rax, %r14
mulsd 0x13cf(%rip), %xmm1     # 0x3030
cvttsd2si %xmm1, %rax
decq %r14
movq %rax, %rcx
sarq $0x3f, %rcx
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %r9
andq %rcx, %r9
orq %rax, %r9
cmpq $0x1, %rdx
adcq %r10, %rdx
movq %r10, 0x20(%rsp)
xorl %esi, %esi
xorl %ecx, %ecx
xorl %eax, %eax
movl (%rbx,%rsi,8), %edi
xorl %r8d, %r8d
cmpl $-0x1, %edi
sete %r8b
addq %r8, %rax
xorl %r8d, %r8d
cmpl $-0x2, %edi
sete %r8b
addq %r8, %rcx
incq %rsi
cmpq %rsi, %rdx
jne 0x1c91
movq 0x8(%rsp), %rdx
cmpq $0x11, %rdx
cmovbq %r10, %r9
testq %rcx, %rcx
jne 0x1f9f
movq 0x38(%rsp), %rcx
addq %rcx, %rax
cmpq %rdx, %rax
jne 0x1fa8
cmpq %rcx, %r9
ja 0x1fc2
cmpq %r14, %rcx
ja 0x1fce
movq 0x8(%rsp), %rax
cmpq $0xf, %rax
jbe 0x1fda
cmpq %rax, %r14
ja 0x1fe6
movq 0x38(%rsp), %r11
movq %r11, %rcx
movl (%rsp), %r10d
movl 0x4(%rsp), %r8d
movdqa 0x1320(%rip), %xmm0     # 0x3040
movdqa 0x1328(%rip), %xmm1     # 0x3050
movdqa 0x1330(%rip), %xmm2     # 0x3060
movq 0x1338(%rip), %xmm3     # 0x3070
movdqa 0x1340(%rip), %xmm4     # 0x3080
movq 0x12d8(%rip), %xmm5     # 0x3020
movq 0x12d8(%rip), %xmm6     # 0x3028
movq 0x12d8(%rip), %xmm7     # 0x3030
movq 0x30(%rsp), %rbp
jmp 0x1819
leaq (%rbx,%r8,8), %rax
addq $0x4, %rax
movl (%rsp), %r10d
movl 0x4(%rsp), %r8d
movq 0x8(%rsp), %r9
jmp 0x17ad
movl $0x1, 0x4(%rbx,%rsi,8)
movl (%rsp), %r10d
movl 0x4(%rsp), %r8d
movq 0x8(%rsp), %r9
jmp 0x184b
movq 0x3259(%rip), %rax      # 0x4ff8
movq (%rax), %rdi
leaq 0x134c(%rip), %rsi      # 0x30f5
movq %r11, %rdx
movl %r12d, %ecx
xorl %eax, %eax
movq %r11, %r15
movq %r9, %r12
callq 0x1070
cmpq %r15, %r12
ja 0x1e86
cmpq %r14, %r15
ja 0x1e8f
testq %rbx, %rbx
je 0x1e98
leaq 0x1(%rbp), %rax
testq %rbp, %rax
jne 0x1e6b
cmpq $0xf, %rax
jbe 0x1e74
cmpq %rax, %r14
ja 0x1e7d
movq %rbx, %rdi
callq 0x1030
movl %r15d, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x145a
leaq 0x134f(%rip), %rdi      # 0x316c
jmp 0x1e53
leaq 0x136b(%rip), %rdi      # 0x3191
jmp 0x1e53
leaq 0x13a2(%rip), %rdi      # 0x31d1
jmp 0x1e53
leaq 0x13c4(%rip), %rdi      # 0x31fc
jmp 0x1e53
leaq 0x1452(%rip), %rdi      # 0x3293
jmp 0x1e53
leaq 0x13c7(%rip), %rdi      # 0x3211
jmp 0x1e53
leaq 0x141d(%rip), %rdi      # 0x3270
leaq 0x12ff(%rip), %rsi      # 0x3159
leaq 0x13d6(%rip), %rcx      # 0x3237
movl $0xe, %edx
callq 0x1060
leaq 0x135f(%rip), %rdi      # 0x31d1
jmp 0x1e9f
leaq 0x1381(%rip), %rdi      # 0x31fc
jmp 0x1e9f
leaq 0x138d(%rip), %rdi      # 0x3211
jmp 0x1e9f
leaq 0x12df(%rip), %rdi      # 0x316c
jmp 0x1e9f
leaq 0x12fb(%rip), %rdi      # 0x3191
jmp 0x1e9f
leaq 0x1317(%rip), %rdi      # 0x31b6
leaq 0x12b3(%rip), %rsi      # 0x3159
leaq 0x172b(%rip), %rcx      # 0x35d8
jmp 0x1e61
leaq 0x131b(%rip), %rdi      # 0x31d1
jmp 0x1eec
leaq 0x133d(%rip), %rdi      # 0x31fc
jmp 0x1eec
leaq 0x1349(%rip), %rdi      # 0x3211
jmp 0x1eec
leaq 0x12c0(%rip), %rdi      # 0x3191
jmp 0x1eec
leaq 0x1292(%rip), %rdi      # 0x316c
jmp 0x1eec
leaq 0x138d(%rip), %rdi      # 0x3270
jmp 0x1eec
leaq 0x13a7(%rip), %rdi      # 0x3293
leaq 0x1266(%rip), %rsi      # 0x3159
leaq 0x13ce(%rip), %rcx      # 0x32c8
jmp 0x1e61
leaq 0x1485(%rip), %rdi      # 0x338b
leaq 0x124c(%rip), %rsi      # 0x3159
leaq 0x1403(%rip), %rcx      # 0x3317
jmp 0x1e61
callq 0x13d8
movq %r14, %rdi
callq 0x140b
leaq 0x14eb(%rip), %rdi      # 0x3418
jmp 0x1f8c
leaq 0x14f6(%rip), %rdi      # 0x342c
jmp 0x1f8c
leaq 0x14d9(%rip), %rdi      # 0x3418
jmp 0x1f51
leaq 0x14e4(%rip), %rdi      # 0x342c
jmp 0x1f51
leaq 0x1500(%rip), %rdi      # 0x3451
leaq 0x1201(%rip), %rsi      # 0x3159
leaq 0x15be(%rip), %rcx      # 0x351d
jmp 0x1e61
leaq 0x134d(%rip), %rdi      # 0x32b8
jmp 0x1e53
leaq 0x1341(%rip), %rdi      # 0x32b8
jmp 0x1eec
leaq 0x13d3(%rip), %rdi      # 0x3356
jmp 0x1f06
leaq 0x14c5(%rip), %rdi      # 0x3451
leaq 0x11c6(%rip), %rsi      # 0x3159
leaq 0x1541(%rip), %rcx      # 0x34db
jmp 0x1e61
leaq 0x15c7(%rip), %rdi      # 0x356d
jmp 0x1faf
leaq 0x1609(%rip), %rdi      # 0x35b8
leaq 0x11a3(%rip), %rsi      # 0x3159
leaq 0x15b9(%rip), %rcx      # 0x3576
jmp 0x1e61
leaq 0x13cf(%rip), %rdi      # 0x3398
jmp 0x1f06
leaq 0x13e2(%rip), %rdi      # 0x33b7
jmp 0x1f06
leaq 0x13f5(%rip), %rdi      # 0x33d6
jmp 0x1f06
leaq 0x13fb(%rip), %rdi      # 0x33e8
jmp 0x1f06