#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 uint32_t;

/* Variables and functions */
unsigned int rej_gamma1m1(uint32_t *a, unsigned int len,
                          const unsigned char *buf, unsigned int buflen) {
  unsigned int ctr, pos;
  uint32_t t;
  ctr = pos = 0;
  while (ctr < len) {
    t = buf[pos];
    t |= (uint32_t)buf[pos + 1] << 8;
    t |= (uint32_t)buf[pos + 2] << 16;
    t &= 0xFFFFF;
    t = buf[pos + 2] >> 4;
    t |= (uint32_t)buf[pos + 3] << 4;
    t |= (uint32_t)buf[pos + 4] << 12;
    pos += 5;
    if (t <= 2 * ((8380417U - 1U) / 16U) - 2)
      a[ctr++] = 8380417U + ((8380417U - 1U) / 16U) - 1 - t;
    if (t <= 2 * ((8380417U - 1U) / 16U) - 2 && ctr < len)
      a[ctr++] = 8380417U + ((8380417U - 1U) / 16U) - 1 - t;
    if (pos > buflen - 5)
      break;
  }
  return ctr;
}


x86 assembly (clang, -O0):
<rej_gamma1m1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1241 <rej_gamma1m1+0x141>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
shl    $0x8,%eax
or     -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
shl    $0x10,%eax
or     -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
and    $0xfffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
sar    $0x4,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x3,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
shl    $0x4,%eax
or     -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x4,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
shl    $0xc,%eax
or     -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0xffbfe,-0x28(%rbp)
ja     11f1 <rej_gamma1m1+0xf1>
mov    $0x87de00,%edx
sub    -0x28(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
cmpl   $0xffbfe,-0x28(%rbp)
ja     1226 <rej_gamma1m1+0x126>
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1226 <rej_gamma1m1+0x126>
mov    $0x87de00,%edx
sub    -0x28(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x5,%ecx
cmp    %ecx,%eax
jbe    123c <rej_gamma1m1+0x13c>
jmp    1241 <rej_gamma1m1+0x141>
jmp    1120 <rej_gamma1m1+0x20>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<rej_gamma1m1>:
add    $0xfffffffb,%ecx
xor    %eax,%eax
xor    %r8d,%r8d
jmp    111f <rej_gamma1m1+0x1f>
nopw   0x0(%rax,%rax,1)
add    $0x2,%eax
mov    %r10d,%r10d
mov    %r9d,(%rdi,%r10,4)
cmp    %ecx,%r8d
ja     117b <rej_gamma1m1+0x7b>
cmp    %esi,%eax
jae    117b <rej_gamma1m1+0x7b>
lea    0x2(%r8),%r9d
movzbl (%rdx,%r9,1),%r9d
shr    $0x4,%r9d
lea    0x3(%r8),%r10d
movzbl (%rdx,%r10,1),%r11d
shl    $0x4,%r11d
or     %r9d,%r11d
lea    0x4(%r8),%r9d
movzbl (%rdx,%r9,1),%r10d
shl    $0xc,%r10d
or     %r11d,%r10d
add    $0x5,%r8d
cmp    $0xffbfe,%r10d
ja     111a <rej_gamma1m1+0x1a>
mov    $0x87de00,%r9d
sub    %r10d,%r9d
lea    0x1(%rax),%r10d
mov    %eax,%r11d
mov    %r9d,(%rdi,%r11,4)
cmp    %esi,%r10d
jb     1110 <rej_gamma1m1+0x10>
mov    %r10d,%eax
jmp    111a <rej_gamma1m1+0x1a>
ret

LLVM IR (-O0):
define i32 @rej_gamma1m1(i32* %0, i32 %1, i8* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i8* %2, i8** %7
store i32 %3, i32* %8
store i32 0, i32* %10
store i32 0, i32* %9
br label %12
12: ; preds = %106, %4
%13 = load i32, i32* %9
%14 = load i32, i32* %6
%15 = icmp ult i32 %13, %14
br i1 %15, label %16, label %107
16: ; preds = %12
%17 = load i8*, i8** %7
%18 = load i32, i32* %10
%19 = zext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
store i32 %22, i32* %11
%23 = load i8*, i8** %7
%24 = load i32, i32* %10
%25 = add i32 %24, 1
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %23, i64 %26
%28 = load i8, i8* %27
%29 = zext i8 %28 to i32
%30 = shl i32 %29, 8
%31 = load i32, i32* %11
%32 = or i32 %31, %30
store i32 %32, i32* %11
%33 = load i8*, i8** %7
%34 = load i32, i32* %10
%35 = add i32 %34, 2
%36 = zext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %33, i64 %36
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = shl i32 %39, 16
%41 = load i32, i32* %11
%42 = or i32 %41, %40
store i32 %42, i32* %11
%43 = load i32, i32* %11
%44 = and i32 %43, 1048575
store i32 %44, i32* %11
%45 = load i8*, i8** %7
%46 = load i32, i32* %10
%47 = add i32 %46, 2
%48 = zext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %45, i64 %48
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = ashr i32 %51, 4
store i32 %52, i32* %11
%53 = load i8*, i8** %7
%54 = load i32, i32* %10
%55 = add i32 %54, 3
%56 = zext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %53, i64 %56
%58 = load i8, i8* %57
%59 = zext i8 %58 to i32
%60 = shl i32 %59, 4
%61 = load i32, i32* %11
%62 = or i32 %61, %60
store i32 %62, i32* %11
%63 = load i8*, i8** %7
%64 = load i32, i32* %10
%65 = add i32 %64, 4
%66 = zext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %63, i64 %66
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = shl i32 %69, 12
%71 = load i32, i32* %11
%72 = or i32 %71, %70
store i32 %72, i32* %11
%73 = load i32, i32* %10
%74 = add i32 %73, 5
store i32 %74, i32* %10
%75 = load i32, i32* %11
%76 = icmp ule i32 %75, 1047550
br i1 %76, label %77, label %85
77: ; preds = %16
%78 = load i32, i32* %11
%79 = sub i32 8904192, %78
%80 = load i32*, i32** %5
%81 = load i32, i32* %9
%82 = add i32 %81, 1
store i32 %82, i32* %9
%83 = zext i32 %81 to i64
%84 = getelementptr inbounds i32, i32* %80, i64 %83
store i32 %79, i32* %84
br label %85
85: ; preds = %77, %16
%86 = load i32, i32* %11
%87 = icmp ule i32 %86, 1047550
br i1 %87, label %88, label %100
88: ; preds = %85
%89 = load i32, i32* %9
%90 = load i32, i32* %6
%91 = icmp ult i32 %89, %90
br i1 %91, label %92, label %100
92: ; preds = %88
%93 = load i32, i32* %11
%94 = sub i32 8904192, %93
%95 = load i32*, i32** %5
%96 = load i32, i32* %9
%97 = add i32 %96, 1
store i32 %97, i32* %9
%98 = zext i32 %96 to i64
%99 = getelementptr inbounds i32, i32* %95, i64 %98
store i32 %94, i32* %99
br label %100
100: ; preds = %92, %88, %85
%101 = load i32, i32* %10
%102 = load i32, i32* %8
%103 = sub i32 %102, 5
%104 = icmp ugt i32 %101, %103
br i1 %104, label %105, label %106
105: ; preds = %100
br label %107
106: ; preds = %100
br label %12
107: ; preds = %105, %12
%108 = load i32, i32* %9
ret i32 %108
}

LLVM IR (-O2):
define i32 @rej_gamma1m1(i32* nocapture writeonly %0, i32 %1, i8* nocapture %2, i32 %3) {
%5 = add i32 %3, -5
br label %6
6: ; preds = %43, %4
%7 = phi i32 [ 0, %4 ], [ %44, %43 ]
%8 = phi i32 [ 0, %4 ], [ %31, %43 ]
%9 = icmp ult i32 %7, %1
br i1 %9, label %10, label %46
10: ; preds = %6
%11 = add i32 %8, 2
%12 = zext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %2, i64 %12
%14 = load i8, i8* %13
%15 = lshr i8 %14, 4
%16 = zext i8 %15 to i32
%17 = add i32 %8, 3
%18 = zext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %2, i64 %18
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = shl nuw nsw i32 %21, 4
%23 = or i32 %22, %16
%24 = add i32 %8, 4
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %2, i64 %25
%27 = load i8, i8* %26
%28 = zext i8 %27 to i32
%29 = shl nuw nsw i32 %28, 12
%30 = or i32 %23, %29
%31 = add i32 %8, 5
%32 = icmp ult i32 %30, 1047551
br i1 %32, label %33, label %43
33: ; preds = %10
%34 = sub nuw nsw i32 8904192, %30
%35 = add nuw i32 %7, 1
%36 = zext i32 %7 to i64
%37 = getelementptr inbounds i32, i32* %0, i64 %36
store i32 %34, i32* %37
%38 = icmp ult i32 %35, %1
br i1 %38, label %39, label %43
39: ; preds = %33
%40 = add nuw i32 %7, 2
%41 = zext i32 %35 to i64
%42 = getelementptr inbounds i32, i32* %0, i64 %41
store i32 %34, i32* %42
br label %43
43: ; preds = %10, %39, %33
%44 = phi i32 [ %40, %39 ], [ %35, %33 ], [ %7, %10 ]
%45 = icmp ugt i32 %31, %5
br i1 %45, label %46, label %6
46: ; preds = %43, %6
%47 = phi i32 [ %44, %43 ], [ %7, %6 ]
ret i32 %47
}