#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef char uint8_t;
typedef unsigned long uint32_t;
typedef int int8_t;

/* Variables and functions */
uint8_t FORMAT_cat_uint32(char *s, uint32_t n, int8_t chars) {
  int8_t num_digits;
  uint8_t unit_steps;
  int8_t dp_position;
  int8_t required_digits;
  int8_t exponent;
  while (*s != 0) {
    s++;
  }
  if (chars < 3) {
    while (chars > 0) {
      *s = '-';
      s++;
      chars--;
    }
    *s = 0;
    return 0;
  }
  if (chars == 3) {
    required_digits = 3;
  } else {
    required_digits = chars - 1;
  }
  if (n < 10UL) {
    num_digits = 1;
  } else if (n < 100UL) {
    num_digits = 2;
  } else if (n < 1000UL) {
    num_digits = 3;
  } else if (n < 10UL * 1000UL) {
    num_digits = 4;
  } else if (n < 100UL * 1000UL) {
    num_digits = 5;
  } else if (n < 1000UL * 1000UL) {
    num_digits = 6;
  } else if (n < 10UL * 1000UL * 1000UL) {
    num_digits = 7;
  } else if (n < 100UL * 1000UL * 1000UL) {
    num_digits = 8;
  } else if (n < 1000UL * 1000UL * 1000UL) {
    num_digits = 9;
  } else {
    num_digits = 10;
  }
  if (num_digits < required_digits) {
    exponent = 0;
    dp_position = num_digits;
    for (int8_t i = num_digits; i < required_digits; i++) {
      n *= 10;
    }
  } else {
    int8_t excess_digits;
    exponent = 0;
    dp_position = num_digits;
    excess_digits = num_digits - required_digits;
    exponent += excess_digits;
    dp_position -= excess_digits;
    if (excess_digits > 0) {
      uint32_t divisor;
      divisor = 1;
      switch (excess_digits) {
      case 0:
        divisor = 1UL;
        break;
      case 1:
        divisor = 10UL;
        break;
      case 2:
        divisor = 100UL;
        break;
      case 3:
        divisor = 1000UL;
        break;
      case 4:
        divisor = 10UL * 1000UL;
        break;
      case 5:
        divisor = 100UL * 1000UL;
        break;
      case 6:
        divisor = 1000UL * 1000UL;
        break;
      case 7:
        divisor = 10UL * 1000UL * 1000UL;
        break;
      default:
        for (int8_t i = 0; i < chars; i++) {
          s[i] = '-';
        }
        s[chars] = 0;
        return 0;
      }
      n = (n + divisor / 2) / divisor;
    }
  }
  while ((dp_position > 3) || ((exponent % 3) != 0)) {
    dp_position--;
    exponent++;
  }
  unit_steps = exponent / 3;
  for (int8_t i = 1; i <= required_digits; i++) {
    uint32_t next_n;
    next_n = n / 10;
    s[required_digits - i] = '0' + (uint8_t)(n - next_n * 10);
    n = next_n;
  }
  if (dp_position < chars) {
    int8_t i;
    for (i = required_digits; i > dp_position; i--) {
      s[i] = s[i - 1];
    }
    s[i] = '.';
  }
  s[chars] = 0;
  return unit_steps;
}


x86 assembly (clang, -O0):
<FORMAT_cat_uint32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1130 <FORMAT_cat_uint32+0x30>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110f <FORMAT_cat_uint32+0xf>
cmpl   $0x3,-0x1c(%rbp)
jge    117a <FORMAT_cat_uint32+0x7a>
jmp    113f <FORMAT_cat_uint32+0x3f>
cmpl   $0x0,-0x1c(%rbp)
jle    116a <FORMAT_cat_uint32+0x6a>
mov    -0x10(%rbp),%rax
movb   $0x2d,(%rax)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    113f <FORMAT_cat_uint32+0x3f>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
movb   $0x0,-0x1(%rbp)
jmp    153f <FORMAT_cat_uint32+0x43f>
cmpl   $0x3,-0x1c(%rbp)
jne    1190 <FORMAT_cat_uint32+0x90>
movl   $0x3,-0x2c(%rbp)
jmp    1199 <FORMAT_cat_uint32+0x99>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpq   $0xa,-0x18(%rbp)
jae    11b0 <FORMAT_cat_uint32+0xb0>
movl   $0x1,-0x20(%rbp)
jmp    12ac <FORMAT_cat_uint32+0x1ac>
cmpq   $0x64,-0x18(%rbp)
jae    11c7 <FORMAT_cat_uint32+0xc7>
movl   $0x2,-0x20(%rbp)
jmp    12a7 <FORMAT_cat_uint32+0x1a7>
cmpq   $0x3e8,-0x18(%rbp)
jae    11e1 <FORMAT_cat_uint32+0xe1>
movl   $0x3,-0x20(%rbp)
jmp    12a2 <FORMAT_cat_uint32+0x1a2>
cmpq   $0x2710,-0x18(%rbp)
jae    11fb <FORMAT_cat_uint32+0xfb>
movl   $0x4,-0x20(%rbp)
jmp    129d <FORMAT_cat_uint32+0x19d>
cmpq   $0x186a0,-0x18(%rbp)
jae    1215 <FORMAT_cat_uint32+0x115>
movl   $0x5,-0x20(%rbp)
jmp    1298 <FORMAT_cat_uint32+0x198>
cmpq   $0xf4240,-0x18(%rbp)
jae    122f <FORMAT_cat_uint32+0x12f>
movl   $0x6,-0x20(%rbp)
jmp    1293 <FORMAT_cat_uint32+0x193>
cmpq   $0x989680,-0x18(%rbp)
jae    1249 <FORMAT_cat_uint32+0x149>
movl   $0x7,-0x20(%rbp)
jmp    128e <FORMAT_cat_uint32+0x18e>
cmpq   $0x5f5e100,-0x18(%rbp)
05
jae    1263 <FORMAT_cat_uint32+0x163>
movl   $0x8,-0x20(%rbp)
jmp    1289 <FORMAT_cat_uint32+0x189>
cmpq   $0x3b9aca00,-0x18(%rbp)
3b
jae    127d <FORMAT_cat_uint32+0x17d>
movl   $0x9,-0x20(%rbp)
jmp    1284 <FORMAT_cat_uint32+0x184>
movl   $0xa,-0x20(%rbp)
jmp    1289 <FORMAT_cat_uint32+0x189>
jmp    128e <FORMAT_cat_uint32+0x18e>
jmp    1293 <FORMAT_cat_uint32+0x193>
jmp    1298 <FORMAT_cat_uint32+0x198>
jmp    129d <FORMAT_cat_uint32+0x19d>
jmp    12a2 <FORMAT_cat_uint32+0x1a2>
jmp    12a7 <FORMAT_cat_uint32+0x1a7>
jmp    12ac <FORMAT_cat_uint32+0x1ac>
mov    -0x20(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    12f3 <FORMAT_cat_uint32+0x1f3>
movl   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    12ee <FORMAT_cat_uint32+0x1ee>
imul   $0xa,-0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12cb <FORMAT_cat_uint32+0x1cb>
jmp    141e <FORMAT_cat_uint32+0x31e>
movl   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x38(%rbp)
jle    1419 <FORMAT_cat_uint32+0x319>
movq   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%eax
mov    %rax,-0x60(%rbp)
sub    $0x7,%rax
ja     13bc <FORMAT_cat_uint32+0x2bc>
mov    -0x60(%rbp),%rax
lea    0xcb5(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movq   $0x1,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0xa,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0x64,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0x3e8,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0x2710,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0x186a0,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0xf4240,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movq   $0x989680,-0x40(%rbp)
jmp    13fe <FORMAT_cat_uint32+0x2fe>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13e9 <FORMAT_cat_uint32+0x2e9>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13c3 <FORMAT_cat_uint32+0x2c3>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movb   $0x0,-0x1(%rbp)
jmp    153f <FORMAT_cat_uint32+0x43f>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
shr    $0x1,%rcx
add    %rcx,%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x40(%rbp)
mov    %rax,-0x18(%rbp)
jmp    141e <FORMAT_cat_uint32+0x31e>
jmp    1423 <FORMAT_cat_uint32+0x323>
mov    $0x1,%al
cmpl   $0x3,-0x28(%rbp)
mov    %al,-0x61(%rbp)
jg     1446 <FORMAT_cat_uint32+0x346>
mov    -0x30(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
setne  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    1456 <FORMAT_cat_uint32+0x356>
jmp    146d <FORMAT_cat_uint32+0x36d>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1423 <FORMAT_cat_uint32+0x323>
mov    -0x30(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x21(%rbp)
movl   $0x1,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     14da <FORMAT_cat_uint32+0x3da>
mov    -0x18(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
imul   $0xa,-0x50(%rbp),%rcx
sub    %rcx,%rax
movsbl %al,%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x48(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x50(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1482 <FORMAT_cat_uint32+0x382>
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    152d <FORMAT_cat_uint32+0x42d>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    1521 <FORMAT_cat_uint32+0x421>
mov    -0x10(%rbp),%rax
mov    -0x54(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x54(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x54(%rbp)
jmp    14ec <FORMAT_cat_uint32+0x3ec>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x21(%rbp),%al
mov    %al,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<FORMAT_cat_uint32>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rdi,%r12
add    $0x1,%rdi
cmpb   $0x0,(%r12)
jne    1130 <FORMAT_cat_uint32+0x20>
cmp    $0x2,%r14d
jg     1170 <FORMAT_cat_uint32+0x60>
test   %r14d,%r14d
jle    126f <FORMAT_cat_uint32+0x15f>
mov    %r14d,%edx
mov    %r12,%rdi
mov    $0x2d,%esi
call   1030 <memset@plt>
add    $0xffffffff,%r14d
add    %r14,%r12
add    $0x1,%r12
xor    %r8d,%r8d
jmp    1472 <FORMAT_cat_uint32+0x362>
lea    -0x1(%r14),%r9d
cmp    $0x3,%r14d
cmove  %r14d,%r9d
mov    $0x1,%r10d
cmp    $0xa,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x2,%r10d
cmp    $0x64,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x3,%r10d
cmp    $0x3e8,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x4,%r10d
cmp    $0x2710,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x5,%r10d
cmp    $0x186a0,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x6,%r10d
cmp    $0xf4240,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x7,%r10d
cmp    $0x989680,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
mov    $0x8,%r10d
cmp    $0x5f5e100,%rsi
jb     11ff <FORMAT_cat_uint32+0xef>
cmp    $0x3b9aca00,%rsi
mov    $0xa,%r10d
sbb    $0x0,%r10d
mov    %r10d,%ecx
sub    %r9d,%ecx
jae    1235 <FORMAT_cat_uint32+0x125>
mov    %r9d,%ecx
sub    %r10d,%ecx
mov    %r10d,%eax
not    %eax
add    %r9d,%eax
and    $0x7,%ecx
je     1277 <FORMAT_cat_uint32+0x167>
neg    %ecx
xor    %edx,%edx
xchg   %ax,%ax
add    %rsi,%rsi
lea    (%rsi,%rsi,4),%rsi
add    $0xffffffff,%edx
cmp    %edx,%ecx
jne    1220 <FORMAT_cat_uint32+0x110>
mov    %r10d,%ebp
sub    %edx,%ebp
jmp    127a <FORMAT_cat_uint32+0x16a>
jle    12c8 <FORMAT_cat_uint32+0x1b8>
lea    -0x1(%rcx),%eax
cmp    $0x6,%eax
ja     12a4 <FORMAT_cat_uint32+0x194>
cltq
lea    0xdb4(%rip),%rdx
mov    (%rdx,%rax,8),%rbp
mov    %rbp,%rax
shr    %rax
add    %rsi,%rax
mov    %rax,%rdx
or     %rbp,%rdx
shr    $0x20,%rdx
je     12c2 <FORMAT_cat_uint32+0x1b2>
xor    %edx,%edx
div    %rbp
mov    %rax,%rsi
jmp    12c8 <FORMAT_cat_uint32+0x1b8>
xor    %r8d,%r8d
jmp    1472 <FORMAT_cat_uint32+0x362>
mov    %r10d,%ebp
xor    %ecx,%ecx
cmp    $0x7,%eax
jb     129c <FORMAT_cat_uint32+0x18c>
mov    %r9d,%eax
sub    %ebp,%eax
cs nopw 0x0(%rax,%rax,1)
imul   $0x5f5e100,%rsi,%rsi
add    $0xfffffff8,%eax
jne    1290 <FORMAT_cat_uint32+0x180>
cmp    $0x3,%r10d
jle    12d1 <FORMAT_cat_uint32+0x1c1>
jmp    12f0 <FORMAT_cat_uint32+0x1e0>
mov    %r14d,%r14d
mov    %r12,%rdi
mov    $0x2d,%esi
mov    %r14,%rdx
call   1030 <memset@plt>
add    %r14,%r12
xor    %r8d,%r8d
jmp    1472 <FORMAT_cat_uint32+0x362>
xor    %edx,%edx
div    %ebp
mov    %eax,%esi
mov    %r9d,%r10d
cmp    $0x3,%r10d
jg     12f0 <FORMAT_cat_uint32+0x1e0>
movslq %ecx,%rax
imul   $0x55555556,%rax,%rdx
mov    %rdx,%rbp
shr    $0x3f,%rbp
shr    $0x20,%rdx
add    %ebp,%edx
lea    (%rdx,%rdx,2),%edx
sub    %edx,%eax
je     1320 <FORMAT_cat_uint32+0x210>
nop
mov    %r10d,%edx
lea    -0x1(%rdx),%r10d
add    $0x1,%ecx
movslq %ecx,%rax
imul   $0x55555556,%rax,%rbp
mov    %rbp,%rbx
shr    $0x3f,%rbx
shr    $0x20,%rbp
add    %ebx,%ebp
lea    0x0(%rbp,%rbp,2),%ebp
sub    %ebp,%eax
cmp    $0x4,%edx
jg     12f0 <FORMAT_cat_uint32+0x1e0>
test   %eax,%eax
jne    12f0 <FORMAT_cat_uint32+0x1e0>
movslq %ecx,%rax
imul   $0x55555556,%rax,%r8
mov    %r8,%r11
shr    $0x3f,%r11
shr    $0x20,%r8
test   %r9d,%r9d
jle    1400 <FORMAT_cat_uint32+0x2f0>
mov    %r9d,%ecx
mov    $0x1,%ebx
movabs $0xcccccccccccccccd,%r13
cc cc cc
cmp    $0x1,%r9d
je     13df <FORMAT_cat_uint32+0x2cf>
mov    %r14,0x10(%rsp)
mov    %ecx,%ebp
and    $0xfffffffe,%ebp
mov    %rcx,0x8(%rsp)
lea    (%rdi,%rcx,1),%r15
mov    $0xffffffffffffffff,%rbx
movabs $0x28f5c28f5c28f5c3,%r14
c2 f5 28
xchg   %ax,%ax
mov    %rsi,%rax
mul    %r13
mov    %rdx,%rcx
shr    $0x3,%rcx
lea    (%rcx,%rcx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %esi,%edx
sub    %eax,%edx
add    $0x30,%dl
mov    %dl,-0x1(%r15,%rbx,1)
shr    $0x2,%rsi
mov    %rsi,%rax
mul    %r14
mov    %rdx,%rsi
shr    $0x2,%rsi
lea    (%rsi,%rsi,1),%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%ecx
add    $0x30,%cl
mov    %cl,-0x2(%r15,%rbx,1)
lea    (%rbx,%rbp,1),%rax
add    $0xfffffffffffffffe,%rax
add    $0xfffffffffffffffe,%rbx
cmp    $0xffffffffffffffff,%rax
jne    1380 <FORMAT_cat_uint32+0x270>
neg    %rbx
mov    0x10(%rsp),%r14
mov    0x8(%rsp),%rcx
test   $0x1,%cl
je     1400 <FORMAT_cat_uint32+0x2f0>
mov    %rsi,%rax
mul    %r13
shr    $0x2,%edx
and    $0xfffffffe,%edx
lea    (%rdx,%rdx,4),%eax
sub    %eax,%esi
or     $0x30,%sil
sub    %rbx,%rcx
mov    %sil,(%r12,%rcx,1)
add    %r11d,%r8d
cmp    %r14d,%r10d
jge    146c <FORMAT_cat_uint32+0x35c>
mov    %r9d,%esi
sub    %r10d,%esi
jle    1464 <FORMAT_cat_uint32+0x354>
movslq %r9d,%rbp
movslq %r10d,%rax
mov    %rax,%rdx
not    %rdx
add    %rbp,%rdx
and    $0x3,%rsi
je     1446 <FORMAT_cat_uint32+0x336>
mov    %rbp,%rcx
nopl   0x0(%rax,%rax,1)
lea    -0x1(%rcx),%rbp
movzbl -0x2(%rdi,%rcx,1),%ebx
mov    %bl,-0x1(%rdi,%rcx,1)
mov    %rbp,%rcx
add    $0xffffffffffffffff,%rsi
jne    1430 <FORMAT_cat_uint32+0x320>
mov    %rbp,%r9
cmp    $0x3,%rdx
jb     1464 <FORMAT_cat_uint32+0x354>
nop
lea    -0x4(%rbp),%r9
mov    -0x5(%rdi,%rbp,1),%ecx
mov    %ecx,-0x4(%rdi,%rbp,1)
mov    %r9,%rbp
cmp    %rax,%r9
jg     1450 <FORMAT_cat_uint32+0x340>
movslq %r9d,%rax
movb   $0x2e,(%r12,%rax,1)
movslq %r14d,%rax
add    %rax,%r12
movb   $0x0,(%r12)
mov    %r8d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define signext i8 @FORMAT_cat_uint32(i8* %0, i64 %1, i32 %2) {
%4 = alloca i8
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i64
%16 = alloca i32
%17 = alloca i32
%18 = alloca i64
%19 = alloca i32
store i8* %0, i8** %5
store i64 %1, i64* %6
store i32 %2, i32* %7
br label %20
20: ; preds = %25, %3
%21 = load i8*, i8** %5
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %28
25: ; preds = %20
%26 = load i8*, i8** %5
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %5
br label %20
28: ; preds = %20
%29 = load i32, i32* %7
%30 = icmp slt i32 %29, 3
br i1 %30, label %31, label %43
31: ; preds = %28
br label %32
32: ; preds = %35, %31
%33 = load i32, i32* %7
%34 = icmp sgt i32 %33, 0
br i1 %34, label %35, label %41
35: ; preds = %32
%36 = load i8*, i8** %5
store i8 45, i8* %36
%37 = load i8*, i8** %5
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %5
%39 = load i32, i32* %7
%40 = add nsw i32 %39, -1
store i32 %40, i32* %7
br label %32
41: ; preds = %32
%42 = load i8*, i8** %5
store i8 0, i8* %42
store i8 0, i8* %4
br label %241
43: ; preds = %28
%44 = load i32, i32* %7
%45 = icmp eq i32 %44, 3
br i1 %45, label %46, label %47
46: ; preds = %43
store i32 3, i32* %11
br label %50
47: ; preds = %43
%48 = load i32, i32* %7
%49 = sub nsw i32 %48, 1
store i32 %49, i32* %11
br label %50
50: ; preds = %47, %46
%51 = load i64, i64* %6
%52 = icmp ult i64 %51, 10
br i1 %52, label %53, label %54
53: ; preds = %50
store i32 1, i32* %8
br label %95
54: ; preds = %50
%55 = load i64, i64* %6
%56 = icmp ult i64 %55, 100
br i1 %56, label %57, label %58
57: ; preds = %54
store i32 2, i32* %8
br label %94
58: ; preds = %54
%59 = load i64, i64* %6
%60 = icmp ult i64 %59, 1000
br i1 %60, label %61, label %62
61: ; preds = %58
store i32 3, i32* %8
br label %93
62: ; preds = %58
%63 = load i64, i64* %6
%64 = icmp ult i64 %63, 10000
br i1 %64, label %65, label %66
65: ; preds = %62
store i32 4, i32* %8
br label %92
66: ; preds = %62
%67 = load i64, i64* %6
%68 = icmp ult i64 %67, 100000
br i1 %68, label %69, label %70
69: ; preds = %66
store i32 5, i32* %8
br label %91
70: ; preds = %66
%71 = load i64, i64* %6
%72 = icmp ult i64 %71, 1000000
br i1 %72, label %73, label %74
73: ; preds = %70
store i32 6, i32* %8
br label %90
74: ; preds = %70
%75 = load i64, i64* %6
%76 = icmp ult i64 %75, 10000000
br i1 %76, label %77, label %78
77: ; preds = %74
store i32 7, i32* %8
br label %89
78: ; preds = %74
%79 = load i64, i64* %6
%80 = icmp ult i64 %79, 100000000
br i1 %80, label %81, label %82
81: ; preds = %78
store i32 8, i32* %8
br label %88
82: ; preds = %78
%83 = load i64, i64* %6
%84 = icmp ult i64 %83, 1000000000
br i1 %84, label %85, label %86
85: ; preds = %82
store i32 9, i32* %8
br label %87
86: ; preds = %82
store i32 10, i32* %8
br label %87
87: ; preds = %86, %85
br label %88
88: ; preds = %87, %81
br label %89
89: ; preds = %88, %77
br label %90
90: ; preds = %89, %73
br label %91
91: ; preds = %90, %69
br label %92
92: ; preds = %91, %65
br label %93
93: ; preds = %92, %61
br label %94
94: ; preds = %93, %57
br label %95
95: ; preds = %94, %53
%96 = load i32, i32* %8
%97 = load i32, i32* %11
%98 = icmp slt i32 %96, %97
br i1 %98, label %99, label %113
99: ; preds = %95
store i32 0, i32* %12
%100 = load i32, i32* %8
store i32 %100, i32* %10
%101 = load i32, i32* %8
store i32 %101, i32* %13
br label %102
102: ; preds = %109, %99
%103 = load i32, i32* %13
%104 = load i32, i32* %11
%105 = icmp slt i32 %103, %104
br i1 %105, label %106, label %112
106: ; preds = %102
%107 = load i64, i64* %6
%108 = mul i64 %107, 10
store i64 %108, i64* %6
br label %109
109: ; preds = %106
%110 = load i32, i32* %13
%111 = add nsw i32 %110, 1
store i32 %111, i32* %13
br label %102
112: ; preds = %102
br label %162
113: ; preds = %95
store i32 0, i32* %12
%114 = load i32, i32* %8
store i32 %114, i32* %10
%115 = load i32, i32* %8
%116 = load i32, i32* %11
%117 = sub nsw i32 %115, %116
store i32 %117, i32* %14
%118 = load i32, i32* %14
%119 = load i32, i32* %12
%120 = add nsw i32 %119, %118
store i32 %120, i32* %12
%121 = load i32, i32* %14
%122 = load i32, i32* %10
%123 = sub nsw i32 %122, %121
store i32 %123, i32* %10
%124 = load i32, i32* %14
%125 = icmp sgt i32 %124, 0
br i1 %125, label %126, label %161
126: ; preds = %113
store i64 1, i64* %15
%127 = load i32, i32* %14
switch i32 %127, label %136 [
i32 0, label %128
i32 1, label %129
i32 2, label %130
i32 3, label %131
i32 4, label %132
i32 5, label %133
i32 6, label %134
i32 7, label %135
]
128: ; preds = %126
store i64 1, i64* %15
br label %154
129: ; preds = %126
store i64 10, i64* %15
br label %154
130: ; preds = %126
store i64 100, i64* %15
br label %154
131: ; preds = %126
store i64 1000, i64* %15
br label %154
132: ; preds = %126
store i64 10000, i64* %15
br label %154
133: ; preds = %126
store i64 100000, i64* %15
br label %154
134: ; preds = %126
store i64 1000000, i64* %15
br label %154
135: ; preds = %126
store i64 10000000, i64* %15
br label %154
136: ; preds = %126
store i32 0, i32* %16
br label %137
137: ; preds = %146, %136
%138 = load i32, i32* %16
%139 = load i32, i32* %7
%140 = icmp slt i32 %138, %139
br i1 %140, label %141, label %149
141: ; preds = %137
%142 = load i8*, i8** %5
%143 = load i32, i32* %16
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i8, i8* %142, i64 %144
store i8 45, i8* %145
br label %146
146: ; preds = %141
%147 = load i32, i32* %16
%148 = add nsw i32 %147, 1
store i32 %148, i32* %16
br label %137
149: ; preds = %137
%150 = load i8*, i8** %5
%151 = load i32, i32* %7
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
store i8 0, i8* %153
store i8 0, i8* %4
br label %241
154: ; preds = %135, %134, %133, %132, %131, %130, %129, %128
%155 = load i64, i64* %6
%156 = load i64, i64* %15
%157 = udiv i64 %156, 2
%158 = add i64 %155, %157
%159 = load i64, i64* %15
%160 = udiv i64 %158, %159
store i64 %160, i64* %6
br label %161
161: ; preds = %154, %113
br label %162
162: ; preds = %161, %112
br label %163
163: ; preds = %172, %162
%164 = load i32, i32* %10
%165 = icmp sgt i32 %164, 3
br i1 %165, label %170, label %166
166: ; preds = %163
%167 = load i32, i32* %12
%168 = srem i32 %167, 3
%169 = icmp ne i32 %168, 0
br label %170
170: ; preds = %166, %163
%171 = phi i1 [ true, %163 ], [ %169, %166 ]
br i1 %171, label %172, label %177
172: ; preds = %170
%173 = load i32, i32* %10
%174 = add nsw i32 %173, -1
store i32 %174, i32* %10
%175 = load i32, i32* %12
%176 = add nsw i32 %175, 1
store i32 %176, i32* %12
br label %163
177: ; preds = %170
%178 = load i32, i32* %12
%179 = sdiv i32 %178, 3
%180 = trunc i32 %179 to i8
store i8 %180, i8* %9
store i32 1, i32* %17
br label %181
181: ; preds = %203, %177
%182 = load i32, i32* %17
%183 = load i32, i32* %11
%184 = icmp sle i32 %182, %183
br i1 %184, label %185, label %206
185: ; preds = %181
%186 = load i64, i64* %6
%187 = udiv i64 %186, 10
store i64 %187, i64* %18
%188 = load i64, i64* %6
%189 = load i64, i64* %18
%190 = mul i64 %189, 10
%191 = sub i64 %188, %190
%192 = trunc i64 %191 to i8
%193 = sext i8 %192 to i32
%194 = add nsw i32 48, %193
%195 = trunc i32 %194 to i8
%196 = load i8*, i8** %5
%197 = load i32, i32* %11
%198 = load i32, i32* %17
%199 = sub nsw i32 %197, %198
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i8, i8* %196, i64 %200
store i8 %195, i8* %201
%202 = load i64, i64* %18
store i64 %202, i64* %6
br label %203
203: ; preds = %185
%204 = load i32, i32* %17
%205 = add nsw i32 %204, 1
store i32 %205, i32* %17
br label %181
206: ; preds = %181
%207 = load i32, i32* %10
%208 = load i32, i32* %7
%209 = icmp slt i32 %207, %208
br i1 %209, label %210, label %235
210: ; preds = %206
%211 = load i32, i32* %11
store i32 %211, i32* %19
br label %212
212: ; preds = %227, %210
%213 = load i32, i32* %19
%214 = load i32, i32* %10
%215 = icmp sgt i32 %213, %214
br i1 %215, label %216, label %230
216: ; preds = %212
%217 = load i8*, i8** %5
%218 = load i32, i32* %19
%219 = sub nsw i32 %218, 1
%220 = sext i32 %219 to i64
%221 = getelementptr inbounds i8, i8* %217, i64 %220
%222 = load i8, i8* %221
%223 = load i8*, i8** %5
%224 = load i32, i32* %19
%225 = sext i32 %224 to i64
%226 = getelementptr inbounds i8, i8* %223, i64 %225
store i8 %222, i8* %226
br label %227
227: ; preds = %216
%228 = load i32, i32* %19
%229 = add nsw i32 %228, -1
store i32 %229, i32* %19
br label %212
230: ; preds = %212
%231 = load i8*, i8** %5
%232 = load i32, i32* %19
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i8, i8* %231, i64 %233
store i8 46, i8* %234
br label %235
235: ; preds = %230, %206
%236 = load i8*, i8** %5
%237 = load i32, i32* %7
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds i8, i8* %236, i64 %238
store i8 0, i8* %239
%240 = load i8, i8* %9
store i8 %240, i8* %4
br label %241
241: ; preds = %235, %149, %41
%242 = load i8, i8* %4
ret i8 %242
}

LLVM IR (-O2):
@switch.table.FORMAT_cat_uint32 = [7 x i64] [i64 10, i64 100, i64 1000, i64 10000, i64 100000, i64 1000000, i64 10000000]
define signext i8 @FORMAT_cat_uint32(i8* nocapture %0, i64 %1, i32 %2) {
br label %4
4: ; preds = %4, %3
%5 = phi i8* [ %0, %3 ], [ %8, %4 ]
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 0
%8 = getelementptr inbounds i8, i8* %5, i64 1
br i1 %7, label %9, label %4
9: ; preds = %4
%10 = icmp slt i32 %2, 3
br i1 %10, label %11, label %19
11: ; preds = %9
%12 = icmp sgt i32 %2, 0
br i1 %12, label %13, label %202
13: ; preds = %11
%14 = zext i32 %2 to i64
%15 = add nsw i32 %2, -1
%16 = zext i32 %15 to i64
%17 = add nuw nsw i64 %16, 1
%18 = getelementptr i8, i8* %5, i64 %17
br label %202
19: ; preds = %9
%20 = icmp eq i32 %2, 3
%21 = add nsw i32 %2, -1
%22 = select i1 %20, i32 3, i32 %21
%23 = icmp ult i64 %1, 10
br i1 %23, label %41, label %24
24: ; preds = %19
%25 = icmp ult i64 %1, 100
br i1 %25, label %41, label %26
26: ; preds = %24
%27 = icmp ult i64 %1, 1000
br i1 %27, label %41, label %28
28: ; preds = %26
%29 = icmp ult i64 %1, 10000
br i1 %29, label %41, label %30
30: ; preds = %28
%31 = icmp ult i64 %1, 100000
br i1 %31, label %41, label %32
32: ; preds = %30
%33 = icmp ult i64 %1, 1000000
br i1 %33, label %41, label %34
34: ; preds = %32
%35 = icmp ult i64 %1, 10000000
br i1 %35, label %41, label %36
36: ; preds = %34
%37 = icmp ult i64 %1, 100000000
br i1 %37, label %41, label %38
38: ; preds = %36
%39 = icmp ult i64 %1, 1000000000
%40 = select i1 %39, i32 9, i32 10
br label %41
41: ; preds = %38, %36, %34, %32, %30, %28, %26, %24, %19
%42 = phi i32 [ 1, %19 ], [ 2, %24 ], [ 3, %26 ], [ 4, %28 ], [ 5, %30 ], [ 6, %32 ], [ 7, %34 ], [ 8, %36 ], [ %40, %38 ]
%43 = icmp ult i32 %42, %22
br i1 %43, label %44, label %69
44: ; preds = %41
%45 = sub i32 %22, %42
%46 = xor i32 %42, -1
%47 = add i32 %22, %46
%48 = and i32 %45, 7
%49 = icmp eq i32 %48, 0
br i1 %49, label %58, label %50
50: ; preds = %44, %50
%51 = phi i32 [ %55, %50 ], [ %42, %44 ]
%52 = phi i64 [ %54, %50 ], [ %1, %44 ]
%53 = phi i32 [ %56, %50 ], [ 0, %44 ]
%54 = mul i64 %52, 10
%55 = add nuw nsw i32 %51, 1
%56 = add i32 %53, 1
%57 = icmp eq i32 %56, %48
br i1 %57, label %58, label %50
58: ; preds = %50, %44
%59 = phi i64 [ undef, %44 ], [ %54, %50 ]
%60 = phi i32 [ %42, %44 ], [ %55, %50 ]
%61 = phi i64 [ %1, %44 ], [ %54, %50 ]
%62 = icmp ult i32 %47, 7
br i1 %62, label %86, label %63
63: ; preds = %58, %63
%64 = phi i32 [ %67, %63 ], [ %60, %58 ]
%65 = phi i64 [ %66, %63 ], [ %61, %58 ]
%66 = mul i64 %65, 100000000
%67 = add nuw nsw i32 %64, 8
%68 = icmp eq i32 %67, %22
br i1 %68, label %86, label %63
69: ; preds = %41
%70 = sub nsw i32 %42, %22
%71 = icmp sgt i32 %70, 0
br i1 %71, label %72, label %86
72: ; preds = %69
%73 = add i32 %70, -1
%74 = icmp ult i32 %73, 7
br i1 %74, label %75, label %82
75: ; preds = %72
%76 = sext i32 %73 to i64
%77 = getelementptr inbounds [7 x i64], [7 x i64]* @switch.table.FORMAT_cat_uint32, i64 0, i64 %76
%78 = load i64, i64* %77
%79 = lshr exact i64 %78, 1
%80 = add i64 %79, %1
%81 = udiv i64 %80, %78
br label %86
82: ; preds = %72
%83 = zext i32 %2 to i64
%84 = zext i32 %2 to i64
%85 = getelementptr inbounds i8, i8* %5, i64 %84
br label %202
86: ; preds = %58, %63, %69, %75
%87 = phi i64 [ %81, %75 ], [ %1, %69 ], [ %59, %58 ], [ %66, %63 ]
%88 = phi i32 [ %22, %75 ], [ %22, %69 ], [ %42, %63 ], [ %42, %58 ]
%89 = phi i32 [ %70, %75 ], [ %70, %69 ], [ 0, %63 ], [ 0, %58 ]
%90 = icmp slt i32 %88, 4
%91 = srem i32 %89, 3
%92 = icmp eq i32 %91, 0
%93 = select i1 %90, i1 %92, i1 false
br i1 %93, label %103, label %94
94: ; preds = %86, %94
%95 = phi i32 [ %98, %94 ], [ %89, %86 ]
%96 = phi i32 [ %97, %94 ], [ %88, %86 ]
%97 = add nsw i32 %96, -1
%98 = add nsw i32 %95, 1
%99 = icmp slt i32 %96, 5
%100 = srem i32 %98, 3
%101 = icmp eq i32 %100, 0
%102 = select i1 %99, i1 %101, i1 false
br i1 %102, label %103, label %94
103: ; preds = %94, %86
%104 = phi i32 [ %88, %86 ], [ %97, %94 ]
%105 = phi i32 [ %89, %86 ], [ %98, %94 ]
%106 = sdiv i32 %105, 3
%107 = trunc i32 %106 to i8
%108 = icmp slt i32 %22, 1
br i1 %108, label %126, label %109
109: ; preds = %103
%110 = zext i32 %22 to i64
%111 = zext i32 %22 to i64
%112 = and i64 %111, 1
%113 = icmp eq i32 %22, 1
br i1 %113, label %116, label %114
114: ; preds = %109
%115 = and i64 %111, 4294967294
br label %151
116: ; preds = %151, %109
%117 = phi i64 [ 1, %109 ], [ %170, %151 ]
%118 = phi i64 [ %87, %109 ], [ %163, %151 ]
%119 = icmp eq i64 %112, 0
br i1 %119, label %126, label %120
120: ; preds = %116
%121 = urem i64 %118, 10
%122 = trunc i64 %121 to i8
%123 = or i8 %122, 48
%124 = sub nsw i64 %110, %117
%125 = getelementptr inbounds i8, i8* %5, i64 %124
store i8 %123, i8* %125
br label %126
126: ; preds = %120, %116, %103
%127 = icmp slt i32 %104, %2
br i1 %127, label %128, label %199
128: ; preds = %126
%129 = icmp sgt i32 %22, %104
br i1 %129, label %130, label %195
130: ; preds = %128
%131 = sext i32 %22 to i64
%132 = sext i32 %104 to i64
%133 = sub nsw i64 %131, %132
%134 = xor i64 %132, -1
%135 = add nsw i64 %134, %131
%136 = and i64 %133, 3
%137 = icmp eq i64 %136, 0
br i1 %137, label %147, label %138
138: ; preds = %130, %138
%139 = phi i64 [ %141, %138 ], [ %131, %130 ]
%140 = phi i64 [ %145, %138 ], [ 0, %130 ]
%141 = add nsw i64 %139, -1
%142 = getelementptr inbounds i8, i8* %5, i64 %141
%143 = load i8, i8* %142
%144 = getelementptr inbounds i8, i8* %5, i64 %139
store i8 %143, i8* %144
%145 = add i64 %140, 1
%146 = icmp eq i64 %145, %136
br i1 %146, label %147, label %138
147: ; preds = %138, %130
%148 = phi i64 [ %131, %130 ], [ %141, %138 ]
%149 = phi i64 [ undef, %130 ], [ %141, %138 ]
%150 = icmp ult i64 %135, 3
br i1 %150, label %192, label %173
151: ; preds = %151, %114
%152 = phi i64 [ 1, %114 ], [ %170, %151 ]
%153 = phi i64 [ %87, %114 ], [ %163, %151 ]
%154 = phi i64 [ 0, %114 ], [ %171, %151 ]
%155 = udiv i64 %153, 10
%156 = mul i64 %155, -10
%157 = add i64 %156, %153
%158 = trunc i64 %157 to i8
%159 = add i8 %158, 48
%160 = sub nsw i64 %110, %152
%161 = getelementptr inbounds i8, i8* %5, i64 %160
store i8 %159, i8* %161
%162 = xor i64 %152, -1
%163 = udiv i64 %153, 100
%164 = mul nsw i64 %163, -10
%165 = add i64 %164, %155
%166 = trunc i64 %165 to i8
%167 = add i8 %166, 48
%168 = add nsw i64 %162, %110
%169 = getelementptr inbounds i8, i8* %5, i64 %168
store i8 %167, i8* %169
%170 = add nuw nsw i64 %152, 2
%171 = add i64 %154, 2
%172 = icmp eq i64 %171, %115
br i1 %172, label %116, label %151
173: ; preds = %147, %173
%174 = phi i64 [ %187, %173 ], [ %148, %147 ]
%175 = add nsw i64 %174, -1
%176 = getelementptr inbounds i8, i8* %5, i64 %175
%177 = load i8, i8* %176
%178 = getelementptr inbounds i8, i8* %5, i64 %174
store i8 %177, i8* %178
%179 = add nsw i64 %174, -2
%180 = getelementptr inbounds i8, i8* %5, i64 %179
%181 = load i8, i8* %180
%182 = getelementptr inbounds i8, i8* %5, i64 %175
store i8 %181, i8* %182
%183 = add nsw i64 %174, -3
%184 = getelementptr inbounds i8, i8* %5, i64 %183
%185 = load i8, i8* %184
%186 = getelementptr inbounds i8, i8* %5, i64 %179
store i8 %185, i8* %186
%187 = add nsw i64 %174, -4
%188 = getelementptr inbounds i8, i8* %5, i64 %187
%189 = load i8, i8* %188
%190 = getelementptr inbounds i8, i8* %5, i64 %183
store i8 %189, i8* %190
%191 = icmp sgt i64 %187, %132
br i1 %191, label %173, label %192
192: ; preds = %173, %147
%193 = phi i64 [ %149, %147 ], [ %187, %173 ]
%194 = trunc i64 %193 to i32
br label %195
195: ; preds = %192, %128
%196 = phi i32 [ %22, %128 ], [ %194, %192 ]
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds i8, i8* %5, i64 %197
store i8 46, i8* %198
br label %199
199: ; preds = %195, %126
%200 = sext i32 %2 to i64
%201 = getelementptr inbounds i8, i8* %5, i64 %200
br label %202
202: ; preds = %11, %13, %82, %199
%203 = phi i8* [ %85, %82 ], [ %201, %199 ], [ %5, %11 ], [ %18, %13 ]
%204 = phi i8 [ 0, %82 ], [ %107, %199 ], [ 0, %11 ], [ 0, %13 ]
store i8 0, i8* %203
ret i8 %204
}