#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 */

/* Variables and functions */
char *nextDigit(char *, char *, int, int, char *, int, int *, int);
char *generate(char buffer[], int precision, unsigned long long r,
               unsigned long long s, int sa, unsigned long long m1,
               unsigned long long m0, int *exp, int carrytoexp, int base,
               char digits[], int isLow, int isHigh) {
  int tc1;
  int tc2;
  int d;
  int i;
  char *p;
  int ra;
  char *start;
  if (r == 0) {
    *buffer++ = digits[0];
    return buffer;
  }
  ra = 0;
  start = buffer;
  i = precision;
  while (1) {
    i--;
    d = (int)(r / (s + 1));
    r = r - d * s;
    ra = ra - d * sa;
    r += ra / (1 << 24);
    ra %= (1 << 24);
    if (ra < 0) {
      r--;
      ra += (1 << 24);
    } else if (ra >= (1 << 24)) {
      r++;
      ra -= (1 << 24);
    }
    while (r > s || (r == s && ra >= sa)) {
      d++;
      r -= s;
      ra -= sa;
      if (ra < 0) {
        r--;
        ra += (1 << 24);
      } else if (ra >= (1 << 24)) {
        r++;
        ra -= (1 << 24);
      }
    }
    if (i <= 0) {
      tc1 = 1;
      tc2 = 1;
    } else {
      if (isLow)
        tc1 = (r < m0) || (r == m0 && ra == 0);
      else
        tc1 = r < m0;
      if (isHigh)
        tc2 = (r + m1 > s) || ((r + m1 == s) && ra >= sa);
      else
        tc2 = (r + m1 > s) || ((r + m1 == s) && ra > sa);
    }
    if (!tc1) {
      if (!tc2) {
        *buffer++ = digits[d];
        r *= base;
        ra *= base;
        r += ra / (1 << 24);
        ra %= (1 << 24);
        m1 *= base;
        m0 *= base;
      } else {
        buffer = nextDigit(buffer, start, precision, base, digits, d, exp,
                           carrytoexp);
        break;
      }
    } else {
      if (!tc2) {
        *buffer++ = digits[d];
        break;
      } else {
        if ((2 * r < s) || (2 * r == s && 2 * ra < sa)) {
          if (d != 0)
            *buffer++ = digits[d];
          break;
        } else {
          buffer = nextDigit(buffer, start, precision, base, digits, d, exp,
                             carrytoexp);
          break;
        }
      }
    }
  }
  p = buffer;
  p--;
  if (p[0] == digits[0]) {
    while (*p == digits[0] && p != buffer) {
      p--;
    }
    p++;
    buffer = p;
  }
  return buffer;
}


x86 assembly (clang, -O0):
<generate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x40(%rbp),%eax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1179 <generate+0x69>
mov    0x30(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1645 <generate+0x535>
movl   $0x0,-0x54(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
xor    %edx,%edx
div    %rcx
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
imul   -0x28(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x44(%rbp),%ecx
imul   -0x2c(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    $0x1000000,%ecx
cltd
idiv   %ecx
cltq
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
mov    $0x1000000,%ecx
cltd
idiv   %ecx
mov    %edx,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jge    1217 <generate+0x107>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
add    $0x1000000,%eax
mov    %eax,-0x54(%rbp)
jmp    1240 <generate+0x130>
cmpl   $0x1000000,-0x54(%rbp)
jl     123b <generate+0x12b>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
sub    $0x1000000,%eax
mov    %eax,-0x54(%rbp)
jmp    1240 <generate+0x130>
jmp    1245 <generate+0x135>
mov    -0x20(%rbp),%rcx
mov    $0x1,%al
cmp    -0x28(%rbp),%rcx
mov    %al,-0x61(%rbp)
ja     127d <generate+0x16d>
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x62(%rbp)
jne    1277 <generate+0x167>
mov    -0x54(%rbp),%eax
cmp    -0x2c(%rbp),%eax
setge  %al
mov    %al,-0x62(%rbp)
mov    -0x62(%rbp),%al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    128d <generate+0x17d>
jmp    1304 <generate+0x1f4>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x54(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jge    12d6 <generate+0x1c6>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
add    $0x1000000,%eax
mov    %eax,-0x54(%rbp)
jmp    12ff <generate+0x1ef>
cmpl   $0x1000000,-0x54(%rbp)
jl     12fa <generate+0x1ea>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
sub    $0x1000000,%eax
mov    %eax,-0x54(%rbp)
jmp    12ff <generate+0x1ef>
jmp    1245 <generate+0x135>
cmpl   $0x0,-0x48(%rbp)
jg     1321 <generate+0x211>
movl   $0x1,-0x3c(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    142e <generate+0x31e>
cmpl   $0x0,0x38(%rbp)
je     1371 <generate+0x261>
mov    -0x20(%rbp),%rcx
mov    $0x1,%al
cmp    0x10(%rbp),%rcx
mov    %al,-0x63(%rbp)
jb     1361 <generate+0x251>
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    0x10(%rbp),%rcx
mov    %al,-0x64(%rbp)
jne    135b <generate+0x24b>
cmpl   $0x0,-0x54(%rbp)
sete   %al
mov    %al,-0x64(%rbp)
mov    -0x64(%rbp),%al
mov    %al,-0x63(%rbp)
mov    -0x63(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x3c(%rbp)
jmp    1384 <generate+0x274>
mov    -0x20(%rbp),%rax
cmp    0x10(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,0x40(%rbp)
je     13de <generate+0x2ce>
mov    -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
mov    $0x1,%al
cmp    -0x28(%rbp),%rcx
mov    %al,-0x65(%rbp)
ja     13ce <generate+0x2be>
mov    -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x66(%rbp)
jne    13c8 <generate+0x2b8>
mov    -0x54(%rbp),%eax
cmp    -0x2c(%rbp),%eax
setge  %al
mov    %al,-0x66(%rbp)
mov    -0x66(%rbp),%al
mov    %al,-0x65(%rbp)
mov    -0x65(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x40(%rbp)
jmp    1429 <generate+0x319>
mov    -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
mov    $0x1,%al
cmp    -0x28(%rbp),%rcx
mov    %al,-0x67(%rbp)
ja     141e <generate+0x30e>
mov    -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x68(%rbp)
jne    1418 <generate+0x308>
mov    -0x54(%rbp),%eax
cmp    -0x2c(%rbp),%eax
setg   %al
mov    %al,-0x68(%rbp)
mov    -0x68(%rbp),%al
mov    %al,-0x67(%rbp)
mov    -0x67(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x40(%rbp)
jmp    142e <generate+0x31e>
cmpl   $0x0,-0x3c(%rbp)
jne    14ef <generate+0x3df>
cmpl   $0x0,-0x40(%rbp)
jne    14b7 <generate+0x3a7>
mov    0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movslq 0x28(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    0x28(%rbp),%eax
imul   -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    $0x1000000,%ecx
cltd
idiv   %ecx
cltq
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
mov    $0x1000000,%ecx
cltd
idiv   %ecx
mov    %edx,-0x54(%rbp)
movslq 0x28(%rbp),%rax
imul   -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movslq 0x28(%rbp),%rax
imul   0x10(%rbp),%rax
mov    %rax,0x10(%rbp)
jmp    14ea <generate+0x3da>
mov    -0x10(%rbp),%rdi
mov    -0x60(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    0x28(%rbp),%ecx
mov    0x30(%rbp),%r8
mov    -0x44(%rbp),%r9d
mov    0x18(%rbp),%r10
mov    0x20(%rbp),%eax
mov    %r10,(%rsp)
mov    %eax,0x8(%rsp)
call   1030 <nextDigit@plt>
mov    %rax,-0x10(%rbp)
jmp    15b0 <generate+0x4a0>
jmp    15ab <generate+0x49b>
cmpl   $0x0,-0x40(%rbp)
jne    151a <generate+0x40a>
mov    0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    15b0 <generate+0x4a0>
mov    -0x20(%rbp),%rax
shl    $0x1,%rax
cmp    -0x28(%rbp),%rax
jb     154d <generate+0x43d>
mov    -0x20(%rbp),%rax
shl    $0x1,%rax
cmp    -0x28(%rbp),%rax
jne    1578 <generate+0x468>
mov    -0x54(%rbp),%eax
shl    $0x1,%eax
cmp    -0x2c(%rbp),%eax
jge    1578 <generate+0x468>
cmpl   $0x0,-0x44(%rbp)
je     1573 <generate+0x463>
mov    0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    15b0 <generate+0x4a0>
mov    -0x10(%rbp),%rdi
mov    -0x60(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    0x28(%rbp),%ecx
mov    0x30(%rbp),%r8
mov    -0x44(%rbp),%r9d
mov    0x18(%rbp),%r10
mov    0x20(%rbp),%eax
mov    %r10,(%rsp)
mov    %eax,0x8(%rsp)
call   1030 <nextDigit@plt>
mov    %rax,-0x10(%rbp)
jmp    15b0 <generate+0x4a0>
jmp    118e <generate+0x7e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
movsbl (%rax),%eax
mov    0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    163d <generate+0x52d>
jmp    15df <generate+0x4cf>
mov    -0x50(%rbp),%rax
movsbl (%rax),%ecx
mov    0x30(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x69(%rbp)
jne    1608 <generate+0x4f8>
mov    -0x50(%rbp),%rax
cmp    -0x10(%rbp),%rax
setne  %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
test   $0x1,%al
jne    1618 <generate+0x508>
jmp    1629 <generate+0x519>
mov    -0x50(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x50(%rbp)
jmp    15df <generate+0x4cf>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<generate>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%r10
mov    0x70(%rsp),%rax
test   %rdx,%rdx
je     1300 <generate+0x1f0>
mov    %rcx,%rbx
mov    %rdx,%r11
mov    %esi,%r15d
mov    0x50(%rsp),%r12
add    $0x1,%rcx
cmpl   $0x0,0x78(%rsp)
setne  0x3(%rsp)
movslq 0x68(%rsp),%rsi
xor    %r14d,%r14d
mov    %r10,0x8(%rsp)
mov    %r15d,0x4(%rsp)
mov    %rcx,0x10(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r11,%rax
or     %rcx,%rax
shr    $0x20,%rax
je     1190 <generate+0x80>
mov    %r11,%rax
xor    %edx,%edx
div    %rcx
jmp    1197 <generate+0x87>
cs nopw 0x0(%rax,%rax,1)
mov    %r11d,%eax
xor    %edx,%edx
div    %ecx
movslq %eax,%rcx
mov    %rcx,%rdx
imul   %rbx,%rdx
sub    %rdx,%r11
imul   %r8d,%ecx
sub    %ecx,%r14d
lea    0xffffff(%r14),%ecx
test   %r14d,%r14d
cmovns %r14d,%ecx
mov    %ecx,%edx
sar    $0x18,%edx
movslq %edx,%rdx
add    %r11,%rdx
and    $0xff000000,%ecx
mov    %r14d,%edi
sub    %ecx,%edi
neg    %ecx
mov    %edi,%ebp
sar    $0x1f,%ebp
movslq %ebp,%r13
add    %rdx,%r13
test   %edi,%edi
lea    0x1000000(%r14,%rcx,1),%r14d
01
cmovns %edi,%r14d
mov    %r13,%rdx
jmp    1201 <generate+0xf1>
nop
add    $0xffffffffffffffff,%rdx
add    $0x1000000,%r14d
add    $0x1,%eax
mov    %rdx,%r13
sub    %rbx,%rdx
ja     120d <generate+0xfd>
jne    1230 <generate+0x120>
cmp    %r8d,%r14d
jl     1230 <generate+0x120>
sub    %r8d,%r14d
js     11f0 <generate+0xe0>
cmp    $0xffffff,%r14d
jbe    11fb <generate+0xeb>
add    $0x1,%rdx
add    $0xff000000,%r14d
jmp    11fb <generate+0xeb>
nopl   0x0(%rax,%rax,1)
cmp    $0x2,%r15d
jl     1318 <generate+0x208>
cmp    %r12,%r13
setb   %dl
or     0x3(%rsp),%dl
cmpl   $0x0,0x78(%rsp)
je     125b <generate+0x14b>
cmp    %r12,%r13
jb     125b <generate+0x14b>
sete   %cl
test   %r14d,%r14d
sete   %dl
and    %cl,%dl
lea    (%r9,%r13,1),%rcx
cmpl   $0x0,0x80(%rsp)
je     1290 <generate+0x180>
cmp    %rbx,%rcx
ja     130e <generate+0x1fe>
cmp    %r8d,%r14d
setge  %dil
cmp    %rbx,%rcx
sete   %cl
jmp    129f <generate+0x18f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %rbx,%rcx
ja     130e <generate+0x1fe>
sete   %dil
cmp    %r8d,%r14d
setg   %cl
and    %dil,%cl
test   %dl,%dl
jne    1314 <generate+0x204>
test   %cl,%cl
jne    1341 <generate+0x231>
add    $0xffffffff,%r15d
cltq
mov    0x70(%rsp),%rcx
mov    (%rcx,%rax,1),%al
mov    %al,(%r10)
add    $0x1,%r10
imul   %rsi,%r13
imul   0x68(%rsp),%r14d
lea    0xffffff(%r14),%eax
test   %r14d,%r14d
cmovns %r14d,%eax
mov    %eax,%ecx
sar    $0x18,%ecx
movslq %ecx,%r11
add    %r13,%r11
and    $0xff000000,%eax
sub    %eax,%r14d
imul   %rsi,%r9
imul   %rsi,%r12
mov    0x10(%rsp),%rcx
jmp    1170 <generate+0x60>
mov    (%rax),%al
mov    %al,(%r10)
add    $0x1,%r10
jmp    13a7 <generate+0x297>
test   %dl,%dl
jne    1318 <generate+0x208>
jmp    1341 <generate+0x231>
test   %cl,%cl
je     132e <generate+0x21e>
add    %r13,%r13
cmp    %rbx,%r13
jb     132a <generate+0x21a>
jne    1341 <generate+0x231>
add    %r14d,%r14d
cmp    %r8d,%r14d
jge    1341 <generate+0x231>
test   %eax,%eax
je     1373 <generate+0x263>
cltq
mov    0x70(%rsp),%rbx
mov    (%rbx,%rax,1),%al
mov    %al,(%r10)
add    $0x1,%r10
jmp    1378 <generate+0x268>
mov    %r10,%rdi
mov    0x8(%rsp),%rsi
mov    0x4(%rsp),%edx
mov    0x68(%rsp),%ecx
mov    0x70(%rsp),%rbx
mov    %rbx,%r8
mov    %eax,%r9d
mov    0x60(%rsp),%eax
push   %rax
push   0x60(%rsp)
call   1030 <nextDigit@plt>
add    $0x10,%rsp
mov    %rax,%r10
jmp    1378 <generate+0x268>
mov    0x70(%rsp),%rbx
mov    -0x1(%r10),%al
cmp    (%rbx),%al
jne    13a7 <generate+0x297>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x1(%rcx),%rdx
cmp    %al,-0x2(%r10,%rcx,1)
jne    13a4 <generate+0x294>
cmp    $0x2,%rcx
mov    %rdx,%rcx
jne    1390 <generate+0x280>
add    %rdx,%r10
mov    %r10,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @generate(i8* %0, i32 %1, i64 %2, i64 %3, i32 %4, i64 %5, i64 %6, i32* %7, i32 %8, i32 %9, i8* %10, i32 %11, i32 %12) {
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i64
%18 = alloca i64
%19 = alloca i32
%20 = alloca i64
%21 = alloca i64
%22 = alloca i32*
%23 = alloca i32
%24 = alloca i32
%25 = alloca i8*
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i8*
%33 = alloca i32
%34 = alloca i8*
store i8* %0, i8** %15
store i32 %1, i32* %16
store i64 %2, i64* %17
store i64 %3, i64* %18
store i32 %4, i32* %19
store i64 %5, i64* %20
store i64 %6, i64* %21
store i32* %7, i32** %22
store i32 %8, i32* %23
store i32 %9, i32* %24
store i8* %10, i8** %25
store i32 %11, i32* %26
store i32 %12, i32* %27
%35 = load i64, i64* %17
%36 = icmp eq i64 %35, 0
br i1 %36, label %37, label %44
37: ; preds = %13
%38 = load i8*, i8** %25
%39 = getelementptr inbounds i8, i8* %38, i64 0
%40 = load i8, i8* %39
%41 = load i8*, i8** %15
%42 = getelementptr inbounds i8, i8* %41, i32 1
store i8* %42, i8** %15
store i8 %40, i8* %41
%43 = load i8*, i8** %15
store i8* %43, i8** %14
br label %340
44: ; preds = %13
store i32 0, i32* %33
%45 = load i8*, i8** %15
store i8* %45, i8** %34
%46 = load i32, i32* %16
store i32 %46, i32* %31
br label %47
47: ; preds = %44, %301
%48 = load i32, i32* %31
%49 = add nsw i32 %48, -1
store i32 %49, i32* %31
%50 = load i64, i64* %17
%51 = load i64, i64* %18
%52 = add i64 %51, 1
%53 = udiv i64 %50, %52
%54 = trunc i64 %53 to i32
store i32 %54, i32* %30
%55 = load i64, i64* %17
%56 = load i32, i32* %30
%57 = sext i32 %56 to i64
%58 = load i64, i64* %18
%59 = mul i64 %57, %58
%60 = sub i64 %55, %59
store i64 %60, i64* %17
%61 = load i32, i32* %33
%62 = load i32, i32* %30
%63 = load i32, i32* %19
%64 = mul nsw i32 %62, %63
%65 = sub nsw i32 %61, %64
store i32 %65, i32* %33
%66 = load i32, i32* %33
%67 = sdiv i32 %66, 16777216
%68 = sext i32 %67 to i64
%69 = load i64, i64* %17
%70 = add i64 %69, %68
store i64 %70, i64* %17
%71 = load i32, i32* %33
%72 = srem i32 %71, 16777216
store i32 %72, i32* %33
%73 = load i32, i32* %33
%74 = icmp slt i32 %73, 0
br i1 %74, label %75, label %80
75: ; preds = %47
%76 = load i64, i64* %17
%77 = add i64 %76, -1
store i64 %77, i64* %17
%78 = load i32, i32* %33
%79 = add nsw i32 %78, 16777216
store i32 %79, i32* %33
br label %89
80: ; preds = %47
%81 = load i32, i32* %33
%82 = icmp sge i32 %81, 16777216
br i1 %82, label %83, label %88
83: ; preds = %80
%84 = load i64, i64* %17
%85 = add i64 %84, 1
store i64 %85, i64* %17
%86 = load i32, i32* %33
%87 = sub nsw i32 %86, 16777216
store i32 %87, i32* %33
br label %88
88: ; preds = %83, %80
br label %89
89: ; preds = %88, %75
br label %90
90: ; preds = %131, %89
%91 = load i64, i64* %17
%92 = load i64, i64* %18
%93 = icmp ugt i64 %91, %92
br i1 %93, label %104, label %94
94: ; preds = %90
%95 = load i64, i64* %17
%96 = load i64, i64* %18
%97 = icmp eq i64 %95, %96
br i1 %97, label %98, label %102
98: ; preds = %94
%99 = load i32, i32* %33
%100 = load i32, i32* %19
%101 = icmp sge i32 %99, %100
br label %102
102: ; preds = %98, %94
%103 = phi i1 [ false, %94 ], [ %101, %98 ]
br label %104
104: ; preds = %102, %90
%105 = phi i1 [ true, %90 ], [ %103, %102 ]
br i1 %105, label %106, label %132
106: ; preds = %104
%107 = load i32, i32* %30
%108 = add nsw i32 %107, 1
store i32 %108, i32* %30
%109 = load i64, i64* %18
%110 = load i64, i64* %17
%111 = sub i64 %110, %109
store i64 %111, i64* %17
%112 = load i32, i32* %19
%113 = load i32, i32* %33
%114 = sub nsw i32 %113, %112
store i32 %114, i32* %33
%115 = load i32, i32* %33
%116 = icmp slt i32 %115, 0
br i1 %116, label %117, label %122
117: ; preds = %106
%118 = load i64, i64* %17
%119 = add i64 %118, -1
store i64 %119, i64* %17
%120 = load i32, i32* %33
%121 = add nsw i32 %120, 16777216
store i32 %121, i32* %33
br label %131
122: ; preds = %106
%123 = load i32, i32* %33
%124 = icmp sge i32 %123, 16777216
br i1 %124, label %125, label %130
125: ; preds = %122
%126 = load i64, i64* %17
%127 = add i64 %126, 1
store i64 %127, i64* %17
%128 = load i32, i32* %33
%129 = sub nsw i32 %128, 16777216
store i32 %129, i32* %33
br label %130
130: ; preds = %125, %122
br label %131
131: ; preds = %130, %117
br label %90
132: ; preds = %104
%133 = load i32, i32* %31
%134 = icmp sle i32 %133, 0
br i1 %134, label %135, label %136
135: ; preds = %132
store i32 1, i32* %28
store i32 1, i32* %29
br label %206
136: ; preds = %132
%137 = load i32, i32* %26
%138 = icmp ne i32 %137, 0
br i1 %138, label %139, label %155
139: ; preds = %136
%140 = load i64, i64* %17
%141 = load i64, i64* %21
%142 = icmp ult i64 %140, %141
br i1 %142, label %152, label %143
143: ; preds = %139
%144 = load i64, i64* %17
%145 = load i64, i64* %21
%146 = icmp eq i64 %144, %145
br i1 %146, label %147, label %150
147: ; preds = %143
%148 = load i32, i32* %33
%149 = icmp eq i32 %148, 0
br label %150
150: ; preds = %147, %143
%151 = phi i1 [ false, %143 ], [ %149, %147 ]
br label %152
152: ; preds = %150, %139
%153 = phi i1 [ true, %139 ], [ %151, %150 ]
%154 = zext i1 %153 to i32
store i32 %154, i32* %28
br label %160
155: ; preds = %136
%156 = load i64, i64* %17
%157 = load i64, i64* %21
%158 = icmp ult i64 %156, %157
%159 = zext i1 %158 to i32
store i32 %159, i32* %28
br label %160
160: ; preds = %155, %152
%161 = load i32, i32* %27
%162 = icmp ne i32 %161, 0
br i1 %162, label %163, label %184
163: ; preds = %160
%164 = load i64, i64* %17
%165 = load i64, i64* %20
%166 = add i64 %164, %165
%167 = load i64, i64* %18
%168 = icmp ugt i64 %166, %167
br i1 %168, label %181, label %169
169: ; preds = %163
%170 = load i64, i64* %17
%171 = load i64, i64* %20
%172 = add i64 %170, %171
%173 = load i64, i64* %18
%174 = icmp eq i64 %172, %173
br i1 %174, label %175, label %179
175: ; preds = %169
%176 = load i32, i32* %33
%177 = load i32, i32* %19
%178 = icmp sge i32 %176, %177
br label %179
179: ; preds = %175, %169
%180 = phi i1 [ false, %169 ], [ %178, %175 ]
br label %181
181: ; preds = %179, %163
%182 = phi i1 [ true, %163 ], [ %180, %179 ]
%183 = zext i1 %182 to i32
store i32 %183, i32* %29
br label %205
184: ; preds = %160
%185 = load i64, i64* %17
%186 = load i64, i64* %20
%187 = add i64 %185, %186
%188 = load i64, i64* %18
%189 = icmp ugt i64 %187, %188
br i1 %189, label %202, label %190
190: ; preds = %184
%191 = load i64, i64* %17
%192 = load i64, i64* %20
%193 = add i64 %191, %192
%194 = load i64, i64* %18
%195 = icmp eq i64 %193, %194
br i1 %195, label %196, label %200
196: ; preds = %190
%197 = load i32, i32* %33
%198 = load i32, i32* %19
%199 = icmp sgt i32 %197, %198
br label %200
200: ; preds = %196, %190
%201 = phi i1 [ false, %190 ], [ %199, %196 ]
br label %202
202: ; preds = %200, %184
%203 = phi i1 [ true, %184 ], [ %201, %200 ]
%204 = zext i1 %203 to i32
store i32 %204, i32* %29
br label %205
205: ; preds = %202, %181
br label %206
206: ; preds = %205, %135
%207 = load i32, i32* %28
%208 = icmp ne i32 %207, 0
br i1 %208, label %253, label %209
209: ; preds = %206
%210 = load i32, i32* %29
%211 = icmp ne i32 %210, 0
br i1 %211, label %242, label %212
212: ; preds = %209
%213 = load i8*, i8** %25
%214 = load i32, i32* %30
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds i8, i8* %213, i64 %215
%217 = load i8, i8* %216
%218 = load i8*, i8** %15
%219 = getelementptr inbounds i8, i8* %218, i32 1
store i8* %219, i8** %15
store i8 %217, i8* %218
%220 = load i32, i32* %24
%221 = sext i32 %220 to i64
%222 = load i64, i64* %17
%223 = mul i64 %222, %221
store i64 %223, i64* %17
%224 = load i32, i32* %24
%225 = load i32, i32* %33
%226 = mul nsw i32 %225, %224
store i32 %226, i32* %33
%227 = load i32, i32* %33
%228 = sdiv i32 %227, 16777216
%229 = sext i32 %228 to i64
%230 = load i64, i64* %17
%231 = add i64 %230, %229
store i64 %231, i64* %17
%232 = load i32, i32* %33
%233 = srem i32 %232, 16777216
store i32 %233, i32* %33
%234 = load i32, i32* %24
%235 = sext i32 %234 to i64
%236 = load i64, i64* %20
%237 = mul i64 %236, %235
store i64 %237, i64* %20
%238 = load i32, i32* %24
%239 = sext i32 %238 to i64
%240 = load i64, i64* %21
%241 = mul i64 %240, %239
store i64 %241, i64* %21
br label %252
242: ; preds = %209
%243 = load i8*, i8** %15
%244 = load i8*, i8** %34
%245 = load i32, i32* %16
%246 = load i32, i32* %24
%247 = load i8*, i8** %25
%248 = load i32, i32* %30
%249 = load i32*, i32** %22
%250 = load i32, i32* %23
%251 = call i8* @nextDigit(i8* %243, i8* %244, i32 %245, i32 %246, i8* %247, i32 %248, i32* %249, i32 %250)
store i8* %251, i8** %15
br label %302
252: ; preds = %212
br label %301
253: ; preds = %206
%254 = load i32, i32* %29
%255 = icmp ne i32 %254, 0
br i1 %255, label %264, label %256
256: ; preds = %253
%257 = load i8*, i8** %25
%258 = load i32, i32* %30
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds i8, i8* %257, i64 %259
%261 = load i8, i8* %260
%262 = load i8*, i8** %15
%263 = getelementptr inbounds i8, i8* %262, i32 1
store i8* %263, i8** %15
store i8 %261, i8* %262
br label %302
264: ; preds = %253
%265 = load i64, i64* %17
%266 = mul i64 2, %265
%267 = load i64, i64* %18
%268 = icmp ult i64 %266, %267
br i1 %268, label %279, label %269
269: ; preds = %264
%270 = load i64, i64* %17
%271 = mul i64 2, %270
%272 = load i64, i64* %18
%273 = icmp eq i64 %271, %272
br i1 %273, label %274, label %291
274: ; preds = %269
%275 = load i32, i32* %33
%276 = mul nsw i32 2, %275
%277 = load i32, i32* %19
%278 = icmp slt i32 %276, %277
br i1 %278, label %279, label %291
279: ; preds = %274, %264
%280 = load i32, i32* %30
%281 = icmp ne i32 %280, 0
br i1 %281, label %282, label %290
282: ; preds = %279
%283 = load i8*, i8** %25
%284 = load i32, i32* %30
%285 = sext i32 %284 to i64
%286 = getelementptr inbounds i8, i8* %283, i64 %285
%287 = load i8, i8* %286
%288 = load i8*, i8** %15
%289 = getelementptr inbounds i8, i8* %288, i32 1
store i8* %289, i8** %15
store i8 %287, i8* %288
br label %290
290: ; preds = %282, %279
br label %302
291: ; preds = %274, %269
%292 = load i8*, i8** %15
%293 = load i8*, i8** %34
%294 = load i32, i32* %16
%295 = load i32, i32* %24
%296 = load i8*, i8** %25
%297 = load i32, i32* %30
%298 = load i32*, i32** %22
%299 = load i32, i32* %23
%300 = call i8* @nextDigit(i8* %292, i8* %293, i32 %294, i32 %295, i8* %296, i32 %297, i32* %298, i32 %299)
store i8* %300, i8** %15
br label %302
301: ; preds = %252
br label %47
302: ; preds = %291, %290, %256, %242
%303 = load i8*, i8** %15
store i8* %303, i8** %32
%304 = load i8*, i8** %32
%305 = getelementptr inbounds i8, i8* %304, i32 -1
store i8* %305, i8** %32
%306 = load i8*, i8** %32
%307 = getelementptr inbounds i8, i8* %306, i64 0
%308 = load i8, i8* %307
%309 = sext i8 %308 to i32
%310 = load i8*, i8** %25
%311 = getelementptr inbounds i8, i8* %310, i64 0
%312 = load i8, i8* %311
%313 = sext i8 %312 to i32
%314 = icmp eq i32 %309, %313
br i1 %314, label %315, label %338
315: ; preds = %302
br label %316
316: ; preds = %331, %315
%317 = load i8*, i8** %32
%318 = load i8, i8* %317
%319 = sext i8 %318 to i32
%320 = load i8*, i8** %25
%321 = getelementptr inbounds i8, i8* %320, i64 0
%322 = load i8, i8* %321
%323 = sext i8 %322 to i32
%324 = icmp eq i32 %319, %323
br i1 %324, label %325, label %329
325: ; preds = %316
%326 = load i8*, i8** %32
%327 = load i8*, i8** %15
%328 = icmp ne i8* %326, %327
br label %329
329: ; preds = %325, %316
%330 = phi i1 [ false, %316 ], [ %328, %325 ]
br i1 %330, label %331, label %334
331: ; preds = %329
%332 = load i8*, i8** %32
%333 = getelementptr inbounds i8, i8* %332, i32 -1
store i8* %333, i8** %32
br label %316
334: ; preds = %329
%335 = load i8*, i8** %32
%336 = getelementptr inbounds i8, i8* %335, i32 1
store i8* %336, i8** %32
%337 = load i8*, i8** %32
store i8* %337, i8** %15
br label %338
338: ; preds = %334, %302
%339 = load i8*, i8** %15
store i8* %339, i8** %14
br label %340
340: ; preds = %338, %37
%341 = load i8*, i8** %14
ret i8* %341
}

LLVM IR (-O2):
define i8* @generate(i8* %0, i32 %1, i64 %2, i64 %3, i32 %4, i64 %5, i64 %6, i32* %7, i32 %8, i32 %9, i8* %10, i32 %11, i32 %12) {
%14 = icmp eq i64 %2, 0
br i1 %14, label %21, label %15
15: ; preds = %13
%16 = add i64 %3, 1
%17 = icmp eq i32 %11, 0
%18 = icmp eq i32 %12, 0
%19 = sext i32 %9 to i64
%20 = xor i1 %17, true
br label %24
21: ; preds = %13
%22 = load i8, i8* %10
%23 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %22, i8* %0
br label %157
24: ; preds = %15, %101
%25 = phi i64 [ %113, %101 ], [ %6, %15 ]
%26 = phi i64 [ %112, %101 ], [ %5, %15 ]
%27 = phi i64 [ %110, %101 ], [ %2, %15 ]
%28 = phi i8* [ %105, %101 ], [ %0, %15 ]
%29 = phi i32 [ %75, %101 ], [ %1, %15 ]
%30 = phi i32 [ %111, %101 ], [ 0, %15 ]
%31 = udiv i64 %27, %16
%32 = trunc i64 %31 to i32
%33 = shl i64 %31, 32
%34 = ashr exact i64 %33, 32
%35 = mul i64 %34, %3
%36 = sub i64 %27, %35
%37 = mul nsw i32 %32, %4
%38 = sub nsw i32 %30, %37
%39 = sdiv i32 %38, 16777216
%40 = sext i32 %39 to i64
%41 = add i64 %36, %40
%42 = srem i32 %38, 16777216
%43 = icmp slt i32 %42, 0
%44 = add nsw i32 %42, 16777216
%45 = ashr i32 %42, 31
%46 = sext i32 %45 to i64
%47 = add i64 %41, %46
%48 = select i1 %43, i32 %44, i32 %42
br label %49
49: ; preds = %68, %24
%50 = phi i64 [ %47, %24 ], [ %69, %68 ]
%51 = phi i32 [ %32, %24 ], [ %59, %68 ]
%52 = phi i32 [ %48, %24 ], [ %70, %68 ]
%53 = icmp ugt i64 %50, %3
br i1 %53, label %58, label %54
54: ; preds = %49
%55 = icmp eq i64 %50, %3
%56 = icmp sge i32 %52, %4
%57 = select i1 %55, i1 %56, i1 false
br i1 %57, label %58, label %74
58: ; preds = %49, %54
%59 = add nsw i32 %51, 1
%60 = sub i64 %50, %3
%61 = sub nsw i32 %52, %4
%62 = icmp slt i32 %61, 0
br i1 %62, label %63, label %66
63: ; preds = %58
%64 = add i64 %60, -1
%65 = add nsw i32 %61, 16777216
br label %68
66: ; preds = %58
%67 = icmp ugt i32 %61, 16777215
br i1 %67, label %71, label %68
68: ; preds = %66, %71, %63
%69 = phi i64 [ %64, %63 ], [ %72, %71 ], [ %60, %66 ]
%70 = phi i32 [ %65, %63 ], [ %73, %71 ], [ %61, %66 ]
br label %49
71: ; preds = %66
%72 = add i64 %60, 1
%73 = add nsw i32 %61, -16777216
br label %68
74: ; preds = %54
%75 = add nsw i32 %29, -1
%76 = icmp slt i32 %29, 2
br i1 %76, label %123, label %77
77: ; preds = %74
%78 = icmp ult i64 %50, %25
%79 = select i1 %17, i1 true, i1 %78
%80 = select i1 %20, i1 true, i1 %78
br i1 %79, label %85, label %81
81: ; preds = %77
%82 = icmp eq i64 %50, %25
%83 = icmp eq i32 %52, 0
%84 = select i1 %82, i1 %83, i1 false
br label %85
85: ; preds = %77, %81
%86 = phi i1 [ %84, %81 ], [ %80, %77 ]
%87 = add i64 %50, %26
%88 = icmp ugt i64 %87, %3
br i1 %18, label %93, label %89
89: ; preds = %85
br i1 %88, label %98, label %90
90: ; preds = %89
%91 = icmp eq i64 %87, %3
%92 = select i1 %91, i1 %56, i1 false
br i1 %86, label %116, label %99
93: ; preds = %85
br i1 %88, label %98, label %94
94: ; preds = %93
%95 = icmp eq i64 %87, %3
%96 = icmp sgt i32 %52, %4
%97 = select i1 %95, i1 %96, i1 false
br i1 %86, label %116, label %99
98: ; preds = %93, %89
br i1 %86, label %123, label %114
99: ; preds = %94, %90
%100 = phi i1 [ %92, %90 ], [ %97, %94 ]
br i1 %100, label %114, label %101
101: ; preds = %99
%102 = sext i32 %51 to i64
%103 = getelementptr inbounds i8, i8* %10, i64 %102
%104 = load i8, i8* %103
%105 = getelementptr inbounds i8, i8* %28, i64 1
store i8 %104, i8* %28
%106 = mul i64 %50, %19
%107 = mul nsw i32 %52, %9
%108 = sdiv i32 %107, 16777216
%109 = sext i32 %108 to i64
%110 = add i64 %106, %109
%111 = srem i32 %107, 16777216
%112 = mul i64 %26, %19
%113 = mul i64 %25, %19
br label %24
114: ; preds = %99, %98
%115 = tail call i8* @nextDigit(i8* %28, i8* %0, i32 %1, i32 %9, i8* %10, i32 %51, i32* %7, i32 %8)
br label %140
116: ; preds = %94, %90
%117 = phi i1 [ %92, %90 ], [ %97, %94 ]
br i1 %117, label %123, label %118
118: ; preds = %116
%119 = sext i32 %51 to i64
%120 = getelementptr inbounds i8, i8* %10, i64 %119
%121 = load i8, i8* %120
%122 = getelementptr inbounds i8, i8* %28, i64 1
store i8 %121, i8* %28
br label %140
123: ; preds = %74, %98, %116
%124 = shl i64 %50, 1
%125 = icmp ult i64 %124, %3
br i1 %125, label %131, label %126
126: ; preds = %123
%127 = icmp eq i64 %124, %3
%128 = shl nsw i32 %52, 1
%129 = icmp slt i32 %128, %4
%130 = select i1 %127, i1 %129, i1 false
br i1 %130, label %131, label %138
131: ; preds = %126, %123
%132 = icmp eq i32 %51, 0
br i1 %132, label %140, label %133
133: ; preds = %131
%134 = sext i32 %51 to i64
%135 = getelementptr inbounds i8, i8* %10, i64 %134
%136 = load i8, i8* %135
%137 = getelementptr inbounds i8, i8* %28, i64 1
store i8 %136, i8* %28
br label %140
138: ; preds = %126
%139 = tail call i8* @nextDigit(i8* %28, i8* %0, i32 %1, i32 %9, i8* %10, i32 %51, i32* %7, i32 %8)
br label %140
140: ; preds = %131, %133, %138, %118, %114
%141 = phi i8* [ %137, %133 ], [ %28, %131 ], [ %139, %138 ], [ %122, %118 ], [ %115, %114 ]
%142 = getelementptr inbounds i8, i8* %141, i64 -1
%143 = load i8, i8* %142
%144 = load i8, i8* %10
%145 = icmp eq i8 %143, %144
br i1 %145, label %146, label %157
146: ; preds = %140
%147 = getelementptr inbounds i8, i8* %141, i64 -2
br label %148
148: ; preds = %146, %148
%149 = phi i8* [ %147, %146 ], [ %154, %148 ]
%150 = load i8, i8* %149
%151 = icmp eq i8 %150, %143
%152 = icmp ne i8* %149, %141
%153 = select i1 %151, i1 %152, i1 false
%154 = getelementptr inbounds i8, i8* %149, i64 -1
br i1 %153, label %148, label %155
155: ; preds = %148
%156 = getelementptr inbounds i8, i8* %149, i64 1
br label %157
157: ; preds = %140, %155, %21
%158 = phi i8* [ %23, %21 ], [ %156, %155 ], [ %141, %140 ]
ret i8* %158
}