// File: /workspace/github_c_makefile_star2_O0/gplessis[P]dotdeb-redis/deps/jemalloc/src/arena.c
// Function: arena_run_trim_tail
static void
arena_run_trim_tail(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
    size_t oldsize, size_t newsize, bool dirty)
{
	arena_chunk_map_misc_t *miscelm = arena_run_to_miscelm(run);
	size_t pageind = arena_miscelm_to_pageind(miscelm);
	size_t head_npages = newsize >> LG_PAGE;
	size_t flag_dirty = arena_mapbits_dirty_get(chunk, pageind);
	size_t flag_decommitted = arena_mapbits_decommitted_get(chunk, pageind);
	size_t flag_unzeroed_mask = (flag_dirty | flag_decommitted) == 0 ?
	    CHUNK_MAP_UNZEROED : 0;
	arena_chunk_map_misc_t *tail_miscelm;
	arena_run_t *tail_run;

	assert(oldsize > newsize);

	/*
	 * Update the chunk map so that arena_run_dalloc() can treat the
	 * trailing run as separately allocated.  Set the last element of each
	 * run first, in case of single-page runs.
	 */
	assert(arena_mapbits_large_size_get(chunk, pageind) == oldsize);
	arena_mapbits_large_set(chunk, pageind+head_npages-1, 0, flag_dirty |
	    (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
	    pageind+head_npages-1)));
	arena_mapbits_large_set(chunk, pageind, newsize, flag_dirty |
	    (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk, pageind)));

	if (config_debug) {
		UNUSED size_t tail_npages = (oldsize - newsize) >> LG_PAGE;
		assert(arena_mapbits_large_size_get(chunk,
		    pageind+head_npages+tail_npages-1) == 0);
		assert(arena_mapbits_dirty_get(chunk,
		    pageind+head_npages+tail_npages-1) == flag_dirty);
	}
	arena_mapbits_large_set(chunk, pageind+head_npages, oldsize-newsize,
	    flag_dirty | (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
	    pageind+head_npages)));

	tail_miscelm = arena_miscelm_get(chunk, pageind + head_npages);
	tail_run = &tail_miscelm->run;
	arena_run_dalloc(arena, tail_run, dirty, false, (flag_decommitted !=
	    0));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x370, %rsp            # imm = 0x370
movb %r9b, %al
movq %rdi, -0x308(%rbp)
movq %rsi, -0x310(%rbp)
movq %rdx, -0x318(%rbp)
movq %rcx, -0x320(%rbp)
movq %r8, -0x328(%rbp)
andb $0x1, %al
movb %al, -0x329(%rbp)
movq -0x318(%rbp), %rax
movq %rax, -0x2f8(%rbp)
movq -0x2f8(%rbp), %rax
subq $0x10, %rax
movq %rax, -0x300(%rbp)
movq -0x300(%rbp), %rax
movq %rax, -0x338(%rbp)
movq -0x338(%rbp), %rax
movq %rax, -0x2d0(%rbp)
movq -0x2d0(%rbp), %rax
leaq 0x5516d(%rip), %rcx     # 0xa2730
movq (%rcx), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, -0x2d8(%rbp)
movq -0x2d0(%rbp), %rax
movq -0x2d8(%rbp), %rcx
addq 0x54ff7(%rip), %rcx     # 0xa25e0
subq %rcx, %rax
movl $0x60, %ecx
xorl %edx, %edx
divq %rcx
addq 0x54fdb(%rip), %rax     # 0xa25d8
movq %rax, -0x2e0(%rbp)
movq -0x2e0(%rbp), %rax
movq %rax, -0x340(%rbp)
movq -0x328(%rbp), %rax
shrq $0xc, %rax
movq %rax, -0x348(%rbp)
movq -0x310(%rbp), %rcx
movq -0x340(%rbp), %rax
movq %rcx, -0x2b8(%rbp)
movq %rax, -0x2c0(%rbp)
movq -0x2b8(%rbp), %rcx
movq -0x2c0(%rbp), %rax
movq %rcx, -0x2a8(%rbp)
movq %rax, -0x2b0(%rbp)
movq -0x2a8(%rbp), %rcx
movq -0x2b0(%rbp), %rax
movq %rcx, -0x290(%rbp)
movq %rax, -0x298(%rbp)
movq -0x290(%rbp), %rcx
movq -0x298(%rbp), %rax
movq %rcx, -0x280(%rbp)
movq %rax, -0x288(%rbp)
movq -0x280(%rbp), %rax
addq $0x68, %rax
movq -0x288(%rbp), %rcx
subq 0x54f2b(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x2a0(%rbp)
movq -0x2a0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x2c8(%rbp)
movq -0x2c8(%rbp), %rax
andq $0x10, %rax
movq %rax, -0x350(%rbp)
movq -0x310(%rbp), %rcx
movq -0x340(%rbp), %rax
movq %rcx, -0x268(%rbp)
movq %rax, -0x270(%rbp)
movq -0x268(%rbp), %rcx
movq -0x270(%rbp), %rax
movq %rcx, -0x258(%rbp)
movq %rax, -0x260(%rbp)
movq -0x258(%rbp), %rcx
movq -0x260(%rbp), %rax
movq %rcx, -0x240(%rbp)
movq %rax, -0x248(%rbp)
movq -0x240(%rbp), %rcx
movq -0x248(%rbp), %rax
movq %rcx, -0x230(%rbp)
movq %rax, -0x238(%rbp)
movq -0x230(%rbp), %rax
addq $0x68, %rax
movq -0x238(%rbp), %rcx
subq 0x54e71(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x250(%rbp)
movq -0x250(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rax
andq $0x4, %rax
movq %rax, -0x358(%rbp)
movq -0x350(%rbp), %rdx
orq -0x358(%rbp), %rdx
xorl %eax, %eax
movl $0x8, %ecx
cmpq $0x0, %rdx
cmoveq %rcx, %rax
movq %rax, -0x360(%rbp)
jmp 0x4d7be
jmp 0x4d7c0
jmp 0x4d7c2
movq -0x310(%rbp), %rdx
movq -0x340(%rbp), %rcx
addq -0x348(%rbp), %rcx
subq $0x1, %rcx
movq -0x350(%rbp), %rax
movq -0x360(%rbp), %rsi
movq -0x310(%rbp), %r8
movq -0x340(%rbp), %rdi
addq -0x348(%rbp), %rdi
subq $0x1, %rdi
movq %r8, -0x178(%rbp)
movq %rdi, -0x180(%rbp)
movq -0x178(%rbp), %r8
movq -0x180(%rbp), %rdi
movq %r8, -0x168(%rbp)
movq %rdi, -0x170(%rbp)
movq -0x168(%rbp), %r8
movq -0x170(%rbp), %rdi
movq %r8, -0x150(%rbp)
movq %rdi, -0x158(%rbp)
movq -0x150(%rbp), %r8
movq -0x158(%rbp), %rdi
movq %r8, -0x140(%rbp)
movq %rdi, -0x148(%rbp)
movq -0x140(%rbp), %rdi
addq $0x68, %rdi
movq -0x148(%rbp), %r8
subq 0x54d5b(%rip), %r8      # 0xa25d8
shlq $0x3, %r8
addq %r8, %rdi
movq %rdi, -0x160(%rbp)
movq -0x160(%rbp), %rdi
movq (%rdi), %rdi
movq %rdi, -0x188(%rbp)
movq -0x188(%rbp), %rdi
andq $0x8, %rdi
andq %rdi, %rsi
orq %rsi, %rax
movq %rdx, -0x48(%rbp)
movq %rcx, -0x50(%rbp)
movq $0x0, -0x58(%rbp)
movq %rax, -0x60(%rbp)
movq -0x48(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, -0x38(%rbp)
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, -0x28(%rbp)
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
addq $0x68, %rax
movq -0x30(%rbp), %rcx
subq 0x54ce4(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
shlq %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
orq $0x1fe0, %rax           # imm = 0x1FE0
orq -0x60(%rbp), %rax
orq $0x2, %rax
orq $0x1, %rax
movq %rcx, -0x18(%rbp)
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x310(%rbp), %rsi
movq -0x340(%rbp), %rdx
movq -0x328(%rbp), %rcx
movq -0x350(%rbp), %rax
movq -0x360(%rbp), %rdi
movq -0x310(%rbp), %r9
movq -0x340(%rbp), %r8
movq %r9, -0x1c8(%rbp)
movq %r8, -0x1d0(%rbp)
movq -0x1c8(%rbp), %r9
movq -0x1d0(%rbp), %r8
movq %r9, -0x1b8(%rbp)
movq %r8, -0x1c0(%rbp)
movq -0x1b8(%rbp), %r9
movq -0x1c0(%rbp), %r8
movq %r9, -0x1a0(%rbp)
movq %r8, -0x1a8(%rbp)
movq -0x1a0(%rbp), %r9
movq -0x1a8(%rbp), %r8
movq %r9, -0x190(%rbp)
movq %r8, -0x198(%rbp)
movq -0x190(%rbp), %r8
addq $0x68, %r8
movq -0x198(%rbp), %r9
subq 0x54bed(%rip), %r9      # 0xa25d8
shlq $0x3, %r9
addq %r9, %r8
movq %r8, -0x1b0(%rbp)
movq -0x1b0(%rbp), %r8
movq (%r8), %r8
movq %r8, -0x1d8(%rbp)
movq -0x1d8(%rbp), %r8
andq $0x8, %r8
andq %r8, %rdi
orq %rdi, %rax
movq %rsi, -0xb0(%rbp)
movq %rdx, -0xb8(%rbp)
movq %rcx, -0xc0(%rbp)
movq %rax, -0xc8(%rbp)
movq -0xb0(%rbp), %rcx
movq -0xb8(%rbp), %rax
movq %rcx, -0xa0(%rbp)
movq %rax, -0xa8(%rbp)
movq -0xa0(%rbp), %rcx
movq -0xa8(%rbp), %rax
movq %rcx, -0x90(%rbp)
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rax
addq $0x68, %rax
movq -0x98(%rbp), %rcx
subq 0x54b50(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rcx
movq -0xc0(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
shlq %rax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
orq $0x1fe0, %rax           # imm = 0x1FE0
orq -0xc8(%rbp), %rax
orq $0x2, %rax
orq $0x1, %rax
movq %rcx, -0x80(%rbp)
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rcx
movq -0x80(%rbp), %rax
movq %rcx, (%rax)
movq -0x310(%rbp), %rsi
movq -0x340(%rbp), %rdx
addq -0x348(%rbp), %rdx
movq -0x320(%rbp), %rcx
subq -0x328(%rbp), %rcx
movq -0x350(%rbp), %rax
movq -0x360(%rbp), %rdi
movq -0x310(%rbp), %r9
movq -0x340(%rbp), %r8
addq -0x348(%rbp), %r8
movq %r9, -0x218(%rbp)
movq %r8, -0x220(%rbp)
movq -0x218(%rbp), %r9
movq -0x220(%rbp), %r8
movq %r9, -0x208(%rbp)
movq %r8, -0x210(%rbp)
movq -0x208(%rbp), %r9
movq -0x210(%rbp), %r8
movq %r9, -0x1f0(%rbp)
movq %r8, -0x1f8(%rbp)
movq -0x1f0(%rbp), %r9
movq -0x1f8(%rbp), %r8
movq %r9, -0x1e0(%rbp)
movq %r8, -0x1e8(%rbp)
movq -0x1e0(%rbp), %r8
addq $0x68, %r8
movq -0x1e8(%rbp), %r9
subq 0x54a32(%rip), %r9      # 0xa25d8
shlq $0x3, %r9
addq %r9, %r8
movq %r8, -0x200(%rbp)
movq -0x200(%rbp), %r8
movq (%r8), %r8
movq %r8, -0x228(%rbp)
movq -0x228(%rbp), %r8
andq $0x8, %r8
andq %r8, %rdi
orq %rdi, %rax
movq %rsi, -0x118(%rbp)
movq %rdx, -0x120(%rbp)
movq %rcx, -0x128(%rbp)
movq %rax, -0x130(%rbp)
movq -0x118(%rbp), %rcx
movq -0x120(%rbp), %rax
movq %rcx, -0x108(%rbp)
movq %rax, -0x110(%rbp)
movq -0x108(%rbp), %rcx
movq -0x110(%rbp), %rax
movq %rcx, -0xf8(%rbp)
movq %rax, -0x100(%rbp)
movq -0xf8(%rbp), %rax
addq $0x68, %rax
movq -0x100(%rbp), %rcx
subq 0x54995(%rip), %rcx     # 0xa25d8
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rcx
movq -0x128(%rbp), %rax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
shlq %rax
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
orq $0x1fe0, %rax           # imm = 0x1FE0
orq -0x130(%rbp), %rax
orq $0x2, %rax
orq $0x1, %rax
movq %rcx, -0xe8(%rbp)
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rcx
movq -0xe8(%rbp), %rax
movq %rcx, (%rax)
movq -0x310(%rbp), %rcx
movq -0x340(%rbp), %rax
addq -0x348(%rbp), %rax
movq %rcx, -0x2e8(%rbp)
movq %rax, -0x2f0(%rbp)
movq -0x2e8(%rbp), %rax
addq 0x548fd(%rip), %rax     # 0xa25e0
imulq $0x60, -0x2f0(%rbp), %rcx
addq %rcx, %rax
xorl %ecx, %ecx
subq 0x548e1(%rip), %rcx     # 0xa25d8
imulq $0x60, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0x368(%rbp)
movq -0x368(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x370(%rbp)
movq -0x308(%rbp), %rdi
movq -0x370(%rbp), %rsi
movb -0x329(%rbp), %cl
cmpq $0x0, -0x358(%rbp)
setne %al
xorl %edx, %edx
movzbl %cl, %edx
andl $0x1, %edx
movzbl %al, %r8d
andl $0x1, %r8d
xorl %ecx, %ecx
callq 0x48da0
addq $0x370, %rsp            # imm = 0x370
popq %rbp
retq
nopw %cs:(%rax,%rax)