#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 */
int /*<<< orphan*/ reverse(char *);
int strlen(char *);
void add(char *s1, char *s2) {
  reverse(s1);
  reverse(s2);
  int i = 0;
  int l1 = strlen(s1);
  int l2 = strlen(s2);
  int l = (l1 > l2) ? l1 : l2;
  int up = 0;
  for (i = 0; i < l1; ++i) {
    s1[i] = s1[i] - '0';
  }
  for (i = 0; i < l2; ++i) {
    s2[i] = s2[i] - '0';
  }
  for (i = 0; i < l; ++i) {
    int tmp = s1[i] + s2[i] + up;
    s1[i] = tmp % 10 + '0';
    up = tmp / 10;
  }
  if (up != 0) {
    s1[l] = up + '0';
    ++l;
    s1[l] = '\0';
  }
  reverse(s1);
}


x86 assembly (clang, -O0):
<add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <reverse@plt>
mov    -0x10(%rbp),%rdi
call   1030 <reverse@plt>
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    1178 <add+0x58>
mov    -0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    117e <add+0x5e>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11c8 <add+0xa8>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1192 <add+0x72>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1205 <add+0xe5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11cf <add+0xaf>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    126d <add+0x14d>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    120c <add+0xec>
cmpl   $0x0,-0x24(%rbp)
je     129f <add+0x17f>
mov    -0x24(%rbp),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
call   1030 <reverse@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<add>:
push   %rbp
push   %r14
push   %rbx
mov    %rsi,%r14
mov    %rdi,%rbx
call   1030 <reverse@plt>
mov    %r14,%rdi
call   1030 <reverse@plt>
mov    %rbx,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1040 <strlen@plt>
cmp    %eax,%ebp
mov    %eax,%r8d
cmovg  %ebp,%r8d
test   %ebp,%ebp
jle    126d <add+0x14d>
mov    %ebp,%edx
cmp    $0x8,%ebp
jae    1168 <add+0x48>
xor    %esi,%esi
jmp    1260 <add+0x140>
cmp    $0x20,%ebp
jae    1174 <add+0x54>
xor    %esi,%esi
jmp    122d <add+0x10d>
mov    %edx,%esi
and    $0xffffffe0,%esi
lea    -0x20(%rsi),%rdi
mov    %rdi,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
test   %rdi,%rdi
je     13ff <add+0x2df>
mov    %rcx,%rbp
and    $0xfffffffffffffffe,%rbp
xor    %edi,%edi
movdqa 0xe5e(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu (%rbx,%rdi,1),%xmm1
movdqu 0x10(%rbx,%rdi,1),%xmm2
movdqu 0x20(%rbx,%rdi,1),%xmm3
movdqu 0x30(%rbx,%rdi,1),%xmm4
paddb  %xmm0,%xmm1
paddb  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdi,1)
movdqu %xmm2,0x10(%rbx,%rdi,1)
paddb  %xmm0,%xmm3
paddb  %xmm0,%xmm4
movdqu %xmm3,0x20(%rbx,%rdi,1)
movdqu %xmm4,0x30(%rbx,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rbp
jne    11b0 <add+0x90>
test   $0x1,%cl
je     1223 <add+0x103>
movdqu (%rbx,%rdi,1),%xmm0
movdqu 0x10(%rbx,%rdi,1),%xmm1
movdqa 0xdf0(%rip),%xmm2
paddb  %xmm2,%xmm0
paddb  %xmm2,%xmm1
movdqu %xmm0,(%rbx,%rdi,1)
movdqu %xmm1,0x10(%rbx,%rdi,1)
cmp    %rdx,%rsi
je     126d <add+0x14d>
test   $0x18,%dl
je     1260 <add+0x140>
mov    %rsi,%rcx
mov    %edx,%esi
and    $0xfffffff8,%esi
movdqa 0xdd3(%rip),%xmm0
nopl   (%rax)
movq   (%rbx,%rcx,1),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,(%rbx,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rsi
jne    1240 <add+0x120>
cmp    %rdx,%rsi
je     126d <add+0x14d>
nopl   0x0(%rax)
addb   $0xd0,(%rbx,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    1260 <add+0x140>
test   %eax,%eax
jle    138e <add+0x26e>
mov    %eax,%edx
cmp    $0x8,%eax
jae    1283 <add+0x163>
xor    %eax,%eax
jmp    1380 <add+0x260>
cmp    $0x20,%eax
jae    128f <add+0x16f>
xor    %eax,%eax
jmp    134a <add+0x22a>
mov    %edx,%eax
and    $0xffffffe0,%eax
lea    -0x20(%rax),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
test   %rcx,%rcx
je     140f <add+0x2ef>
mov    %rdi,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %esi,%esi
movdqa 0xd43(%rip),%xmm0
nopl   (%rax)
movdqu (%r14,%rsi,1),%xmm1
movdqu 0x10(%r14,%rsi,1),%xmm2
movdqu 0x20(%r14,%rsi,1),%xmm3
movdqu 0x30(%r14,%rsi,1),%xmm4
paddb  %xmm0,%xmm1
paddb  %xmm0,%xmm2
movdqu %xmm1,(%r14,%rsi,1)
movdqu %xmm2,0x10(%r14,%rsi,1)
paddb  %xmm0,%xmm3
paddb  %xmm0,%xmm4
movdqu %xmm3,0x20(%r14,%rsi,1)
movdqu %xmm4,0x30(%r14,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rcx
jne    12c0 <add+0x1a0>
test   $0x1,%dil
je     1340 <add+0x220>
movdqu (%r14,%rsi,1),%xmm0
movdqu 0x10(%r14,%rsi,1),%xmm1
movdqa 0xcd5(%rip),%xmm2
paddb  %xmm2,%xmm0
paddb  %xmm2,%xmm1
movdqu %xmm0,(%r14,%rsi,1)
movdqu %xmm1,0x10(%r14,%rsi,1)
cmp    %rdx,%rax
je     138e <add+0x26e>
test   $0x18,%dl
je     1380 <add+0x260>
mov    %rax,%rcx
mov    %edx,%eax
and    $0xfffffff8,%eax
movdqa 0xcb6(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movq   (%r14,%rcx,1),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,(%r14,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rax
jne    1360 <add+0x240>
cmp    %rdx,%rax
je     138e <add+0x26e>
xchg   %ax,%ax
addb   $0xd0,(%r14,%rax,1)
add    $0x1,%rax
cmp    %rax,%rdx
jne    1380 <add+0x260>
test   %r8d,%r8d
jle    13f3 <add+0x2d3>
mov    %r8d,%edx
xor    %esi,%esi
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movsbl (%rbx,%rsi,1),%edi
add    %eax,%edi
movsbl (%r14,%rsi,1),%ecx
add    %edi,%ecx
movslq %ecx,%rdi
imul   $0x66666667,%rdi,%rax
mov    %rax,%rbp
shr    $0x3f,%rbp
sar    $0x22,%rax
add    %ebp,%eax
lea    (%rax,%rax,1),%ebp
lea    0x0(%rbp,%rbp,4),%ebp
sub    %ebp,%edi
add    $0x30,%dil
mov    %dil,(%rbx,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    13a0 <add+0x280>
add    $0x9,%ecx
cmp    $0x13,%ecx
jb     13f3 <add+0x2d3>
add    $0x30,%al
movslq %r8d,%rcx
mov    %al,(%rbx,%rcx,1)
movb   $0x0,0x1(%rbx,%rcx,1)
mov    %rbx,%rdi
pop    %rbx
pop    %r14
pop    %rbp
jmp    1030 <reverse@plt>
xor    %edi,%edi
test   $0x1,%cl
jne    11fd <add+0xdd>
jmp    1223 <add+0x103>
xor    %esi,%esi
test   $0x1,%dil
jne    1316 <add+0x1f6>
jmp    1340 <add+0x220>

LLVM IR (-O0):
define void @add(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
%11 = load i8*, i8** %3
%12 = call i32 @reverse(i8* %11)
%13 = load i8*, i8** %4
%14 = call i32 @reverse(i8* %13)
store i32 0, i32* %5
%15 = load i8*, i8** %3
%16 = call i32 @strlen(i8* %15)
store i32 %16, i32* %6
%17 = load i8*, i8** %4
%18 = call i32 @strlen(i8* %17)
store i32 %18, i32* %7
%19 = load i32, i32* %6
%20 = load i32, i32* %7
%21 = icmp sgt i32 %19, %20
br i1 %21, label %22, label %24
22: ; preds = %2
%23 = load i32, i32* %6
br label %26
24: ; preds = %2
%25 = load i32, i32* %7
br label %26
26: ; preds = %24, %22
%27 = phi i32 [ %23, %22 ], [ %25, %24 ]
store i32 %27, i32* %8
store i32 0, i32* %9
store i32 0, i32* %5
br label %28
28: ; preds = %45, %26
%29 = load i32, i32* %5
%30 = load i32, i32* %6
%31 = icmp slt i32 %29, %30
br i1 %31, label %32, label %48
32: ; preds = %28
%33 = load i8*, i8** %3
%34 = load i32, i32* %5
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = sub nsw i32 %38, 48
%40 = trunc i32 %39 to i8
%41 = load i8*, i8** %3
%42 = load i32, i32* %5
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
store i8 %40, i8* %44
br label %45
45: ; preds = %32
%46 = load i32, i32* %5
%47 = add nsw i32 %46, 1
store i32 %47, i32* %5
br label %28
48: ; preds = %28
store i32 0, i32* %5
br label %49
49: ; preds = %66, %48
%50 = load i32, i32* %5
%51 = load i32, i32* %7
%52 = icmp slt i32 %50, %51
br i1 %52, label %53, label %69
53: ; preds = %49
%54 = load i8*, i8** %4
%55 = load i32, i32* %5
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %54, i64 %56
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = sub nsw i32 %59, 48
%61 = trunc i32 %60 to i8
%62 = load i8*, i8** %4
%63 = load i32, i32* %5
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
store i8 %61, i8* %65
br label %66
66: ; preds = %53
%67 = load i32, i32* %5
%68 = add nsw i32 %67, 1
store i32 %68, i32* %5
br label %49
69: ; preds = %49
store i32 0, i32* %5
br label %70
70: ; preds = %100, %69
%71 = load i32, i32* %5
%72 = load i32, i32* %8
%73 = icmp slt i32 %71, %72
br i1 %73, label %74, label %103
74: ; preds = %70
%75 = load i8*, i8** %3
%76 = load i32, i32* %5
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = load i8*, i8** %4
%82 = load i32, i32* %5
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %81, i64 %83
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = add nsw i32 %80, %86
%88 = load i32, i32* %9
%89 = add nsw i32 %87, %88
store i32 %89, i32* %10
%90 = load i32, i32* %10
%91 = srem i32 %90, 10
%92 = add nsw i32 %91, 48
%93 = trunc i32 %92 to i8
%94 = load i8*, i8** %3
%95 = load i32, i32* %5
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %94, i64 %96
store i8 %93, i8* %97
%98 = load i32, i32* %10
%99 = sdiv i32 %98, 10
store i32 %99, i32* %9
br label %100
100: ; preds = %74
%101 = load i32, i32* %5
%102 = add nsw i32 %101, 1
store i32 %102, i32* %5
br label %70
103: ; preds = %70
%104 = load i32, i32* %9
%105 = icmp ne i32 %104, 0
br i1 %105, label %106, label %120
106: ; preds = %103
%107 = load i32, i32* %9
%108 = add nsw i32 %107, 48
%109 = trunc i32 %108 to i8
%110 = load i8*, i8** %3
%111 = load i32, i32* %8
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %110, i64 %112
store i8 %109, i8* %113
%114 = load i32, i32* %8
%115 = add nsw i32 %114, 1
store i32 %115, i32* %8
%116 = load i8*, i8** %3
%117 = load i32, i32* %8
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
store i8 0, i8* %119
br label %120
120: ; preds = %106, %103
%121 = load i8*, i8** %3
%122 = call i32 @reverse(i8* %121)
ret void
}

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