unsigned char *int96_add(unsigned char *x, unsigned char *y) {
  unsigned char s, v;
  int i;
  for (i = 0, v = 0; i < 12; i++) {
    s = x[i] + y[i] + v;
    v = s < x[i] || s < y[i];
    x[i] = s;
  }
  return x;
}


x86 assembly (clang, -O0):
<int96_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
movb   $0x0,-0x12(%rbp)
cmpl   $0xc,-0x18(%rbp)
jge    11a0 <int96_add+0xa0>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
movzbl -0x12(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0x11(%rbp)
movzbl -0x11(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rdx
movzbl (%rax,%rdx,1),%edx
mov    $0x1,%al
cmp    %edx,%ecx
mov    %al,-0x19(%rbp)
jl     1179 <int96_add+0x79>
movzbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setl   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %al,-0x12(%rbp)
mov    -0x11(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1117 <int96_add+0x17>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<int96_add>:
mov    %rdi,%rax
mov    (%rsi),%cl
mov    (%rdi),%dl
add    %cl,%dl
setb   %dil
cmp    %cl,%dl
setb   %cl
or     %dil,%cl
mov    %dl,(%rax)
mov    0x1(%rax),%dl
mov    0x2(%rax),%dil
add    %dl,%cl
add    0x1(%rsi),%cl
setb   %r8b
cmp    %dl,%cl
setb   %dl
or     %r8b,%dl
mov    %cl,0x1(%rax)
add    %dil,%dl
add    0x2(%rsi),%dl
setb   %r8b
cmp    %dil,%dl
setb   %cl
or     %r8b,%cl
mov    %dl,0x2(%rax)
mov    0x3(%rax),%dl
add    %dl,%cl
add    0x3(%rsi),%cl
setb   %dil
cmp    %dl,%cl
setb   %dl
or     %dil,%dl
mov    %cl,0x3(%rax)
mov    0x4(%rax),%cl
add    %cl,%dl
add    0x4(%rsi),%dl
setb   %dil
cmp    %cl,%dl
setb   %cl
or     %dil,%cl
mov    %dl,0x4(%rax)
mov    0x5(%rax),%dl
add    %dl,%cl
add    0x5(%rsi),%cl
setb   %dil
cmp    %dl,%cl
setb   %dl
or     %dil,%dl
mov    %cl,0x5(%rax)
mov    0x6(%rax),%cl
add    %cl,%dl
add    0x6(%rsi),%dl
setb   %dil
cmp    %cl,%dl
setb   %cl
or     %dil,%cl
mov    %dl,0x6(%rax)
mov    0x7(%rax),%dl
add    %dl,%cl
add    0x7(%rsi),%cl
setb   %dil
cmp    %dl,%cl
setb   %dl
or     %dil,%dl
mov    %cl,0x7(%rax)
mov    0x8(%rax),%cl
add    %cl,%dl
add    0x8(%rsi),%dl
setb   %dil
cmp    %cl,%dl
setb   %cl
or     %dil,%cl
mov    %dl,0x8(%rax)
mov    0x9(%rax),%dl
add    %dl,%cl
add    0x9(%rsi),%cl
setb   %dil
cmp    %dl,%cl
setb   %dl
or     %dil,%dl
mov    %cl,0x9(%rax)
mov    0xa(%rax),%cl
add    %cl,%dl
add    0xa(%rsi),%dl
setb   %dil
cmp    %cl,%dl
setb   %cl
or     %dil,%cl
mov    %dl,0xa(%rax)
add    0xb(%rax),%cl
add    0xb(%rsi),%cl
mov    %cl,0xb(%rax)
ret

LLVM IR (-O0):
define i8* @int96_add(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8
%6 = alloca i8
%7 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %7
store i8 0, i8* %6
br label %8
8: ; preds = %57, %2
%9 = load i32, i32* %7
%10 = icmp slt i32 %9, 12
br i1 %10, label %11, label %60
11: ; preds = %8
%12 = load i8*, i8** %3
%13 = load i32, i32* %7
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %12, i64 %14
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = load i8*, i8** %4
%19 = load i32, i32* %7
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = add nsw i32 %17, %23
%25 = load i8, i8* %6
%26 = zext i8 %25 to i32
%27 = add nsw i32 %24, %26
%28 = trunc i32 %27 to i8
store i8 %28, i8* %5
%29 = load i8, i8* %5
%30 = zext i8 %29 to i32
%31 = load i8*, i8** %3
%32 = load i32, i32* %7
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = icmp slt i32 %30, %36
br i1 %37, label %48, label %38
38: ; preds = %11
%39 = load i8, i8* %5
%40 = zext i8 %39 to i32
%41 = load i8*, i8** %4
%42 = load i32, i32* %7
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
%45 = load i8, i8* %44
%46 = zext i8 %45 to i32
%47 = icmp slt i32 %40, %46
br label %48
48: ; preds = %38, %11
%49 = phi i1 [ true, %11 ], [ %47, %38 ]
%50 = zext i1 %49 to i32
%51 = trunc i32 %50 to i8
store i8 %51, i8* %6
%52 = load i8, i8* %5
%53 = load i8*, i8** %3
%54 = load i32, i32* %7
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %53, i64 %55
store i8 %52, i8* %56
br label %57
57: ; preds = %48
%58 = load i32, i32* %7
%59 = add nsw i32 %58, 1
store i32 %59, i32* %7
br label %8
60: ; preds = %8
%61 = load i8*, i8** %3
ret i8* %61
}

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