#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 */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ die(char *, unsigned int, unsigned int, unsigned int);
int memcmp(unsigned char const *, unsigned char const *, int);
int sha1_entry_pos(const void *table, size_t elem_size, size_t key_offset,
                   unsigned lo, unsigned hi, unsigned nr,
                   const unsigned char *key) {
  const unsigned char *base = table;
  const unsigned char *hi_key, *lo_key;
  unsigned ofs_0;
  if (!nr || lo >= hi)
    return -1;
  if (nr == hi)
    hi_key = NULL;
  else
    hi_key = base + elem_size * hi + key_offset;
  lo_key = base + elem_size * lo + key_offset;
  ofs_0 = 0;
  do {
    int cmp;
    unsigned ofs, mi, range;
    unsigned lov, hiv, kyv;
    const unsigned char *mi_key;
    range = hi - lo;
    if (hi_key) {
      for (ofs = ofs_0; ofs < 20; ofs++)
        if (lo_key[ofs] != hi_key[ofs])
          break;
      ofs_0 = ofs;
      hiv = hi_key[ofs_0];
      if (ofs_0 < 19)
        hiv = (hiv << 8) | hi_key[ofs_0 + 1];
    } else {
      hiv = 256;
      if (ofs_0 < 19)
        hiv <<= 8;
    }
    lov = lo_key[ofs_0];
    kyv = key[ofs_0];
    if (ofs_0 < 19) {
      lov = (lov << 8) | lo_key[ofs_0 + 1];
      kyv = (kyv << 8) | key[ofs_0 + 1];
    }
    assert(lov < hiv);
    if (kyv < lov)
      return -1 - lo;
    if (hiv < kyv)
      return -1 - hi;
    kyv = (kyv * 6 + lov + hiv) / 8;
    if (lov < hiv - 1) {
      if (kyv == lov)
        kyv++;
      else if (kyv == hiv)
        kyv--;
    }
    mi = (range - 1) * (kyv - lov) / (hiv - lov) + lo;
    if (!(lo <= mi && mi < hi))
      die("assertion failure lo %u mi %u hi %u", lo, mi, hi);
    mi_key = base + elem_size * mi + key_offset;
    cmp = memcmp(mi_key + ofs_0, key + ofs_0, 20 - ofs_0);
    if (!cmp)
      return mi;
    if (cmp > 0) {
      hi = mi;
      hi_key = mi_key;
    } else {
      lo = mi + 1;
      lo_key = mi_key + elem_size;
    }
  } while (lo < hi);
  return -lo - 1;
}


x86 assembly (clang, -O0):
<sha1_entry_pos>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1171 <sha1_entry_pos+0x41>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jb     117d <sha1_entry_pos+0x4d>
movl   $0xffffffff,-0x4(%rbp)
jmp    1476 <sha1_entry_pos+0x346>
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    1196 <sha1_entry_pos+0x66>
movq   $0x0,-0x40(%rbp)
jmp    11b0 <sha1_entry_pos+0x80>
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%edx
imul   %rdx,%rcx
add    %rcx,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x24(%rbp),%edx
imul   %rdx,%rcx
add    %rcx,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x28(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x5c(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     1269 <sha1_entry_pos+0x139>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x14,-0x54(%rbp)
jae    122b <sha1_entry_pos+0xfb>
mov    -0x48(%rbp),%rax
mov    -0x54(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    -0x40(%rbp),%rcx
mov    -0x54(%rbp),%edx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1218 <sha1_entry_pos+0xe8>
jmp    122b <sha1_entry_pos+0xfb>
jmp    121d <sha1_entry_pos+0xed>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    11eb <sha1_entry_pos+0xbb>
mov    -0x54(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x4c(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x64(%rbp)
cmpl   $0x13,-0x4c(%rbp)
jae    1264 <sha1_entry_pos+0x134>
mov    -0x64(%rbp),%eax
shl    $0x8,%eax
mov    -0x40(%rbp),%rcx
mov    -0x4c(%rbp),%edx
add    $0x1,%edx
mov    %edx,%edx
movzbl (%rcx,%rdx,1),%ecx
or     %ecx,%eax
mov    %eax,-0x64(%rbp)
jmp    1288 <sha1_entry_pos+0x158>
movl   $0x100,-0x64(%rbp)
cmpl   $0x13,-0x4c(%rbp)
jae    1283 <sha1_entry_pos+0x153>
mov    -0x64(%rbp),%eax
shl    $0x8,%eax
mov    %eax,-0x64(%rbp)
jmp    1288 <sha1_entry_pos+0x158>
mov    -0x48(%rbp),%rax
mov    -0x4c(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x60(%rbp)
mov    0x10(%rbp),%rax
mov    -0x4c(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x13,-0x4c(%rbp)
jae    12e4 <sha1_entry_pos+0x1b4>
mov    -0x60(%rbp),%eax
shl    $0x8,%eax
mov    -0x48(%rbp),%rcx
mov    -0x4c(%rbp),%edx
add    $0x1,%edx
mov    %edx,%edx
movzbl (%rcx,%rdx,1),%ecx
or     %ecx,%eax
mov    %eax,-0x60(%rbp)
mov    -0x68(%rbp),%eax
shl    $0x8,%eax
mov    0x10(%rbp),%rcx
mov    -0x4c(%rbp),%edx
add    $0x1,%edx
mov    %edx,%edx
movzbl (%rcx,%rdx,1),%ecx
or     %ecx,%eax
mov    %eax,-0x68(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x64(%rbp),%eax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x68(%rbp),%eax
cmp    -0x60(%rbp),%eax
jae    1313 <sha1_entry_pos+0x1e3>
mov    $0xffffffff,%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1476 <sha1_entry_pos+0x346>
mov    -0x64(%rbp),%eax
cmp    -0x68(%rbp),%eax
jae    132f <sha1_entry_pos+0x1ff>
mov    $0xffffffff,%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1476 <sha1_entry_pos+0x346>
imul   $0x6,-0x68(%rbp),%eax
add    -0x60(%rbp),%eax
add    -0x64(%rbp),%eax
shr    $0x3,%eax
mov    %eax,-0x68(%rbp)
mov    -0x60(%rbp),%eax
mov    -0x64(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    1389 <sha1_entry_pos+0x259>
mov    -0x68(%rbp),%eax
cmp    -0x60(%rbp),%eax
jne    136a <sha1_entry_pos+0x23a>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    1384 <sha1_entry_pos+0x254>
mov    -0x68(%rbp),%eax
cmp    -0x64(%rbp),%eax
jne    137f <sha1_entry_pos+0x24f>
mov    -0x68(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x68(%rbp)
jmp    1384 <sha1_entry_pos+0x254>
jmp    1389 <sha1_entry_pos+0x259>
mov    -0x5c(%rbp),%eax
sub    $0x1,%eax
mov    -0x68(%rbp),%ecx
sub    -0x60(%rbp),%ecx
imul   %ecx,%eax
mov    -0x64(%rbp),%ecx
sub    -0x60(%rbp),%ecx
xor    %edx,%edx
div    %ecx
add    -0x24(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x58(%rbp),%eax
ja     13c0 <sha1_entry_pos+0x290>
mov    -0x58(%rbp),%eax
cmp    -0x28(%rbp),%eax
jb     13d5 <sha1_entry_pos+0x2a5>
mov    -0x24(%rbp),%esi
mov    -0x58(%rbp),%edx
mov    -0x28(%rbp),%ecx
lea    0xc30(%rip),%rdi
call   1050 <die@plt>
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x58(%rbp),%edx
imul   %rdx,%rcx
add    %rcx,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rdi
mov    -0x4c(%rbp),%eax
add    %rax,%rdi
mov    0x10(%rbp),%rsi
mov    -0x4c(%rbp),%eax
add    %rax,%rsi
mov    $0x14,%edx
sub    -0x4c(%rbp),%edx
call   1030 <memcmp@plt>
mov    %eax,-0x50(%rbp)
cmpl   $0x0,-0x50(%rbp)
jne    1428 <sha1_entry_pos+0x2f8>
mov    -0x58(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1476 <sha1_entry_pos+0x346>
cmpl   $0x0,-0x50(%rbp)
jle    1445 <sha1_entry_pos+0x315>
mov    -0x58(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    145a <sha1_entry_pos+0x32a>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x70(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    145f <sha1_entry_pos+0x32f>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jb     11d1 <sha1_entry_pos+0xa1>
xor    %eax,%eax
sub    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sha1_entry_pos>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rsi,0x8(%rsp)
mov    $0xffffffff,%ebp
cmp    %r8d,%ecx
jae    13bf <sha1_entry_pos+0x28f>
test   %r9d,%r9d
je     13bf <sha1_entry_pos+0x28f>
mov    %ecx,%r15d
mov    %r8d,%eax
mov    0x8(%rsp),%rcx
imul   %rcx,%rax
add    %rdi,%rax
add    %rdx,%rax
mov    %r15d,%esi
imul   %rcx,%rsi
add    %rdi,%rsi
add    %rdx,%rsi
xor    %r13d,%r13d
cmp    %r8d,%r9d
mov    $0x0,%ebx
cmovne %rax,%rbx
add    %rdx,%rdi
mov    %rdi,0x20(%rsp)
jmp    11bf <sha1_entry_pos+0x8f>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%ebp
add    0x8(%rsp),%rbx
mov    %rbx,%rsi
mov    %ebp,%r15d
mov    %r14d,%r8d
mov    0x28(%rsp),%rbx
cmp    %r8d,%r15d
jae    13ac <sha1_entry_pos+0x27c>
test   %rbx,%rbx
mov    %r15d,0x4(%rsp)
mov    %rsi,0x30(%rsp)
mov    %rbx,0x28(%rsp)
mov    %r8d,(%rsp)
je     1240 <sha1_entry_pos+0x110>
cmp    $0x13,%r13d
ja     120b <sha1_entry_pos+0xdb>
mov    %r13d,%eax
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl -0x1(%rsi,%rax,1),%ecx
cmp    -0x1(%rbx,%rax,1),%cl
jne    1279 <sha1_entry_pos+0x149>
add    $0x1,%rax
cmp    $0x15,%rax
jne    11f0 <sha1_entry_pos+0xc0>
mov    $0x14,%r13d
mov    %r13,0x18(%rsp)
mov    %r13d,%r12d
movzbl (%rbx,%r12,1),%r13d
movzbl (%rsi,%r12,1),%ebp
mov    0x70(%rsp),%rax
lea    (%rax,%r12,1),%rcx
mov    %rcx,0x10(%rsp)
movzbl (%rax,%r12,1),%r15d
jmp    12d0 <sha1_entry_pos+0x1a0>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r13d,%r12d
mov    0x70(%rsp),%rax
lea    (%rax,%r12,1),%rcx
movzbl (%rsi,%r12,1),%ebp
movzbl (%rax,%r12,1),%r15d
mov    %r13,%rax
mov    $0x100,%r13d
cmp    $0x12,%eax
mov    %rax,0x18(%rsp)
mov    %rcx,0x10(%rsp)
ja     12d0 <sha1_entry_pos+0x1a0>
add    $0x1,%eax
mov    $0x10000,%r13d
jmp    12b7 <sha1_entry_pos+0x187>
lea    -0x1(%rax),%rcx
mov    %ecx,%r12d
movzbl (%rbx,%r12,1),%r13d
mov    %rcx,0x18(%rsp)
cmp    $0x13,%ecx
jae    1218 <sha1_entry_pos+0xe8>
shl    $0x8,%r13d
mov    %eax,%eax
movzbl (%rbx,%rax,1),%ecx
or     %r13d,%ecx
movzbl (%rsi,%r12,1),%ebp
mov    0x70(%rsp),%rdx
lea    (%rdx,%r12,1),%rdi
mov    %rdi,0x10(%rsp)
movzbl (%rdx,%r12,1),%r15d
mov    %ecx,%r13d
shl    $0x8,%ebp
movzbl (%rsi,%rax,1),%ecx
or     %ecx,%ebp
shl    $0x8,%r15d
mov    0x70(%rsp),%rcx
movzbl (%rcx,%rax,1),%eax
or     %eax,%r15d
xor    %edi,%edi
mov    %r13d,%r14d
sub    %ebp,%r14d
seta   %dil
call   1040 <assert@plt>
cmp    %ebp,%r15d
jb     13b4 <sha1_entry_pos+0x284>
cmp    %r15d,%r13d
jb     13ba <sha1_entry_pos+0x28a>
lea    (%r15,%r15,2),%eax
lea    0x0(%rbp,%r13,1),%ecx
lea    (%rcx,%rax,2),%eax
shr    $0x3,%eax
lea    -0x1(%r13),%ecx
cmp    %ecx,%ebp
jae    132a <sha1_entry_pos+0x1fa>
cmp    %ebp,%eax
jne    1320 <sha1_entry_pos+0x1f0>
lea    0x1(%rbp),%eax
jmp    132a <sha1_entry_pos+0x1fa>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %ecx,%ecx
cmp    %r13d,%eax
sete   %cl
sub    %ecx,%eax
mov    0x4(%rsp),%r15d
mov    %r15d,%ecx
not    %ecx
mov    (%rsp),%ebx
add    %ebx,%ecx
sub    %ebp,%eax
imul   %ecx,%eax
xor    %edx,%edx
div    %r14d
mov    %eax,%ebp
add    %r15d,%ebp
cmp    %ebp,%r15d
mov    0x18(%rsp),%r13
ja     1356 <sha1_entry_pos+0x226>
cmp    %ebx,%ebp
jb     1369 <sha1_entry_pos+0x239>
lea    0xca3(%rip),%rdi
mov    %r15d,%esi
mov    %ebp,%edx
mov    %ebx,%ecx
call   1050 <die@plt>
mov    %ebx,%r14d
mov    %ebp,%ebx
imul   0x8(%rsp),%rbx
add    0x20(%rsp),%rbx
add    %rbx,%r12
mov    $0x14,%edx
sub    %r13d,%edx
mov    %r12,%rdi
mov    0x10(%rsp),%rsi
call   1030 <memcmp@plt>
test   %eax,%eax
je     13bf <sha1_entry_pos+0x28f>
jle    11a0 <sha1_entry_pos+0x70>
mov    %ebp,%r8d
mov    0x30(%rsp),%rsi
cmp    %r8d,%r15d
jb     11bf <sha1_entry_pos+0x8f>
not    %r15d
mov    %r15d,%ebp
jmp    13bf <sha1_entry_pos+0x28f>
mov    0x4(%rsp),%ebp
jmp    13bd <sha1_entry_pos+0x28d>
mov    (%rsp),%ebp
not    %ebp
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [36 x i8] c"assertion failure lo %u mi %u hi %u\00"
define i32 @sha1_entry_pos(i8* %0, i64 %1, i64 %2, i32 %3, i32 %4, i32 %5, i8* %6) {
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i8*
store i8* %0, i8** %9
store i64 %1, i64* %10
store i64 %2, i64* %11
store i32 %3, i32* %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i8* %6, i8** %15
%28 = load i8*, i8** %9
store i8* %28, i8** %16
%29 = load i32, i32* %14
%30 = icmp ne i32 %29, 0
br i1 %30, label %31, label %35
31: ; preds = %7
%32 = load i32, i32* %12
%33 = load i32, i32* %13
%34 = icmp uge i32 %32, %33
br i1 %34, label %35, label %36
35: ; preds = %31, %7
store i32 -1, i32* %8
br label %271
36: ; preds = %31
%37 = load i32, i32* %14
%38 = load i32, i32* %13
%39 = icmp eq i32 %37, %38
br i1 %39, label %40, label %41
40: ; preds = %36
store i8* null, i8** %17
br label %50
41: ; preds = %36
%42 = load i8*, i8** %16
%43 = load i64, i64* %10
%44 = load i32, i32* %13
%45 = zext i32 %44 to i64
%46 = mul i64 %43, %45
%47 = getelementptr inbounds i8, i8* %42, i64 %46
%48 = load i64, i64* %11
%49 = getelementptr inbounds i8, i8* %47, i64 %48
store i8* %49, i8** %17
br label %50
50: ; preds = %41, %40
%51 = load i8*, i8** %16
%52 = load i64, i64* %10
%53 = load i32, i32* %12
%54 = zext i32 %53 to i64
%55 = mul i64 %52, %54
%56 = getelementptr inbounds i8, i8* %51, i64 %55
%57 = load i64, i64* %11
%58 = getelementptr inbounds i8, i8* %56, i64 %57
store i8* %58, i8** %18
store i32 0, i32* %19
br label %59
59: ; preds = %263, %50
%60 = load i32, i32* %13
%61 = load i32, i32* %12
%62 = sub i32 %60, %61
store i32 %62, i32* %23
%63 = load i8*, i8** %17
%64 = icmp ne i8* %63, null
br i1 %64, label %65, label %111
65: ; preds = %59
%66 = load i32, i32* %19
store i32 %66, i32* %21
br label %67
67: ; preds = %86, %65
%68 = load i32, i32* %21
%69 = icmp ult i32 %68, 20
br i1 %69, label %70, label %89
70: ; preds = %67
%71 = load i8*, i8** %18
%72 = load i32, i32* %21
%73 = zext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %71, i64 %73
%75 = load i8, i8* %74
%76 = zext i8 %75 to i32
%77 = load i8*, i8** %17
%78 = load i32, i32* %21
%79 = zext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %77, i64 %79
%81 = load i8, i8* %80
%82 = zext i8 %81 to i32
%83 = icmp ne i32 %76, %82
br i1 %83, label %84, label %85
84: ; preds = %70
br label %89
85: ; preds = %70
br label %86
86: ; preds = %85
%87 = load i32, i32* %21
%88 = add i32 %87, 1
store i32 %88, i32* %21
br label %67
89: ; preds = %84, %67
%90 = load i32, i32* %21
store i32 %90, i32* %19
%91 = load i8*, i8** %17
%92 = load i32, i32* %19
%93 = zext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = zext i8 %95 to i32
store i32 %96, i32* %25
%97 = load i32, i32* %19
%98 = icmp ult i32 %97, 19
br i1 %98, label %99, label %110
99: ; preds = %89
%100 = load i32, i32* %25
%101 = shl i32 %100, 8
%102 = load i8*, i8** %17
%103 = load i32, i32* %19
%104 = add i32 %103, 1
%105 = zext i32 %104 to i64
%106 = getelementptr inbounds i8, i8* %102, i64 %105
%107 = load i8, i8* %106
%108 = zext i8 %107 to i32
%109 = or i32 %101, %108
store i32 %109, i32* %25
br label %110
110: ; preds = %99, %89
br label %118
111: ; preds = %59
store i32 256, i32* %25
%112 = load i32, i32* %19
%113 = icmp ult i32 %112, 19
br i1 %113, label %114, label %117
114: ; preds = %111
%115 = load i32, i32* %25
%116 = shl i32 %115, 8
store i32 %116, i32* %25
br label %117
117: ; preds = %114, %111
br label %118
118: ; preds = %117, %110
%119 = load i8*, i8** %18
%120 = load i32, i32* %19
%121 = zext i32 %120 to i64
%122 = getelementptr inbounds i8, i8* %119, i64 %121
%123 = load i8, i8* %122
%124 = zext i8 %123 to i32
store i32 %124, i32* %24
%125 = load i8*, i8** %15
%126 = load i32, i32* %19
%127 = zext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %125, i64 %127
%129 = load i8, i8* %128
%130 = zext i8 %129 to i32
store i32 %130, i32* %26
%131 = load i32, i32* %19
%132 = icmp ult i32 %131, 19
br i1 %132, label %133, label %154
133: ; preds = %118
%134 = load i32, i32* %24
%135 = shl i32 %134, 8
%136 = load i8*, i8** %18
%137 = load i32, i32* %19
%138 = add i32 %137, 1
%139 = zext i32 %138 to i64
%140 = getelementptr inbounds i8, i8* %136, i64 %139
%141 = load i8, i8* %140
%142 = zext i8 %141 to i32
%143 = or i32 %135, %142
store i32 %143, i32* %24
%144 = load i32, i32* %26
%145 = shl i32 %144, 8
%146 = load i8*, i8** %15
%147 = load i32, i32* %19
%148 = add i32 %147, 1
%149 = zext i32 %148 to i64
%150 = getelementptr inbounds i8, i8* %146, i64 %149
%151 = load i8, i8* %150
%152 = zext i8 %151 to i32
%153 = or i32 %145, %152
store i32 %153, i32* %26
br label %154
154: ; preds = %133, %118
%155 = load i32, i32* %24
%156 = load i32, i32* %25
%157 = icmp ult i32 %155, %156
%158 = zext i1 %157 to i32
%159 = call i32 @assert(i32 %158)
%160 = load i32, i32* %26
%161 = load i32, i32* %24
%162 = icmp ult i32 %160, %161
br i1 %162, label %163, label %166
163: ; preds = %154
%164 = load i32, i32* %12
%165 = sub i32 -1, %164
store i32 %165, i32* %8
br label %271
166: ; preds = %154
%167 = load i32, i32* %25
%168 = load i32, i32* %26
%169 = icmp ult i32 %167, %168
br i1 %169, label %170, label %173
170: ; preds = %166
%171 = load i32, i32* %13
%172 = sub i32 -1, %171
store i32 %172, i32* %8
br label %271
173: ; preds = %166
%174 = load i32, i32* %26
%175 = mul i32 %174, 6
%176 = load i32, i32* %24
%177 = add i32 %175, %176
%178 = load i32, i32* %25
%179 = add i32 %177, %178
%180 = udiv i32 %179, 8
store i32 %180, i32* %26
%181 = load i32, i32* %24
%182 = load i32, i32* %25
%183 = sub i32 %182, 1
%184 = icmp ult i32 %181, %183
br i1 %184, label %185, label %201
185: ; preds = %173
%186 = load i32, i32* %26
%187 = load i32, i32* %24
%188 = icmp eq i32 %186, %187
br i1 %188, label %189, label %192
189: ; preds = %185
%190 = load i32, i32* %26
%191 = add i32 %190, 1
store i32 %191, i32* %26
br label %200
192: ; preds = %185
%193 = load i32, i32* %26
%194 = load i32, i32* %25
%195 = icmp eq i32 %193, %194
br i1 %195, label %196, label %199
196: ; preds = %192
%197 = load i32, i32* %26
%198 = add i32 %197, -1
store i32 %198, i32* %26
br label %199
199: ; preds = %196, %192
br label %200
200: ; preds = %199, %189
br label %201
201: ; preds = %200, %173
%202 = load i32, i32* %23
%203 = sub i32 %202, 1
%204 = load i32, i32* %26
%205 = load i32, i32* %24
%206 = sub i32 %204, %205
%207 = mul i32 %203, %206
%208 = load i32, i32* %25
%209 = load i32, i32* %24
%210 = sub i32 %208, %209
%211 = udiv i32 %207, %210
%212 = load i32, i32* %12
%213 = add i32 %211, %212
store i32 %213, i32* %22
%214 = load i32, i32* %12
%215 = load i32, i32* %22
%216 = icmp ule i32 %214, %215
br i1 %216, label %217, label %221
217: ; preds = %201
%218 = load i32, i32* %22
%219 = load i32, i32* %13
%220 = icmp ult i32 %218, %219
br i1 %220, label %226, label %221
221: ; preds = %217, %201
%222 = load i32, i32* %12
%223 = load i32, i32* %22
%224 = load i32, i32* %13
%225 = call i32 @die(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %222, i32 %223, i32 %224)
br label %226
226: ; preds = %221, %217
%227 = load i8*, i8** %16
%228 = load i64, i64* %10
%229 = load i32, i32* %22
%230 = zext i32 %229 to i64
%231 = mul i64 %228, %230
%232 = getelementptr inbounds i8, i8* %227, i64 %231
%233 = load i64, i64* %11
%234 = getelementptr inbounds i8, i8* %232, i64 %233
store i8* %234, i8** %27
%235 = load i8*, i8** %27
%236 = load i32, i32* %19
%237 = zext i32 %236 to i64
%238 = getelementptr inbounds i8, i8* %235, i64 %237
%239 = load i8*, i8** %15
%240 = load i32, i32* %19
%241 = zext i32 %240 to i64
%242 = getelementptr inbounds i8, i8* %239, i64 %241
%243 = load i32, i32* %19
%244 = sub i32 20, %243
%245 = call i32 @memcmp(i8* %238, i8* %242, i32 %244)
store i32 %245, i32* %20
%246 = load i32, i32* %20
%247 = icmp ne i32 %246, 0
br i1 %247, label %250, label %248
248: ; preds = %226
%249 = load i32, i32* %22
store i32 %249, i32* %8
br label %271
250: ; preds = %226
%251 = load i32, i32* %20
%252 = icmp sgt i32 %251, 0
br i1 %252, label %253, label %256
253: ; preds = %250
%254 = load i32, i32* %22
store i32 %254, i32* %13
%255 = load i8*, i8** %27
store i8* %255, i8** %17
br label %262
256: ; preds = %250
%257 = load i32, i32* %22
%258 = add i32 %257, 1
store i32 %258, i32* %12
%259 = load i8*, i8** %27
%260 = load i64, i64* %10
%261 = getelementptr inbounds i8, i8* %259, i64 %260
store i8* %261, i8** %18
br label %262
262: ; preds = %256, %253
br label %263
263: ; preds = %262
%264 = load i32, i32* %12
%265 = load i32, i32* %13
%266 = icmp ult i32 %264, %265
br i1 %266, label %59, label %267
267: ; preds = %263
%268 = load i32, i32* %12
%269 = sub i32 0, %268
%270 = sub i32 %269, 1
store i32 %270, i32* %8
br label %271
271: ; preds = %267, %248, %170, %163, %35
%272 = load i32, i32* %8
ret i32 %272
}

LLVM IR (-O2):
@.str = [36 x i8] c"assertion failure lo %u mi %u hi %u\00"
define i32 @sha1_entry_pos(i8* %0, i64 %1, i64 %2, i32 %3, i32 %4, i32 %5, i8* %6) {
%8 = icmp ne i32 %5, 0
%9 = icmp ult i32 %3, %4
%10 = and i1 %9, %8
br i1 %10, label %11, label %178
11: ; preds = %7
%12 = icmp eq i32 %5, %4
%13 = zext i32 %4 to i64
%14 = mul i64 %13, %1
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = getelementptr inbounds i8, i8* %15, i64 %2
%17 = zext i32 %3 to i64
%18 = mul i64 %17, %1
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = getelementptr inbounds i8, i8* %19, i64 %2
%21 = select i1 %12, i8* null, i8* %16
%22 = getelementptr inbounds i8, i8* %0, i64 %2
br label %23
23: ; preds = %11, %170
%24 = phi i8* [ %171, %170 ], [ %20, %11 ]
%25 = phi i32 [ %115, %170 ], [ 0, %11 ]
%26 = phi i8* [ %172, %170 ], [ %21, %11 ]
%27 = phi i32 [ %173, %170 ], [ %4, %11 ]
%28 = phi i32 [ %174, %170 ], [ %3, %11 ]
%29 = icmp eq i8* %26, null
br i1 %29, label %81, label %30
30: ; preds = %23
%31 = icmp ult i32 %25, 20
br i1 %31, label %32, label %34
32: ; preds = %30
%33 = zext i32 %25 to i64
br label %40
34: ; preds = %47, %30
%35 = phi i32 [ %25, %30 ], [ 20, %47 ]
%36 = zext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %26, i64 %36
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
br label %71
40: ; preds = %32, %47
%41 = phi i64 [ %33, %32 ], [ %48, %47 ]
%42 = getelementptr inbounds i8, i8* %24, i64 %41
%43 = load i8, i8* %42
%44 = getelementptr inbounds i8, i8* %26, i64 %41
%45 = load i8, i8* %44
%46 = icmp eq i8 %43, %45
br i1 %46, label %47, label %50
47: ; preds = %40
%48 = add nuw nsw i64 %41, 1
%49 = icmp eq i64 %48, 20
br i1 %49, label %34, label %40
50: ; preds = %40
%51 = trunc i64 %41 to i32
%52 = and i64 %41, 4294967295
%53 = getelementptr inbounds i8, i8* %26, i64 %52
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = icmp ult i32 %51, 19
br i1 %56, label %57, label %71
57: ; preds = %50
%58 = shl nuw nsw i32 %55, 8
%59 = add nuw i64 %41, 1
%60 = and i64 %59, 4294967295
%61 = getelementptr inbounds i8, i8* %26, i64 %60
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = or i32 %58, %63
%65 = getelementptr inbounds i8, i8* %24, i64 %52
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = getelementptr inbounds i8, i8* %6, i64 %52
%69 = load i8, i8* %68
%70 = zext i8 %69 to i32
br label %93
71: ; preds = %50, %34
%72 = phi i64 [ %52, %50 ], [ %36, %34 ]
%73 = phi i32 [ %51, %50 ], [ %35, %34 ]
%74 = phi i32 [ %55, %50 ], [ %39, %34 ]
%75 = getelementptr inbounds i8, i8* %24, i64 %72
%76 = load i8, i8* %75
%77 = zext i8 %76 to i32
%78 = getelementptr inbounds i8, i8* %6, i64 %72
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
br label %111
81: ; preds = %23
%82 = icmp ult i32 %25, 19
%83 = zext i32 %25 to i64
%84 = getelementptr inbounds i8, i8* %24, i64 %83
%85 = load i8, i8* %84
%86 = zext i8 %85 to i32
%87 = getelementptr inbounds i8, i8* %6, i64 %83
%88 = load i8, i8* %87
%89 = zext i8 %88 to i32
br i1 %82, label %90, label %111
90: ; preds = %81
%91 = add nuw nsw i32 %25, 1
%92 = zext i32 %91 to i64
br label %93
93: ; preds = %90, %57
%94 = phi i64 [ %92, %90 ], [ %60, %57 ]
%95 = phi i32 [ %89, %90 ], [ %70, %57 ]
%96 = phi i8* [ %87, %90 ], [ %68, %57 ]
%97 = phi i32 [ %86, %90 ], [ %67, %57 ]
%98 = phi i64 [ %83, %90 ], [ %52, %57 ]
%99 = phi i32 [ 65536, %90 ], [ %64, %57 ]
%100 = phi i32 [ %25, %90 ], [ %51, %57 ]
%101 = shl nuw nsw i32 %97, 8
%102 = getelementptr inbounds i8, i8* %24, i64 %94
%103 = load i8, i8* %102
%104 = zext i8 %103 to i32
%105 = or i32 %101, %104
%106 = shl nuw nsw i32 %95, 8
%107 = getelementptr inbounds i8, i8* %6, i64 %94
%108 = load i8, i8* %107
%109 = zext i8 %108 to i32
%110 = or i32 %106, %109
br label %111
111: ; preds = %71, %93, %81
%112 = phi i8* [ %96, %93 ], [ %87, %81 ], [ %78, %71 ]
%113 = phi i64 [ %98, %93 ], [ %83, %81 ], [ %72, %71 ]
%114 = phi i32 [ %99, %93 ], [ 256, %81 ], [ %74, %71 ]
%115 = phi i32 [ %100, %93 ], [ %25, %81 ], [ %73, %71 ]
%116 = phi i32 [ %105, %93 ], [ %86, %81 ], [ %77, %71 ]
%117 = phi i32 [ %110, %93 ], [ %89, %81 ], [ %80, %71 ]
%118 = icmp ugt i32 %114, %116
%119 = zext i1 %118 to i32
%120 = tail call i32 @assert(i32 %119)
%121 = icmp ult i32 %117, %116
br i1 %121, label %122, label %124
122: ; preds = %111
%123 = xor i32 %28, -1
br label %178
124: ; preds = %111
%125 = icmp ult i32 %114, %117
br i1 %125, label %126, label %128
126: ; preds = %124
%127 = xor i32 %27, -1
br label %178
128: ; preds = %124
%129 = mul nsw i32 %117, 6
%130 = add nsw i32 %116, %114
%131 = add nsw i32 %130, %129
%132 = lshr i32 %131, 3
%133 = add nsw i32 %114, -1
%134 = icmp ult i32 %116, %133
br i1 %134, label %135, label %143
135: ; preds = %128
%136 = icmp eq i32 %132, %116
br i1 %136, label %137, label %139
137: ; preds = %135
%138 = add nuw nsw i32 %116, 1
br label %143
139: ; preds = %135
%140 = icmp eq i32 %132, %114
%141 = sext i1 %140 to i32
%142 = add nsw i32 %132, %141
br label %143
143: ; preds = %139, %137, %128
%144 = phi i32 [ %138, %137 ], [ %132, %128 ], [ %142, %139 ]
%145 = xor i32 %28, -1
%146 = add i32 %27, %145
%147 = sub nsw i32 %144, %116
%148 = mul i32 %147, %146
%149 = sub nsw i32 %114, %116
%150 = udiv i32 %148, %149
%151 = add i32 %150, %28
%152 = icmp ule i32 %28, %151
%153 = icmp ult i32 %151, %27
%154 = select i1 %152, i1 %153, i1 false
br i1 %154, label %157, label %155
155: ; preds = %143
%156 = tail call i32 @die(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %28, i32 %151, i32 %27)
br label %157
157: ; preds = %143, %155
%158 = zext i32 %151 to i64
%159 = mul i64 %158, %1
%160 = getelementptr inbounds i8, i8* %22, i64 %159
%161 = getelementptr inbounds i8, i8* %160, i64 %113
%162 = sub i32 20, %115
%163 = tail call i32 @memcmp(i8* %161, i8* %112, i32 %162)
%164 = icmp eq i32 %163, 0
br i1 %164, label %178, label %165
165: ; preds = %157
%166 = icmp sgt i32 %163, 0
br i1 %166, label %170, label %167
167: ; preds = %165
%168 = add i32 %151, 1
%169 = getelementptr inbounds i8, i8* %160, i64 %1
br label %170
170: ; preds = %165, %167
%171 = phi i8* [ %169, %167 ], [ %24, %165 ]
%172 = phi i8* [ %26, %167 ], [ %160, %165 ]
%173 = phi i32 [ %27, %167 ], [ %151, %165 ]
%174 = phi i32 [ %168, %167 ], [ %28, %165 ]
%175 = icmp ult i32 %174, %173
br i1 %175, label %23, label %176
176: ; preds = %170
%177 = xor i32 %174, -1
br label %178
178: ; preds = %157, %126, %122, %7, %176
%179 = phi i32 [ %177, %176 ], [ -1, %7 ], [ %127, %126 ], [ %123, %122 ], [ %151, %157 ]
ret i32 %179
}