// File: /workspace/github_c_makefile_star2_O0/gplessis[P]dotdeb-redis/deps/jemalloc/src/arena.c
// Function: arena_run_split_remove
static void
arena_run_split_remove(arena_t *arena, arena_chunk_t *chunk, size_t run_ind,
    size_t flag_dirty, size_t flag_decommitted, size_t need_pages)
{
	size_t total_pages, rem_pages;

	assert(flag_dirty == 0 || flag_decommitted == 0);

	total_pages = arena_mapbits_unallocated_size_get(chunk, run_ind) >>
	    LG_PAGE;
	assert(arena_mapbits_dirty_get(chunk, run_ind+total_pages-1) ==
	    flag_dirty);
	assert(need_pages <= total_pages);
	rem_pages = total_pages - need_pages;

	arena_avail_remove(arena, chunk, run_ind, total_pages);
	if (flag_dirty != 0)
		arena_run_dirty_remove(arena, chunk, run_ind, total_pages);
	arena_cactive_update(arena, need_pages, 0);
	arena->nactive += need_pages;

	/* Keep track of trailing unused pages for later use. */
	if (rem_pages > 0) {
		size_t flags = flag_dirty | flag_decommitted;
		size_t flag_unzeroed_mask = (flags == 0) ?  CHUNK_MAP_UNZEROED :
		    0;

		arena_mapbits_unallocated_set(chunk, run_ind+need_pages,
		    (rem_pages << LG_PAGE), flags |
		    (arena_mapbits_unzeroed_get(chunk, run_ind+need_pages) &
		    flag_unzeroed_mask));
		arena_mapbits_unallocated_set(chunk, run_ind+total_pages-1,
		    (rem_pages << LG_PAGE), flags |
		    (arena_mapbits_unzeroed_get(chunk, run_ind+total_pages-1) &
		    flag_unzeroed_mask));
		if (flag_dirty != 0) {
			arena_run_dirty_insert(arena, chunk, run_ind+need_pages,
			    rem_pages);
		}
		arena_avail_insert(arena, chunk, run_ind+need_pages, rem_pages);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movq %rdi, -0x1d8(%rbp)
movq %rsi, -0x1e0(%rbp)
movq %rdx, -0x1e8(%rbp)
movq %rcx, -0x1f0(%rbp)
movq %r8, -0x1f8(%rbp)
movq %r9, -0x200(%rbp)
jmp 0x476f7
movq -0x1e0(%rbp), %rcx
movq -0x1e8(%rbp), %rax
movq %rcx, -0x1c0(%rbp)
movq %rax, -0x1c8(%rbp)
movq -0x1c0(%rbp), %rcx
movq -0x1c8(%rbp), %rax
movq %rcx, -0x1b0(%rbp)
movq %rax, -0x1b8(%rbp)
movq -0x1b0(%rbp), %rcx
movq -0x1b8(%rbp), %rax
movq %rcx, -0x188(%rbp)
movq %rax, -0x190(%rbp)
movq -0x188(%rbp), %rcx
movq -0x190(%rbp), %rax
movq %rcx, -0x178(%rbp)
movq %rax, -0x180(%rbp)
movq -0x178(%rbp), %rax
addq $0x68, %rax
movq -0x180(%rbp), %rcx
subq 0x5ae58(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
andq $-0x2000, %rax          # imm = 0xE000
shrq %rax
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
shrq $0xc, %rax
movq %rax, -0x208(%rbp)
jmp 0x477d8
jmp 0x477da
jmp 0x477dc
movq -0x208(%rbp), %rax
subq -0x200(%rbp), %rax
movq %rax, -0x210(%rbp)
movq -0x1d8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
movq -0x208(%rbp), %rcx
callq 0x47d00
cmpq $0x0, -0x1f0(%rbp)
je 0x4783d
movq -0x1d8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
movq -0x208(%rbp), %rcx
callq 0x47d70
movq -0x1d8(%rbp), %rdi
movq -0x200(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x47e30
movq -0x200(%rbp), %rcx
movq -0x1d8(%rbp), %rax
addq 0xe0(%rax), %rcx
movq %rcx, 0xe0(%rax)
cmpq $0x0, -0x210(%rbp)
jbe 0x47c30
movq -0x1f0(%rbp), %rax
orq -0x1f8(%rbp), %rax
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rdx
xorl %eax, %eax
movl $0x8, %ecx
cmpq $0x0, %rdx
cmoveq %rcx, %rax
movq %rax, -0x220(%rbp)
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
addq -0x200(%rbp), %rdx
movq -0x210(%rbp), %rcx
shlq $0xc, %rcx
movq -0x218(%rbp), %rax
movq -0x1e0(%rbp), %r8
movq -0x1e8(%rbp), %rdi
addq -0x200(%rbp), %rdi
movq %r8, -0x40(%rbp)
movq %rdi, -0x48(%rbp)
movq -0x40(%rbp), %r8
movq -0x48(%rbp), %rdi
movq %r8, -0x30(%rbp)
movq %rdi, -0x38(%rbp)
movq -0x30(%rbp), %r8
movq -0x38(%rbp), %rdi
movq %r8, -0x18(%rbp)
movq %rdi, -0x20(%rbp)
movq -0x18(%rbp), %r8
movq -0x20(%rbp), %rdi
movq %r8, -0x8(%rbp)
movq %rdi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
addq $0x68, %rdi
movq -0x10(%rbp), %r8
subq 0x5aca1(%rip), %r8      # 0xa25d8
shlq $0x3, %r8
addq %r8, %rdi
movq %rdi, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq (%rdi), %rdi
movq %rdi, -0x50(%rbp)
movq -0x50(%rbp), %rdi
andq $0x8, %rdi
andq -0x220(%rbp), %rdi
orq %rdi, %rax
movq %rsi, -0x108(%rbp)
movq %rdx, -0x110(%rbp)
movq %rcx, -0x118(%rbp)
movq %rax, -0x120(%rbp)
movq -0x108(%rbp), %rcx
movq -0x110(%rbp), %rax
movq %rcx, -0xf8(%rbp)
movq %rax, -0x100(%rbp)
movq -0xf8(%rbp), %rcx
movq -0x100(%rbp), %rax
movq %rcx, -0xe8(%rbp)
movq %rax, -0xf0(%rbp)
movq -0xe8(%rbp), %rax
addq $0x68, %rax
movq -0xf0(%rbp), %rcx
subq 0x5ac0c(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rcx
movq -0x118(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
shlq %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
orq $0x1fe0, %rax           # imm = 0x1FE0
orq -0x120(%rbp), %rax
movq %rcx, -0xd8(%rbp)
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rcx
movq -0xd8(%rbp), %rax
movq %rcx, (%rax)
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
addq -0x208(%rbp), %rdx
subq $0x1, %rdx
movq -0x210(%rbp), %rcx
shlq $0xc, %rcx
movq -0x218(%rbp), %rax
movq -0x1e0(%rbp), %r8
movq -0x1e8(%rbp), %rdi
addq -0x208(%rbp), %rdi
subq $0x1, %rdi
movq %r8, -0x90(%rbp)
movq %rdi, -0x98(%rbp)
movq -0x90(%rbp), %r8
movq -0x98(%rbp), %rdi
movq %r8, -0x80(%rbp)
movq %rdi, -0x88(%rbp)
movq -0x80(%rbp), %r8
movq -0x88(%rbp), %rdi
movq %r8, -0x68(%rbp)
movq %rdi, -0x70(%rbp)
movq -0x68(%rbp), %r8
movq -0x70(%rbp), %rdi
movq %r8, -0x58(%rbp)
movq %rdi, -0x60(%rbp)
movq -0x58(%rbp), %rdi
addq $0x68, %rdi
movq -0x60(%rbp), %r8
subq 0x5ab04(%rip), %r8      # 0xa25d8
shlq $0x3, %r8
addq %r8, %rdi
movq %rdi, -0x78(%rbp)
movq -0x78(%rbp), %rdi
movq (%rdi), %rdi
movq %rdi, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
andq $0x8, %rdi
andq -0x220(%rbp), %rdi
orq %rdi, %rax
movq %rsi, -0x150(%rbp)
movq %rdx, -0x158(%rbp)
movq %rcx, -0x160(%rbp)
movq %rax, -0x168(%rbp)
movq -0x150(%rbp), %rcx
movq -0x158(%rbp), %rax
movq %rcx, -0x140(%rbp)
movq %rax, -0x148(%rbp)
movq -0x140(%rbp), %rcx
movq -0x148(%rbp), %rax
movq %rcx, -0x130(%rbp)
movq %rax, -0x138(%rbp)
movq -0x130(%rbp), %rax
addq $0x68, %rax
movq -0x138(%rbp), %rcx
subq 0x5aa69(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rcx
movq -0x160(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
shlq %rax
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
orq $0x1fe0, %rax           # imm = 0x1FE0
orq -0x168(%rbp), %rax
movq %rcx, -0xc8(%rbp)
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rcx
movq -0xc8(%rbp), %rax
movq %rcx, (%rax)
cmpq $0x0, -0x1f0(%rbp)
je 0x47c08
movq -0x1d8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
addq -0x200(%rbp), %rdx
movq -0x210(%rbp), %rcx
callq 0x47ec0
movq -0x1d8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
addq -0x200(%rbp), %rdx
movq -0x210(%rbp), %rcx
callq 0x461f0
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
nopl (%rax)