// File: /workspace/github_c_makefile_star2_O2/gplessis[P]dotdeb-redis/deps/jemalloc/src/util.c
// Function: je_malloc_vsnprintf
int
malloc_vsnprintf(char *str, size_t size, const char *format, va_list ap)
{
	int ret;
	size_t i;
	const char *f;

#define	APPEND_C(c) do {						\
	if (i < size)							\
		str[i] = (c);						\
	i++;								\
} while (0)
#define	APPEND_S(s, slen) do {						\
	if (i < size) {							\
		size_t cpylen = (slen <= size - i) ? slen : size - i;	\
		memcpy(&str[i], s, cpylen);				\
	}								\
	i += slen;							\
} while (0)
#define	APPEND_PADDED_S(s, slen, width, left_justify) do {		\
	/* Left padding. */						\
	size_t pad_len = (width == -1) ? 0 : ((slen < (size_t)width) ?	\
	    (size_t)width - slen : 0);					\
	if (!left_justify && pad_len != 0) {				\
		size_t j;						\
		for (j = 0; j < pad_len; j++)				\
			APPEND_C(' ');					\
	}								\
	/* Value. */							\
	APPEND_S(s, slen);						\
	/* Right padding. */						\
	if (left_justify && pad_len != 0) {				\
		size_t j;						\
		for (j = 0; j < pad_len; j++)				\
			APPEND_C(' ');					\
	}								\
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, 0x28(%rsp)
movq %rdx, %r15
movq %rsi, %rbx
movq %rdi, 0x10(%rsp)
leaq 0x18(%rsp), %rax
movq %rdx, (%rax)
xorl %r13d, %r13d
movzbl (%r15), %eax
cmpl $0x25, %eax
je 0x37f4f
testl %eax, %eax
je 0x38a22
cmpq %rbx, %r13
jae 0x37f42
movq 0x10(%rsp), %rcx
movb %al, (%rcx,%r13)
incq %r13
incq %r15
movq %r15, 0x18(%rsp)
jmp 0x37f23
xorl %edi, %edi
xorl %r8d, %r8d
movl $0x0, 0xc(%rsp)
xorl %r14d, %r14d
leaq 0xc4de(%rip), %rsi      # 0x44444
movl %edi, 0x3c(%rsp)
incq %r15
movl %r14d, %ecx
movl %ecx, %r14d
movq %r15, 0x18(%rsp)
movzbl (%r15), %eax
incq %r15
leal -0x20(%rax), %edx
cmpl $0x19, %edx
ja 0x382b4
movb $0x1, %cl
movslq (%rsi,%rdx,4), %rdx
addq %rsi, %rdx
jmpq *%rdx
decq %r15
movb $0x1, %r8b
jmp 0x37f6a
decq %r15
movb $0x1, %al
movl %eax, 0xc(%rsp)
jmp 0x37f6a
decq %r15
movb $0x1, %dil
jmp 0x37f66
movl %r8d, 0x38(%rsp)
callq 0x100a0
andl $0x0, (%rax)
decq %r15
movq %r15, %rdi
leaq 0x18(%rsp), %rsi
pushq $0xa
popq %rdx
callq 0x37d81
movq %rax, %r12
movq 0x18(%rsp), %r15
movb (%r15), %al
cmpb $0x2e, %al
jne 0x3801b
leaq 0x1(%r15), %rbp
movq %rbp, 0x18(%rsp)
movb 0x1(%r15), %cl
movzbl %cl, %edx
leal -0x30(%rdx), %eax
cmpl $0xa, %eax
jae 0x382e9
callq 0x100a0
andl $0x0, (%rax)
movq %rbp, %rdi
leaq 0x18(%rsp), %rsi
pushq $0xa
popq %rdx
callq 0x37d81
movq 0x18(%rsp), %r15
jmp 0x3801e
pushq $-0x1
popq %rax
movb (%r15), %cl
movq %r15, %rbp
movzbl %cl, %edx
addl $-0x6a, %edx
cmpl $0x10, %edx
ja 0x381e5
movl $0x10481, %esi          # imm = 0x10481
btl %edx, %esi
jae 0x38114
incq %rbp
movq %rbp, 0x18(%rsp)
movb (%rbp), %dl
movq %rbp, %r15
movzbl %dl, %edx
leal -0x6f(%rdx), %esi
movq %r12, 0x30(%rsp)
movslq %r12d, %r12
cmpl $0x9, %esi
jbe 0x380a7
cmpl $0x69, %edx
je 0x381a1
cmpl $0x58, %edx
je 0x38144
cmpl $0x63, %edx
je 0x382c7
cmpl $0x64, %edx
je 0x381a1
cmpl $0x25, %edx
jne 0x37f23
cmpq %rbx, %r13
jae 0x37f42
movq 0x10(%rsp), %rax
movb $0x25, (%rax,%r13)
jmp 0x37f42
leaq 0xc3fe(%rip), %rdi      # 0x444ac
movslq (%rdi,%rsi,4), %rdx
addq %rdi, %rdx
jmpq *%rdx
orb $-0x80, %cl
cmpb $-0x6, %cl
je 0x388cb
movzbl %cl, %eax
cmpl $0xea, %eax
movq 0x28(%rsp), %rdx
je 0x388d0
cmpl $0xec, %eax
je 0x388d0
cmpl $0xf1, %eax
je 0x388d0
cmpl $0xbf, %eax
jne 0x388c7
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x38a0f
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38a1b
cmpl $0x2, %edx
jne 0x381e5
leaq 0x1(%rbp), %r15
movq %r15, 0x18(%rsp)
movb 0x1(%rbp), %dl
movb $0x6c, %cl
cmpb $0x6c, %dl
jne 0x3804f
addq $0x2, %rbp
movq %rbp, 0x18(%rsp)
movb $0x71, %cl
jmp 0x38049
orb $-0x80, %cl
cmpb $-0x6, %cl
je 0x3867a
movzbl %cl, %eax
cmpl $0xea, %eax
movq 0x28(%rsp), %rdx
je 0x3867f
cmpl $0xec, %eax
je 0x3867f
cmpl $0xf1, %eax
je 0x3867f
cmpl $0xbf, %eax
jne 0x38676
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x389d5
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x389e1
movzbl %cl, %eax
xorl %r14d, %r14d
leal -0x6a(%rax), %ecx
cmpl $0xa, %ecx
ja 0x383de
leaq 0xc31a(%rip), %rdx      # 0x444d4
movslq (%rdx,%rcx,4), %rax
addq %rdx, %rax
movq 0x28(%rsp), %rdx
jmpq *%rax
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x38317
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38323
movb $0x3f, %cl
jmp 0x38049
orb $-0x80, %cl
cmpb $-0x6, %cl
je 0x387de
movzbl %cl, %eax
cmpl $0xea, %eax
movq 0x28(%rsp), %rdx
je 0x387e3
cmpl $0xec, %eax
je 0x387e3
cmpl $0xf1, %eax
je 0x387e3
cmpl $0xbf, %eax
jne 0x387da
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x389fc
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38a08
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x38465
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38471
movq 0x28(%rsp), %rsi
movl (%rsi), %edx
cmpq $0x28, %rdx
ja 0x384e1
movq %rdx, %rcx
addq 0x10(%rsi), %rcx
addl $0x8, %edx
movl %edx, (%rsi)
jmp 0x384ed
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
movl %r8d, 0x38(%rsp)
ja 0x38504
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38510
movl %r8d, 0x38(%rsp)
decq %r15
pushq $-0x1
popq %rcx
movl %ecx, %r12d
jmp 0x37fdc
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x38539
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38545
pushq $-0x1
popq %rax
cmpl $0x2a, %edx
jne 0x38024
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x387be
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x387ca
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq (%rax), %r14
testb $0x1, 0x38(%rsp)
pushq $0x2d
popq %r15
movl %r15d, %ebp
pushq $0x20
popq %rax
cmovnel %eax, %ebp
testb $0x1, 0x3c(%rsp)
pushq $0x2b
popq %rax
cmovnel %eax, %ebp
movq %r14, %rdi
negq %rdi
cmovsq %r14, %rdi
pushq $0xa
popq %rsi
xorl %edx, %edx
leaq 0x40(%rsp), %rcx
leaq 0x20(%rsp), %r8
callq 0x38a4f
testq %r14, %r14
cmovsl %r15d, %ebp
cmpb $0x20, %bpl
je 0x3837d
cmpl $0x2b, %ebp
je 0x3837d
cmpl $0x2d, %ebp
jne 0x38389
testq %r14, %r14
jns 0x38389
incq 0x20(%rsp)
movb %bpl, -0x1(%rax)
decq %rax
cmpl $-0x1, 0x30(%rsp)
je 0x383d2
movq 0x20(%rsp), %r14
movq %r12, %rcx
subq %r14, %rcx
movl $0x0, %r15d
cmovaeq %rcx, %r15
seta %bpl
testb $0x1, 0xc(%rsp)
jne 0x38415
cmpq %r12, %r14
jae 0x38415
movq %r15, %rcx
movq 0x10(%rsp), %rdx
subq $0x1, %rcx
jb 0x38412
cmpq %rbx, %r13
jae 0x383cd
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x383bd
movq 0x20(%rsp), %r14
xorl %ebp, %ebp
xorl %r15d, %r15d
jmp 0x38415
cmpl $0x7a, %eax
movq 0x28(%rsp), %rdx
je 0x381c8
cmpl $0x3f, %eax
jne 0x38326
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x389e8
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x389f4
movb $0x1, %bpl
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x38435
cmpq %rdx, %r14
cmovbq %r14, %rdx
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
movq %rax, %rsi
callq 0x10400
addq %r13, %r14
movl 0xc(%rsp), %eax
andb %bpl, %al
testb $0x1, %al
je 0x389c0
movq 0x10(%rsp), %rax
subq $0x1, %r15
jb 0x389c0
cmpq %rbx, %r14
jae 0x38460
movb $0x20, (%rax,%r14)
incq %r14
jmp 0x3844c
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq (%rax), %rdi
pushq $0x1
popq %rsi
xorl %edx, %edx
leaq 0x40(%rsp), %rcx
leaq 0x20(%rsp), %r8
callq 0x38b12
cmpl $-0x1, 0x30(%rsp)
je 0x385c4
movq 0x20(%rsp), %r14
movq %r12, %rcx
subq %r14, %rcx
movl $0x0, %r15d
cmovaeq %rcx, %r15
seta %bpl
testb $0x1, 0xc(%rsp)
jne 0x3876e
cmpq %r12, %r14
jae 0x3876e
movq %r15, %rcx
movq 0x10(%rsp), %rdx
subq $0x1, %rcx
jb 0x3876b
cmpq %rbx, %r13
jae 0x384dc
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x384c8
movq 0x8(%rsi), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rsi)
movq (%rcx), %r14
testl %eax, %eax
movq 0x10(%rsp), %rcx
js 0x385d3
movl %eax, %ebp
jmp 0x385e3
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movl (%rax), %eax
movq %r15, 0x18(%rsp)
movl %eax, %r12d
negl %r12d
cmovsl %eax, %r12d
testl %eax, %eax
movl 0xc(%rsp), %ecx
movzbl %cl, %ecx
pushq $0x1
popq %rax
cmovsl %eax, %ecx
movl %ecx, 0xc(%rsp)
jmp 0x37fd9
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq 0x10(%rsp), %rdx
movb (%rax), %al
decq %r12
movq 0x30(%rsp), %rsi
cmpl $0x2, %esi
movl $0x0, %ecx
cmovbq %rcx, %r12
cmpl $-0x1, %esi
cmoveq %rcx, %r12
testb $0x1, 0xc(%rsp)
jne 0x3858b
testq %r12, %r12
je 0x3858b
movq %r12, %rcx
subq $0x1, %rcx
jb 0x3858b
cmpq %rbx, %r13
jae 0x38586
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x38576
cmpq %rbx, %r13
jae 0x38594
movb %al, (%rdx,%r13)
incq %r13
testb $0x1, 0xc(%rsp)
je 0x37f45
testq %r12, %r12
je 0x37f45
subq $0x1, %r12
jb 0x37f45
cmpq %rbx, %r13
jae 0x385bf
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x385ab
movq 0x20(%rsp), %r14
xorl %ebp, %ebp
xorl %r15d, %r15d
jmp 0x3876e
movq %r14, %rdi
callq 0x101c0
movq 0x10(%rsp), %rcx
movq %rax, %rbp
movq %rbp, 0x20(%rsp)
subq %rbp, %r12
movl $0x0, %eax
cmovbq %rax, %r12
cmpl $-0x1, 0x30(%rsp)
cmoveq %rax, %r12
testb $0x1, 0xc(%rsp)
jne 0x38621
testq %r12, %r12
je 0x38621
movq %r12, %rax
subq $0x1, %rax
jb 0x38621
cmpq %rbx, %r13
jae 0x3861c
movb $0x20, (%rcx,%r13)
incq %r13
jmp 0x3860c
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x38641
cmpq %rdx, %rbp
cmovbq %rbp, %rdx
movq 0x10(%rsp), %rax
leaq (%rax,%r13), %rdi
movq %r14, %rsi
callq 0x10400
addq %rbp, %r13
testb $0x1, 0xc(%rsp)
je 0x37f45
testq %r12, %r12
je 0x37f45
movq 0x10(%rsp), %rax
subq $0x1, %r12
jb 0x37f45
cmpq %rbx, %r13
jae 0x38671
movb $0x20, (%rax,%r13)
incq %r13
jmp 0x3865d
xorl %edi, %edi
jmp 0x386a4
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x38695
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x386a1
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq (%rax), %rdi
xorl %edx, %edx
cmpb $0x58, (%r15)
sete %dl
movzbl %r14b, %esi
andl $0x1, %esi
leaq 0x40(%rsp), %rcx
leaq 0x20(%rsp), %r8
callq 0x38b12
cmpl $-0x1, 0x30(%rsp)
je 0x3870c
movq 0x20(%rsp), %r14
movq %r12, %rcx
subq %r14, %rcx
movl $0x0, %r15d
cmovaeq %rcx, %r15
seta %bpl
testb $0x1, 0xc(%rsp)
jne 0x3871b
cmpq %r12, %r14
jae 0x3871b
movq %r15, %rcx
movq 0x10(%rsp), %rdx
subq $0x1, %rcx
jb 0x38718
cmpq %rbx, %r13
jae 0x38707
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x386f7
movq 0x20(%rsp), %r14
xorl %ebp, %ebp
xorl %r15d, %r15d
jmp 0x3871b
movb $0x1, %bpl
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x3873b
cmpq %rdx, %r14
cmovbq %r14, %rdx
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
movq %rax, %rsi
callq 0x10400
addq %r13, %r14
movl 0xc(%rsp), %eax
andb %bpl, %al
testb $0x1, %al
je 0x389c0
movq 0x10(%rsp), %rax
subq $0x1, %r15
jb 0x389c0
cmpq %rbx, %r14
jae 0x38766
movb $0x20, (%rax,%r14)
incq %r14
jmp 0x38752
movb $0x1, %bpl
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x3878e
cmpq %rdx, %r14
cmovbq %r14, %rdx
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
movq %rax, %rsi
callq 0x10400
addq %r13, %r14
movl 0xc(%rsp), %eax
andb %bpl, %al
testb $0x1, %al
je 0x389c0
movq 0x10(%rsp), %rax
subq $0x1, %r15
jb 0x389c0
cmpq %rbx, %r14
jae 0x387b9
movb $0x20, (%rax,%r14)
incq %r14
jmp 0x387a5
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movl (%rax), %eax
addq $0x2, %r15
movq %r15, 0x18(%rsp)
jmp 0x3801e
xorl %edi, %edi
jmp 0x38808
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x387f9
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x38805
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq (%rax), %rdi
pushq $0xa
popq %rsi
xorl %edx, %edx
leaq 0x40(%rsp), %rcx
leaq 0x20(%rsp), %r8
callq 0x38a4f
cmpl $-0x1, 0x30(%rsp)
je 0x38863
movq 0x20(%rsp), %r14
movq %r12, %rcx
subq %r14, %rcx
movl $0x0, %ebp
cmovaeq %rcx, %rbp
seta %cl
testb $0x1, 0xc(%rsp)
jne 0x3886f
cmpq %r12, %r14
jae 0x3886f
movq %rbp, %rcx
movq 0x10(%rsp), %rdx
subq $0x1, %rcx
jb 0x38874
cmpq %rbx, %r13
jae 0x3885e
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x3884e
movq 0x20(%rsp), %r14
xorl %r12d, %r12d
xorl %ebp, %ebp
jmp 0x38877
movq %rcx, %r12
jmp 0x38877
movb $0x1, %r12b
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x38897
cmpq %rdx, %r14
cmovbq %r14, %rdx
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
movq %rax, %rsi
callq 0x10400
addq %r13, %r14
movl 0xc(%rsp), %eax
andb %r12b, %al
testb $0x1, %al
je 0x389c5
movq 0x10(%rsp), %rax
subq $0x1, %rbp
jb 0x389c5
cmpq %rbx, %r14
jae 0x388c2
movb $0x20, (%rax,%r14)
incq %r14
jmp 0x388ae
xorl %edi, %edi
jmp 0x388f5
movq 0x28(%rsp), %rdx
movl (%rdx), %ecx
cmpq $0x28, %rcx
ja 0x388e6
movq %rcx, %rax
addq 0x10(%rdx), %rax
addl $0x8, %ecx
movl %ecx, (%rdx)
jmp 0x388f2
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movq (%rax), %rdi
pushq $0x8
popq %rsi
xorl %edx, %edx
leaq 0x40(%rsp), %rcx
leaq 0x20(%rsp), %r8
callq 0x38a4f
testb $0x1, %r14b
je 0x38920
cmpb $0x30, (%rax)
je 0x38920
incq 0x20(%rsp)
movb $0x30, -0x1(%rax)
decq %rax
cmpl $-0x1, 0x30(%rsp)
je 0x38969
movq 0x20(%rsp), %r14
movq %r12, %rcx
subq %r14, %rcx
movl $0x0, %r15d
cmovaeq %rcx, %r15
seta %bpl
testb $0x1, 0xc(%rsp)
jne 0x38978
cmpq %r12, %r14
jae 0x38978
movq %r15, %rcx
movq 0x10(%rsp), %rdx
subq $0x1, %rcx
jb 0x38975
cmpq %rbx, %r13
jae 0x38964
movb $0x20, (%rdx,%r13)
incq %r13
jmp 0x38954
movq 0x20(%rsp), %r14
xorl %ebp, %ebp
xorl %r15d, %r15d
jmp 0x38978
movb $0x1, %bpl
movq %rbx, %rdx
subq %r13, %rdx
jbe 0x38998
cmpq %rdx, %r14
cmovbq %r14, %rdx
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rdi
movq %rax, %rsi
callq 0x10400
addq %r13, %r14
movl 0xc(%rsp), %eax
andb %bpl, %al
testb $0x1, %al
je 0x389c0
movq 0x10(%rsp), %rax
subq $0x1, %r15
jb 0x389c0
cmpq %rbx, %r14
jae 0x389bb
movb $0x20, (%rax,%r14)
incq %r14
jmp 0x389ab
movq 0x18(%rsp), %r15
incq %r15
movq %r15, 0x18(%rsp)
movq %r14, %r13
jmp 0x37f23
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movl (%rax), %edi
jmp 0x386a4
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movslq (%rax), %r14
jmp 0x38326
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movl (%rax), %edi
jmp 0x38808
movq 0x8(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rdx)
movl (%rax), %edi
jmp 0x388f5
movq 0x10(%rsp), %rcx
leaq (%rcx,%r13), %rax
cmpq %rbx, %r13
leaq -0x1(%rcx,%rbx), %rcx
cmovbq %rax, %rcx
movb $0x0, (%rcx)
movl %r13d, %eax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq