#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef unsigned char uint8_t;
typedef int uint32_t;

/* Variables and functions */
void ctr128_add(unsigned char *counter, unsigned long long int value) {
  uint32_t n = 16;
  do {
    --n;
    value += counter[n];
    counter[n] = (uint8_t)value;
    value >>= 8;
  } while (n);
}


x86 assembly (clang, -O0):
<ctr128_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x10,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
shr    $0x8,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1113 <ctr128_add+0x13>
pop    %rbp
ret

x86 assembly (clang, -O2):
<ctr128_add>:
movzbl 0xf(%rdi),%eax
add    %rsi,%rax
mov    %al,0xf(%rdi)
shr    $0x8,%rax
movzbl 0xe(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0xe(%rdi)
shr    $0x8,%rcx
movzbl 0xd(%rdi),%eax
add    %rcx,%rax
mov    %al,0xd(%rdi)
shr    $0x8,%rax
movzbl 0xc(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0xc(%rdi)
shr    $0x8,%rcx
movzbl 0xb(%rdi),%eax
add    %rcx,%rax
mov    %al,0xb(%rdi)
shr    $0x8,%rax
movzbl 0xa(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0xa(%rdi)
shr    $0x8,%rcx
movzbl 0x9(%rdi),%eax
add    %rcx,%rax
mov    %al,0x9(%rdi)
shr    $0x8,%rax
movzbl 0x8(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0x8(%rdi)
shr    $0x8,%rcx
movzbl 0x7(%rdi),%eax
add    %rcx,%rax
mov    %al,0x7(%rdi)
shr    $0x8,%rax
movzbl 0x6(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0x6(%rdi)
shr    $0x8,%rcx
movzbl 0x5(%rdi),%eax
add    %rcx,%rax
mov    %al,0x5(%rdi)
shr    $0x8,%rax
movzbl 0x4(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0x4(%rdi)
shr    $0x8,%rcx
movzbl 0x3(%rdi),%eax
add    %rcx,%rax
mov    %al,0x3(%rdi)
shr    $0x8,%rax
movzbl 0x2(%rdi),%ecx
add    %rax,%rcx
mov    %cl,0x2(%rdi)
shr    $0x8,%rcx
movzbl 0x1(%rdi),%eax
add    %rcx,%rax
mov    %al,0x1(%rdi)
shr    $0x8,%rax
add    %al,(%rdi)
ret

LLVM IR (-O0):
define void @ctr128_add(i8* %0, i64 %1) {
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i32
store i8* %0, i8** %3
store i64 %1, i64* %4
store i32 16, i32* %5
br label %6
6: ; preds = %25, %2
%7 = load i32, i32* %5
%8 = add nsw i32 %7, -1
store i32 %8, i32* %5
%9 = load i8*, i8** %3
%10 = load i32, i32* %5
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %9, i64 %11
%13 = load i8, i8* %12
%14 = zext i8 %13 to i64
%15 = load i64, i64* %4
%16 = add i64 %15, %14
store i64 %16, i64* %4
%17 = load i64, i64* %4
%18 = trunc i64 %17 to i8
%19 = load i8*, i8** %3
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
store i8 %18, i8* %22
%23 = load i64, i64* %4
%24 = lshr i64 %23, 8
store i64 %24, i64* %4
br label %25
25: ; preds = %6
%26 = load i32, i32* %5
%27 = icmp ne i32 %26, 0
br i1 %27, label %6, label %28
28: ; preds = %25
ret void
}

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