// File: /workspace/github_c_makefile_star2_O2/gplessis[P]dotdeb-redis/deps/jemalloc/src/prof.c
// Function: prof_tdata_destroy_locked
static void
prof_tdata_destroy_locked(tsd_t *tsd, prof_tdata_t *tdata,
    bool even_if_attached)
{
	tcache_t *tcache;

	assert(prof_tdata_should_destroy(tdata, even_if_attached));
	assert(tsd_prof_tdata_get(tsd) != tdata);

	tdata_tree_remove(&tdatas, tdata);

	tcache = tcache_get(tsd, false);
	if (tdata->thread_name != NULL)
		idalloctm(tsd, tdata->thread_name, tcache, true);
	ckh_delete(tsd, &tdata->bt2tctx);
	idalloctm(tsd, tdata, tcache, true);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x808, %rsp            # imm = 0x808
movq %rsi, %r14
movq %rdi, %rbx
movq 0x256ad(%rip), %r15     # 0x57808
leaq 0x10(%rsp), %r12
movq %r15, -0x10(%r12)
leaq 0x256a4(%rip), %r13     # 0x57810
cmpq %r13, %r15
je 0x321a8
movq %r14, %rdi
movq %r15, %rsi
callq 0x32ecc
movl %eax, -0x8(%r12)
testl %eax, %eax
js 0x3219a
movq 0x30(%r15), %r15
andq $-0x2, %r15
movq %r15, (%r12)
testl %eax, %eax
jne 0x321a2
jmp 0x3222e
movq 0x28(%r15), %r15
movq %r15, (%r12)
addq $0x10, %r12
jmp 0x3216c
addq $-0x10, %r12
xorl %eax, %eax
leaq -0x10(%r12), %rdx
movq -0x10(%r12), %rcx
cmpq %r14, %rcx
je 0x3225a
movq 0x30(%rcx), %rsi
movl %esi, %edi
andl $0x1, %edi
andq $-0x2, %rsi
movq 0x30(%r14), %r8
andl $0x1, %r8d
orq %r8, %rsi
movq %rsi, 0x30(%rcx)
movq 0x28(%r14), %rsi
movq %rsi, 0x28(%rcx)
movq 0x30(%r14), %rsi
andq $-0x2, %rsi
orq %r8, %rsi
movq %rsi, 0x30(%rcx)
movq 0x30(%r14), %rsi
andq $-0x2, %rsi
orq %rdi, %rsi
movq %rsi, 0x30(%r14)
movq %rcx, (%rax)
movq %r14, (%rdx)
movq %rsp, %rcx
cmpq %rcx, %rax
je 0x3228d
cmpl $0x0, -0x8(%rax)
movq (%rax), %rcx
js 0x32299
movq -0x10(%rax), %rax
movq 0x30(%rax), %rdx
andl $0x1, %edx
orq %rcx, %rdx
movq %rdx, 0x30(%rax)
jmp 0x322a1
movl $0x1, -0x8(%r12)
leaq -0x10(%r12), %rax
cmpq %r13, %r15
je 0x321ae
orl $-0x1, 0x8(%r12)
movq 0x28(%r15), %r15
movq %r15, 0x10(%r12)
addq $0x10, %r12
jmp 0x3223c
movq 0x28(%r14), %rax
cmpq %r13, %rax
je 0x3236c
andb $-0x2, 0x30(%rax)
movq %rsp, %rcx
cmpq %rcx, %rdx
je 0x32388
cmpl $0x0, -0x18(%r12)
js 0x3241b
movq -0x20(%r12), %rcx
jmp 0x325ab
movq (%rax), %rax
movq %rax, 0x25571(%rip)     # 0x57808
jmp 0x322a1
movq -0x10(%rax), %rax
movq %rcx, 0x28(%rax)
movq %r14, %rcx
testb $0x1, 0x30(%rcx)
jne 0x3235e
movq %r13, -0x10(%r12)
addq $-0x30, %r12
movq %rsp, %rax
leaq 0x10(%r12), %rdx
cmpq %rax, %rdx
jb 0x32384
cmpl $0x0, 0x18(%r12)
movq 0x20(%r12), %r8
js 0x3231f
movq (%rdx), %rsi
movq 0x28(%rsi), %rcx
movq 0x30(%rsi), %r9
andl $0x1, %r9d
orq %r8, %r9
movq %r9, 0x30(%rsi)
movq 0x30(%rcx), %rdi
testb $0x1, %dil
jne 0x32394
testb $0x1, %r9b
jne 0x323c6
movq 0x28(%rcx), %r8
movq 0x30(%r8), %r9
testb $0x1, %r9b
jne 0x323e5
orq $0x1, %rdi
movq %rdi, 0x30(%rcx)
jmp 0x32355
movq (%rdx), %rcx
movq %r8, 0x28(%rcx)
movq 0x30(%rcx), %rsi
testb $0x1, %sil
jne 0x32425
movq 0x28(%rsi), %rdi
movq 0x30(%rdi), %r8
testb $0x1, %r8b
jne 0x3244a
orq $0x1, %rdi
movq %rdi, 0x30(%rcx)
movq %rcx, 0x28(%rsi)
movq %rsi, (%rdx)
addq $-0x10, %r12
jmp 0x322ba
movq -0x20(%r12), %rax
movq %r13, 0x28(%rax)
jmp 0x325cd
movq %rsp, %rax
cmpq %rax, %rdx
jne 0x322a4
movq %r13, 0x25489(%rip)     # 0x57808
jmp 0x325cd
movq (%rsp), %rax
movq %rax, 0x25479(%rip)     # 0x57808
jmp 0x325cd
andq $-0x2, %rdi
movq 0x28(%rdi), %r8
movq 0x30(%r8), %r9
testb $0x1, %r9b
jne 0x32488
orb $0x1, 0x30(%rdi)
movq 0x30(%rcx), %rdi
andq $-0x2, %rdi
movq %rdi, 0x28(%rsi)
andq $-0x2, %rsi
movq %rcx, %rdi
jmp 0x324d7
movq 0x28(%rcx), %rax
testb $0x1, 0x30(%rax)
jne 0x3250f
orq $0x1, %rdi
movq %rdi, 0x30(%rcx)
andb $-0x2, 0x30(%rsi)
jmp 0x325cd
andq $-0x2, %r9
movq %r9, 0x30(%r8)
movq 0x30(%rcx), %rdi
movq %rdi, %r8
andq $-0x2, %r8
movq %r8, 0x28(%rsi)
andl $0x1, %edi
orq %rsi, %rdi
movq %rdi, 0x30(%rcx)
cmpq %rax, %rdx
jne 0x32538
movq %rcx, 0x253f2(%rip)     # 0x57808
jmp 0x325cd
movq -0x20(%r12), %rcx
jmp 0x325c9
andq $-0x2, %rsi
movq 0x28(%rsi), %rax
testb $0x1, 0x30(%rax)
jne 0x3255e
leaq 0x28(%rsi), %rdi
orq $0x1, %rax
movq %rax, %rdx
movq %rsi, %rax
jmp 0x32598
andq $-0x2, %r8
movq %r8, 0x28(%rsi)
movq %rsi, 0x30(%rdi)
movl 0x30(%rcx), %esi
orl %edi, %esi
andq $-0x2, %rdi
andl $0x1, %esi
orq 0x28(%rdi), %rsi
movq %rsi, 0x30(%rcx)
movq %rcx, 0x28(%rdi)
cmpq %rax, %rdx
je 0x32503
cmpl $0x0, 0x8(%r12)
movq (%r12), %rax
jns 0x324f0
jmp 0x325bf
andq $-0x2, %r9
movq %r9, 0x30(%r8)
movq 0x30(%rcx), %r8
movq %r8, %rdi
andq $-0x2, %rdi
andl $0x1, %r8d
orq %rsi, %r8
movq %r8, 0x30(%rcx)
movq 0x30(%rdi), %r8
movq %r8, %r9
andq $-0x2, %r9
movq %r9, 0x28(%rsi)
andl $0x1, %r8d
orq %rsi, %r8
movq %r8, 0x30(%rdi)
movq 0x30(%rcx), %rsi
andl $0x1, %esi
leaq (%rsi,%rdi), %r8
movq %r8, 0x30(%rcx)
orq 0x28(%rdi), %rsi
movq %rcx, 0x28(%rdi)
movq %rsi, 0x30(%rcx)
cmpq %rax, %rdx
je 0x32503
cmpl $0x0, 0x8(%r12)
js 0x325bb
movq (%r12), %rax
movq 0x30(%rax), %rcx
andl $0x1, %ecx
orq %rdi, %rcx
movq %rcx, 0x30(%rax)
jmp 0x325cd
movq %rdi, 0x252fe(%rip)     # 0x57808
jmp 0x325cd
andq $-0x2, %r8
movq %r8, 0x30(%rsi)
orb $0x1, 0x30(%rcx)
andb $-0x2, 0x30(%rax)
movq 0x30(%rcx), %rax
movq %rax, %rdx
andq $-0x2, %rdx
movq %rdx, 0x28(%rsi)
andl $0x1, %eax
orq %rsi, %rax
movq %rax, 0x30(%rcx)
cmpl $0x0, 0x8(%r12)
js 0x32554
movq (%r12), %rax
movq 0x30(%rax), %rdx
andl $0x1, %edx
orq %rcx, %rdx
movq %rdx, 0x30(%rax)
jmp 0x325cd
movq (%r12), %rax
movq %rcx, 0x28(%rax)
jmp 0x325cd
movq %rsi, 0x30(%rcx)
movq 0x30(%rax), %rdx
movq %rdx, %rdi
andq $-0x2, %rdi
movq %rdi, 0x28(%rsi)
andl $0x1, %edx
orq %rsi, %rdx
movq %rdx, 0x30(%rax)
movq 0x30(%rcx), %rdx
andl $0x1, %edx
orq %rax, %rdx
movq %rdx, 0x30(%rcx)
andq $-0x2, %rax
leaq 0x28(%rax), %rdi
andl $0x1, %edx
orq 0x28(%rax), %rdx
movq %rcx, (%rdi)
movq %rdx, 0x30(%rcx)
cmpl $0x0, 0x8(%r12)
js 0x325c5
movq (%r12), %rcx
movq 0x30(%rcx), %rdx
andl $0x1, %edx
orq %rax, %rdx
movq %rdx, 0x30(%rcx)
jmp 0x325cd
movq (%r12), %rax
movq %rdi, 0x28(%rax)
jmp 0x325cd
movq (%r12), %rcx
movq %rax, 0x28(%rcx)
movq 0x8(%rbx), %r15
movq 0x18(%r14), %r12
testq %r12, %r12
je 0x326e8
leaq 0x250cb(%rip), %rbp     # 0x576b0
movq (%rbp), %rax
notq %rax
andq %r12, %rax
cmpq %rax, %r12
je 0x328e9
movq (%rax), %r13
cmpq %rax, %r12
je 0x32903
movq %r12, %rcx
subq %rax, %rcx
shrq $0xc, %rcx
leaq 0x24f43(%rip), %rdx     # 0x57558
subq (%rdx), %rcx
movq 0x68(%rax,%rcx,8), %rax
movl %eax, %ecx
shrl $0x5, %ecx
movl $0xff, %edx
andl %edx, %ecx
cmpl %edx, %ecx
je 0x32923
movl %ecx, %eax
leaq 0xfd46(%rip), %rcx      # 0x42380
movq (%rcx,%rax,8), %rax
negq %rax
lock
xaddq %rax, 0x58(%r13)
movq (%rbp), %rsi
notq %rsi
andq %r12, %rsi
movq %r12, %rcx
subq %rsi, %rcx
je 0x32910
shrq $0xc, %rcx
leaq 0x24ef0(%rip), %rax     # 0x57558
movq %rcx, %rdx
subq (%rax), %rdx
movq 0x68(%rsi,%rdx,8), %rax
testb $0x2, %al
jne 0x32937
testq %r15, %r15
je 0x3296c
shrl $0x5, %eax
movzbl %al, %r13d
leaq 0x23f90(%rip), %rax     # 0x56622
cmpb $0x1, (%rax)
je 0x3298c
movl %r13d, %eax
shll $0x5, %eax
leaq (%r15,%rax), %rbp
addq $0x20, %rbp
leaq 0x25700(%rip), %rax     # 0x57db0
movq (%rax), %rax
movl 0x10(%rbp), %r8d
cmpl (%rax,%r13,4), %r8d
je 0x329a4
movq 0x18(%rbp), %rax
movl %r8d, %ecx
movq %r12, (%rax,%rcx,8)
incl %r8d
movl %r8d, 0x10(%rbp)
movl 0x18(%r15), %eax
incl %eax
movl %eax, 0x18(%r15)
cmpl $0xd3, %eax
je 0x3297c
leaq 0x40(%r14), %rsi
movq %rbx, %rdi
callq 0x3932d
leaq 0x24fb5(%rip), %r13     # 0x576b0
movq (%r13), %rax
notq %rax
andq %r14, %rax
cmpq %r14, %rax
je 0x32814
movq (%rax), %r12
cmpq %r14, %rax
je 0x3282e
movq %r14, %rcx
subq %rax, %rcx
shrq $0xc, %rcx
leaq 0x24e2d(%rip), %rdx     # 0x57558
subq (%rdx), %rcx
movq 0x68(%rax,%rcx,8), %rax
movl %eax, %ecx
shrl $0x5, %ecx
movl $0xff, %edx
andl %edx, %ecx
cmpl %edx, %ecx
je 0x3284b
movl %ecx, %eax
leaq 0xfc30(%rip), %rcx      # 0x42380
movq (%rcx,%rax,8), %rax
negq %rax
lock
xaddq %rax, 0x58(%r12)
movq (%r13), %rsi
notq %rsi
andq %r14, %rsi
cmpq %r14, %rsi
je 0x3283b
movq %r14, %rcx
subq %rsi, %rcx
shrq $0xc, %rcx
leaq 0x24dd6(%rip), %rax     # 0x57558
movq %rcx, %rdx
subq (%rax), %rdx
movq 0x68(%rsi,%rdx,8), %rax
testb $0x2, %al
jne 0x3285f
testq %r15, %r15
je 0x32894
shrl $0x5, %eax
movzbl %al, %r12d
leaq 0x23e76(%rip), %rax     # 0x56622
cmpb $0x1, (%rax)
je 0x328b4
movl %r12d, %eax
shll $0x5, %eax
leaq (%r15,%rax), %r13
addq $0x20, %r13
leaq 0x255e6(%rip), %rax     # 0x57db0
movq (%rax), %rax
movl 0x10(%r13), %r8d
cmpl (%rax,%r12,4), %r8d
je 0x328cc
movq 0x18(%r13), %rax
movl %r8d, %ecx
movq %r14, (%rax,%rcx,8)
incl %r8d
movl %r8d, 0x10(%r13)
movl 0x18(%r15), %eax
incl %eax
movl %eax, 0x18(%r15)
cmpl $0xd3, %eax
je 0x328a4
addq $0x808, %rsp            # imm = 0x808
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %rdi
callq 0x311b6
movq %rax, %r12
movq (%r13), %rax
notq %rax
andq %r14, %rax
jmp 0x32711
movq %r14, %rdi
callq 0x311c1
jmp 0x32754
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x30dbc
jmp 0x32802
shrq %rax
andq $-0x1000, %rax          # imm = 0xF000
addq $-0x1000, %rax          # imm = 0xF000
jmp 0x32754
testq %r15, %r15
je 0x32884
shrq %rax
andq $-0x1000, %rax          # imm = 0xF000
leaq -0x1000(%rax), %r12
leaq 0x25565(%rip), %rcx     # 0x57de0
cmpq (%rcx), %r12
jbe 0x329c1
movq (%rsi), %rdi
movq %r14, %rdx
callq 0x24608
jmp 0x32802
movq (%rsi), %rdi
movq %r14, %rdx
callq 0x244f0
jmp 0x32802
movq %rbx, %rdi
movq %r15, %rsi
callq 0x36f85
jmp 0x32802
imulq $0x60, %r12, %rsi
addq 0x21719(%rip), %rsi     # 0x53fd8
movq %r14, %rdi
callq 0x233ee
jmp 0x327b5
shrl %r8d
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rdx
movl %r12d, %ecx
callq 0x37034
movl 0x10(%r13), %r8d
jmp 0x327db
movq %r12, %rdi
callq 0x311b6
movq %rax, %r13
movq (%rbp), %rax
notq %rax
andq %r12, %rax
jmp 0x325fb
movq %r12, %rdi
callq 0x311c1
jmp 0x3263e
movq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x30dbc
jmp 0x326e8
shrq %rax
andq $-0x1000, %rax          # imm = 0xF000
addq $-0x1000, %rax          # imm = 0xF000
jmp 0x3263e
testq %r15, %r15
je 0x3295c
shrq %rax
andq $-0x1000, %rax          # imm = 0xF000
leaq -0x1000(%rax), %r13
leaq 0x2548d(%rip), %rcx     # 0x57de0
cmpq (%rcx), %r13
jbe 0x32a33
movq (%rsi), %rdi
movq %r12, %rdx
callq 0x24608
jmp 0x326e8
movq (%rsi), %rdi
movq %r12, %rdx
callq 0x244f0
jmp 0x326e8
movq %rbx, %rdi
movq %r15, %rsi
callq 0x36f85
jmp 0x326e8
imulq $0x60, %r13, %rsi
addq 0x21641(%rip), %rsi     # 0x53fd8
movq %r12, %rdi
callq 0x233ee
jmp 0x3269b
shrl %r8d
movq %rbx, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movl %r13d, %ecx
callq 0x37034
movl 0x10(%rbp), %r8d
jmp 0x326c1
cmpq $0x1000, %r12           # imm = 0x1000
ja 0x32a9e
addq $-0x1001, %rax          # imm = 0xEFFF
shrq $0x3, %rax
leaq 0x10121(%rip), %rcx     # 0x42b00
movzbl (%rcx,%rax), %ebp
leaq 0x23c38(%rip), %rax     # 0x56622
cmpb $0x1, (%rax)
je 0x32aad
movl %ebp, %eax
movq %rax, %rcx
shlq $0x5, %rcx
leaq (%r15,%rcx), %r12
addq $0x20, %r12
leaq 0x253a5(%rip), %rcx     # 0x57db0
movq (%rcx), %rdx
movl 0x10(%r12), %ecx
cmpl (%rdx,%rax,4), %ecx
je 0x32abd
movq 0x18(%r12), %rax
movl %ecx, %edx
movq %r14, (%rax,%rdx,8)
incl %ecx
movl %ecx, 0x10(%r12)
jmp 0x327ed
cmpq $0x1000, %r13           # imm = 0x1000
ja 0x32ad9
addq $-0x1001, %rax          # imm = 0xEFFF
shrq $0x3, %rax
leaq 0x100af(%rip), %rcx     # 0x42b00
movzbl (%rcx,%rax), %ebp
leaq 0x23bc6(%rip), %rax     # 0x56622
cmpb $0x1, (%rax)
je 0x32ae8
movl %ebp, %eax
movq %rax, %rcx
shlq $0x5, %rcx
leaq (%r15,%rcx), %r13
addq $0x20, %r13
leaq 0x25333(%rip), %rcx     # 0x57db0
movq (%rcx), %rdx
movl 0x10(%r13), %ecx
cmpl (%rdx,%rax,4), %ecx
je 0x32af8
movq 0x18(%r13), %rax
movl %ecx, %edx
movq %r12, (%rax,%rdx,8)
incl %ecx
movl %ecx, 0x10(%r13)
jmp 0x326d3
movq %r12, %rdi
callq 0x32e76
movl %eax, %ebp
jmp 0x329e3
movq %r14, %rdi
movq %r12, %rsi
callq 0x244f5
jmp 0x329f3
shrl %ecx
movq %rbx, %rdi
movq %r12, %rsi
movl %ebp, %edx
movq %r15, %r8
callq 0x371b7
movl 0x10(%r12), %ecx
jmp 0x32a1c
movq %r13, %rdi
callq 0x32e76
movl %eax, %ebp
jmp 0x32a55
movq %r12, %rdi
movq %r13, %rsi
callq 0x244f5
jmp 0x32a65
shrl %ecx
movq %rbx, %rdi
movq %r13, %rsi
movl %ebp, %edx
movq %r15, %r8
callq 0x371b7
movl 0x10(%r13), %ecx
jmp 0x32a89