#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 */
int strlen(char *);
void multip(char *s, char *s1, char *s2) {
  int a1[10000] = {0}, a2[10000] = {0}, sum[10000] = {0};
  int i = 0, j, k, l1, l2, l, maxline;
  l1 = strlen(s1);
  l2 = strlen(s2);
  for (i = 0; i < l1; i++)
    a1[l1 - 1 - i] = s1[i] - '0';
  for (i = 0; i < l2; i++)
    a2[l2 - 1 - i] = s2[i] - '0';
  for (i = 0; i <= l1; i++)
    for (j = 0; j < l2; j++) {
      sum[i + j] += a1[i] * a2[j];
      if (sum[i + j] >= 10) {
        sum[i + j + 1] += sum[i + j] / 10;
        sum[i + j] %= 10;
      }
    }
  if (sum[l1 + l2 - 1] != 0)
    maxline = l1 + l2 - 1;
  else
    maxline = l1 + l2 - 2;
  for (i = maxline; i >= 0; i--)
    s[maxline - i] = sum[i] + '0';
  s[maxline + 1] = '\0';
  if (s1[0] == '0' || s2[0] == '0') {
    s[0] = '0';
    s[1] = '\0';
  }
}


x86 assembly (clang, -O0):
<multip>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1d510,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
lea    -0x9c60(%rbp),%rdi
xor    %esi,%esi
mov    $0x9c40,%edx
call   1040 <memset@plt>
lea    -0x138a0(%rbp),%rdi
xor    %esi,%esi
mov    $0x9c40,%edx
call   1040 <memset@plt>
lea    -0x1d4e0(%rbp),%rdi
xor    %esi,%esi
mov    $0x9c40,%edx
call   1040 <memset@plt>
movl   $0x0,-0x1d4e4(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1d4f0(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1d4f4(%rbp)
movl   $0x0,-0x1d4e4(%rbp)
mov    -0x1d4e4(%rbp),%eax
cmp    -0x1d4f0(%rbp),%eax
jge    11f2 <multip+0xd2>
mov    -0x10(%rbp),%rax
movslq -0x1d4e4(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
sub    $0x30,%ecx
mov    -0x1d4f0(%rbp),%eax
sub    $0x1,%eax
sub    -0x1d4e4(%rbp),%eax
cltq
mov    %ecx,-0x9c60(%rbp,%rax,4)
mov    -0x1d4e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1d4e4(%rbp)
jmp    11a2 <multip+0x82>
movl   $0x0,-0x1d4e4(%rbp)
mov    -0x1d4e4(%rbp),%eax
cmp    -0x1d4f4(%rbp),%eax
jge    124c <multip+0x12c>
mov    -0x18(%rbp),%rax
movslq -0x1d4e4(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
sub    $0x30,%ecx
mov    -0x1d4f4(%rbp),%eax
sub    $0x1,%eax
sub    -0x1d4e4(%rbp),%eax
cltq
mov    %ecx,-0x138a0(%rbp,%rax,4)
mov    -0x1d4e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1d4e4(%rbp)
jmp    11fc <multip+0xdc>
movl   $0x0,-0x1d4e4(%rbp)
mov    -0x1d4e4(%rbp),%eax
cmp    -0x1d4f0(%rbp),%eax
jg     137b <multip+0x25b>
movl   $0x0,-0x1d4e8(%rbp)
mov    -0x1d4e8(%rbp),%eax
cmp    -0x1d4f4(%rbp),%eax
jge    1362 <multip+0x242>
movslq -0x1d4e4(%rbp),%rax
mov    -0x9c60(%rbp,%rax,4),%ecx
movslq -0x1d4e8(%rbp),%rax
imul   -0x138a0(%rbp,%rax,4),%ecx
ff
mov    -0x1d4e4(%rbp),%eax
add    -0x1d4e8(%rbp),%eax
cltq
add    -0x1d4e0(%rbp,%rax,4),%ecx
mov    %ecx,-0x1d4e0(%rbp,%rax,4)
mov    -0x1d4e4(%rbp),%eax
add    -0x1d4e8(%rbp),%eax
cltq
cmpl   $0xa,-0x1d4e0(%rbp,%rax,4)
0a
jl     1349 <multip+0x229>
mov    -0x1d4e4(%rbp),%eax
add    -0x1d4e8(%rbp),%eax
cltq
mov    -0x1d4e0(%rbp,%rax,4),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x1d4e4(%rbp),%eax
add    -0x1d4e8(%rbp),%eax
add    $0x1,%eax
cltq
add    -0x1d4e0(%rbp,%rax,4),%ecx
mov    %ecx,-0x1d4e0(%rbp,%rax,4)
mov    -0x1d4e4(%rbp),%eax
add    -0x1d4e8(%rbp),%eax
cltq
mov    %rax,-0x1d508(%rbp)
mov    -0x1d4e0(%rbp,%rax,4),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x1d508(%rbp),%rax
mov    %edx,-0x1d4e0(%rbp,%rax,4)
jmp    134e <multip+0x22e>
mov    -0x1d4e8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1d4e8(%rbp)
jmp    1272 <multip+0x152>
jmp    1367 <multip+0x247>
mov    -0x1d4e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1d4e4(%rbp)
jmp    1256 <multip+0x136>
mov    -0x1d4f0(%rbp),%eax
add    -0x1d4f4(%rbp),%eax
sub    $0x1,%eax
cltq
cmpl   $0x0,-0x1d4e0(%rbp,%rax,4)
je     13b4 <multip+0x294>
mov    -0x1d4f0(%rbp),%eax
add    -0x1d4f4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1d4fc(%rbp)
jmp    13c9 <multip+0x2a9>
mov    -0x1d4f0(%rbp),%eax
add    -0x1d4f4(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x1d4fc(%rbp)
mov    -0x1d4fc(%rbp),%eax
mov    %eax,-0x1d4e4(%rbp)
cmpl   $0x0,-0x1d4e4(%rbp)
jl     141f <multip+0x2ff>
movslq -0x1d4e4(%rbp),%rax
mov    -0x1d4e0(%rbp,%rax,4),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x1d4fc(%rbp),%ecx
sub    -0x1d4e4(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1d4e4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1d4e4(%rbp)
jmp    13d5 <multip+0x2b5>
mov    -0x8(%rbp),%rax
mov    -0x1d4fc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
je     1453 <multip+0x333>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1462 <multip+0x342>
mov    -0x8(%rbp),%rax
movb   $0x30,(%rax)
mov    -0x8(%rbp),%rax
movb   $0x0,0x1(%rax)
add    $0x1d510,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<multip>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1d4c0,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
lea    0x9c40(%rsp),%rdi
mov    $0x9c40,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    %rsp,%rdi
mov    $0x9c40,%edx
xor    %esi,%esi
call   1040 <memset@plt>
lea    0x13880(%rsp),%rbx
mov    $0x9c40,%edx
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %eax,%r13d
mov    %r14,%rdi
call   1030 <strlen@plt>
test   %r13d,%r13d
jle    12c3 <multip+0x1a3>
mov    %r13d,%r9d
cmp    $0x8,%r13d
jae    1229 <multip+0x109>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
test   $0x1,%r9b
je     11c9 <multip+0xa9>
movsbl (%r15,%rdx,1),%r8d
add    $0xffffffd0,%r8d
mov    %edx,%edi
not    %edi
add    %r13d,%edi
movslq %edi,%rdi
mov    %r8d,0x9c40(%rsp,%rdi,4)
or     $0x1,%rdx
add    %r9,%rsi
je     12c3 <multip+0x1a3>
sub    %rdx,%r9
mov    %edx,%esi
not    %esi
add    %r13d,%esi
lea    (%rdx,%r15,1),%r8
add    $0x1,%r8
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movsbl -0x1(%r8,%rdi,1),%ecx
add    $0xffffffd0,%ecx
movslq %esi,%rsi
mov    %ecx,0x9c40(%rsp,%rsi,4)
movsbl (%r8,%rdi,1),%ecx
add    $0xffffffd0,%ecx
lea    -0x1(%rsi),%edx
movslq %edx,%rdx
mov    %ecx,0x9c40(%rsp,%rdx,4)
add    $0x2,%rdi
add    $0xfffffffe,%esi
cmp    %rdi,%r9
jne    11f0 <multip+0xd0>
jmp    12c3 <multip+0x1a3>
lea    -0x1(%r9),%r8
lea    -0x1(%r13),%esi
mov    %esi,%edi
sub    %r8d,%edi
xor    %edx,%edx
cmp    %esi,%edi
jg     119e <multip+0x7e>
shr    $0x20,%r8
jne    119e <multip+0x7e>
mov    %r9d,%edx
and    $0xfffffff8,%edx
xor    %edi,%edi
movdqa 0xda6(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movd   (%r15,%rdi,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0x4(%r15,%rdi,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movslq %esi,%rsi
pshufd $0x1b,%xmm1,%xmm1
movdqu %xmm1,0x9c34(%rsp,%rsi,4)
pshufd $0x1b,%xmm2,%xmm1
movdqu %xmm1,0x9c24(%rsp,%rsi,4)
add    $0x8,%rdi
add    $0xfffffff8,%esi
cmp    %rdi,%rdx
jne    1260 <multip+0x140>
cmp    %r9,%rdx
jne    119e <multip+0x7e>
mov    %eax,%r10d
test   %eax,%eax
jle    13dd <multip+0x2bd>
cmp    $0x8,%eax
jae    1351 <multip+0x231>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
test   $0x1,%r10b
je     12f9 <multip+0x1d9>
movsbl (%r14,%rdx,1),%ecx
add    $0xffffffd0,%ecx
mov    %edx,%edi
not    %edi
add    %eax,%edi
movslq %edi,%rdi
mov    %ecx,(%rsp,%rdi,4)
or     $0x1,%rdx
add    %r10,%rsi
je     13dd <multip+0x2bd>
mov    %r10,%r8
sub    %rdx,%r8
mov    %edx,%edi
not    %edi
add    %eax,%edi
lea    (%rdx,%r14,1),%r9
add    $0x1,%r9
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movsbl -0x1(%r9,%rsi,1),%ecx
add    $0xffffffd0,%ecx
movslq %edi,%rdi
mov    %ecx,(%rsp,%rdi,4)
movsbl (%r9,%rsi,1),%ecx
add    $0xffffffd0,%ecx
lea    -0x1(%rdi),%edx
movslq %edx,%rdx
mov    %ecx,(%rsp,%rdx,4)
add    $0x2,%rsi
add    $0xfffffffe,%edi
cmp    %rsi,%r8
jne    1320 <multip+0x200>
jmp    13dd <multip+0x2bd>
lea    -0x1(%r10),%rcx
lea    -0x1(%rax),%esi
mov    %esi,%edi
sub    %ecx,%edi
xor    %edx,%edx
cmp    %esi,%edi
jg     12d5 <multip+0x1b5>
shr    $0x20,%rcx
jne    12d5 <multip+0x1b5>
mov    %r10d,%edx
and    $0xfffffff8,%edx
xor    %edi,%edi
movdqa 0xc80(%rip),%xmm0
movd   (%r14,%rdi,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0x4(%r14,%rdi,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movslq %esi,%rsi
pshufd $0x1b,%xmm1,%xmm1
movdqu %xmm1,-0xc(%rsp,%rsi,4)
pshufd $0x1b,%xmm2,%xmm1
movdqu %xmm1,-0x1c(%rsp,%rsi,4)
add    $0x8,%rdi
add    $0xfffffff8,%esi
cmp    %rdi,%rdx
jne    1380 <multip+0x260>
cmp    %r10,%rdx
jne    12d5 <multip+0x1b5>
test   %r13d,%r13d
js     1454 <multip+0x334>
lea    0x1(%r13),%r8d
xor    %r11d,%r11d
mov    $0xcccccccd,%r9d
jmp    140d <multip+0x2ed>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r11
add    $0x4,%rbx
cmp    %r8,%r11
je     1454 <multip+0x334>
test   %eax,%eax
jle    1400 <multip+0x2e0>
mov    0x9c40(%rsp,%r11,4),%edx
xor    %edi,%edi
jmp    1429 <multip+0x309>
nopl   (%rax)
add    $0x1,%rdi
cmp    %rdi,%r10
je     1400 <multip+0x2e0>
mov    (%rsp,%rdi,4),%ecx
imul   %edx,%ecx
add    (%rbx,%rdi,4),%ecx
mov    %ecx,(%rbx,%rdi,4)
cmp    $0xa,%ecx
jl     1420 <multip+0x300>
mov    %ecx,%esi
imul   %r9,%rsi
shr    $0x23,%rsi
add    %esi,0x4(%rbx,%rdi,4)
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
sub    %esi,%ecx
mov    %ecx,(%rbx,%rdi,4)
jmp    1420 <multip+0x300>
add    %r13d,%eax
cltq
xor    %ecx,%ecx
cmp    0x1387c(%rsp,%rax,4),%ecx
sbb    %ecx,%ecx
or     $0xfffffffe,%ecx
add    %ecx,%eax
js     1647 <multip+0x527>
mov    %eax,%ecx
mov    %rcx,%rdx
cmp    $0x7,%eax
jb     161c <multip+0x4fc>
lea    0x1(%rcx),%r8
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
lea    -0x8(%r9),%rdx
mov    %rdx,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rdx,%rdx
je     1673 <multip+0x553>
mov    %r10,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rsp,%rcx,4),%rdx
add    $0x13874,%rdx
xor    %edi,%edi
movdqa 0xb54(%rip),%xmm0
movdqa 0xb5c(%rip),%xmm1
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
movdqu -0x10(%rdx,%rdi,4),%xmm2
movdqu (%rdx,%rdi,4),%xmm3
pand   %xmm0,%xmm3
pshuflw $0xe8,%xmm3,%xmm3
pshufhw $0xe8,%xmm3,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
packuswb %xmm3,%xmm3
pand   %xmm0,%xmm2
pshuflw $0xe8,%xmm2,%xmm2
pshufhw $0xe8,%xmm2,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
packuswb %xmm2,%xmm2
paddb  %xmm1,%xmm3
paddb  %xmm1,%xmm2
movd   %xmm3,(%r12,%rsi,8)
movd   %xmm2,0x4(%r12,%rsi,8)
movdqu -0x30(%rdx,%rdi,4),%xmm2
movdqu -0x20(%rdx,%rdi,4),%xmm3
pand   %xmm0,%xmm3
pshuflw $0xe8,%xmm3,%xmm3
pshufhw $0xe8,%xmm3,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
packuswb %xmm3,%xmm3
pand   %xmm0,%xmm2
pshuflw $0xe8,%xmm2,%xmm2
pshufhw $0xe8,%xmm2,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
packuswb %xmm2,%xmm2
paddb  %xmm1,%xmm3
paddb  %xmm1,%xmm2
movd   %xmm3,0x8(%r12,%rsi,8)
movd   %xmm2,0xc(%r12,%rsi,8)
add    $0x2,%rsi
add    $0xfffffffffffffff0,%rdi
cmp    %rsi,%rbx
jne    14d0 <multip+0x3b0>
neg    %rdi
test   $0x1,%r10b
je     1611 <multip+0x4f1>
mov    %rcx,%rdx
sub    %rdi,%rdx
movdqu 0x13864(%rsp,%rdx,4),%xmm0
movdqu 0x13874(%rsp,%rdx,4),%xmm1
movdqa 0xa54(%rip),%xmm2
pand   %xmm2,%xmm1
pshuflw $0xe8,%xmm1,%xmm1
pshufhw $0xe8,%xmm1,%xmm1
pshufd $0xe8,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
pand   %xmm2,%xmm0
pshuflw $0xe8,%xmm0,%xmm0
pshufhw $0xe8,%xmm0,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshuflw $0x1b,%xmm0,%xmm0
packuswb %xmm0,%xmm0
movdqa 0xa24(%rip),%xmm2
paddb  %xmm2,%xmm1
paddb  %xmm2,%xmm0
movd   %xmm1,(%r12,%rdi,1)
movd   %xmm0,0x4(%r12,%rdi,1)
cmp    %r9,%r8
je     1647 <multip+0x527>
mov    %rcx,%rdx
sub    %r9,%rdx
add    %r12,%rcx
lea    (%rsp,%rdx,4),%rsi
add    $0x13880,%rsi
neg    %rdx
nopl   (%rax)
movzbl (%rsi),%ebx
add    $0x30,%bl
mov    %bl,(%rcx,%rdx,1)
add    $0x1,%rdx
add    $0xfffffffffffffffc,%rsi
cmp    $0x1,%rdx
jne    1630 <multip+0x510>
cltq
movb   $0x0,0x1(%rax,%r12,1)
cmpb   $0x30,(%r15)
je     165b <multip+0x53b>
cmpb   $0x30,(%r14)
jne    1662 <multip+0x542>
movw   $0x30,(%r12)
add    $0x1d4c0,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
xor    %edi,%edi
test   $0x1,%r10b
jne    159c <multip+0x47c>
jmp    1611 <multip+0x4f1>

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

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