#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 /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, char *, char *, int, int);
int /*<<< orphan*/ reverse(char *);
char *strcat(char *, char *);
int strlen(char *);
char *bin_add(char *bin_one, char *bin_two) {
  int i;
  bool shouldCarry;
  char *bin_added = malloc(strlen(bin_two) + 1 + 1);
  bin_added[strlen(bin_two)] = '\0';
  i = (int)strlen(bin_two) - 1;
  shouldCarry = false;
  memset(bin_added, 0, strlen(bin_two) + 1 + 1);
  if (false) {
    printf("-   bin_add(%s, %s) %li, %i\n", bin_one, bin_two,
           strlen(bin_two) + 1, (int)strlen(bin_added));
  }
  for (; i >= 0; i--) {
    if (!shouldCarry) {
      if (bin_one[i] == '0' && bin_two[i] == '0') {
        bin_added = strcat(bin_added, "0");
        shouldCarry = false;
      } else if ((bin_one[i] == '0' && bin_two[i] == '1') ||
                 (bin_one[i] == '1' && bin_two[i] == '0')) {
        bin_added = strcat(bin_added, "1");
        shouldCarry = false;
      } else if (bin_one[i] == '1' && bin_two[i] == '1') {
        bin_added = strcat(bin_added, "0");
        shouldCarry = true;
      }
    } else {
      if (bin_one[i] == '0' && bin_two[i] == '0') {
        bin_added = strcat(bin_added, "1");
        shouldCarry = false;
      } else if ((bin_one[i] == '0' && bin_two[i] == '1') ||
                 (bin_one[i] == '1' && bin_two[i] == '0')) {
        bin_added = strcat(bin_added, "0");
        shouldCarry = true;
      } else if (bin_one[i] == '1' && bin_two[i] == '1') {
        bin_added = strcat(bin_added, "1");
        shouldCarry = true;
      }
    }
  }
  if (shouldCarry)
    bin_added = strcat(bin_added, "1");
  reverse(bin_added);
  return bin_added;
}


x86 assembly (clang, -O0):
<bin_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%edi
add    $0x1,%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
sub    $0x1,%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x28(%rbp),%rdi
mov    %eax,%edx
add    $0x1,%edx
add    $0x1,%edx
xor    %esi,%esi
call   1050 <memset@plt>
cmpl   $0x0,-0x14(%rbp)
jl     141d <bin_add+0x2cd>
cmpl   $0x0,-0x18(%rbp)
jne    12f8 <bin_add+0x1a8>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1230 <bin_add+0xe0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1230 <bin_add+0xe0>
mov    -0x20(%rbp),%rdi
lea    0xde5(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    12f3 <bin_add+0x1a3>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    125a <bin_add+0x10a>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
je     1284 <bin_add+0x134>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    12a4 <bin_add+0x154>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    12a4 <bin_add+0x154>
mov    -0x20(%rbp),%rdi
lea    0xd73(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    12ee <bin_add+0x19e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    12e9 <bin_add+0x199>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    12e9 <bin_add+0x199>
mov    -0x20(%rbp),%rdi
lea    0xd27(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    12ee <bin_add+0x19e>
jmp    12f3 <bin_add+0x1a3>
jmp    140a <bin_add+0x2ba>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1342 <bin_add+0x1f2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1342 <bin_add+0x1f2>
mov    -0x20(%rbp),%rdi
lea    0xcd5(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    1405 <bin_add+0x2b5>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    136c <bin_add+0x21c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
je     1396 <bin_add+0x246>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    13b6 <bin_add+0x266>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13b6 <bin_add+0x266>
mov    -0x20(%rbp),%rdi
lea    0xc5f(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    1400 <bin_add+0x2b0>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    13fb <bin_add+0x2ab>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    13fb <bin_add+0x2ab>
mov    -0x20(%rbp),%rdi
lea    0xc17(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    1400 <bin_add+0x2b0>
jmp    1405 <bin_add+0x2b5>
jmp    140a <bin_add+0x2ba>
jmp    140f <bin_add+0x2bf>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    11d2 <bin_add+0x82>
cmpl   $0x0,-0x18(%rbp)
je     143b <bin_add+0x2eb>
mov    -0x20(%rbp),%rdi
lea    0xbd0(%rip),%rsi
call   1070 <strcat@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <reverse@plt>
mov    -0x20(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bin_add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r15
mov    %rsi,%rdi
call   1040 <strlen@plt>
lea    0x2(%rax),%edi
call   1060 <malloc@plt>
mov    %rax,%r12
mov    %r14,%rdi
call   1040 <strlen@plt>
cltq
movb   $0x0,(%r12,%rax,1)
mov    %r14,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1040 <strlen@plt>
lea    0x2(%rax),%edx
xor    %ebx,%ebx
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <memset@plt>
test   %ebp,%ebp
jle    1259 <bin_add+0x119>
mov    %ebp,%ebp
add    $0x1,%rbp
jmp    11c6 <bin_add+0x86>
xor    %ebx,%ebx
mov    $0x31,%r13w
mov    %r12,%rdi
call   1040 <strlen@plt>
mov    %r13w,(%r12,%rax,1)
add    $0xffffffffffffffff,%rbp
cmp    $0x1,%rbp
jbe    1246 <bin_add+0x106>
lea    -0x2(%rbp),%eax
movzbl (%r15,%rax,1),%ecx
test   %ebx,%ebx
je     11f0 <bin_add+0xb0>
cmp    $0x31,%cl
je     1210 <bin_add+0xd0>
mov    $0x1,%ebx
cmp    $0x30,%cl
jne    11b8 <bin_add+0x78>
movzbl (%r14,%rax,1),%eax
cmp    $0x30,%al
je     11a4 <bin_add+0x64>
cmp    $0x31,%al
je     1237 <bin_add+0xf7>
jmp    11b8 <bin_add+0x78>
xor    %ebx,%ebx
cmp    $0x31,%cl
je     1224 <bin_add+0xe4>
cmp    $0x30,%cl
jne    11b8 <bin_add+0x78>
movzbl (%r14,%rax,1),%eax
xor    %ebx,%ebx
cmp    $0x30,%al
je     123c <bin_add+0xfc>
cmp    $0x31,%al
je     11a4 <bin_add+0x64>
jmp    11b8 <bin_add+0x78>
nopl   (%rax)
movzbl (%r14,%rax,1),%eax
mov    $0x1,%ebx
cmp    $0x31,%al
je     11a6 <bin_add+0x66>
cmp    $0x30,%al
je     1237 <bin_add+0xf7>
jmp    11b8 <bin_add+0x78>
movzbl (%r14,%rax,1),%eax
cmp    $0x31,%al
je     1237 <bin_add+0xf7>
cmp    $0x30,%al
je     11a4 <bin_add+0x64>
jmp    11b8 <bin_add+0x78>
mov    $0x1,%ebx
mov    $0x30,%r13w
jmp    11ab <bin_add+0x6b>
test   %ebx,%ebx
je     1259 <bin_add+0x119>
mov    %r12,%rdi
call   1040 <strlen@plt>
movw   $0x31,(%r12,%rax,1)
mov    %r12,%rdi
call   1030 <reverse@plt>
mov    %r12,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @bin_add(i8* nocapture %0, i8* %1) {
%3 = tail call i32 @strlen(i8* %1)
%4 = add nsw i32 %3, 2
%5 = tail call i8* @malloc(i32 %4)
%6 = tail call i32 @strlen(i8* %1)
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %5, i64 %7
store i8 0, i8* %8
%9 = tail call i32 @strlen(i8* %1)
%10 = tail call i32 @strlen(i8* %1)
%11 = add nsw i32 %10, 2
%12 = tail call i32 @memset(i8* %5, i32 0, i32 %11)
%13 = icmp sgt i32 %9, 0
br i1 %13, label %14, label %55
14: ; preds = %2
%15 = zext i32 %9 to i64
br label %16
16: ; preds = %14, %46
%17 = phi i64 [ %15, %14 ], [ %19, %46 ]
%18 = phi i32 [ 0, %14 ], [ %47, %46 ]
%19 = add nsw i64 %17, -1
%20 = icmp eq i32 %18, 0
%21 = and i64 %19, 4294967295
%22 = getelementptr inbounds i8, i8* %0, i64 %21
%23 = load i8, i8* %22
br i1 %20, label %24, label %32
24: ; preds = %16
switch i8 %23, label %46 [
i8 48, label %25
i8 49, label %28
]
25: ; preds = %24
%26 = getelementptr inbounds i8, i8* %1, i64 %21
%27 = load i8, i8* %26
switch i8 %27, label %46 [
i8 48, label %40
i8 49, label %31
]
28: ; preds = %24
%29 = getelementptr inbounds i8, i8* %1, i64 %21
%30 = load i8, i8* %29
switch i8 %30, label %46 [
i8 48, label %31
i8 49, label %40
]
31: ; preds = %28, %25
br label %40
32: ; preds = %16
switch i8 %23, label %46 [
i8 48, label %33
i8 49, label %36
]
33: ; preds = %32
%34 = getelementptr inbounds i8, i8* %1, i64 %21
%35 = load i8, i8* %34
switch i8 %35, label %46 [
i8 48, label %40
i8 49, label %39
]
36: ; preds = %32
%37 = getelementptr inbounds i8, i8* %1, i64 %21
%38 = load i8, i8* %37
switch i8 %38, label %46 [
i8 48, label %39
i8 49, label %40
]
39: ; preds = %36, %33
br label %40
40: ; preds = %36, %33, %28, %25, %39, %31
%41 = phi i16 [ 49, %31 ], [ 48, %39 ], [ 48, %25 ], [ 48, %28 ], [ 49, %33 ], [ 49, %36 ]
%42 = phi i32 [ 0, %31 ], [ 1, %39 ], [ 0, %25 ], [ 1, %28 ], [ 0, %33 ], [ 1, %36 ]
%43 = tail call i64 bitcast (i32 (i8*)* @strlen to i64 (i8*)*)(i8* %5)
%44 = getelementptr i8, i8* %5, i64 %43
%45 = bitcast i8* %44 to i16*
store i16 %41, i16* %45
br label %46
46: ; preds = %40, %36, %33, %28, %25, %32, %24
%47 = phi i32 [ 0, %24 ], [ 1, %32 ], [ 0, %25 ], [ 0, %28 ], [ 1, %33 ], [ 1, %36 ], [ %42, %40 ]
%48 = icmp ugt i64 %17, 1
br i1 %48, label %16, label %49
49: ; preds = %46
%50 = icmp eq i32 %47, 0
br i1 %50, label %55, label %51
51: ; preds = %49
%52 = tail call i64 bitcast (i32 (i8*)* @strlen to i64 (i8*)*)(i8* %5)
%53 = getelementptr i8, i8* %5, i64 %52
%54 = bitcast i8* %53 to i16*
store i16 49, i16* %54
br label %55
55: ; preds = %2, %51, %49
%56 = tail call i32 @reverse(i8* %5)
ret i8* %5
}