void _add(unsigned char ans[8], unsigned char x[8], unsigned char y[8]) {
  int i;
  unsigned char q = 0;
  for (i = 0; i < 8; i++) {
    unsigned int add;
    add = (int)(x[7 - i] + y[7 - i] + q);
    ans[7 - i] = (unsigned char)(add % 256);
    q = (unsigned char)(add / 256);
  }
}


x86 assembly (clang, -O0):
<_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movb   $0x0,-0x1d(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    1189 <_add+0x89>
mov    -0x10(%rbp),%rax
mov    $0x7,%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    $0x7,%edx
sub    -0x1c(%rbp),%edx
movslq %edx,%rdx
movzbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
movzbl -0x1d(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    $0x7,%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
shr    $0x8,%eax
mov    %al,-0x1d(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111b <_add+0x1b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_add>:
movzbl 0x7(%rsi),%eax
movzbl 0x7(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x7(%rdi)
shr    $0x8,%ecx
movzbl 0x6(%rsi),%eax
add    %ecx,%eax
movzbl 0x6(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x6(%rdi)
shr    $0x8,%ecx
movzbl 0x5(%rsi),%eax
add    %ecx,%eax
movzbl 0x5(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x5(%rdi)
shr    $0x8,%ecx
movzbl 0x4(%rsi),%eax
add    %ecx,%eax
movzbl 0x4(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x4(%rdi)
shr    $0x8,%ecx
movzbl 0x3(%rsi),%eax
add    %ecx,%eax
movzbl 0x3(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x3(%rdi)
shr    $0x8,%ecx
movzbl 0x2(%rsi),%eax
add    %ecx,%eax
movzbl 0x2(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x2(%rdi)
shr    $0x8,%ecx
movzbl 0x1(%rsi),%eax
add    %ecx,%eax
movzbl 0x1(%rdx),%ecx
add    %eax,%ecx
mov    %cl,0x1(%rdi)
shr    $0x8,%ecx
add    (%rsi),%cl
add    (%rdx),%cl
mov    %cl,(%rdi)
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 i8
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
store i8 0, i8* %8
store i32 0, i32* %7
br label %10
10: ; preds = %43, %3
%11 = load i32, i32* %7
%12 = icmp slt i32 %11, 8
br i1 %12, label %13, label %46
13: ; preds = %10
%14 = load i8*, i8** %5
%15 = load i32, i32* %7
%16 = sub nsw i32 7, %15
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %14, i64 %17
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = load i8*, i8** %6
%22 = load i32, i32* %7
%23 = sub nsw i32 7, %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %21, i64 %24
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = add nsw i32 %20, %27
%29 = load i8, i8* %8
%30 = zext i8 %29 to i32
%31 = add nsw i32 %28, %30
store i32 %31, i32* %9
%32 = load i32, i32* %9
%33 = urem i32 %32, 256
%34 = trunc i32 %33 to i8
%35 = load i8*, i8** %4
%36 = load i32, i32* %7
%37 = sub nsw i32 7, %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %35, i64 %38
store i8 %34, i8* %39
%40 = load i32, i32* %9
%41 = udiv i32 %40, 256
%42 = trunc i32 %41 to i8
store i8 %42, i8* %8
br label %43
43: ; preds = %13
%44 = load i32, i32* %7
%45 = add nsw i32 %44, 1
store i32 %45, i32* %7
br label %10
46: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @_add(i8* nocapture writeonly %0, i8* nocapture %1, i8* nocapture %2) {
%4 = getelementptr inbounds i8, i8* %1, i64 7
%5 = load i8, i8* %4
%6 = zext i8 %5 to i32
%7 = getelementptr inbounds i8, i8* %2, i64 7
%8 = load i8, i8* %7
%9 = zext i8 %8 to i32
%10 = add nuw nsw i32 %6, %9
%11 = trunc i32 %10 to i8
%12 = getelementptr inbounds i8, i8* %0, i64 7
store i8 %11, i8* %12
%13 = lshr i32 %10, 8
%14 = getelementptr inbounds i8, i8* %1, i64 6
%15 = load i8, i8* %14
%16 = zext i8 %15 to i32
%17 = getelementptr inbounds i8, i8* %2, i64 6
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = add nuw nsw i32 %13, %16
%21 = add nuw nsw i32 %20, %19
%22 = trunc i32 %21 to i8
%23 = getelementptr inbounds i8, i8* %0, i64 6
store i8 %22, i8* %23
%24 = lshr i32 %21, 8
%25 = getelementptr inbounds i8, i8* %1, i64 5
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = getelementptr inbounds i8, i8* %2, i64 5
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
%31 = add nuw nsw i32 %24, %27
%32 = add nuw nsw i32 %31, %30
%33 = trunc i32 %32 to i8
%34 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %33, i8* %34
%35 = lshr i32 %32, 8
%36 = getelementptr inbounds i8, i8* %1, i64 4
%37 = load i8, i8* %36
%38 = zext i8 %37 to i32
%39 = getelementptr inbounds i8, i8* %2, i64 4
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = add nuw nsw i32 %35, %38
%43 = add nuw nsw i32 %42, %41
%44 = trunc i32 %43 to i8
%45 = getelementptr inbounds i8, i8* %0, i64 4
store i8 %44, i8* %45
%46 = lshr i32 %43, 8
%47 = getelementptr inbounds i8, i8* %1, i64 3
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = getelementptr inbounds i8, i8* %2, i64 3
%51 = load i8, i8* %50
%52 = zext i8 %51 to i32
%53 = add nuw nsw i32 %46, %49
%54 = add nuw nsw i32 %53, %52
%55 = trunc i32 %54 to i8
%56 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %55, i8* %56
%57 = lshr i32 %54, 8
%58 = getelementptr inbounds i8, i8* %1, i64 2
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
%61 = getelementptr inbounds i8, i8* %2, i64 2
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = add nuw nsw i32 %57, %60
%65 = add nuw nsw i32 %64, %63
%66 = trunc i32 %65 to i8
%67 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %66, i8* %67
%68 = lshr i32 %65, 8
%69 = getelementptr inbounds i8, i8* %1, i64 1
%70 = load i8, i8* %69
%71 = zext i8 %70 to i32
%72 = getelementptr inbounds i8, i8* %2, i64 1
%73 = load i8, i8* %72
%74 = zext i8 %73 to i32
%75 = add nuw nsw i32 %68, %71
%76 = add nuw nsw i32 %75, %74
%77 = trunc i32 %76 to i8
%78 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %77, i8* %78
%79 = lshr i32 %76, 8
%80 = load i8, i8* %1
%81 = load i8, i8* %2
%82 = trunc i32 %79 to i8
%83 = add i8 %80, %82
%84 = add i8 %83, %81
store i8 %84, i8* %0
ret void
}