#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 */

/* Variables and functions */
unsigned const char *hs_read_varint(unsigned const char *p,
                                    unsigned const char *e, long long *vi) {
  *vi = 0;
  unsigned i, shift = 0;
  for (i = 0; p != e && i < 10; i++) {
    *vi |= ((unsigned long long)p[i] & 0x7f) << shift;
    shift += 7;
    if ((p[i] & 0x80) == 0)
      break;
  }
  if (i == 10) {
    return NULL;
  }
  return p + i + 1;
}


x86 assembly (clang, -O0):
<hs_read_varint>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x29(%rbp)
je     1146 <hs_read_varint+0x46>
cmpl   $0xa,-0x24(%rbp)
setb   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1156 <hs_read_varint+0x56>
jmp    11b2 <hs_read_varint+0xb2>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
and    $0x7f,%rax
mov    -0x28(%rbp),%ecx
shl    %cl,%rax
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x28(%rbp),%eax
add    $0x7,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
and    $0x80,%eax
cmp    $0x0,%eax
jne    119f <hs_read_varint+0x9f>
jmp    11b2 <hs_read_varint+0xb2>
jmp    11a4 <hs_read_varint+0xa4>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1129 <hs_read_varint+0x29>
cmpl   $0xa,-0x24(%rbp)
jne    11c9 <hs_read_varint+0xc9>
movq   $0x0,-0x8(%rbp)
jmp    11db <hs_read_varint+0xdb>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    %rcx,%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hs_read_varint>:
mov    %rdi,%rax
movq   $0x0,(%rdx)
cmp    %rsi,%rdi
je     1126 <hs_read_varint+0x26>
movzbl (%rax),%esi
and    $0x7f,%esi
mov    %rsi,(%rdx)
cmpb   $0x0,(%rax)
js     112b <hs_read_varint+0x2b>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    125e <hs_read_varint+0x15e>
add    $0x1,%rax
ret
movzbl 0x1(%rax),%ecx
and    $0x7f,%ecx
shl    $0x7,%rcx
or     %rsi,%rcx
mov    %rcx,(%rdx)
cmpb   $0x0,0x1(%rax)
js     114e <hs_read_varint+0x4e>
mov    $0x1,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x2(%rax),%esi
and    $0x7f,%esi
shl    $0xe,%rsi
or     %rcx,%rsi
mov    %rsi,(%rdx)
cmpb   $0x0,0x2(%rax)
js     1171 <hs_read_varint+0x71>
mov    $0x2,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x3(%rax),%ecx
and    $0x7f,%ecx
shl    $0x15,%rcx
or     %rsi,%rcx
mov    %rcx,(%rdx)
cmpb   $0x0,0x3(%rax)
js     1194 <hs_read_varint+0x94>
mov    $0x3,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x4(%rax),%esi
and    $0x7f,%esi
shl    $0x1c,%rsi
or     %rcx,%rsi
mov    %rsi,(%rdx)
cmpb   $0x0,0x4(%rax)
js     11b7 <hs_read_varint+0xb7>
mov    $0x4,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x5(%rax),%ecx
and    $0x7f,%ecx
shl    $0x23,%rcx
or     %rsi,%rcx
mov    %rcx,(%rdx)
cmpb   $0x0,0x5(%rax)
js     11da <hs_read_varint+0xda>
mov    $0x5,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x6(%rax),%esi
and    $0x7f,%esi
shl    $0x2a,%rsi
or     %rcx,%rsi
mov    %rsi,(%rdx)
cmpb   $0x0,0x6(%rax)
js     11fa <hs_read_varint+0xfa>
mov    $0x6,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x7(%rax),%ecx
and    $0x7f,%ecx
shl    $0x31,%rcx
or     %rsi,%rcx
mov    %rcx,(%rdx)
cmpb   $0x0,0x7(%rax)
js     121a <hs_read_varint+0x11a>
mov    $0x7,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x8(%rax),%esi
and    $0x7f,%esi
shl    $0x38,%rsi
or     %rcx,%rsi
mov    %rsi,(%rdx)
cmpb   $0x0,0x8(%rax)
js     123a <hs_read_varint+0x13a>
mov    $0x8,%edx
xor    %ecx,%ecx
jmp    125e <hs_read_varint+0x15e>
movzbl 0x9(%rax),%ecx
shl    $0x3f,%rcx
or     %rsi,%rcx
mov    %rcx,(%rdx)
mov    0x9(%rax),%cl
xor    %esi,%esi
test   %cl,%cl
setns  %sil
sar    $0x7,%cl
mov    $0xa,%edx
sub    %rsi,%rdx
add    %rax,%rdx
add    $0x1,%rdx
xor    %eax,%eax
test   $0x1,%cl
cmove  %rdx,%rax
ret

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

LLVM IR (-O2):
define i8* @hs_read_varint(i8* %0, i8* readnone %1, i64* nocapture %2) {
store i64 0, i64* %2
%4 = icmp eq i8* %0, %1
br i1 %4, label %5, label %7
5: ; preds = %3
%6 = getelementptr inbounds i8, i8* %0, i64 1
br label %101
7: ; preds = %3
%8 = load i8, i8* %0
%9 = and i8 %8, 127
%10 = zext i8 %9 to i64
store i64 %10, i64* %2
%11 = load i8, i8* %0
%12 = icmp sgt i8 %11, -1
br i1 %12, label %95, label %13
13: ; preds = %7
%14 = getelementptr inbounds i8, i8* %0, i64 1
%15 = load i8, i8* %14
%16 = and i8 %15, 127
%17 = zext i8 %16 to i64
%18 = shl nuw nsw i64 %17, 7
%19 = or i64 %18, %10
store i64 %19, i64* %2
%20 = load i8, i8* %14
%21 = icmp sgt i8 %20, -1
br i1 %21, label %95, label %22
22: ; preds = %13
%23 = getelementptr inbounds i8, i8* %0, i64 2
%24 = load i8, i8* %23
%25 = and i8 %24, 127
%26 = zext i8 %25 to i64
%27 = shl nuw nsw i64 %26, 14
%28 = or i64 %27, %19
store i64 %28, i64* %2
%29 = load i8, i8* %23
%30 = icmp sgt i8 %29, -1
br i1 %30, label %95, label %31
31: ; preds = %22
%32 = getelementptr inbounds i8, i8* %0, i64 3
%33 = load i8, i8* %32
%34 = and i8 %33, 127
%35 = zext i8 %34 to i64
%36 = shl nuw nsw i64 %35, 21
%37 = or i64 %36, %28
store i64 %37, i64* %2
%38 = load i8, i8* %32
%39 = icmp sgt i8 %38, -1
br i1 %39, label %95, label %40
40: ; preds = %31
%41 = getelementptr inbounds i8, i8* %0, i64 4
%42 = load i8, i8* %41
%43 = and i8 %42, 127
%44 = zext i8 %43 to i64
%45 = shl nuw nsw i64 %44, 28
%46 = or i64 %45, %37
store i64 %46, i64* %2
%47 = load i8, i8* %41
%48 = icmp sgt i8 %47, -1
br i1 %48, label %95, label %49
49: ; preds = %40
%50 = getelementptr inbounds i8, i8* %0, i64 5
%51 = load i8, i8* %50
%52 = and i8 %51, 127
%53 = zext i8 %52 to i64
%54 = shl nuw nsw i64 %53, 35
%55 = or i64 %54, %46
store i64 %55, i64* %2
%56 = load i8, i8* %50
%57 = icmp sgt i8 %56, -1
br i1 %57, label %95, label %58
58: ; preds = %49
%59 = getelementptr inbounds i8, i8* %0, i64 6
%60 = load i8, i8* %59
%61 = and i8 %60, 127
%62 = zext i8 %61 to i64
%63 = shl nuw nsw i64 %62, 42
%64 = or i64 %63, %55
store i64 %64, i64* %2
%65 = load i8, i8* %59
%66 = icmp sgt i8 %65, -1
br i1 %66, label %95, label %67
67: ; preds = %58
%68 = getelementptr inbounds i8, i8* %0, i64 7
%69 = load i8, i8* %68
%70 = and i8 %69, 127
%71 = zext i8 %70 to i64
%72 = shl nuw nsw i64 %71, 49
%73 = or i64 %72, %64
store i64 %73, i64* %2
%74 = load i8, i8* %68
%75 = icmp sgt i8 %74, -1
br i1 %75, label %95, label %76
76: ; preds = %67
%77 = getelementptr inbounds i8, i8* %0, i64 8
%78 = load i8, i8* %77
%79 = and i8 %78, 127
%80 = zext i8 %79 to i64
%81 = shl nuw nsw i64 %80, 56
%82 = or i64 %81, %73
store i64 %82, i64* %2
%83 = load i8, i8* %77
%84 = icmp sgt i8 %83, -1
br i1 %84, label %95, label %85
85: ; preds = %76
%86 = getelementptr inbounds i8, i8* %0, i64 9
%87 = load i8, i8* %86
%88 = zext i8 %87 to i64
%89 = shl i64 %88, 63
%90 = or i64 %89, %82
store i64 %90, i64* %2
%91 = load i8, i8* %86
%92 = icmp sgt i8 %91, -1
%93 = select i1 %92, i1 false, i1 true
%94 = select i1 %92, i64 9, i64 10
br label %95
95: ; preds = %85, %76, %67, %58, %49, %40, %31, %22, %13, %7
%96 = phi i1 [ false, %76 ], [ false, %67 ], [ false, %58 ], [ false, %49 ], [ false, %40 ], [ false, %31 ], [ false, %22 ], [ false, %13 ], [ false, %7 ], [ %93, %85 ]
%97 = phi i64 [ 8, %76 ], [ 7, %67 ], [ 6, %58 ], [ 5, %49 ], [ 4, %40 ], [ 3, %31 ], [ 2, %22 ], [ 1, %13 ], [ 0, %7 ], [ %94, %85 ]
%98 = getelementptr inbounds i8, i8* %0, i64 %97
%99 = getelementptr inbounds i8, i8* %98, i64 1
%100 = select i1 %96, i8* null, i8* %99
br label %101
101: ; preds = %95, %5
%102 = phi i8* [ %6, %5 ], [ %100, %95 ]
ret i8* %102
}