#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 */
scalar_t__ malloc(int);
int strlen(char *);
char *addBinary(char *a, char *b) {
  int lenA = strlen(a);
  int lenB = strlen(b);
  char *result =
      (char *)malloc(sizeof(char) * (lenA > lenB ? lenA + 2 : lenB + 2));
  int len = 0;
  int i = 0;
  int j = 0;
  int carry = 0;
  int current = 0;
  int diff = 0;
  if (lenA > lenB) {
    diff = lenA - lenB;
    for (i = lenB - 1; i >= 0; i--) {
      current = (a[i + diff] - '0') + (b[i] - '0') + carry;
      carry = current / 2;
      result[len++] = (current % 2) + '0';
    }
    for (i = lenA - lenB - 1; i >= 0; i--) {
      current = (a[i] - '0') + carry;
      carry = current / 2;
      result[len++] = (current % 2) + '0';
    }
  } else if (lenA < lenB) {
    diff = lenB - lenA;
    for (i = lenA - 1; i >= 0; i--) {
      current = (a[i] - '0') + (b[i + diff] - '0') + carry;
      carry = current / 2;
      result[len++] = (current % 2) + '0';
    }
    for (i = lenB - lenA - 1; i >= 0; i--) {
      current = (b[i] - '0') + carry;
      carry = current / 2;
      result[len++] = (current % 2) + '0';
    }
  } else {
    for (i = lenA - 1; i >= 0; i--) {
      current = (a[i] - '0') + (b[i] - '0') + carry;
      carry = current / 2;
      result[len++] = (current % 2) + '0';
    }
  }
  if (carry > 0) {
    result[len++] = carry + '0';
  }
  char temp = '\0';
  for (i = 0, j = len - 1; i < j; i++, j--) {
    temp = result[i];
    result[i] = result[j];
    result[j] = temp;
  }
  result[len] = '\0';
  return result;
}


x86 assembly (clang, -O0):
<addBinary>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%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    1162 <addBinary+0x42>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x40(%rbp)
jmp    116b <addBinary+0x4b>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    12aa <addBinary+0x18a>
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     123b <addBinary+0x11b>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    11c7 <addBinary+0xa7>
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     12a5 <addBinary+0x185>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1247 <addBinary+0x127>
jmp    142d <addBinary+0x30d>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    13ab <addBinary+0x28b>
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     133c <addBinary+0x21c>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    -0x38(%rbp),%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    12c8 <addBinary+0x1a8>
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     13a6 <addBinary+0x286>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1348 <addBinary+0x228>
jmp    1428 <addBinary+0x308>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     1423 <addBinary+0x303>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    13b4 <addBinary+0x294>
jmp    1428 <addBinary+0x308>
jmp    142d <addBinary+0x30d>
cmpl   $0x0,-0x30(%rbp)
jle    1454 <addBinary+0x334>
mov    -0x30(%rbp),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
movb   $0x0,-0x39(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    14bd <addBinary+0x39d>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x39(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x39(%rbp),%dl
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1468 <addBinary+0x348>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addBinary>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rsi,%r14
mov    %rdi,%r15
call   1030 <strlen@plt>
mov    %eax,%r13d
mov    %r14,%rdi
call   1030 <strlen@plt>
mov    %eax,%r12d
cmp    %eax,%r13d
mov    %eax,%edi
cmovg  %r13d,%edi
add    $0x2,%edi
call   1040 <malloc@plt>
mov    %r13d,%r8d
sub    %r12d,%r8d
jle    1222 <addBinary+0x102>
test   %r12d,%r12d
jle    12dd <addBinary+0x1bd>
mov    %r12d,%esi
add    $0xffffffff,%r13d
xor    %ecx,%ecx
mov    %rax,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %r13d,%r13
movsbl (%r15,%r13,1),%edx
add    %ecx,%edx
movsbl -0x1(%r14,%rsi,1),%ecx
lea    (%rdx,%rcx,1),%r9d
add    %ecx,%edx
add    $0xffffffa0,%edx
mov    %edx,%ecx
shr    $0x1f,%ecx
lea    (%rcx,%r9,1),%ebx
add    $0xffffffa0,%ebx
mov    %ebx,%ecx
sar    %ecx
and    $0xfe,%ebx
sub    %ebx,%edx
add    $0x30,%dl
mov    %dl,(%rdi)
add    $0x1,%rdi
add    $0xffffffff,%r13d
add    $0xffffffffffffffff,%rsi
jne    1180 <addBinary+0x60>
test   %r8d,%r8d
jle    12eb <addBinary+0x1cb>
mov    %r8d,%edx
mov    %r12d,%r13d
add    $0xffffffffffffffff,%rdx
nopw   0x0(%rax,%rax,1)
mov    %edx,%esi
movsbl (%r15,%rsi,1),%esi
lea    (%rcx,%rsi,1),%edi
add    $0xffffffd0,%edi
add    %esi,%ecx
mov    %edi,%esi
shr    $0x1f,%esi
add    %ecx,%esi
add    $0xffffffd0,%esi
mov    %esi,%ecx
sar    %ecx
and    $0xfe,%esi
sub    %esi,%edi
add    $0x30,%dil
mov    %dil,(%rax,%r13,1)
add    $0x1,%r13
add    $0xffffffffffffffff,%rdx
lea    0x2(%rdx),%esi
cmp    $0x1,%esi
jg     11e0 <addBinary+0xc0>
jmp    134d <addBinary+0x22d>
jge    128b <addBinary+0x16b>
mov    %r12d,%r8d
sub    %r13d,%r8d
test   %r13d,%r13d
jle    12f0 <addBinary+0x1d0>
mov    %r13d,%esi
add    $0xffffffff,%r12d
xor    %ecx,%ecx
mov    %rax,%rdi
nop
movsbl -0x1(%r15,%rsi,1),%ebx
add    %ecx,%ebx
movslq %r12d,%r12
movsbl (%r14,%r12,1),%ecx
lea    (%rcx,%rbx,1),%edx
add    $0xffffffa0,%edx
add    %ecx,%ebx
mov    %edx,%ecx
shr    $0x1f,%ecx
add    %ecx,%ebx
add    $0xffffffa0,%ebx
mov    %ebx,%ecx
sar    %ecx
and    $0xfe,%ebx
sub    %ebx,%edx
add    $0x30,%dl
mov    %dl,(%rdi)
add    $0x1,%rdi
add    $0xffffffff,%r12d
add    $0xffffffffffffffff,%rsi
jne    1240 <addBinary+0x120>
test   %r8d,%r8d
jg     12fa <addBinary+0x1da>
jmp    134d <addBinary+0x22d>
test   %r13d,%r13d
jle    1392 <addBinary+0x272>
mov    %r13d,%edx
add    $0xffffffffffffffff,%rdx
xor    %ecx,%ecx
mov    %rax,%rsi
mov    %edx,%edi
movsbl (%r15,%rdi,1),%ebx
add    %ecx,%ebx
movsbl (%r14,%rdi,1),%ecx
lea    (%rbx,%rcx,1),%edi
add    %ecx,%ebx
add    $0xffffffa0,%ebx
mov    %ebx,%ecx
shr    $0x1f,%ecx
add    %ecx,%edi
add    $0xffffffa0,%edi
mov    %edi,%ecx
sar    %ecx
and    $0xfe,%edi
sub    %edi,%ebx
add    $0x30,%bl
mov    %bl,(%rsi)
add    $0x1,%rsi
add    $0xffffffffffffffff,%rdx
jb     12a0 <addBinary+0x180>
jmp    134d <addBinary+0x22d>
xor    %r12d,%r12d
xor    %ecx,%ecx
test   %r8d,%r8d
jg     11cd <addBinary+0xad>
mov    %r12d,%r13d
jmp    134d <addBinary+0x22d>
xor    %r13d,%r13d
xor    %ecx,%ecx
test   %r8d,%r8d
jle    134d <addBinary+0x22d>
mov    %r8d,%edx
mov    %r13d,%r13d
add    $0xffffffffffffffff,%rdx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %edx,%esi
movsbl (%r14,%rsi,1),%esi
lea    (%rcx,%rsi,1),%edi
add    $0xffffffd0,%edi
add    %esi,%ecx
mov    %edi,%esi
shr    $0x1f,%esi
add    %ecx,%esi
add    $0xffffffd0,%esi
mov    %esi,%ecx
sar    %ecx
and    $0xfe,%esi
sub    %esi,%edi
add    $0x30,%dil
mov    %dil,(%rax,%r13,1)
add    $0x1,%r13
add    $0xffffffffffffffff,%rdx
lea    0x2(%rdx),%esi
cmp    $0x1,%esi
jg     1310 <addBinary+0x1f0>
test   %ecx,%ecx
jle    135e <addBinary+0x23e>
add    $0x30,%cl
movslq %r13d,%rdx
add    $0x1,%r13d
mov    %cl,(%rax,%rdx,1)
cmp    $0x1,%r13d
jle    1395 <addBinary+0x275>
mov    %r13d,%edi
lea    -0x2(%rdi),%rdx
xor    %esi,%esi
nopl   (%rax)
movzbl (%rax,%rsi,1),%ebx
movzbl 0x1(%rax,%rdx,1),%ecx
mov    %cl,(%rax,%rsi,1)
mov    %bl,0x1(%rax,%rdx,1)
add    $0x1,%rsi
lea    -0x1(%rdx),%rcx
cmp    %rdx,%rsi
mov    %rcx,%rdx
jl     1370 <addBinary+0x250>
jmp    1398 <addBinary+0x278>
xor    %r13d,%r13d
movslq %r13d,%rdi
movb   $0x0,(%rax,%rdi,1)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

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