// File: /workspace/github_cpp_makefile_star2_O3/cqbqdd11519[P]DockerClient/rapidjson/include/rapidjson/internal/itoa.h
// Function: rapidjson::internal::u32toa(unsigned int, char*)
inline char* u32toa(uint32_t value, char* buffer) {
    RAPIDJSON_ASSERT(buffer != 0);

    const char* cDigitsLut = GetDigitsLut();

    if (value < 10000) {
        const uint32_t d1 = (value / 100) << 1;
        const uint32_t d2 = (value % 100) << 1;

        if (value >= 1000)
            *buffer++ = cDigitsLut[d1];
        if (value >= 100)
            *buffer++ = cDigitsLut[d1 + 1];
        if (value >= 10)
            *buffer++ = cDigitsLut[d2];
        *buffer++ = cDigitsLut[d2 + 1];
    }
    else if (value < 100000000) {
        // value = bbbbcccc
        const uint32_t b = value / 10000;
        const uint32_t c = value % 10000;

        const uint32_t d1 = (b / 100) << 1;
        const uint32_t d2 = (b % 100) << 1;

        const uint32_t d3 = (c / 100) << 1;
        const uint32_t d4 = (c % 100) << 1;

        if (value >= 10000000)
            *buffer++ = cDigitsLut[d1];
        if (value >= 1000000)
            *buffer++ = cDigitsLut[d1 + 1];
        if (value >= 100000)
            *buffer++ = cDigitsLut[d2];
        *buffer++ = cDigitsLut[d2 + 1];

        *buffer++ = cDigitsLut[d3];
        *buffer++ = cDigitsLut[d3 + 1];
        *buffer++ = cDigitsLut[d4];
        *buffer++ = cDigitsLut[d4 + 1];
    }
    else {
        // value = aabbbbcccc in decimal

        const uint32_t a = value / 100000000; // 1 to 42
        value %= 100000000;

        if (a >= 10) {
            const unsigned i = a << 1;
            *buffer++ = cDigitsLut[i];
            *buffer++ = cDigitsLut[i + 1];
        }
        else
            *buffer++ = static_cast<char>('0' + static_cast<char>(a));

        const uint32_t b = value / 10000; // 0 to 9999
        const uint32_t c = value % 10000; // 0 to 9999

        const uint32_t d1 = (b / 100) << 1;
        const uint32_t d2 = (b % 100) << 1;

        const uint32_t d3 = (c / 100) << 1;
        const uint32_t d4 = (c % 100) << 1;

        *buffer++ = cDigitsLut[d1];
        *buffer++ = cDigitsLut[d1 + 1];
        *buffer++ = cDigitsLut[d2];
        *buffer++ = cDigitsLut[d2 + 1];
        *buffer++ = cDigitsLut[d3];
        *buffer++ = cDigitsLut[d3 + 1];
        *buffer++ = cDigitsLut[d4];
        *buffer++ = cDigitsLut[d4 + 1];
    }
    return buffer;
}

// Assembly:
testq %rsi, %rsi
je 0xd115
cmpl $0x270f, %edi           # imm = 0x270F
ja 0xcee5
movl $0xffff, %edx           # imm = 0xFFFF
movl %edi, %eax
andl %edx, %eax
shrl $0x2, %eax
imull $0x147b, %eax, %ecx     # imm = 0x147B
shrl $0x11, %ecx
imull $0x64, %ecx, %r8d
addl %ecx, %ecx
movl %edi, %eax
subl %r8d, %eax
andl %edx, %eax
addl %eax, %eax
cmpl $0x3e8, %edi            # imm = 0x3E8
jb 0xcf79
movq 0x9088(%rip), %rdx      # 0x15f60
movb (%rdx,%rcx), %dl
movb %dl, (%rsi)
incq %rsi
jmp 0xcf82
cmpl $0x5f5e0ff, %edi        # imm = 0x5F5E0FF
ja 0xcfbc
movl %edi, %edx
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
imulq %rdx, %rcx
shrq $0x2d, %rcx
imull $0x2710, %ecx, %r8d     # imm = 0x2710
movl %edi, %eax
subl %r8d, %eax
imulq $0x431bde83, %rdx, %r8  # imm = 0x431BDE83
shrq $0x31, %r8
andl $-0x2, %r8d
movl $0xffff, %r9d           # imm = 0xFFFF
movl %ecx, %edx
andl %r9d, %edx
shrl $0x2, %edx
imull $0x147b, %edx, %edx     # imm = 0x147B
shrl $0x11, %edx
imull $0x64, %edx, %edx
subl %edx, %ecx
andl %r9d, %ecx
addl %ecx, %ecx
imull $0x147b, %eax, %r10d    # imm = 0x147B
shrl $0x13, %r10d
leal (%r10,%r10), %edx
imull $0x64, %r10d, %r10d
subl %r10d, %eax
andl %r9d, %eax
addl %eax, %eax
cmpl $0x989680, %edi         # imm = 0x989680
jb 0xcff8
movq 0x8ff6(%rip), %rdi      # 0x15f60
movb (%rdi,%r8), %dil
movb %dil, (%rsi)
incq %rsi
jmp 0xd004
cmpl $0x64, %edi
jb 0xd063
movzwl %cx, %ecx
movq 0x8fd4(%rip), %rdx      # 0x15f60
movb 0x1(%rdx,%rcx), %cl
movb %cl, (%rsi)
incq %rsi
movq 0x8fc4(%rip), %rcx      # 0x15f60
movb (%rcx,%rax), %cl
movb %cl, (%rsi)
incq %rsi
movzwl %ax, %eax
movq 0x8fb2(%rip), %rcx      # 0x15f60
movb 0x1(%rcx,%rax), %al
movb %al, (%rsi)
incq %rsi
jmp 0xd100
movl %edi, %eax
imulq $0x55e63b89, %rax, %rcx # imm = 0x55E63B89
shrq $0x39, %rcx
imull $0x5f5e100, %ecx, %edx  # imm = 0x5F5E100
movl %edi, %eax
subl %edx, %eax
cmpl $0x3b9aca00, %edi       # imm = 0x3B9ACA00
jb 0xd071
movl %ecx, %ecx
movq 0x8f78(%rip), %rdx      # 0x15f60
movzwl (%rdx,%rcx,2), %ecx
movw %cx, (%rsi)
addq $0x2, %rsi
jmp 0xd079
cmpl $0xf4240, %edi          # imm = 0xF4240
jb 0xd104
movl %r8d, %edi
movq 0x8f52(%rip), %r8       # 0x15f60
movb 0x1(%r8,%rdi), %dil
movb %dil, (%rsi)
incq %rsi
movq 0x8f40(%rip), %rdi      # 0x15f60
movb (%rdi,%rcx), %dil
movb %dil, (%rsi)
incq %rsi
movzwl %cx, %ecx
movq 0x8f2c(%rip), %rdi      # 0x15f60
movb 0x1(%rdi,%rcx), %cl
movb %cl, (%rsi)
movb (%rdi,%rdx), %cl
movb %cl, 0x1(%rsi)
movzwl %dx, %ecx
movb 0x1(%rdi,%rcx), %cl
movb %cl, 0x2(%rsi)
movb (%rdi,%rax), %cl
movb %cl, 0x3(%rsi)
movzwl %ax, %eax
movb 0x1(%rdi,%rax), %al
movb %al, 0x4(%rsi)
addq $0x5, %rsi
jmp 0xd100
cmpl $0xa, %edi
jae 0xcf95
jmp 0xcfa4
orb $0x30, %cl
movb %cl, (%rsi)
incq %rsi
movl %eax, %edx
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
imulq %rdx, %rcx
shrq $0x2d, %rcx
imull $0x2710, %ecx, %edi     # imm = 0x2710
subl %edi, %eax
imulq $0x431bde83, %rdx, %rdx # imm = 0x431BDE83
shrq $0x31, %rdx
andl $-0x2, %edx
movl $0xffff, %edi           # imm = 0xFFFF
movl %ecx, %r8d
andl %edi, %r8d
shrl $0x2, %r8d
imull $0x147b, %r8d, %r8d     # imm = 0x147B
shrl $0x11, %r8d
imull $0x64, %r8d, %r8d
subl %r8d, %ecx
andl %edi, %ecx
imull $0x147b, %eax, %r8d     # imm = 0x147B
shrl $0x13, %r8d
imull $0x64, %r8d, %r9d
subl %r9d, %eax
andl %edi, %eax
movq 0x8e84(%rip), %rdi      # 0x15f60
movzwl (%rdi,%rdx), %edx
movw %dx, (%rsi)
movzwl (%rdi,%rcx,2), %ecx
movw %cx, 0x2(%rsi)
movzwl (%rdi,%r8,2), %ecx
movw %cx, 0x4(%rsi)
movzwl (%rdi,%rax,2), %eax
movw %ax, 0x6(%rsi)
addq $0x8, %rsi
movq %rsi, %rax
retq
cmpl $0x186a0, %edi          # imm = 0x186A0
jae 0xd019
jmp 0xd02a
pushq %rbp
movq %rsp, %rbp
leaq 0x2f4a(%rip), %rdi      # 0x1006a
leaq 0x2f4f(%rip), %rsi      # 0x10076
leaq 0x2fa7(%rip), %rcx      # 0x100d5
movl $0x28, %edx
callq 0x72b0