char *add_cint(char *a, char *b) {
  unsigned int len_a = charlen(a);
  unsigned int len_b = charlen(b);
  unsigned int min_len = ({
    __typeof__(len_a) _a = (len_a);
    __typeof__(len_b) _b = (len_b);
    _a < _b ? _a : _b;
  });
  unsigned int max_len = ({
    __typeof__(len_a) _a = (len_a);
    __typeof__(len_b) _b = (len_b);
    _a > _b ? _a : _b;
  });
  unsigned int sum_len = max_len + 1;
  char *sum = (char *)malloc(sum_len * sizeof(char));
  char *digit_sum = (char *)malloc(sizeof(char));
  *digit_sum = 0;
  a += len_a - 1;
  b += len_b - 1;
  while (min_len > 0) {
    addchar2(a--, b--, sum++, digit_sum);
    min_len--;
  }
  sum_len -= 1;
  if (len_a >= len_b) {
    while (sum_len > len_b) {
      addchar1(a--, sum++, digit_sum);
      sum_len--;
    }
  } else {
    while (sum_len > len_a) {
      addchar1(b--, sum++, digit_sum);
      sum_len--;
    }
  }
  if (*digit_sum > 0) {
    *sum = *digit_sum + '0';
    sum++;
    *sum = '\0';
    return (sum - max_len - 1);
  }
  *sum = '\0';
  return adjust(sum - max_len);
}


x86 assembly (clang, -O0):
<add_cint>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1070 <charlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
mov    $0x0,%al
call   1070 <charlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    119f <add_cint+0x4f>
mov    -0x28(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    11a5 <add_cint+0x55>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jbe    11d4 <add_cint+0x84>
mov    -0x38(%rbp),%eax
mov    %eax,-0x60(%rbp)
jmp    11da <add_cint+0x8a>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,%edi
shl    $0x0,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x50(%rbp)
mov    $0x1,%edi
call   1050 <malloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x0,-0x24(%rbp)
jbe    128c <add_cint+0x13c>
mov    -0x10(%rbp),%rdi
mov    %rdi,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
mov    %rsi,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x50(%rbp),%rdx
mov    %rdx,%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rcx
mov    $0x0,%al
call   1060 <addchar2@plt>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    123c <add_cint+0xec>
mov    -0x44(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jb     12ee <add_cint+0x19e>
jmp    12a6 <add_cint+0x156>
mov    -0x44(%rbp),%eax
cmp    -0x20(%rbp),%eax
jbe    12e9 <add_cint+0x199>
mov    -0x10(%rbp),%rdi
mov    %rdi,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
mov    -0x50(%rbp),%rsi
mov    %rsi,%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rdx
mov    $0x0,%al
call   1040 <addchar1@plt>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
jmp    12a6 <add_cint+0x156>
jmp    133b <add_cint+0x1eb>
jmp    12f3 <add_cint+0x1a3>
mov    -0x44(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jbe    1336 <add_cint+0x1e6>
mov    -0x18(%rbp),%rdi
mov    %rdi,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x50(%rbp),%rsi
mov    %rsi,%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rdx
mov    $0x0,%al
call   1040 <addchar1@plt>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
jmp    12f3 <add_cint+0x1a3>
jmp    133b <add_cint+0x1eb>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jle    138e <add_cint+0x23e>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x50(%rbp),%rax
mov    %cl,(%rax)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x50(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%edx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    13b3 <add_cint+0x263>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x50(%rbp),%rdi
mov    -0x34(%rbp),%eax
mov    %eax,%ecx
xor    %eax,%eax
sub    %rcx,%rax
add    %rax,%rdi
mov    $0x0,%al
call   1030 <adjust@plt>
cltq
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<add_cint>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r15
mov    %rdi,%r12
xor    %eax,%eax
call   1070 <charlen@plt>
mov    %eax,%ebx
mov    %r15,%rdi
xor    %eax,%eax
call   1070 <charlen@plt>
mov    %eax,%ebp
cmp    %eax,%ebx
mov    %eax,%r14d
cmovb  %ebx,%r14d
cmova  %ebx,%eax
mov    %rax,(%rsp)
lea    0x1(%rax),%edi
call   1050 <malloc@plt>
mov    %rax,%r13
mov    $0x1,%edi
call   1050 <malloc@plt>
movb   $0x0,(%rax)
mov    %rbx,0x10(%rsp)
lea    -0x1(%rbx),%edi
add    %r12,%rdi
mov    %rbp,0x8(%rsp)
lea    -0x1(%rbp),%esi
add    %r15,%rsi
test   %r14d,%r14d
mov    %rax,%r12
je     11ed <add_cint+0x9d>
nop
lea    -0x1(%rdi),%rbp
lea    -0x1(%rsi),%r15
lea    0x1(%r13),%rbx
mov    %r13,%rdx
mov    %r12,%rcx
xor    %eax,%eax
call   1060 <addchar2@plt>
mov    %r12,%rdx
mov    %rbx,%r13
mov    %rbp,%rdi
mov    %r15,%rsi
add    $0xffffffff,%r14d
jne    11c0 <add_cint+0x70>
jmp    11f9 <add_cint+0xa9>
mov    %rax,%rdx
mov    %rsi,%r15
mov    %rdi,%rbp
mov    %r13,%rbx
mov    0x10(%rsp),%rax
cmp    0x8(%rsp),%eax
jae    1239 <add_cint+0xe9>
mov    (%rsp),%rax
mov    %eax,%ebp
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r15),%r14
lea    0x1(%rbx),%r13
mov    %r15,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1040 <addchar1@plt>
mov    %r12,%rdx
add    $0xffffffff,%ebp
mov    %r13,%rbx
mov    %r14,%r15
cmp    0x10(%rsp),%ebp
ja     1210 <add_cint+0xc0>
jmp    1271 <add_cint+0x121>
jbe    126e <add_cint+0x11e>
mov    0x8(%rsp),%r15
lea    -0x1(%rbp),%r14
lea    0x1(%rbx),%r13
mov    %rbp,%rdi
mov    %rax,%rbp
mov    %rbx,%rsi
xor    %eax,%eax
call   1040 <addchar1@plt>
mov    %rbp,%rax
mov    %r12,%rdx
add    $0xffffffff,%eax
mov    %r13,%rbx
mov    %r14,%rbp
cmp    %r15d,%eax
ja     1240 <add_cint+0xf0>
jmp    1271 <add_cint+0x121>
mov    %rbx,%r13
mov    (%rdx),%al
test   %al,%al
jle    1291 <add_cint+0x141>
add    $0x30,%al
mov    %al,0x0(%r13)
movb   $0x0,0x1(%r13)
mov    (%rsp),%eax
not    %rax
add    %r13,%rax
add    $0x1,%rax
jmp    12a8 <add_cint+0x158>
movb   $0x0,0x0(%r13)
mov    (%rsp),%eax
sub    %rax,%r13
mov    %r13,%rdi
xor    %eax,%eax
call   1030 <adjust@plt>
cltq
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @add_cint(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i8*
%18 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
%19 = load i8*, i8** %4
%20 = call i32 (i8*, ...) bitcast (i32 (...)* @charlen to i32 (i8*, ...)*)(i8* %19)
store i32 %20, i32* %6
%21 = load i8*, i8** %5
%22 = call i32 (i8*, ...) bitcast (i32 (...)* @charlen to i32 (i8*, ...)*)(i8* %21)
store i32 %22, i32* %7
%23 = load i32, i32* %6
store i32 %23, i32* %9
%24 = load i32, i32* %7
store i32 %24, i32* %10
%25 = load i32, i32* %9
%26 = load i32, i32* %10
%27 = icmp ult i32 %25, %26
br i1 %27, label %28, label %30
28: ; preds = %2
%29 = load i32, i32* %9
br label %32
30: ; preds = %2
%31 = load i32, i32* %10
br label %32
32: ; preds = %30, %28
%33 = phi i32 [ %29, %28 ], [ %31, %30 ]
store i32 %33, i32* %11
%34 = load i32, i32* %11
store i32 %34, i32* %8
%35 = load i32, i32* %6
store i32 %35, i32* %13
%36 = load i32, i32* %7
store i32 %36, i32* %14
%37 = load i32, i32* %13
%38 = load i32, i32* %14
%39 = icmp ugt i32 %37, %38
br i1 %39, label %40, label %42
40: ; preds = %32
%41 = load i32, i32* %13
br label %44
42: ; preds = %32
%43 = load i32, i32* %14
br label %44
44: ; preds = %42, %40
%45 = phi i32 [ %41, %40 ], [ %43, %42 ]
store i32 %45, i32* %15
%46 = load i32, i32* %15
store i32 %46, i32* %12
%47 = load i32, i32* %12
%48 = add i32 %47, 1
store i32 %48, i32* %16
%49 = load i32, i32* %16
%50 = zext i32 %49 to i64
%51 = mul i64 %50, 1
%52 = call i8* @malloc(i64 %51)
store i8* %52, i8** %17
%53 = call i8* @malloc(i64 1)
store i8* %53, i8** %18
%54 = load i8*, i8** %18
store i8 0, i8* %54
%55 = load i32, i32* %6
%56 = sub i32 %55, 1
%57 = load i8*, i8** %4
%58 = zext i32 %56 to i64
%59 = getelementptr inbounds i8, i8* %57, i64 %58
store i8* %59, i8** %4
%60 = load i32, i32* %7
%61 = sub i32 %60, 1
%62 = load i8*, i8** %5
%63 = zext i32 %61 to i64
%64 = getelementptr inbounds i8, i8* %62, i64 %63
store i8* %64, i8** %5
br label %65
65: ; preds = %68, %44
%66 = load i32, i32* %8
%67 = icmp ugt i32 %66, 0
br i1 %67, label %68, label %79
68: ; preds = %65
%69 = load i8*, i8** %4
%70 = getelementptr inbounds i8, i8* %69, i32 -1
store i8* %70, i8** %4
%71 = load i8*, i8** %5
%72 = getelementptr inbounds i8, i8* %71, i32 -1
store i8* %72, i8** %5
%73 = load i8*, i8** %17
%74 = getelementptr inbounds i8, i8* %73, i32 1
store i8* %74, i8** %17
%75 = load i8*, i8** %18
%76 = call i32 (i8*, i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar2 to i32 (i8*, i8*, i8*, i8*, ...)*)(i8* %69, i8* %71, i8* %73, i8* %75)
%77 = load i32, i32* %8
%78 = add i32 %77, -1
store i32 %78, i32* %8
br label %65
79: ; preds = %65
%80 = load i32, i32* %16
%81 = sub i32 %80, 1
store i32 %81, i32* %16
%82 = load i32, i32* %6
%83 = load i32, i32* %7
%84 = icmp uge i32 %82, %83
br i1 %84, label %85, label %100
85: ; preds = %79
br label %86
86: ; preds = %90, %85
%87 = load i32, i32* %16
%88 = load i32, i32* %7
%89 = icmp ugt i32 %87, %88
br i1 %89, label %90, label %99
90: ; preds = %86
%91 = load i8*, i8** %4
%92 = getelementptr inbounds i8, i8* %91, i32 -1
store i8* %92, i8** %4
%93 = load i8*, i8** %17
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %17
%95 = load i8*, i8** %18
%96 = call i32 (i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar1 to i32 (i8*, i8*, i8*, ...)*)(i8* %91, i8* %93, i8* %95)
%97 = load i32, i32* %16
%98 = add i32 %97, -1
store i32 %98, i32* %16
br label %86
99: ; preds = %86
br label %115
100: ; preds = %79
br label %101
101: ; preds = %105, %100
%102 = load i32, i32* %16
%103 = load i32, i32* %6
%104 = icmp ugt i32 %102, %103
br i1 %104, label %105, label %114
105: ; preds = %101
%106 = load i8*, i8** %5
%107 = getelementptr inbounds i8, i8* %106, i32 -1
store i8* %107, i8** %5
%108 = load i8*, i8** %17
%109 = getelementptr inbounds i8, i8* %108, i32 1
store i8* %109, i8** %17
%110 = load i8*, i8** %18
%111 = call i32 (i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar1 to i32 (i8*, i8*, i8*, ...)*)(i8* %106, i8* %108, i8* %110)
%112 = load i32, i32* %16
%113 = add i32 %112, -1
store i32 %113, i32* %16
br label %101
114: ; preds = %101
br label %115
115: ; preds = %114, %99
%116 = load i8*, i8** %18
%117 = load i8, i8* %116
%118 = sext i8 %117 to i32
%119 = icmp sgt i32 %118, 0
br i1 %119, label %120, label %136
120: ; preds = %115
%121 = load i8*, i8** %18
%122 = load i8, i8* %121
%123 = sext i8 %122 to i32
%124 = add nsw i32 %123, 48
%125 = trunc i32 %124 to i8
%126 = load i8*, i8** %17
store i8 %125, i8* %126
%127 = load i8*, i8** %17
%128 = getelementptr inbounds i8, i8* %127, i32 1
store i8* %128, i8** %17
%129 = load i8*, i8** %17
store i8 0, i8* %129
%130 = load i8*, i8** %17
%131 = load i32, i32* %12
%132 = zext i32 %131 to i64
%133 = sub i64 0, %132
%134 = getelementptr inbounds i8, i8* %130, i64 %133
%135 = getelementptr inbounds i8, i8* %134, i64 -1
store i8* %135, i8** %3
br label %146
136: ; preds = %115
%137 = load i8*, i8** %17
store i8 0, i8* %137
%138 = load i8*, i8** %17
%139 = load i32, i32* %12
%140 = zext i32 %139 to i64
%141 = sub i64 0, %140
%142 = getelementptr inbounds i8, i8* %138, i64 %141
%143 = call i32 (i8*, ...) bitcast (i32 (...)* @adjust to i32 (i8*, ...)*)(i8* %142)
%144 = sext i32 %143 to i64
%145 = inttoptr i64 %144 to i8*
store i8* %145, i8** %3
br label %146
146: ; preds = %136, %120
%147 = load i8*, i8** %3
ret i8* %147
}

LLVM IR (-O2):
define i8* @add_cint(i8* %0, i8* %1) {
%3 = tail call i32 (i8*, ...) bitcast (i32 (...)* @charlen to i32 (i8*, ...)*)(i8* %0)
%4 = tail call i32 (i8*, ...) bitcast (i32 (...)* @charlen to i32 (i8*, ...)*)(i8* %1)
%5 = icmp ult i32 %3, %4
%6 = select i1 %5, i32 %3, i32 %4
%7 = icmp ugt i32 %3, %4
%8 = select i1 %7, i32 %3, i32 %4
%9 = add i32 %8, 1
%10 = zext i32 %9 to i64
%11 = tail call i8* @malloc(i64 %10)
%12 = tail call dereferenceable_or_null(1) i8* @malloc(i64 1)
store i8 0, i8* %12
%13 = add i32 %3, -1
%14 = zext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = add i32 %4, -1
%17 = zext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %1, i64 %17
%19 = icmp eq i32 %6, 0
br i1 %19, label %31, label %20
20: ; preds = %2, %20
%21 = phi i8* [ %27, %20 ], [ %11, %2 ]
%22 = phi i8* [ %25, %20 ], [ %15, %2 ]
%23 = phi i8* [ %26, %20 ], [ %18, %2 ]
%24 = phi i32 [ %29, %20 ], [ %6, %2 ]
%25 = getelementptr inbounds i8, i8* %22, i64 -1
%26 = getelementptr inbounds i8, i8* %23, i64 -1
%27 = getelementptr inbounds i8, i8* %21, i64 1
%28 = tail call i32 (i8*, i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar2 to i32 (i8*, i8*, i8*, i8*, ...)*)(i8* %22, i8* %23, i8* %21, i8* %12)
%29 = add i32 %24, -1
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %20
31: ; preds = %20, %2
%32 = phi i8* [ %18, %2 ], [ %26, %20 ]
%33 = phi i8* [ %15, %2 ], [ %25, %20 ]
%34 = phi i8* [ %11, %2 ], [ %27, %20 ]
br i1 %5, label %45, label %35
35: ; preds = %31
br i1 %7, label %36, label %54
36: ; preds = %35, %36
%37 = phi i8* [ %41, %36 ], [ %34, %35 ]
%38 = phi i32 [ %43, %36 ], [ %3, %35 ]
%39 = phi i8* [ %40, %36 ], [ %33, %35 ]
%40 = getelementptr inbounds i8, i8* %39, i64 -1
%41 = getelementptr inbounds i8, i8* %37, i64 1
%42 = tail call i32 (i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar1 to i32 (i8*, i8*, i8*, ...)*)(i8* %39, i8* %37, i8* %12)
%43 = add i32 %38, -1
%44 = icmp ugt i32 %43, %4
br i1 %44, label %36, label %54
45: ; preds = %31, %45
%46 = phi i8* [ %50, %45 ], [ %34, %31 ]
%47 = phi i32 [ %52, %45 ], [ %8, %31 ]
%48 = phi i8* [ %49, %45 ], [ %32, %31 ]
%49 = getelementptr inbounds i8, i8* %48, i64 -1
%50 = getelementptr inbounds i8, i8* %46, i64 1
%51 = tail call i32 (i8*, i8*, i8*, ...) bitcast (i32 (...)* @addchar1 to i32 (i8*, i8*, i8*, ...)*)(i8* %48, i8* %46, i8* %12)
%52 = add i32 %47, -1
%53 = icmp ugt i32 %52, %3
br i1 %53, label %45, label %54
54: ; preds = %36, %45, %35
%55 = phi i8* [ %34, %35 ], [ %50, %45 ], [ %41, %36 ]
%56 = load i8, i8* %12
%57 = icmp sgt i8 %56, 0
br i1 %57, label %58, label %65
58: ; preds = %54
%59 = add nuw i8 %56, 48
store i8 %59, i8* %55
%60 = getelementptr inbounds i8, i8* %55, i64 1
store i8 0, i8* %60
%61 = zext i32 %8 to i64
%62 = sub nsw i64 0, %61
%63 = getelementptr inbounds i8, i8* %60, i64 %62
%64 = getelementptr inbounds i8, i8* %63, i64 -1
br label %72
65: ; preds = %54
store i8 0, i8* %55
%66 = zext i32 %8 to i64
%67 = sub nsw i64 0, %66
%68 = getelementptr inbounds i8, i8* %55, i64 %67
%69 = tail call i32 (i8*, ...) bitcast (i32 (...)* @adjust to i32 (i8*, ...)*)(i8* %68)
%70 = sext i32 %69 to i64
%71 = inttoptr i64 %70 to i8*
br label %72
72: ; preds = %65, %58
%73 = phi i8* [ %64, %58 ], [ %71, %65 ]
ret i8* %73
}