void add(char str1[], char str2[], char sum[]) {
  int i, j;
  for (i = 0; i < 1300; i++)
    sum[i] = str1[i] + str2[i];
  for (i = 0; i < 1300; i++) {
    if (sum[i] > 9) {
      sum[i + 1] = sum[i + 1] + sum[i] / 10;
      sum[i] = sum[i] % 10;
    }
  }
}


x86 assembly (clang, -O0):
<add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x514,-0x1c(%rbp)
jge    1159 <add+0x59>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <add+0x17>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x514,-0x1c(%rbp)
jge    11f5 <add+0xf5>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
jle    11e2 <add+0xe2>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x24(%rbp),%eax
add    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11e7 <add+0xe7>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1160 <add+0x60>
pop    %rbp
ret

x86 assembly (clang, -O2):
<add>:
lea    0x514(%rdx),%rax
lea    0x514(%rdi),%rcx
cmp    %rdx,%rcx
seta   %r9b
lea    0x514(%rsi),%rcx
cmp    %rdi,%rax
seta   %r10b
cmp    %rdx,%rcx
seta   %cl
cmp    %rsi,%rax
seta   %r8b
xor    %eax,%eax
test   %r10b,%r9b
jne    11f0 <add+0xf0>
and    %r8b,%cl
jne    11f0 <add+0xf0>
mov    $0x30,%eax
nopl   0x0(%rax)
movdqu -0x30(%rdi,%rax,1),%xmm0
movdqu -0x20(%rdi,%rax,1),%xmm1
movdqu -0x30(%rsi,%rax,1),%xmm2
paddb  %xmm0,%xmm2
movdqu -0x20(%rsi,%rax,1),%xmm0
paddb  %xmm1,%xmm0
movdqu %xmm2,-0x30(%rdx,%rax,1)
movdqu %xmm0,-0x20(%rdx,%rax,1)
movdqu -0x10(%rdi,%rax,1),%xmm0
movdqu (%rdi,%rax,1),%xmm1
movdqu -0x10(%rsi,%rax,1),%xmm2
paddb  %xmm0,%xmm2
movdqu (%rsi,%rax,1),%xmm0
paddb  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rdx,%rax,1)
movdqu %xmm0,(%rdx,%rax,1)
add    $0x40,%rax
cmp    $0x530,%rax
jne    1150 <add+0x50>
movq   0x500(%rdi),%xmm0
movq   0x500(%rsi),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,0x500(%rdx)
movq   0x508(%rdi),%xmm0
movq   0x508(%rsi),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,0x508(%rdx)
mov    $0x510,%eax
xchg   %ax,%ax
movzbl (%rsi,%rax,1),%ecx
add    (%rdi,%rax,1),%cl
mov    %cl,(%rdx,%rax,1)
movzbl 0x1(%rsi,%rax,1),%ecx
add    0x1(%rdi,%rax,1),%cl
mov    %cl,0x1(%rdx,%rax,1)
movzbl 0x2(%rsi,%rax,1),%ecx
add    0x2(%rdi,%rax,1),%cl
mov    %cl,0x2(%rdx,%rax,1)
movzbl 0x3(%rsi,%rax,1),%ecx
add    0x3(%rdi,%rax,1),%cl
mov    %cl,0x3(%rdx,%rax,1)
add    $0x4,%rax
cmp    $0x514,%rax
jne    11f0 <add+0xf0>
mov    $0x1,%eax
jmp    124c <add+0x14c>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rax
cmp    $0x515,%rax
je     1274 <add+0x174>
movzbl -0x1(%rdx,%rax,1),%ecx
cmp    $0xa,%cl
jl     1240 <add+0x140>
movzbl %cl,%esi
imul   $0xcd,%esi,%esi
shr    $0xb,%esi
add    %sil,(%rdx,%rax,1)
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
sub    %sil,%cl
mov    %cl,-0x1(%rdx,%rax,1)
jmp    1240 <add+0x140>
ret

LLVM IR (-O0):
define void @add(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
store i32 0, i32* %7
br label %9
9: ; preds = %31, %3
%10 = load i32, i32* %7
%11 = icmp slt i32 %10, 1300
br i1 %11, label %12, label %34
12: ; preds = %9
%13 = load i8*, i8** %4
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = load i8*, i8** %5
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = add nsw i32 %18, %24
%26 = trunc i32 %25 to i8
%27 = load i8*, i8** %6
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
store i8 %26, i8* %30
br label %31
31: ; preds = %12
%32 = load i32, i32* %7
%33 = add nsw i32 %32, 1
store i32 %33, i32* %7
br label %9
34: ; preds = %9
store i32 0, i32* %7
br label %35
35: ; preds = %81, %34
%36 = load i32, i32* %7
%37 = icmp slt i32 %36, 1300
br i1 %37, label %38, label %84
38: ; preds = %35
%39 = load i8*, i8** %6
%40 = load i32, i32* %7
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %39, i64 %41
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp sgt i32 %44, 9
br i1 %45, label %46, label %80
46: ; preds = %38
%47 = load i8*, i8** %6
%48 = load i32, i32* %7
%49 = add nsw i32 %48, 1
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %47, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = load i8*, i8** %6
%55 = load i32, i32* %7
%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 = sdiv i32 %59, 10
%61 = add nsw i32 %53, %60
%62 = trunc i32 %61 to i8
%63 = load i8*, i8** %6
%64 = load i32, i32* %7
%65 = add nsw i32 %64, 1
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %63, i64 %66
store i8 %62, i8* %67
%68 = load i8*, i8** %6
%69 = load i32, i32* %7
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %68, i64 %70
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = srem i32 %73, 10
%75 = trunc i32 %74 to i8
%76 = load i8*, i8** %6
%77 = load i32, i32* %7
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %76, i64 %78
store i8 %75, i8* %79
br label %80
80: ; preds = %46, %38
br label %81
81: ; preds = %80
%82 = load i32, i32* %7
%83 = add nsw i32 %82, 1
store i32 %83, i32* %7
br label %35
84: ; preds = %35
ret void
}

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