#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 *malloc(int);
int strlen(char *);
char *BigAdd(char *num1, char *num2) {
  int lengthA = strlen(num1);
  int lengthB = strlen(num2);
  int length = ((lengthA) > (lengthB) ? (lengthA) : (lengthB));
  int storage[length + 1];
  int i = lengthA - 1;
  int j = lengthB - 1;
  int k = 0;
  int carry = 0;
  while (i >= 0 && j >= 0) {
    int digit = (num1[i] - '0') + (num2[j] - '0');
    if (digit > 9) {
      storage[k] = (digit + carry) % 10;
      carry = 1;
    } else {
      if (digit + carry == 10) {
        storage[k] = 0;
        carry = 1;
      } else {
        storage[k] = digit + carry;
        carry = 0;
      }
    }
    i--;
    j--;
    k++;
  }
  while (i >= 0) {
    if (num1[i] - '0' + carry == 10) {
      storage[k] = 0;
    } else {
      storage[k] = num1[i] - '0' + carry;
      carry = 0;
    }
    i--;
    k++;
  }
  while (j >= 0) {
    if (num2[j] - '0' + carry == 10) {
      storage[k] = 0;
    } else {
      storage[k] = num2[j] - '0' + carry;
      carry = 0;
    }
    j--;
    k++;
  }
  int flag = 1;
  if (carry == 1) {
    storage[k] = 1;
    flag = 0;
  }
  char *result;
  result = malloc(200000 * sizeof(char));
  for (i = k - flag, j = 0; i > 0; i--, j++) {
    result[j] = (char)storage[i] + '0';
  }
  result[j] = '\0';
  return result;
}


x86 assembly (clang, -O0):
<BigAdd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    115f <BigAdd+0x3f>
mov    -0x14(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    1165 <BigAdd+0x45>
mov    -0x18(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x28(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x61(%rbp)
jl     11ce <BigAdd+0xae>
cmpl   $0x0,-0x38(%rbp)
setge  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    11de <BigAdd+0xbe>
jmp    1297 <BigAdd+0x177>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x9,-0x44(%rbp)
jle    1230 <BigAdd+0x110>
mov    -0x44(%rbp),%eax
add    -0x40(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x60(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x1,-0x40(%rbp)
jmp    1277 <BigAdd+0x157>
mov    -0x44(%rbp),%eax
add    -0x40(%rbp),%eax
cmp    $0xa,%eax
jne    125a <BigAdd+0x13a>
mov    -0x60(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x1,-0x40(%rbp)
jmp    1272 <BigAdd+0x152>
mov    -0x60(%rbp),%rax
mov    -0x44(%rbp),%edx
add    -0x40(%rbp),%edx
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x40(%rbp)
jmp    1277 <BigAdd+0x157>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11b5 <BigAdd+0x95>
jmp    129c <BigAdd+0x17c>
cmpl   $0x0,-0x34(%rbp)
jl     1310 <BigAdd+0x1f0>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x40(%rbp),%eax
cmp    $0xa,%eax
jne    12d5 <BigAdd+0x1b5>
mov    -0x60(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    12f9 <BigAdd+0x1d9>
mov    -0x60(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movsbl (%rcx,%rdx,1),%edx
sub    $0x30,%edx
add    -0x40(%rbp),%edx
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x40(%rbp)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    129c <BigAdd+0x17c>
jmp    1315 <BigAdd+0x1f5>
cmpl   $0x0,-0x38(%rbp)
jl     1389 <BigAdd+0x269>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x40(%rbp),%eax
cmp    $0xa,%eax
jne    134e <BigAdd+0x22e>
mov    -0x60(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    1372 <BigAdd+0x252>
mov    -0x60(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%edx
sub    $0x30,%edx
add    -0x40(%rbp),%edx
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x40(%rbp)
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1315 <BigAdd+0x1f5>
movl   $0x1,-0x48(%rbp)
cmpl   $0x1,-0x40(%rbp)
jne    13b0 <BigAdd+0x290>
mov    -0x60(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
movl   $0x0,-0x48(%rbp)
mov    $0x30d40,%edi
call   1040 <malloc@plt>
mov    %rax,-0x50(%rbp)
mov    -0x3c(%rbp),%eax
sub    -0x48(%rbp),%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
cmpl   $0x0,-0x34(%rbp)
jle    140d <BigAdd+0x2ed>
mov    -0x60(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movsbl %al,%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x50(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    13ce <BigAdd+0x2ae>
mov    -0x50(%rbp),%rax
movslq -0x38(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x50(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BigAdd>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r12
call   1030 <strlen@plt>
mov    %eax,%ebx
mov    %r14,%rdi
call   1030 <strlen@plt>
cmp    %eax,%ebx
mov    %eax,%ecx
cmovg  %ebx,%ecx
add    $0x1,%ecx
lea    0xf(,%rcx,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%r13
sub    %rcx,%r13
mov    %r13,%rsp
lea    -0x1(%rbx),%edi
lea    -0x1(%rax),%r9d
xor    %r15d,%r15d
test   %ebx,%ebx
jle    1219 <BigAdd+0xf9>
test   %eax,%eax
jle    1219 <BigAdd+0xf9>
mov    %r9d,%r8d
mov    %edi,%r10d
cmp    %edi,%r9d
cmovae %edi,%r9d
add    $0x1,%r9d
test   %edi,%edi
mov    $0x1,%r15d
cmovne %r9d,%r15d
lea    (%r12,%r10,1),%rdi
lea    (%r14,%r8,1),%rdx
xor    %ecx,%ecx
xor    %eax,%eax
jmp    11e3 <BigAdd+0xc3>
nopw   0x0(%rax,%rax,1)
movzbl %al,%eax
imul   $0xcd,%eax,%esi
shr    $0xa,%esi
and    $0xfffffffe,%esi
lea    (%rsi,%rsi,4),%esi
sub    %sil,%al
movzbl %al,%eax
mov    %eax,0x0(%r13,%rcx,4)
mov    $0x1,%eax
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdi
add    $0xffffffffffffffff,%rdx
cmp    %rcx,%r15
je     1224 <BigAdd+0x104>
movsbl (%rdi),%esi
movsbl (%rdx),%ebx
add    %esi,%ebx
add    %ebx,%eax
add    $0xffffffa0,%eax
cmp    $0x6a,%ebx
jge    11b0 <BigAdd+0x90>
cmp    $0xa,%eax
jne    1210 <BigAdd+0xf0>
movl   $0x0,0x0(%r13,%rcx,4)
jmp    11cd <BigAdd+0xad>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %eax,0x0(%r13,%rcx,4)
xor    %eax,%eax
jmp    11d2 <BigAdd+0xb2>
xor    %eax,%eax
test   %edi,%edi
jns    1238 <BigAdd+0x118>
jmp    12cf <BigAdd+0x1af>
sub    %ecx,%r8d
sub    %ecx,%r10d
mov    %r10d,%edi
mov    %r8d,%r9d
test   %edi,%edi
js     12cf <BigAdd+0x1af>
mov    %edi,%edx
mov    %r15d,%r15d
test   $0x1,%dil
jne    126d <BigAdd+0x14d>
movsbl (%r12,%rdx,1),%ecx
add    %eax,%ecx
add    $0xffffffd0,%ecx
xor    %esi,%esi
cmp    $0xa,%ecx
cmove  %esi,%ecx
cmove  %eax,%esi
mov    %ecx,0x0(%r13,%r15,4)
add    $0xffffffffffffffff,%rdx
add    $0x1,%r15
mov    %esi,%eax
test   %edi,%edi
jne    1271 <BigAdd+0x151>
jmp    12cd <BigAdd+0x1ad>
test   %edi,%edi
je     12cd <BigAdd+0x1ad>
add    $0x2,%rdx
jmp    1295 <BigAdd+0x175>
nopw   0x0(%rax,%rax,1)
mov    %edi,0x4(%r13,%r15,4)
add    $0x2,%r15
add    $0xfffffffffffffffe,%rdx
mov    %esi,%eax
cmp    $0x1,%rdx
jle    12cd <BigAdd+0x1ad>
movsbl -0x2(%r12,%rdx,1),%ecx
lea    (%rax,%rcx,1),%edi
add    $0xffffffd0,%edi
xor    %esi,%esi
mov    $0x0,%ecx
cmp    $0xa,%edi
je     12b1 <BigAdd+0x191>
mov    %edi,%ecx
xor    %eax,%eax
mov    %ecx,0x0(%r13,%r15,4)
movsbl -0x3(%r12,%rdx,1),%ecx
lea    (%rax,%rcx,1),%edi
add    $0xffffffd0,%edi
cmp    $0xa,%edi
jne    1280 <BigAdd+0x160>
xor    %edi,%edi
mov    %eax,%esi
jmp    1280 <BigAdd+0x160>
mov    %esi,%eax
test   %r9d,%r9d
js     136e <BigAdd+0x24e>
mov    %r9d,%edx
mov    %r15d,%r15d
test   $0x1,%r9b
jne    130f <BigAdd+0x1ef>
movsbl (%r14,%rdx,1),%ecx
add    %eax,%ecx
add    $0xffffffd0,%ecx
xor    %esi,%esi
cmp    $0xa,%ecx
cmove  %esi,%ecx
cmove  %eax,%esi
mov    %ecx,0x0(%r13,%r15,4)
add    $0xffffffffffffffff,%rdx
add    $0x1,%r15
mov    %esi,%eax
test   %r9d,%r9d
jne    1314 <BigAdd+0x1f4>
jmp    136c <BigAdd+0x24c>
test   %r9d,%r9d
je     136c <BigAdd+0x24c>
add    $0x2,%rdx
jmp    1335 <BigAdd+0x215>
nopw   0x0(%rax,%rax,1)
mov    %ecx,0x4(%r13,%r15,4)
add    $0x2,%r15
add    $0xfffffffffffffffe,%rdx
mov    %esi,%eax
cmp    $0x1,%rdx
jle    136c <BigAdd+0x24c>
movsbl -0x2(%r14,%rdx,1),%ecx
lea    (%rax,%rcx,1),%edi
add    $0xffffffd0,%edi
xor    %esi,%esi
mov    $0x0,%ecx
cmp    $0xa,%edi
je     1351 <BigAdd+0x231>
mov    %edi,%ecx
xor    %eax,%eax
mov    %ecx,0x0(%r13,%r15,4)
movsbl -0x3(%r14,%rdx,1),%ecx
add    %eax,%ecx
add    $0xffffffd0,%ecx
cmp    $0xa,%ecx
jne    1320 <BigAdd+0x200>
xor    %ecx,%ecx
mov    %eax,%esi
jmp    1320 <BigAdd+0x200>
mov    %esi,%eax
mov    $0xffffffff,%r14d
cmp    $0x1,%eax
jne    1388 <BigAdd+0x268>
mov    %r15d,%eax
movl   $0x1,0x0(%r13,%rax,4)
xor    %r14d,%r14d
mov    $0x30d40,%edi
call   1040 <malloc@plt>
add    %r15d,%r14d
test   %r14d,%r14d
jle    13ad <BigAdd+0x28d>
mov    %r14d,%ecx
cmp    $0x8,%r14d
jae    13b4 <BigAdd+0x294>
xor    %edx,%edx
mov    %rcx,%rsi
jmp    1541 <BigAdd+0x421>
xor    %ecx,%ecx
jmp    1566 <BigAdd+0x446>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     1579 <BigAdd+0x459>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
lea    -0xc(,%rcx,4),%rbx
ff
add    %r13,%rbx
xor    %esi,%esi
movdqa 0xc13(%rip),%xmm0
movdqa 0xc1b(%rip),%xmm1
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movdqu -0x10(%rbx,%rsi,4),%xmm2
movdqu (%rbx,%rsi,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,(%rax,%rdi,8)
movd   %xmm2,0x4(%rax,%rdi,8)
movdqu -0x30(%rbx,%rsi,4),%xmm2
movdqu -0x20(%rbx,%rsi,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(%rax,%rdi,8)
movd   %xmm2,0xc(%rax,%rdi,8)
add    $0x2,%rdi
add    $0xfffffffffffffff0,%rsi
cmp    %rdi,%r9
jne    1400 <BigAdd+0x2e0>
neg    %rsi
test   $0x1,%r8b
je     1537 <BigAdd+0x417>
mov    %rcx,%rdi
sub    %rsi,%rdi
movdqu -0x1c(%r13,%rdi,4),%xmm0
movdqu -0xc(%r13,%rdi,4),%xmm1
movdqa 0xb1c(%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 0xaec(%rip),%xmm2
paddb  %xmm2,%xmm1
paddb  %xmm2,%xmm0
movd   %xmm1,(%rax,%rsi,1)
movd   %xmm0,0x4(%rax,%rsi,1)
cmp    %rcx,%rdx
je     1566 <BigAdd+0x446>
mov    %ecx,%esi
and    $0x7,%esi
lea    0x0(,%rsi,4),%rsi
add    %r13,%rsi
nopl   0x0(%rax)
movzbl (%rsi),%ebx
add    $0x30,%bl
mov    %bl,(%rax,%rdx,1)
add    $0x1,%rdx
add    $0xfffffffffffffffc,%rsi
cmp    %rdx,%rcx
jne    1550 <BigAdd+0x430>
movb   $0x0,(%rax,%rcx,1)
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %esi,%esi
test   $0x1,%r8b
jne    14c8 <BigAdd+0x3a8>
jmp    1537 <BigAdd+0x417>

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

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