// File: /workspace/github_c_makefile_star2_O0/gplessis[P]dotdeb-redis/deps/jemalloc/src/arena.c
// Function: arena_dalloc_bin_locked_impl
static void
arena_dalloc_bin_locked_impl(arena_t *arena, arena_chunk_t *chunk, void *ptr,
    arena_chunk_map_bits_t *bitselm, bool junked)
{
	size_t pageind, rpages_ind;
	arena_run_t *run;
	arena_bin_t *bin;
	arena_bin_info_t *bin_info;
	szind_t binind;

	pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
	rpages_ind = pageind - arena_mapbits_small_runind_get(chunk, pageind);
	run = &arena_miscelm_get(chunk, rpages_ind)->run;
	binind = run->binind;
	bin = &arena->bins[binind];
	bin_info = &arena_bin_info[binind];

	if (!junked && config_fill && unlikely(opt_junk_free))
		arena_dalloc_junk_small(ptr, bin_info);

	arena_run_reg_dalloc(run, ptr);
	if (run->nfree == bin_info->nregs) {
		arena_dissociate_bin_run(chunk, run, bin);
		arena_dalloc_bin_run(arena, chunk, run, bin);
	} else if (run->nfree == 1 && run != bin->runcur)
		arena_bin_lower_run(arena, chunk, run, bin);

	if (config_stats) {
		bin->stats.ndalloc++;
		bin->stats.curregs--;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movb %r8b, %al
movq %rdi, -0x68(%rbp)
movq %rsi, -0x70(%rbp)
movq %rdx, -0x78(%rbp)
movq %rcx, -0x80(%rbp)
andb $0x1, %al
movb %al, -0x81(%rbp)
movq -0x78(%rbp), %rax
movq -0x70(%rbp), %rcx
subq %rcx, %rax
shrq $0xc, %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq -0x70(%rbp), %rdx
movq -0x90(%rbp), %rcx
movq %rdx, -0x50(%rbp)
movq %rcx, -0x58(%rbp)
movq -0x50(%rbp), %rdx
movq -0x58(%rbp), %rcx
movq %rdx, -0x30(%rbp)
movq %rcx, -0x38(%rbp)
movq -0x30(%rbp), %rdx
movq -0x38(%rbp), %rcx
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rcx
movq %rdx, -0x8(%rbp)
movq %rcx, -0x10(%rbp)
movq -0x8(%rbp), %rcx
addq $0x68, %rcx
movq -0x10(%rbp), %rdx
subq 0x629bf(%rip), %rdx     # 0xa25d8
shlq $0x3, %rdx
addq %rdx, %rcx
movq %rcx, -0x28(%rbp)
movq -0x28(%rbp), %rcx
movq (%rcx), %rcx
movq %rcx, -0x60(%rbp)
movq -0x60(%rbp), %rcx
shrq $0xd, %rcx
subq %rcx, %rax
movq %rax, -0x98(%rbp)
movq -0x70(%rbp), %rcx
movq -0x98(%rbp), %rax
movq %rcx, -0x40(%rbp)
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
addq 0x62981(%rip), %rax     # 0xa25e0
imulq $0x60, -0x48(%rbp), %rcx
addq %rcx, %rax
xorl %ecx, %ecx
subq 0x62968(%rip), %rcx     # 0xa25d8
imulq $0x60, %rcx, %rcx
addq %rcx, %rax
addq $0x10, %rax
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movl (%rax), %eax
movl %eax, -0xb4(%rbp)
movq -0x68(%rbp), %rax
addq $0x450, %rax            # imm = 0x450
movl -0xb4(%rbp), %ecx
imulq $0xe0, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0xa8(%rbp)
movl -0xb4(%rbp), %eax
movl %eax, %ecx
leaq 0x61a5f(%rip), %rax     # 0xa1720
imulq $0x60, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0xb0(%rbp)
testb $0x1, -0x81(%rbp)
jne 0x3fd02
leaq 0x619c3(%rip), %rax     # 0xa16a2
movb (%rax), %al
xorb $-0x1, %al
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x3fd02
movq -0x78(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x3d680
movq -0xa0(%rbp), %rdi
movq -0x78(%rbp), %rsi
callq 0x4dda0
movq -0xa0(%rbp), %rax
movl 0x4(%rax), %eax
movq -0xb0(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jne 0x3fd5c
movq -0x70(%rbp), %rdi
movq -0xa0(%rbp), %rsi
movq -0xa8(%rbp), %rdx
callq 0x4dee0
movq -0x68(%rbp), %rdi
movq -0x70(%rbp), %rsi
movq -0xa0(%rbp), %rdx
movq -0xa8(%rbp), %rcx
callq 0x4aa70
jmp 0x3fd9a
movq -0xa0(%rbp), %rax
cmpl $0x1, 0x4(%rax)
jne 0x3fd98
movq -0xa0(%rbp), %rax
movq -0xa8(%rbp), %rcx
cmpq 0x28(%rcx), %rax
je 0x3fd98
movq -0x68(%rbp), %rdi
movq -0x70(%rbp), %rsi
movq -0xa0(%rbp), %rdx
movq -0xa8(%rbp), %rcx
callq 0x4aaf0
jmp 0x3fd9a
movq -0xa8(%rbp), %rax
movq 0xa0(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0xa0(%rax)
movq -0xa8(%rbp), %rax
movq 0xb0(%rax), %rcx
addq $-0x1, %rcx
movq %rcx, 0xb0(%rax)
addq $0xc0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)