void add_two_string(char *op1, char *op2, char *out) {
  int carry;
  int sum;
  carry = 0;
  while (*op1 != '\0' || *op2 != '\0') {
    sum = carry;
    if (*op1 != '\0') {
      sum += *op1++ - '0';
    }
    if (*op2 != '\0') {
      sum += *op2++ - '0';
    }
    carry = sum / 10;
    *out++ = sum % 10 + '0';
  }
  if (carry > 0) {
    *out++ = carry + '0';
    *out = '\0';
  } else {
    *out = '\0';
  }
  return;
}


x86 assembly (clang, -O0):
<add_two_string>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x21(%rbp)
jne    113c <add_two_string+0x3c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    114c <add_two_string+0x4c>
jmp    11dc <add_two_string+0xdc>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     117d <add_two_string+0x7d>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movsbl (%rax),%eax
sub    $0x30,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11a8 <add_two_string+0xa8>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
sub    $0x30,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    %dl,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    1117 <add_two_string+0x17>
cmpl   $0x0,-0x1c(%rbp)
jle    120b <add_two_string+0x10b>
mov    -0x1c(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
jmp    1212 <add_two_string+0x112>
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<add_two_string>:
push   %rbx
mov    (%rdi),%bl
test   %bl,%bl
sete   %r11b
mov    (%rsi),%r9b
xor    %ecx,%ecx
mov    %ebx,%eax
or     %r9b,%al
je     1197 <add_two_string+0x97>
xor    %r8d,%r8d
xor    %ecx,%ecx
xchg   %ax,%ax
movsbl %bl,%eax
add    $0xffffffd0,%eax
mov    %r11d,%ebx
not    %bl
movzbl %bl,%r10d
and    $0x1,%r10d
test   $0x1,%r11b
cmovne %r8d,%eax
add    %ecx,%eax
movsbl %r9b,%ecx
lea    -0x30(%rcx),%ebx
xor    %r11d,%r11d
test   %cl,%cl
cmove  %r8d,%ebx
setne  %r11b
add    %eax,%ebx
movslq %ebx,%rax
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rbx
shr    $0x3f,%rbx
sar    $0x22,%rcx
add    %ebx,%ecx
lea    (%rcx,%rcx,1),%ebx
lea    (%rbx,%rbx,4),%ebx
sub    %ebx,%eax
add    $0x30,%al
mov    %al,(%rdx)
movzbl (%rdi,%r10,1),%ebx
add    %r10,%rdi
movzbl (%rsi,%r11,1),%r9d
add    %r11,%rsi
add    $0x1,%rdx
test   %bl,%bl
sete   %r11b
mov    %ebx,%eax
or     %r9b,%al
jne    1120 <add_two_string+0x20>
test   %ecx,%ecx
jle    11a4 <add_two_string+0xa4>
add    $0x30,%cl
mov    %cl,(%rdx)
add    $0x1,%rdx
movb   $0x0,(%rdx)
pop    %rbx
ret

LLVM IR (-O0):
define void @add_two_string(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 = %48, %3
%10 = load i8*, i8** %4
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp ne i32 %12, 0
br i1 %13, label %19, label %14
14: ; preds = %9
%15 = load i8*, i8** %5
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp ne i32 %17, 0
br label %19
19: ; preds = %14, %9
%20 = phi i1 [ true, %9 ], [ %18, %14 ]
br i1 %20, label %21, label %57
21: ; preds = %19
%22 = load i32, i32* %7
store i32 %22, i32* %8
%23 = load i8*, i8** %4
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %35
27: ; preds = %21
%28 = load i8*, i8** %4
%29 = getelementptr inbounds i8, i8* %28, i32 1
store i8* %29, i8** %4
%30 = load i8, i8* %28
%31 = sext i8 %30 to i32
%32 = sub nsw i32 %31, 48
%33 = load i32, i32* %8
%34 = add nsw i32 %33, %32
store i32 %34, i32* %8
br label %35
35: ; preds = %27, %21
%36 = load i8*, i8** %5
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %48
40: ; preds = %35
%41 = load i8*, i8** %5
%42 = getelementptr inbounds i8, i8* %41, i32 1
store i8* %42, i8** %5
%43 = load i8, i8* %41
%44 = sext i8 %43 to i32
%45 = sub nsw i32 %44, 48
%46 = load i32, i32* %8
%47 = add nsw i32 %46, %45
store i32 %47, i32* %8
br label %48
48: ; preds = %40, %35
%49 = load i32, i32* %8
%50 = sdiv i32 %49, 10
store i32 %50, i32* %7
%51 = load i32, i32* %8
%52 = srem i32 %51, 10
%53 = add nsw i32 %52, 48
%54 = trunc i32 %53 to i8
%55 = load i8*, i8** %6
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %6
store i8 %54, i8* %55
br label %9
57: ; preds = %19
%58 = load i32, i32* %7
%59 = icmp sgt i32 %58, 0
br i1 %59, label %60, label %67
60: ; preds = %57
%61 = load i32, i32* %7
%62 = add nsw i32 %61, 48
%63 = trunc i32 %62 to i8
%64 = load i8*, i8** %6
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %6
store i8 %63, i8* %64
%66 = load i8*, i8** %6
store i8 0, i8* %66
br label %69
67: ; preds = %57
%68 = load i8*, i8** %6
store i8 0, i8* %68
br label %69
69: ; preds = %67, %60
ret void
}

LLVM IR (-O2):
define void @add_two_string(i8* nocapture %0, i8* nocapture %1, i8* nocapture writeonly %2) {
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
%6 = load i8, i8* %1
%7 = icmp eq i8 %6, 0
%8 = select i1 %5, i1 %7, i1 false
br i1 %8, label %42, label %9
9: ; preds = %3, %9
%10 = phi i8 [ %39, %9 ], [ %6, %3 ]
%11 = phi i1 [ %38, %9 ], [ %5, %3 ]
%12 = phi i8 [ %37, %9 ], [ %4, %3 ]
%13 = phi i32 [ %32, %9 ], [ 0, %3 ]
%14 = phi i8* [ %36, %9 ], [ %2, %3 ]
%15 = phi i8* [ %29, %9 ], [ %1, %3 ]
%16 = phi i8* [ %21, %9 ], [ %0, %3 ]
%17 = sext i8 %12 to i32
%18 = add nsw i32 %17, -48
%19 = xor i1 %11, true
%20 = zext i1 %19 to i64
%21 = getelementptr i8, i8* %16, i64 %20
%22 = select i1 %11, i32 0, i32 %18
%23 = add nsw i32 %22, %13
%24 = icmp eq i8 %10, 0
%25 = sext i8 %10 to i32
%26 = add nsw i32 %25, -48
%27 = xor i1 %24, true
%28 = zext i1 %27 to i64
%29 = getelementptr i8, i8* %15, i64 %28
%30 = select i1 %24, i32 0, i32 %26
%31 = add nsw i32 %23, %30
%32 = sdiv i32 %31, 10
%33 = srem i32 %31, 10
%34 = trunc i32 %33 to i8
%35 = add nsw i8 %34, 48
%36 = getelementptr inbounds i8, i8* %14, i64 1
store i8 %35, i8* %14
%37 = load i8, i8* %21
%38 = icmp eq i8 %37, 0
%39 = load i8, i8* %29
%40 = icmp eq i8 %39, 0
%41 = select i1 %38, i1 %40, i1 false
br i1 %41, label %42, label %9
42: ; preds = %9, %3
%43 = phi i8* [ %2, %3 ], [ %36, %9 ]
%44 = phi i32 [ 0, %3 ], [ %32, %9 ]
%45 = icmp sgt i32 %44, 0
br i1 %45, label %46, label %50
46: ; preds = %42
%47 = trunc i32 %44 to i8
%48 = add i8 %47, 48
%49 = getelementptr inbounds i8, i8* %43, i64 1
store i8 %48, i8* %43
br label %50
50: ; preds = %42, %46
%51 = phi i8* [ %49, %46 ], [ %43, %42 ]
store i8 0, i8* %51
ret void
}