#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 *calloc(int, int);
int /*<<< orphan*/ memcpy(char *, char *, int);
char *strdup(char *);
int strlen(char *);
char *addBinary(char *a, char *b) {
  if (!a && !b)
    return (strdup("0"));
  if (!a)
    return (strdup(b));
  if (!b)
    return (strdup(a));
  int la, lb, i, j, c;
  char *longer, *shorter, *res;
  la = strlen(a);
  lb = strlen(b);
  if (!la && !lb)
    return (strdup("0"));
  if (!la)
    return (strdup(b));
  if (!lb)
    return (strdup(a));
  if (la >= lb) {
    longer = a;
    shorter = b;
  } else {
    longer = b;
    shorter = a;
  }
  i = (la >= lb ? la : lb) - 1;
  j = (la >= lb ? lb : la) - 1;
  c = 0;
  while (j >= 0) {
    longer[i] += shorter[j] - '0' + c;
    if (longer[i] >= '2') {
      longer[i] -= 2;
      c = 1;
    } else {
      c = 0;
    }
    i--;
    j--;
  }
  if (i < 0) {
    if (c) {
      res = calloc(la + 2, sizeof(char));
      memcpy(res + 1, longer, la * sizeof(char));
      res[0] = '1';
      return (res);
    } else {
      return (strdup(longer));
    }
  }
  if (c)
    longer[i] += 1;
  while (i > 0 && longer[i] >= '2') {
    longer[i] -= 2;
    i--;
    longer[i] += 1;
  }
  if (longer[0] >= '2') {
    longer[0] -= 2;
    la = strlen(longer) + 2;
    res = calloc(la, sizeof(char));
    memcpy(res + 1, longer, la * sizeof(char));
    res[0] = '1';
    return (res);
  }
  return (strdup(longer));
}


x86 assembly (clang, -O0):
<addBinary>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    117b <addBinary+0x3b>
cmpq   $0x0,-0x18(%rbp)
jne    117b <addBinary+0x3b>
lea    0xe93(%rip),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
cmpq   $0x0,-0x10(%rbp)
jne    1198 <addBinary+0x58>
mov    -0x18(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
cmpq   $0x0,-0x18(%rbp)
jne    11b5 <addBinary+0x75>
mov    -0x10(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    11f6 <addBinary+0xb6>
cmpl   $0x0,-0x20(%rbp)
jne    11f6 <addBinary+0xb6>
lea    0xe18(%rip),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
cmpl   $0x0,-0x1c(%rbp)
jne    1212 <addBinary+0xd2>
mov    -0x18(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
cmpl   $0x0,-0x20(%rbp)
jne    122e <addBinary+0xee>
mov    -0x10(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     124f <addBinary+0x10f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    125f <addBinary+0x11f>
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     1276 <addBinary+0x136>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    127c <addBinary+0x13c>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     129c <addBinary+0x15c>
mov    -0x20(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    12a2 <addBinary+0x162>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     1330 <addBinary+0x1f0>
mov    -0x40(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
sub    $0x30,%esi
add    -0x2c(%rbp),%esi
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x32,%eax
jl     1312 <addBinary+0x1d2>
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
sub    $0x2,%edx
mov    %dl,(%rax,%rcx,1)
movl   $0x1,-0x2c(%rbp)
jmp    1319 <addBinary+0x1d9>
movl   $0x0,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    12b2 <addBinary+0x172>
cmpl   $0x0,-0x24(%rbp)
jge    1399 <addBinary+0x259>
cmpl   $0x0,-0x2c(%rbp)
je     1387 <addBinary+0x247>
mov    -0x1c(%rbp),%edi
add    $0x2,%edi
mov    $0x1,%esi
call   1040 <calloc@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
add    $0x1,%rdi
mov    -0x38(%rbp),%rsi
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edx
call   1050 <memcpy@plt>
mov    -0x48(%rbp),%rax
movb   $0x31,(%rax)
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
mov    -0x38(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
cmpl   $0x0,-0x2c(%rbp)
je     13b5 <addBinary+0x275>
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    $0x1,%edx
mov    %dl,(%rax,%rcx,1)
jmp    13ba <addBinary+0x27a>
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x51(%rbp)
jle    13de <addBinary+0x29e>
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x32,%eax
setge  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    13ee <addBinary+0x2ae>
jmp    1420 <addBinary+0x2e0>
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
sub    $0x2,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    $0x1,%edx
mov    %dl,(%rax,%rcx,1)
jmp    13ba <addBinary+0x27a>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x32,%eax
jl     148b <addBinary+0x34b>
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
sub    $0x2,%ecx
mov    %cl,(%rax)
mov    -0x38(%rbp),%rdi
call   1030 <strlen@plt>
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%edi
mov    $0x1,%esi
call   1040 <calloc@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
add    $0x1,%rdi
mov    -0x38(%rbp),%rsi
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edx
call   1050 <memcpy@plt>
mov    -0x48(%rbp),%rax
movb   $0x31,(%rax)
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1498 <addBinary+0x358>
mov    -0x38(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addBinary>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%rax
or     %rsi,%rax
je     1229 <addBinary+0xe9>
mov    %rsi,%r12
mov    %rdi,%rbx
test   %rdi,%rdi
je     1232 <addBinary+0xf2>
test   %r12,%r12
je     1237 <addBinary+0xf7>
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %eax,%r14d
mov    %r12,%rdi
call   1030 <strlen@plt>
mov    %r14d,%ecx
or     %eax,%ecx
je     1229 <addBinary+0xe9>
test   %r14d,%r14d
je     1232 <addBinary+0xf2>
test   %eax,%eax
je     1237 <addBinary+0xf7>
cmp    %eax,%r14d
mov    %r14d,%ecx
cmovl  %eax,%ecx
cmovl  %r14d,%eax
mov    %rbx,%r15
cmovl  %r12,%r15
cmovl  %rbx,%r12
lea    -0x1(%rcx),%esi
test   %eax,%eax
jle    1247 <addBinary+0x107>
movslq %esi,%rdx
mov    %eax,%eax
add    $0x1,%rax
xor    %esi,%esi
nopl   0x0(%rax)
lea    -0x2(%rax),%edi
or     $0xd0,%sil
add    (%r12,%rdi,1),%sil
mov    %esi,%edi
add    (%r15,%rdx,1),%dil
lea    -0x2(%rdi),%ebx
cmp    $0x32,%dil
setge  %sil
movzbl %dil,%ebp
movzbl %bl,%ebx
cmovl  %ebp,%ebx
mov    %bl,(%r15,%rdx,1)
add    $0xffffffffffffffff,%rdx
add    $0xffffffffffffffff,%rax
add    $0xffffffff,%ecx
cmp    $0x1,%rax
ja     11d0 <addBinary+0x90>
test   %ecx,%ecx
jle    12c2 <addBinary+0x182>
add    $0xffffffff,%ecx
mov    %ecx,%esi
cmp    $0x32,%dil
jl     124f <addBinary+0x10f>
mov    %edx,%eax
addb   $0x1,(%r15,%rax,1)
mov    %ecx,%esi
jmp    124f <addBinary+0x10f>
lea    0xdd0(%rip),%rdi
jmp    123a <addBinary+0xfa>
mov    %r12,%rdi
jmp    123a <addBinary+0xfa>
mov    %rbx,%rdi
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <strdup@plt>
test   %ecx,%ecx
jle    12f9 <addBinary+0x1b9>
test   %esi,%esi
jle    1291 <addBinary+0x151>
mov    %esi,%ecx
lea    (%r15,%rcx,1),%rax
mov    (%r15,%rcx,1),%cl
lea    0x1(%rsi),%edx
add    $0xffffffff,%esi
add    %r15,%rsi
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
cmp    $0x32,%cl
jl     1291 <addBinary+0x151>
add    $0xfe,%cl
mov    %cl,(%rax,%rdi,1)
movzbl (%rsi,%rdi,1),%ecx
add    $0x1,%cl
mov    %cl,(%rsi,%rdi,1)
add    $0xffffffffffffffff,%rdi
lea    (%rdx,%rdi,1),%ebp
cmp    $0x1,%ebp
jg     1270 <addBinary+0x130>
mov    (%r15),%al
cmp    $0x32,%al
jl     12f9 <addBinary+0x1b9>
add    $0xfe,%al
mov    %al,(%r15)
mov    %r15,%rdi
call   1030 <strlen@plt>
lea    0x2(%rax),%ebp
mov    %ebp,%edi
mov    $0x1,%esi
call   1040 <calloc@plt>
mov    %rax,%rbx
lea    0x1(%rax),%rdi
mov    %r15,%rsi
mov    %ebp,%edx
jmp    12e5 <addBinary+0x1a5>
cmp    $0x32,%dil
jl     12f9 <addBinary+0x1b9>
mov    %r14d,%edi
add    $0x2,%edi
mov    $0x1,%esi
call   1040 <calloc@plt>
mov    %rax,%rbx
lea    0x1(%rax),%rdi
mov    %r15,%rsi
mov    %r14d,%edx
call   1050 <memcpy@plt>
movb   $0x31,(%rbx)
mov    %rbx,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
jmp    123a <addBinary+0xfa>

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

LLVM IR (-O2):
@.str = [2 x i8] c"0\00"
define i8* @addBinary(i8* %0, i8* %1) {
%3 = icmp ne i8* %0, null
%4 = icmp ne i8* %1, null
%5 = or i1 %3, %4
br i1 %5, label %8, label %6
6: ; preds = %2
%7 = tail call dereferenceable_or_null(2) i8* @strdup(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
br label %111
8: ; preds = %2
br i1 %3, label %11, label %9
9: ; preds = %8
%10 = tail call i8* @strdup(i8* %1)
br label %111
11: ; preds = %8
br i1 %4, label %14, label %12
12: ; preds = %11
%13 = tail call i8* @strdup(i8* %0)
br label %111
14: ; preds = %11
%15 = tail call i32 @strlen(i8* %0)
%16 = tail call i32 @strlen(i8* %1)
%17 = icmp ne i32 %15, 0
%18 = icmp ne i32 %16, 0
%19 = select i1 %17, i1 true, i1 %18
br i1 %19, label %22, label %20
20: ; preds = %14
%21 = tail call dereferenceable_or_null(2) i8* @strdup(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
br label %111
22: ; preds = %14
br i1 %17, label %25, label %23
23: ; preds = %22
%24 = tail call i8* @strdup(i8* %1)
br label %111
25: ; preds = %22
br i1 %18, label %28, label %26
26: ; preds = %25
%27 = tail call i8* @strdup(i8* %0)
br label %111
28: ; preds = %25
%29 = icmp slt i32 %15, %16
%30 = select i1 %29, i32 %15, i32 %16
%31 = select i1 %29, i32 %16, i32 %15
%32 = select i1 %29, i8* %1, i8* %0
%33 = select i1 %29, i8* %0, i8* %1
%34 = add i32 %31, -1
%35 = icmp sgt i32 %30, 0
br i1 %35, label %36, label %62
36: ; preds = %28
%37 = sext i32 %34 to i64
%38 = zext i32 %30 to i64
br label %39
39: ; preds = %36, %39
%40 = phi i64 [ %38, %36 ], [ %43, %39 ]
%41 = phi i64 [ %37, %36 ], [ %56, %39 ]
%42 = phi i8 [ 0, %36 ], [ %55, %39 ]
%43 = add nsw i64 %40, -1
%44 = and i64 %43, 4294967295
%45 = getelementptr inbounds i8, i8* %33, i64 %44
%46 = load i8, i8* %45
%47 = getelementptr inbounds i8, i8* %32, i64 %41
%48 = load i8, i8* %47
%49 = or i8 %42, -48
%50 = add i8 %49, %46
%51 = add i8 %50, %48
%52 = icmp sgt i8 %51, 49
%53 = add nsw i8 %51, -2
%54 = select i1 %52, i8 %53, i8 %51
%55 = zext i1 %52 to i8
store i8 %54, i8* %47
%56 = add nsw i64 %41, -1
%57 = icmp ugt i64 %40, 1
br i1 %57, label %39, label %58
58: ; preds = %39
%59 = trunc i64 %41 to i32
%60 = trunc i64 %56 to i32
%61 = icmp slt i32 %59, 1
br i1 %61, label %64, label %72
62: ; preds = %28
%63 = icmp slt i32 %31, 1
br i1 %63, label %70, label %78
64: ; preds = %58
br i1 %52, label %65, label %70
65: ; preds = %64
%66 = add nsw i32 %15, 2
%67 = tail call i8* @calloc(i32 %66, i32 1)
%68 = getelementptr inbounds i8, i8* %67, i64 1
%69 = tail call i32 @memcpy(i8* %68, i8* %32, i32 %15)
store i8 49, i8* %67
br label %111
70: ; preds = %62, %64
%71 = tail call i8* @strdup(i8* %32)
br label %111
72: ; preds = %58
br i1 %52, label %73, label %78
73: ; preds = %72
%74 = and i64 %56, 4294967295
%75 = getelementptr inbounds i8, i8* %32, i64 %74
%76 = load i8, i8* %75
%77 = add i8 %76, 1
store i8 %77, i8* %75
br label %78
78: ; preds = %62, %73, %72
%79 = phi i32 [ %60, %73 ], [ %60, %72 ], [ %34, %62 ]
%80 = icmp sgt i32 %79, 0
br i1 %80, label %81, label %99
81: ; preds = %78
%82 = zext i32 %79 to i64
%83 = getelementptr inbounds i8, i8* %32, i64 %82
%84 = load i8, i8* %83
br label %85
85: ; preds = %81, %89
%86 = phi i8 [ %97, %89 ], [ %84, %81 ]
%87 = phi i32 [ %93, %89 ], [ %79, %81 ]
%88 = icmp sgt i8 %86, 49
br i1 %88, label %89, label %99
89: ; preds = %85
%90 = zext i32 %87 to i64
%91 = getelementptr inbounds i8, i8* %32, i64 %90
%92 = add nsw i8 %86, -2
store i8 %92, i8* %91
%93 = add nsw i32 %87, -1
%94 = zext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %32, i64 %94
%96 = load i8, i8* %95
%97 = add i8 %96, 1
store i8 %97, i8* %95
%98 = icmp sgt i32 %87, 1
br i1 %98, label %85, label %99
99: ; preds = %85, %89, %78
%100 = load i8, i8* %32
%101 = icmp sgt i8 %100, 49
br i1 %101, label %102, label %109
102: ; preds = %99
%103 = add nsw i8 %100, -2
store i8 %103, i8* %32
%104 = tail call i32 @strlen(i8* %32)
%105 = add nsw i32 %104, 2
%106 = tail call i8* @calloc(i32 %105, i32 1)
%107 = getelementptr inbounds i8, i8* %106, i64 1
%108 = tail call i32 @memcpy(i8* %107, i8* %32, i32 %105)
store i8 49, i8* %106
br label %111
109: ; preds = %99
%110 = tail call i8* @strdup(i8* %32)
br label %111
111: ; preds = %20, %23, %26, %65, %70, %102, %109, %12, %9, %6
%112 = phi i8* [ %13, %12 ], [ %10, %9 ], [ %7, %6 ], [ %67, %65 ], [ %71, %70 ], [ %106, %102 ], [ %110, %109 ], [ %27, %26 ], [ %24, %23 ], [ %21, %20 ]
ret i8* %112
}