#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 /*<<< orphan*/ printf(char *, ...);
int strlen(char *);
char *sum_binary(char *num1, char *num2) {
  int num1_len = strlen(num1);
  int num2_len = strlen(num2);
  int result_len;
  if (num1_len > num2_len) {
    result_len = num1_len + 1;
  } else {
    result_len = num2_len + 1;
  }
  char *result = (char *)malloc(result_len);
  int i;
  for (i = 0; i < result_len - 1; i++) {
    result[i] = '0';
  }
  result[i] = '\0';
  int carry = 0;
  while (num1_len != 0 && num2_len != 0) {
    printf("num1 : %c num2 : %c carry : %d ", num1[num1_len - 1],
           num2[num2_len - 1], carry);
    if (num1[num1_len - 1] == '1' && num2[num2_len - 1] == '1') {
      if (carry == 1) {
        result[i - 1] = '1';
      } else {
        carry = 1;
      }
    } else if (num1[num1_len - 1] == '1' || num2[num2_len - 1] == '1') {
      if (carry == 1) {
        carry = 0;
      }
      result[i - 1] = '1';
    } else {
      if (carry == 1) {
        carry = 0;
        result[i - 1] = '1';
      }
    }
    printf(" result : %c\n", result[i - 1]);
    i--;
    num1_len--;
    num2_len--;
  }
  while (num2_len > 0) {
    printf("num1 : %c num2 : %c carry : %d ", num1[num1_len - 1],
           num2[num2_len - 1], carry);
    if (carry == 0)
      result[i - 1] = num2[num2_len - 1];
    else {
      if (num2[num2_len - 1] == '0') {
        result[i - 1] = '1';
        carry = 0;
      } else {
        result[i - 1] = '0';
      }
    }
    printf(" result : %c\n", result[i - 1]);
    i--;
    num2_len--;
  }
  while (num1_len > 0) {
    printf("Entering num1_loop\n");
    printf("num1 : %c num2 : %c carry : %d ", num1[num1_len - 1],
           num2[num2_len - 1], carry);
    if (carry == 0)
      result[i - 1] = num1[num1_len - 1];
    else {
      if (num1[num1_len - 1] == '0') {
        result[i - 1] = '1';
        carry = 0;
      } else {
        result[i - 1] = '0';
      }
    }
    printf(" result : %c\n", result[i - 1]);
    i--;
    num1_len--;
  }
  if (carry == 1)
    result[i - 1] = '1';
  return result;
}


x86 assembly (clang, -O0):
<sum_binary>:
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    1172 <sum_binary+0x42>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117b <sum_binary+0x4b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%edi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11b9 <sum_binary+0x89>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    118e <sum_binary+0x5e>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x30(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x31(%rbp)
je     11e5 <sum_binary+0xb5>
cmpl   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    11f5 <sum_binary+0xc5>
jmp    134e <sum_binary+0x21e>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x30(%rbp),%ecx
lea    0xddf(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    1288 <sum_binary+0x158>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    1288 <sum_binary+0x158>
cmpl   $0x1,-0x30(%rbp)
jne    127c <sum_binary+0x14c>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
jmp    1283 <sum_binary+0x153>
movl   $0x1,-0x30(%rbp)
jmp    130f <sum_binary+0x1df>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
je     12bc <sum_binary+0x18c>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    12e3 <sum_binary+0x1b3>
cmpl   $0x1,-0x30(%rbp)
jne    12cd <sum_binary+0x19d>
movl   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
jmp    130a <sum_binary+0x1da>
cmpl   $0x1,-0x30(%rbp)
jne    1305 <sum_binary+0x1d5>
movl   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
jmp    130a <sum_binary+0x1da>
jmp    130f <sum_binary+0x1df>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xcf9(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    11cc <sum_binary+0x9c>
jmp    1353 <sum_binary+0x223>
cmpl   $0x0,-0x18(%rbp)
jle    1442 <sum_binary+0x312>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x30(%rbp),%ecx
lea    0xc77(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x0,-0x30(%rbp)
jne    13bf <sum_binary+0x28f>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    140c <sum_binary+0x2dc>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13f6 <sum_binary+0x2c6>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
movl   $0x0,-0x30(%rbp)
jmp    1407 <sum_binary+0x2d7>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    140c <sum_binary+0x2dc>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xbfc(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1353 <sum_binary+0x223>
jmp    1447 <sum_binary+0x317>
cmpl   $0x0,-0x14(%rbp)
jle    1544 <sum_binary+0x414>
lea    0xbd6(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x30(%rbp),%ecx
lea    0xb75(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x0,-0x30(%rbp)
jne    14c1 <sum_binary+0x391>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    150e <sum_binary+0x3de>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    14f8 <sum_binary+0x3c8>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
movl   $0x0,-0x30(%rbp)
jmp    1509 <sum_binary+0x3d9>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    150e <sum_binary+0x3de>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xafa(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1447 <sum_binary+0x317>
cmpl   $0x1,-0x30(%rbp)
jne    155f <sum_binary+0x42f>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum_binary>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rsi,%rbx
mov    %rdi,0x28(%rsp)
call   1040 <strlen@plt>
mov    %eax,%r13d
mov    %rbx,0x18(%rsp)
mov    %rbx,%rdi
call   1040 <strlen@plt>
cmp    %eax,%r13d
mov    %eax,0x14(%rsp)
mov    %eax,%ebx
cmovg  %r13d,%ebx
lea    0x1(%rbx),%edi
call   1070 <malloc@plt>
mov    %rax,%rbp
xor    %r15d,%r15d
mov    $0x0,%r12d
test   %ebx,%ebx
jle    11b2 <sum_binary+0x62>
mov    %ebx,%edx
mov    %rbp,%rdi
mov    $0x30,%esi
call   1060 <memset@plt>
mov    %ebx,%r12d
mov    %r12d,%edi
movb   $0x0,0x0(%rbp,%rdi,1)
test   %r13d,%r13d
mov    %rbp,0x8(%rsp)
je     14a8 <sum_binary+0x358>
mov    0x14(%rsp),%edx
test   %edx,%edx
je     12ea <sum_binary+0x19a>
movslq %r13d,%rbx
movslq %edx,%rcx
mov    %edx,%eax
mov    0x18(%rsp),%rdx
mov    %r13d,%esi
lea    -0x1(%rcx,%rdx,1),%r13
mov    %esi,0x10(%rsp)
mov    %esi,%ecx
mov    %rcx,0x20(%rsp)
mov    0x28(%rsp),%rcx
lea    -0x1(%rbx,%rcx,1),%r12
mov    %rdi,0x30(%rsp)
lea    (%rdi,%rbp,1),%rbx
add    $0xffffffffffffffff,%rbx
mov    %rax,%rbp
xor    %r14d,%r14d
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl (%r12,%r14,1),%esi
movsbl 0x0(%r13,%r14,1),%edx
lea    0xdce(%rip),%rdi
mov    %r15d,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
cmpb   $0x31,(%r12,%r14,1)
movzbl 0x0(%r13,%r14,1),%eax
jne    1260 <sum_binary+0x110>
cmp    $0x31,%al
jne    1264 <sum_binary+0x114>
cmp    $0x1,%r15d
mov    $0x1,%r15d
je     1290 <sum_binary+0x140>
jmp    1295 <sum_binary+0x145>
nopl   0x0(%rax,%rax,1)
cmp    $0x31,%al
jne    1280 <sum_binary+0x130>
cmp    $0x1,%r15d
mov    $0x0,%eax
cmove  %eax,%r15d
jmp    1290 <sum_binary+0x140>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    $0x1,%r15d
mov    $0x0,%r15d
jne    1295 <sum_binary+0x145>
nopl   0x0(%rax)
movb   $0x31,(%rbx,%r14,1)
movsbl (%rbx,%r14,1),%esi
lea    0xd7f(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x20(%rsp),%rax
lea    (%rax,%r14,1),%ecx
mov    %r14,%rax
add    $0xffffffffffffffff,%rax
cmp    $0x1,%ecx
je     12cf <sum_binary+0x17f>
lea    (%r14,%rbp,1),%ecx
add    $0xffffffff,%ecx
mov    %rax,%r14
test   %ecx,%ecx
jne    1220 <sum_binary+0xd0>
mov    0x10(%rsp),%r13d
add    %eax,%r13d
mov    0x14(%rsp),%edx
add    %eax,%edx
mov    0x30(%rsp),%r12
add    %eax,%r12d
mov    0x8(%rsp),%rbp
test   %edx,%edx
jle    13b3 <sum_binary+0x263>
mov    %r13d,0x10(%rsp)
movslq %r13d,%r14
movslq %r12d,%r12
mov    %edx,%r13d
add    $0x1,%r13
mov    0x18(%rsp),%rbp
jmp    133c <sum_binary+0x1ec>
nopl   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rcx
mov    %al,-0x1(%rcx,%r12,1)
add    $0xffffffffffffffff,%r12
xor    %r15d,%r15d
movsbl %al,%esi
lea    0xcf5(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffffffffffff,%r13
cmp    $0x1,%r13
jbe    13a7 <sum_binary+0x257>
mov    0x28(%rsp),%rax
movsbl -0x1(%rax,%r14,1),%esi
lea    -0x2(%r13),%ebx
movsbl 0x0(%rbp,%rbx,1),%edx
lea    0xca9(%rip),%rdi
mov    %r15d,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
movzbl 0x0(%rbp,%rbx,1),%eax
test   %r15d,%r15d
je     1310 <sum_binary+0x1c0>
add    $0xffffffffffffffff,%r12
cmp    $0x30,%al
jne    1390 <sum_binary+0x240>
mov    0x8(%rsp),%rax
movb   $0x31,(%rax,%r12,1)
xor    %r15d,%r15d
mov    $0x31,%al
jmp    1321 <sum_binary+0x1d1>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x8(%rsp),%rax
movb   $0x30,(%rax,%r12,1)
mov    $0x1,%r15d
mov    $0x30,%al
jmp    1321 <sum_binary+0x1d1>
xor    %edx,%edx
mov    0x8(%rsp),%rbp
mov    0x10(%rsp),%r13d
test   %r13d,%r13d
jle    1488 <sum_binary+0x338>
mov    0x18(%rsp),%r14
movslq %edx,%rax
mov    %rax,0x20(%rsp)
movslq %r12d,%r12
mov    %r13d,%ebx
add    $0x1,%rbx
mov    0x28(%rsp),%r13
jmp    140c <sum_binary+0x2bc>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rbp
mov    %al,-0x1(%rbp,%r12,1)
add    $0xffffffffffffffff,%r12
xor    %r15d,%r15d
movsbl %al,%esi
lea    0xc25(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffffffffffff,%rbx
cmp    $0x1,%rbx
jbe    1488 <sum_binary+0x338>
lea    0xc1b(%rip),%rdi
call   1030 <puts@plt>
lea    -0x2(%rbx),%ebp
movsbl 0x0(%r13,%rbp,1),%esi
mov    0x20(%rsp),%rax
movsbl -0x1(%r14,%rax,1),%edx
lea    0xbcd(%rip),%rdi
mov    %r15d,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
movzbl 0x0(%r13,%rbp,1),%eax
test   %r15d,%r15d
je     13e0 <sum_binary+0x290>
add    $0xffffffffffffffff,%r12
cmp    $0x30,%al
jne    1470 <sum_binary+0x320>
mov    0x8(%rsp),%rbp
movb   $0x31,0x0(%rbp,%r12,1)
xor    %r15d,%r15d
mov    $0x31,%al
jmp    13f1 <sum_binary+0x2a1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x8(%rsp),%rbp
movb   $0x30,0x0(%rbp,%r12,1)
mov    $0x1,%r15d
mov    $0x30,%al
jmp    13f1 <sum_binary+0x2a1>
cmp    $0x1,%r15d
jne    1496 <sum_binary+0x346>
movslq %r12d,%rax
movb   $0x31,-0x1(%rax,%rbp,1)
mov    %rbp,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x14(%rsp),%edx
test   %edx,%edx
jg     12f2 <sum_binary+0x1a2>
jmp    13b3 <sum_binary+0x263>

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

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