#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 int uint8_t;
typedef int uint64_t;

/* Variables and functions */
int /*<<< orphan*/ assert(size_t const);
size_t varint_size(int const *const);
uint64_t varint_decode(uint8_t const *const data, size_t const size) {
  assert(size >= 1);
  size_t const len = varint_size(data);
  assert(len);
  assert(size >= len);
  uint64_t x = data[0] & 0x0f;
  for (size_t i = 1; i < len; ++i)
    x = x << 8 | data[i];
  return x;
}


x86 assembly (clang, -O0):
<varint_decode>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpq   $0x1,-0x10(%rbp)
setae  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rdi
call   1040 <varint_size@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <assert@plt>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
and    $0xf,%eax
mov    %eax,-0x1c(%rbp)
movq   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    11ba <varint_decode+0x9a>
mov    -0x1c(%rbp),%eax
shl    $0x8,%eax
mov    -0x8(%rbp),%rcx
mov    -0x28(%rbp),%rdx
or     (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1187 <varint_decode+0x67>
mov    -0x1c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<varint_decode>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r15
mov    %rdi,%r14
xor    %edi,%edi
test   %rsi,%rsi
setne  %dil
call   1030 <assert@plt>
mov    %r14,%rdi
call   1040 <varint_size@plt>
mov    %rax,%rbx
mov    %rax,%rdi
call   1030 <assert@plt>
xor    %edi,%edi
cmp    %r15,%rbx
setbe  %dil
call   1030 <assert@plt>
mov    (%r14),%eax
and    $0xf,%eax
cmp    $0x2,%rbx
jb     11ef <varint_decode+0xcf>
lea    -0x1(%rbx),%rsi
add    $0xfffffffffffffffe,%rbx
mov    %esi,%ecx
and    $0x3,%ecx
cmp    $0x3,%rbx
jae    1189 <varint_decode+0x69>
mov    $0x1,%edx
test   %rcx,%rcx
jne    11d6 <varint_decode+0xb6>
jmp    11ef <varint_decode+0xcf>
and    $0xfffffffffffffffc,%rsi
neg    %rsi
mov    $0x1,%edx
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%rsi,%rdx,1),%rax
add    $0x4,%rax
add    $0x4,%rdx
cmp    $0x1,%rax
jne    11a0 <varint_decode+0x80>
mov    -0x10(%r14,%rdx,4),%esi
mov    -0xc(%r14,%rdx,4),%eax
shl    $0x10,%esi
shl    $0x8,%eax
or     %esi,%eax
or     -0x8(%r14,%rdx,4),%eax
shl    $0x8,%eax
or     -0x4(%r14,%rdx,4),%eax
test   %rcx,%rcx
je     11ef <varint_decode+0xcf>
lea    (%r14,%rdx,4),%rdx
xor    %esi,%esi
nopl   0x0(%rax)
shl    $0x8,%eax
or     (%rdx,%rsi,4),%eax
add    $0x1,%rsi
cmp    %rsi,%rcx
jne    11e0 <varint_decode+0xc0>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @varint_decode(i32* %0, i64 %1) {
%3 = alloca i32*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i32
%7 = alloca i64
store i32* %0, i32** %3
store i64 %1, i64* %4
%8 = load i64, i64* %4
%9 = icmp uge i64 %8, 1
%10 = zext i1 %9 to i32
%11 = sext i32 %10 to i64
%12 = call i32 @assert(i64 %11)
%13 = load i32*, i32** %3
%14 = call i64 @varint_size(i32* %13)
store i64 %14, i64* %5
%15 = load i64, i64* %5
%16 = call i32 @assert(i64 %15)
%17 = load i64, i64* %4
%18 = load i64, i64* %5
%19 = icmp uge i64 %17, %18
%20 = zext i1 %19 to i32
%21 = sext i32 %20 to i64
%22 = call i32 @assert(i64 %21)
%23 = load i32*, i32** %3
%24 = getelementptr inbounds i32, i32* %23, i64 0
%25 = load i32, i32* %24
%26 = and i32 %25, 15
store i32 %26, i32* %6
store i64 1, i64* %7
br label %27
27: ; preds = %39, %2
%28 = load i64, i64* %7
%29 = load i64, i64* %5
%30 = icmp ult i64 %28, %29
br i1 %30, label %31, label %42
31: ; preds = %27
%32 = load i32, i32* %6
%33 = shl i32 %32, 8
%34 = load i32*, i32** %3
%35 = load i64, i64* %7
%36 = getelementptr inbounds i32, i32* %34, i64 %35
%37 = load i32, i32* %36
%38 = or i32 %33, %37
store i32 %38, i32* %6
br label %39
39: ; preds = %31
%40 = load i64, i64* %7
%41 = add i64 %40, 1
store i64 %41, i64* %7
br label %27
42: ; preds = %27
%43 = load i32, i32* %6
ret i32 %43
}

LLVM IR (-O2):
define i32 @varint_decode(i32* %0, i64 %1) {
%3 = icmp ne i64 %1, 0
%4 = zext i1 %3 to i64
%5 = tail call i32 @assert(i64 %4)
%6 = tail call i64 @varint_size(i32* %0)
%7 = tail call i32 @assert(i64 %6)
%8 = icmp ule i64 %6, %1
%9 = zext i1 %8 to i64
%10 = tail call i32 @assert(i64 %9)
%11 = load i32, i32* %0
%12 = and i32 %11, 15
%13 = icmp ugt i64 %6, 1
br i1 %13, label %14, label %55
14: ; preds = %2
%15 = add i64 %6, -1
%16 = add i64 %6, -2
%17 = and i64 %15, 3
%18 = icmp ult i64 %16, 3
br i1 %18, label %39, label %19
19: ; preds = %14
%20 = and i64 %15, -4
br label %57
21: ; preds = %57
%22 = getelementptr inbounds i32, i32* %0, i64 %58
%23 = load i32, i32* %22
%24 = add nuw nsw i64 %58, 1
%25 = getelementptr inbounds i32, i32* %0, i64 %24
%26 = load i32, i32* %25
%27 = add nuw nsw i64 %58, 2
%28 = shl i32 %23, 16
%29 = shl i32 %26, 8
%30 = or i32 %28, %29
%31 = getelementptr inbounds i32, i32* %0, i64 %27
%32 = load i32, i32* %31
%33 = or i32 %32, %30
%34 = add nuw i64 %58, 3
%35 = shl i32 %33, 8
%36 = getelementptr inbounds i32, i32* %0, i64 %34
%37 = load i32, i32* %36
%38 = or i32 %37, %35
br label %39
39: ; preds = %21, %14
%40 = phi i32 [ undef, %14 ], [ %38, %21 ]
%41 = phi i64 [ 1, %14 ], [ %60, %21 ]
%42 = phi i32 [ %12, %14 ], [ %38, %21 ]
%43 = icmp eq i64 %17, 0
br i1 %43, label %55, label %44
44: ; preds = %39, %44
%45 = phi i64 [ %52, %44 ], [ %41, %39 ]
%46 = phi i32 [ %51, %44 ], [ %42, %39 ]
%47 = phi i64 [ %53, %44 ], [ 0, %39 ]
%48 = shl i32 %46, 8
%49 = getelementptr inbounds i32, i32* %0, i64 %45
%50 = load i32, i32* %49
%51 = or i32 %50, %48
%52 = add nuw i64 %45, 1
%53 = add i64 %47, 1
%54 = icmp eq i64 %53, %17
br i1 %54, label %55, label %44
55: ; preds = %39, %44, %2
%56 = phi i32 [ %12, %2 ], [ %40, %39 ], [ %51, %44 ]
ret i32 %56
57: ; preds = %57, %19
%58 = phi i64 [ 1, %19 ], [ %60, %57 ]
%59 = phi i64 [ 0, %19 ], [ %61, %57 ]
%60 = add nuw i64 %58, 4
%61 = add i64 %59, 4
%62 = icmp eq i64 %61, %20
br i1 %62, label %21, label %57
}