#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*/ printf(char *, char *);
int /*<<< orphan*/ sprintf(char *, char *, int);
int strlen(char *);
int /*<<< orphan*/ strrev(char *);
void add(char *a, char *b) {
  int size_a = strlen(a);
  int size_b = strlen(b);
  char c[100] = "";
  int max = size_a > size_b ? size_a + 1 : size_b + 1;
  size_a--;
  size_b--;
  int p;
  int q;
  int carry = 0;
  int sum = 0;
  if (size_a > size_b) {
    p = size_a;
    q = size_b;
    for (p = size_a; p >= 0; p--) {
      if (q >= 0) {
        sum = ((int)(a[p] - 48) + (int)(b[q] - 48) + carry) % 10;
        carry = ((int)(a[p] - 48) + (int)(b[q] - 48) + carry) - sum;
        carry /= 10;
        q--;
      } else {
        sum = ((int)(a[p] - 48) + carry) % 10;
        carry = ((int)(a[p] - 48) + carry) - sum;
        carry /= 10;
      }
      sprintf(c + strlen(c), "%d", sum);
    }
    if (carry == 1)
      sprintf(c + strlen(c), "%d", carry);
    strrev(c);
    printf("%s\n", c);
  } else {
    p = size_a;
    q = size_b;
    for (q = size_b; q >= 0; q--) {
      if (p >= 0) {
        sum = ((int)(b[q] - 48) + (int)(a[p] - 48) + carry) % 10;
        carry = ((int)(b[q] - 48) + (int)(a[p] - 48) + carry) - sum;
        carry /= 10;
        p--;
      } else {
        sum = ((int)(b[q] - 48) + carry) % 10;
        carry = ((int)(b[q] - 48) + carry) - sum;
        carry /= 10;
      }
      sprintf(c + strlen(c), "%d", sum);
    }
    if (carry == 1)
      sprintf(c + strlen(c), "%d", carry);
    strrev(c);
    printf("%s\n", c);
  }
}


x86 assembly (clang, -O0):
<add>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%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)
lea    -0x80(%rbp),%rdi
xor    %esi,%esi
mov    $0x64,%edx
call   1050 <memset@plt>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    11a8 <add+0x58>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x98(%rbp)
jmp    11b4 <add+0x64>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x98(%rbp)
mov    -0x98(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x90(%rbp)
movl   $0x0,-0x94(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    13c2 <add+0x272>
mov    -0x14(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x88(%rbp)
cmpl   $0x0,-0x88(%rbp)
jl     1365 <add+0x215>
cmpl   $0x0,-0x8c(%rbp)
jl     12c1 <add+0x171>
mov    -0x8(%rbp),%rax
movslq -0x88(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
movslq -0x8c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x94(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x88(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x10(%rbp),%rcx
movslq -0x8c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x90(%rbp),%eax
sub    -0x94(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x90(%rbp)
mov    -0x8c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8c(%rbp)
jmp    131f <add+0x1cf>
mov    -0x8(%rbp),%rax
movslq -0x88(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x94(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x88(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x90(%rbp),%eax
sub    -0x94(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x90(%rbp)
lea    -0x80(%rbp),%rax
mov    %rax,-0xa0(%rbp)
lea    -0x80(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0xa0(%rbp),%rdi
cltq
add    %rax,%rdi
mov    -0x94(%rbp),%edx
lea    0xcb4(%rip),%rsi
call   1070 <sprintf@plt>
mov    -0x88(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x88(%rbp)
jmp    120d <add+0xbd>
cmpl   $0x1,-0x90(%rbp)
jne    13a4 <add+0x254>
lea    -0x80(%rbp),%rax
mov    %rax,-0xa8(%rbp)
lea    -0x80(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0xa8(%rbp),%rdi
cltq
add    %rax,%rdi
mov    -0x90(%rbp),%edx
lea    0xc61(%rip),%rsi
call   1070 <sprintf@plt>
lea    -0x80(%rbp),%rdi
call   1060 <strrev@plt>
lea    -0x80(%rbp),%rsi
lea    0xc4b(%rip),%rdi
call   1040 <printf@plt>
jmp    158d <add+0x43d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x8c(%rbp)
cmpl   $0x0,-0x8c(%rbp)
jl     1535 <add+0x3e5>
cmpl   $0x0,-0x88(%rbp)
jl     1491 <add+0x341>
mov    -0x10(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x8(%rbp),%rcx
movslq -0x88(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x94(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    -0x8(%rbp),%rcx
movslq -0x88(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
add    -0x90(%rbp),%eax
sub    -0x94(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x90(%rbp)
mov    -0x88(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x88(%rbp)
jmp    14ef <add+0x39f>
mov    -0x10(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x94(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
add    -0x90(%rbp),%eax
sub    -0x94(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x90(%rbp)
lea    -0x80(%rbp),%rax
mov    %rax,-0xb0(%rbp)
lea    -0x80(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0xb0(%rbp),%rdi
cltq
add    %rax,%rdi
mov    -0x94(%rbp),%edx
lea    0xae4(%rip),%rsi
call   1070 <sprintf@plt>
mov    -0x8c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8c(%rbp)
jmp    13dd <add+0x28d>
cmpl   $0x1,-0x90(%rbp)
jne    1574 <add+0x424>
lea    -0x80(%rbp),%rax
mov    %rax,-0xb8(%rbp)
lea    -0x80(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0xb8(%rbp),%rdi
cltq
add    %rax,%rdi
mov    -0x90(%rbp),%edx
lea    0xa91(%rip),%rsi
call   1070 <sprintf@plt>
lea    -0x80(%rbp),%rdi
call   1060 <strrev@plt>
lea    -0x80(%rbp),%rsi
lea    0xa7b(%rip),%rdi
call   1040 <printf@plt>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rsi,%rbp
mov    %rdi,%r13
call   1030 <strlen@plt>
mov    %eax,%ebx
mov    %rbp,0x8(%rsp)
mov    %rbp,%rdi
call   1030 <strlen@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movl   $0x0,0x70(%rsp)
lea    -0x1(%rbx),%ebp
lea    -0x1(%rax),%r15d
cmp    %eax,%ebx
jle    1271 <add+0x131>
test   %ebx,%ebx
jle    137a <add+0x23a>
mov    %ebp,%r14d
add    $0x1,%r14
xor    %ebp,%ebp
jmp    1229 <add+0xe9>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%rax,%rbp,1),%r12d
add    $0xffffffd0,%r12d
movslq %r12d,%rbx
imul   $0x66666667,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x22,%rax
add    %ecx,%eax
add    %eax,%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%ebx
movslq %r12d,%rax
imul   $0x66666667,%rax,%rbp
mov    %rbp,%rax
shr    $0x3f,%rax
sar    $0x22,%rbp
add    %eax,%ebp
lea    0x10(%rsp),%rdi
call   1030 <strlen@plt>
cltq
lea    (%rsp,%rax,1),%rdi
add    $0x10,%rdi
lea    0xde8(%rip),%rsi
mov    %ebx,%edx
call   1060 <sprintf@plt>
add    $0xffffffffffffffff,%r14
jle    133f <add+0x1ff>
movsbl -0x1(%r13,%r14,1),%eax
test   %r15d,%r15d
js     11c0 <add+0x80>
mov    %r15d,%ecx
mov    0x8(%rsp),%rdx
movsbl (%rdx,%rcx,1),%ecx
add    %eax,%ebp
lea    (%rcx,%rbp,1),%eax
add    $0xffffffa0,%eax
movslq %eax,%rbx
imul   $0x66666667,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x22,%rax
add    %ecx,%eax
add    %eax,%eax
lea    (%rax,%rax,4),%r12d
sub    %r12d,%ebx
add    $0xffffffff,%r15d
jmp    11e6 <add+0xa6>
test   %eax,%eax
jle    137a <add+0x23a>
mov    %r15d,%r15d
add    $0x1,%r15
xor    %r14d,%r14d
jmp    12f6 <add+0x1b6>
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%r14,%rax,1),%r12d
add    $0xffffffd0,%r12d
movslq %r12d,%rbx
imul   $0x66666667,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x22,%rax
add    %ecx,%eax
add    %eax,%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%ebx
movslq %r12d,%rax
imul   $0x66666667,%rax,%r14
mov    %r14,%rax
shr    $0x3f,%rax
sar    $0x22,%r14
add    %eax,%r14d
lea    0x10(%rsp),%rdi
call   1030 <strlen@plt>
cltq
lea    (%rsp,%rax,1),%rdi
add    $0x10,%rdi
lea    0xd17(%rip),%rsi
mov    %ebx,%edx
call   1060 <sprintf@plt>
add    $0xffffffffffffffff,%r15
jle    134b <add+0x20b>
mov    0x8(%rsp),%rax
movsbl -0x1(%rax,%r15,1),%eax
test   %ebp,%ebp
js     1290 <add+0x150>
mov    %ebp,%ecx
movsbl 0x0(%r13,%rcx,1),%ecx
add    %eax,%r14d
lea    (%rcx,%r14,1),%eax
add    $0xffffffa0,%eax
movslq %eax,%rbx
imul   $0x66666667,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x22,%rax
add    %ecx,%eax
add    %eax,%eax
lea    (%rax,%rax,4),%r12d
sub    %r12d,%ebx
add    $0xffffffff,%ebp
jmp    12b6 <add+0x176>
add    $0xfffffff6,%r12d
cmp    $0xa,%r12d
jb     1355 <add+0x215>
jmp    137a <add+0x23a>
add    $0xfffffff6,%r12d
cmp    $0x9,%r12d
ja     137a <add+0x23a>
lea    0x10(%rsp),%rdi
call   1030 <strlen@plt>
cltq
lea    (%rsp,%rax,1),%rdi
add    $0x10,%rdi
lea    0xc90(%rip),%rsi
mov    $0x1,%edx
call   1060 <sprintf@plt>
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
call   1050 <strrev@plt>
lea    0xc75(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printf@plt>
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.1 = [4 x i8] c"%s\0A\00"
define void @add(i8* %0, i8* %1) {
%3 = alloca [100 x i8]
%4 = tail call i32 @strlen(i8* %0)
%5 = tail call i32 @strlen(i8* %1)
%6 = getelementptr inbounds [100 x i8], [100 x i8]* %3, i64 0, i64 0
%7 = add i32 %4, -1
%8 = add i32 %5, -1
%9 = icmp sgt i32 %4, %5
br i1 %9, label %14, label %10
10: ; preds = %2
%11 = icmp sgt i32 %5, 0
br i1 %11, label %12, label %97
12: ; preds = %10
%13 = zext i32 %8 to i64
br label %55
14: ; preds = %2
%15 = icmp sgt i32 %4, 0
br i1 %15, label %16, label %97
16: ; preds = %14
%17 = zext i32 %7 to i64
br label %18
18: ; preds = %16, %41
%19 = phi i64 [ %17, %16 ], [ %50, %41 ]
%20 = phi i32 [ 0, %16 ], [ %45, %41 ]
%21 = phi i32 [ %8, %16 ], [ %42, %41 ]
%22 = icmp sgt i32 %21, -1
%23 = getelementptr inbounds i8, i8* %0, i64 %19
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
br i1 %22, label %26, label %37
26: ; preds = %18
%27 = zext i32 %21 to i64
%28 = getelementptr inbounds i8, i8* %1, i64 %27
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = add nsw i32 %20, -96
%32 = add nsw i32 %31, %25
%33 = add nsw i32 %32, %30
%34 = srem i32 %33, 10
%35 = sub nsw i32 %33, %34
%36 = add nsw i32 %21, -1
br label %41
37: ; preds = %18
%38 = add nsw i32 %20, -48
%39 = add nsw i32 %38, %25
%40 = srem i32 %39, 10
br label %41
41: ; preds = %37, %26
%42 = phi i32 [ %36, %26 ], [ %21, %37 ]
%43 = phi i32 [ %35, %26 ], [ %39, %37 ]
%44 = phi i32 [ %34, %26 ], [ %40, %37 ]
%45 = sdiv i32 %43, 10
%46 = call i32 @strlen(i8* %6)
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [100 x i8], [100 x i8]* %3, i64 0, i64 %47
%49 = call i32 @sprintf(i8* %48, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %44)
%50 = add nsw i64 %19, -1
%51 = icmp sgt i64 %19, 0
br i1 %51, label %18, label %52
52: ; preds = %41
%53 = add nsw i32 %43, -10
%54 = icmp ult i32 %53, 10
br i1 %54, label %92, label %97
55: ; preds = %12, %78
%56 = phi i64 [ %13, %12 ], [ %87, %78 ]
%57 = phi i32 [ 0, %12 ], [ %82, %78 ]
%58 = phi i32 [ %7, %12 ], [ %79, %78 ]
%59 = icmp sgt i32 %58, -1
%60 = getelementptr inbounds i8, i8* %1, i64 %56
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
br i1 %59, label %63, label %74
63: ; preds = %55
%64 = zext i32 %58 to i64
%65 = getelementptr inbounds i8, i8* %0, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = add nsw i32 %57, -96
%69 = add nsw i32 %68, %62
%70 = add nsw i32 %69, %67
%71 = srem i32 %70, 10
%72 = sub nsw i32 %70, %71
%73 = add nsw i32 %58, -1
br label %78
74: ; preds = %55
%75 = add nsw i32 %57, -48
%76 = add nsw i32 %75, %62
%77 = srem i32 %76, 10
br label %78
78: ; preds = %74, %63
%79 = phi i32 [ %73, %63 ], [ %58, %74 ]
%80 = phi i32 [ %72, %63 ], [ %76, %74 ]
%81 = phi i32 [ %71, %63 ], [ %77, %74 ]
%82 = sdiv i32 %80, 10
%83 = call i32 @strlen(i8* %6)
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds [100 x i8], [100 x i8]* %3, i64 0, i64 %84
%86 = call i32 @sprintf(i8* %85, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %81)
%87 = add nsw i64 %56, -1
%88 = icmp sgt i64 %56, 0
br i1 %88, label %55, label %89
89: ; preds = %78
%90 = add nsw i32 %80, -10
%91 = icmp ult i32 %90, 10
br i1 %91, label %92, label %97
92: ; preds = %89, %52
%93 = call i32 @strlen(i8* %6)
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [100 x i8], [100 x i8]* %3, i64 0, i64 %94
%96 = call i32 @sprintf(i8* %95, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 1)
br label %97
97: ; preds = %92, %89, %10, %52, %14
%98 = call i32 @strrev(i8* %6)
%99 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i8* %6)
ret void
}