#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*/ printf(char *, ...);
unsigned char read_rng_byte();
int do_test() {
  unsigned char rbyte = 0;
  int poker[16], runs[12], i, j;
  double pokertest;
  int longrun = 0;
  int current = 0;
  int rlength = 0;
  int ones = 0;
  for (i = 0; i < 16; i++) {
    poker[i] = 0;
  }
  for (i = 0; i < 12; i++) {
    runs[i] = 0;
  }
  rlength = 999;
  ones = 0;
  for (i = 0; i < 2500; i++) {
    rbyte = read_rng_byte();
    ones += rbyte & 1;
    ones += (rbyte & 2) >> 1;
    ones += (rbyte & 4) >> 2;
    ones += (rbyte & 8) >> 3;
    ones += (rbyte & 16) >> 4;
    ones += (rbyte & 32) >> 5;
    ones += (rbyte & 64) >> 6;
    ones += (rbyte & 128) >> 7;
    poker[rbyte >> 4] += 1;
    poker[rbyte & 15] += 1;
    if (rlength == 999) {
      current = !((rbyte & 128) >> 7);
      rlength = 1;
    }
    for (j = 7; j >= 0; j--) {
      if (((rbyte & 1 << j) >> j) == current) {
        rlength++;
      } else {
        if (rlength < 6) {
          runs[rlength - 1 + (6 * current)]++;
        }
        if (rlength >= 6) {
          runs[5 + (6 * current)]++;
        }
        if (rlength > longrun) {
          longrun = rlength;
        }
        rlength = 1;
        current = (rbyte & 1 << j) >> j;
      }
    }
  }
  if (rlength <= 6) {
    runs[rlength - 1 + (6 * current)]++;
  }
  if (rlength > longrun) {
    longrun = rlength;
  }
  pokertest = 0;
  for (i = 0; i < 16; i++) {
    pokertest += (double)(poker[i] * poker[i]);
  }
  pokertest = (16.0 / 5000.0) * pokertest - 5000.0;
  printf("Ones: %d\nPokertest: %f\nRuns: %d %d %d %d %d %d\n      %d %d %d %d "
         "%d %d\nLong Run: %d\n\n",
         ones, (float)pokertest, runs[0], runs[1], runs[2], runs[3], runs[4],
         runs[5], runs[6], runs[7], runs[8], runs[9], runs[10], runs[11],
         longrun);
  if (!((ones < 10346) && (ones > 9654))) {
    printf("  RNG failed Monobit test.\n");
    return 1;
  }
  if (!((pokertest < 57.4) && (pokertest > 1.03))) {
    printf("  RNG failed Poker test.\n");
    return 1;
  }
  if (!((runs[0] >= 2267) && (runs[0] <= 2733) && (runs[1] >= 1079) &&
        (runs[1] <= 1421) && (runs[2] >= 502) && (runs[2] <= 748) &&
        (runs[3] >= 223) && (runs[3] <= 402) && (runs[4] >= 90) &&
        (runs[4] <= 223) && (runs[5] >= 90) && (runs[5] <= 223) &&
        (runs[6] >= 2267) && (runs[6] <= 2733) && (runs[7] >= 1079) &&
        (runs[7] <= 1421) && (runs[8] >= 502) && (runs[8] <= 748) &&
        (runs[9] >= 223) && (runs[9] <= 402) && (runs[10] >= 90) &&
        (runs[10] <= 223) && (runs[11] >= 90) && (runs[11] <= 223))) {
    printf("  RNG failed Runs test.\n");
    return 1;
  }
  if (longrun >= 34) {
    printf("  RNG failed LongRun test.\n");
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<do_test>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xe8,%rsp
movb   $0x0,-0x2d(%rbp)
movl   $0x0,-0xb4(%rbp)
movl   $0x0,-0xb8(%rbp)
movl   $0x0,-0xbc(%rbp)
movl   $0x0,-0xc0(%rbp)
movl   $0x0,-0xa4(%rbp)
cmpl   $0x10,-0xa4(%rbp)
jge    119a <do_test+0x7a>
movslq -0xa4(%rbp),%rax
movl   $0x0,-0x70(%rbp,%rax,4)
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    116a <do_test+0x4a>
movl   $0x0,-0xa4(%rbp)
cmpl   $0xc,-0xa4(%rbp)
jge    11d7 <do_test+0xb7>
movslq -0xa4(%rbp),%rax
movl   $0x0,-0xa0(%rbp,%rax,4)
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    11a4 <do_test+0x84>
movl   $0x3e7,-0xbc(%rbp)
movl   $0x0,-0xc0(%rbp)
movl   $0x0,-0xa4(%rbp)
cmpl   $0x9c4,-0xa4(%rbp)
jge    144c <do_test+0x32c>
mov    $0x0,%al
call   1030 <read_rng_byte@plt>
mov    %al,-0x2d(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x1,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x2,%eax
sar    $0x1,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x4,%eax
sar    $0x2,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x8,%eax
sar    $0x3,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x10,%eax
sar    $0x4,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x20,%eax
sar    $0x5,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x40,%eax
sar    $0x6,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
and    $0x80,%eax
sar    $0x7,%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc0(%rbp)
movzbl -0x2d(%rbp),%eax
sar    $0x4,%eax
cltq
mov    -0x70(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
movzbl -0x2d(%rbp),%eax
and    $0xf,%eax
cltq
mov    -0x70(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
cmpl   $0x3e7,-0xbc(%rbp)
jne    131f <do_test+0x1ff>
movzbl -0x2d(%rbp),%eax
and    $0x80,%eax
sar    $0x7,%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xb8(%rbp)
movl   $0x1,-0xbc(%rbp)
movl   $0x7,-0xa8(%rbp)
cmpl   $0x0,-0xa8(%rbp)
jl     1433 <do_test+0x313>
movzbl -0x2d(%rbp),%eax
mov    -0xa8(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
mov    -0xa8(%rbp),%ecx
sar    %cl,%eax
cmp    -0xb8(%rbp),%eax
jne    1373 <do_test+0x253>
mov    -0xbc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xbc(%rbp)
jmp    141a <do_test+0x2fa>
cmpl   $0x6,-0xbc(%rbp)
jge    13a5 <do_test+0x285>
mov    -0xbc(%rbp),%eax
sub    $0x1,%eax
imul   $0x6,-0xb8(%rbp),%ecx
add    %ecx,%eax
cltq
mov    -0xa0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0xa0(%rbp,%rax,4)
cmpl   $0x6,-0xbc(%rbp)
jl     13cf <do_test+0x2af>
imul   $0x6,-0xb8(%rbp),%eax
add    $0x5,%eax
cltq
mov    -0xa0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0xa0(%rbp,%rax,4)
mov    -0xbc(%rbp),%eax
cmp    -0xb4(%rbp),%eax
jle    13ed <do_test+0x2cd>
mov    -0xbc(%rbp),%eax
mov    %eax,-0xb4(%rbp)
movl   $0x1,-0xbc(%rbp)
movzbl -0x2d(%rbp),%eax
mov    -0xa8(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
mov    -0xa8(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0xb8(%rbp)
jmp    141f <do_test+0x2ff>
mov    -0xa8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xa8(%rbp)
jmp    1329 <do_test+0x209>
jmp    1438 <do_test+0x318>
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    11f5 <do_test+0xd5>
cmpl   $0x6,-0xbc(%rbp)
jg     147e <do_test+0x35e>
mov    -0xbc(%rbp),%eax
sub    $0x1,%eax
imul   $0x6,-0xb8(%rbp),%ecx
add    %ecx,%eax
cltq
mov    -0xa0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0xa0(%rbp,%rax,4)
mov    -0xbc(%rbp),%eax
cmp    -0xb4(%rbp),%eax
jle    149c <do_test+0x37c>
mov    -0xbc(%rbp),%eax
mov    %eax,-0xb4(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movl   $0x0,-0xa4(%rbp)
cmpl   $0x10,-0xa4(%rbp)
jge    14fd <do_test+0x3dd>
movslq -0xa4(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
movslq -0xa4(%rbp),%rcx
imul   -0x70(%rbp,%rcx,4),%eax
cvtsi2sd %eax,%xmm0
addsd  -0xb0(%rbp),%xmm0
ff
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    14b1 <do_test+0x391>
movsd  -0xb0(%rbp),%xmm0
ff
movsd  0xaf3(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xaef(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0xc0(%rbp),%esi
movsd  -0xb0(%rbp),%xmm0
ff
cvtsd2ss %xmm0,%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0xa0(%rbp),%edx
mov    -0x9c(%rbp),%ecx
mov    -0x98(%rbp),%r8d
mov    -0x94(%rbp),%r9d
mov    -0x90(%rbp),%eax
mov    -0x8c(%rbp),%r13d
mov    -0x88(%rbp),%r12d
mov    -0x84(%rbp),%r15d
mov    -0x80(%rbp),%r14d
mov    -0x7c(%rbp),%ebx
mov    -0x78(%rbp),%r11d
mov    -0x74(%rbp),%r10d
mov    -0xb4(%rbp),%edi
mov    %edi,-0xc4(%rbp)
lea    0xa8e(%rip),%rdi
mov    %eax,(%rsp)
mov    -0xc4(%rbp),%eax
mov    %r13d,0x8(%rsp)
mov    %r12d,0x10(%rsp)
mov    %r15d,0x18(%rsp)
mov    %r14d,0x20(%rsp)
mov    %ebx,0x28(%rsp)
mov    %r11d,0x30(%rsp)
mov    %r10d,0x38(%rsp)
mov    %eax,0x40(%rsp)
mov    $0x1,%al
call   1040 <printf@plt>
cmpl   $0x286a,-0xc0(%rbp)
jge    15e8 <do_test+0x4c8>
cmpl   $0x25b6,-0xc0(%rbp)
jg     1602 <do_test+0x4e2>
lea    0xa87(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x2c(%rbp)
jmp    17f0 <do_test+0x6d0>
movsd  0xa06(%rip),%xmm0
ucomisd -0xb0(%rbp),%xmm0
ff
jbe    1632 <do_test+0x512>
movsd  -0xb0(%rbp),%xmm0
ff
movsd  0x9f0(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     164c <do_test+0x52c>
lea    0xa59(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x2c(%rbp)
jmp    17f0 <do_test+0x6d0>
cmpl   $0x8db,-0xa0(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xaad,-0xa0(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x437,-0x9c(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x58d,-0x9c(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x1f6,-0x98(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x2ec,-0x98(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0xdf,-0x94(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x192,-0x94(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x5a,-0x90(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xdf,-0x90(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x5a,-0x8c(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xdf,-0x8c(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x8db,-0x88(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xaad,-0x88(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x437,-0x84(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x58d,-0x84(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x1f6,-0x80(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x2ec,-0x80(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0xdf,-0x7c(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0x192,-0x7c(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x5a,-0x78(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xdf,-0x78(%rbp)
jg     17a8 <do_test+0x688>
cmpl   $0x5a,-0x74(%rbp)
jl     17a8 <do_test+0x688>
cmpl   $0xdf,-0x74(%rbp)
jle    17c2 <do_test+0x6a2>
lea    0x8fd(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x2c(%rbp)
jmp    17f0 <do_test+0x6d0>
cmpl   $0x22,-0xb4(%rbp)
jl     17e9 <do_test+0x6c9>
lea    0x8ef(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x2c(%rbp)
jmp    17f0 <do_test+0x6d0>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xe8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x108,%rsp
xorps  %xmm0,%xmm0
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0xb0(%rsp)
mov    $0x3e7,%ebp
mov    $0x9c4,%r14d
xor    %r15d,%r15d
xor    %r8d,%r8d
xor    %r12d,%r12d
jmp    11a9 <do_test+0x79>
nopl   0x0(%rax)
add    $0x1,%eax
mov    %r13d,%r8d
mov    %eax,%ebp
and    $0x1,%r9d
add    %r9d,%r15d
add    $0xffffffff,%r14d
je     1489 <do_test+0x359>
mov    %r8d,%r13d
xor    %eax,%eax
call   1030 <read_rng_byte@plt>
movzbl %al,%edx
mov    %edx,%r8d
and    $0x1,%r8d
mov    %edx,%r11d
shr    $0x4,%r11d
mov    %edx,%r10d
shr    $0x5,%r10d
mov    %edx,%r9d
addl   $0x1,0x50(%rsp,%r11,4)
mov    %edx,%eax
and    $0xf,%eax
addl   $0x1,0x50(%rsp,%rax,4)
shr    $0x6,%r9d
mov    %edx,%eax
shr    $0x7,%eax
mov    %edx,%ecx
not    %cl
shr    $0x7,%cl
cmp    $0x3e7,%ebp
movzbl %cl,%ecx
cmovne %r13d,%ecx
mov    $0x1,%esi
cmove  %esi,%ebp
cmp    %ecx,%eax
jne    1210 <do_test+0xe0>
add    $0x1,%ebp
mov    %ebp,%edi
jmp    1245 <do_test+0x115>
xchg   %ax,%ax
lea    -0x1(%rbp),%esi
add    %ecx,%ecx
cmp    $0x6,%ebp
lea    (%rcx,%rcx,2),%ecx
mov    $0x5,%edi
cmovl  %ecx,%edi
cmovge %ecx,%esi
add    %edi,%esi
movslq %esi,%rcx
addl   $0x1,0x90(%rsp,%rcx,4)
01
cmp    %r12d,%ebp
jg     123b <do_test+0x10b>
mov    %r12d,%ebp
mov    $0x1,%edi
mov    %ebp,%r12d
mov    %eax,%ecx
add    %r8d,%r15d
mov    %edx,%r13d
shr    %r13d
and    $0x1,%r10d
mov    %r9d,%esi
and    $0x1,%esi
cmp    %ecx,%esi
jne    1270 <do_test+0x140>
add    $0x1,%edi
mov    %ecx,%esi
mov    %edi,%ecx
jmp    12a3 <do_test+0x173>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x1(%rdi),%ebx
add    %ecx,%ecx
cmp    $0x6,%edi
lea    (%rcx,%rcx,2),%ecx
mov    $0x5,%ebp
cmovl  %ecx,%ebp
cmovge %ecx,%ebx
add    %ebp,%ebx
movslq %ebx,%rcx
addl   $0x1,0x90(%rsp,%rcx,4)
01
cmp    %r12d,%edi
jg     129b <do_test+0x16b>
mov    %r12d,%edi
mov    $0x1,%ecx
mov    %edi,%r12d
and    $0x1,%r13d
mov    %edx,%edi
shr    $0x2,%edi
add    %eax,%r15d
shr    $0x3,%edx
and    $0x1,%r11d
cmp    %esi,%r10d
jne    12d0 <do_test+0x1a0>
add    $0x1,%ecx
mov    %ecx,%eax
jmp    1305 <do_test+0x1d5>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x1(%rcx),%eax
add    %esi,%esi
cmp    $0x6,%ecx
lea    (%rsi,%rsi,2),%esi
mov    $0x5,%ebx
cmovl  %esi,%ebx
cmovge %esi,%eax
add    %ebx,%eax
cltq
addl   $0x1,0x90(%rsp,%rax,4)
01
cmp    %r12d,%ecx
jg     12fa <do_test+0x1ca>
mov    %r12d,%ecx
mov    $0x1,%eax
mov    %ecx,%r12d
mov    %r10d,%esi
and    $0x1,%edi
add    %r13d,%r15d
and    $0x1,%edx
cmp    %esi,%r11d
jne    1320 <do_test+0x1f0>
add    $0x1,%eax
mov    %eax,%ecx
jmp    1356 <do_test+0x226>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rax),%ecx
add    %esi,%esi
cmp    $0x6,%eax
lea    (%rsi,%rsi,2),%esi
mov    $0x5,%ebx
cmovl  %esi,%ebx
cmovge %esi,%ecx
add    %ebx,%ecx
movslq %ecx,%rcx
addl   $0x1,0x90(%rsp,%rcx,4)
01
cmp    %r12d,%eax
jg     134b <do_test+0x21b>
mov    %r12d,%eax
mov    $0x1,%ecx
mov    %eax,%r12d
mov    %r11d,%esi
add    %edi,%r15d
cmp    %esi,%edx
jne    1370 <do_test+0x240>
add    $0x1,%ecx
mov    %ecx,%eax
jmp    13a4 <do_test+0x274>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rcx),%eax
add    %esi,%esi
cmp    $0x6,%ecx
lea    (%rsi,%rsi,2),%esi
mov    $0x5,%ebx
cmovl  %esi,%ebx
cmovge %esi,%eax
add    %ebx,%eax
cltq
addl   $0x1,0x90(%rsp,%rax,4)
01
cmp    %r12d,%ecx
jg     139a <do_test+0x26a>
mov    %r12d,%ecx
mov    $0x1,%eax
mov    %ecx,%r12d
mov    %edx,%esi
add    %edx,%r15d
cmp    %esi,%edi
jne    13c0 <do_test+0x290>
add    $0x1,%eax
mov    %esi,%edi
mov    %eax,%ecx
jmp    13f3 <do_test+0x2c3>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rax),%ecx
add    %esi,%esi
cmp    $0x6,%eax
lea    (%rsi,%rsi,2),%edx
mov    $0x5,%esi
cmovl  %edx,%esi
cmovge %edx,%ecx
add    %esi,%ecx
movslq %ecx,%rcx
addl   $0x1,0x90(%rsp,%rcx,4)
01
cmp    %r12d,%eax
jg     13eb <do_test+0x2bb>
mov    %r12d,%eax
mov    $0x1,%ecx
mov    %eax,%r12d
add    %r11d,%r15d
cmp    %edi,%r13d
jne    1410 <do_test+0x2e0>
add    $0x1,%ecx
mov    %edi,%r13d
mov    %ecx,%eax
jmp    1442 <do_test+0x312>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x1(%rcx),%eax
add    %edi,%edi
cmp    $0x6,%ecx
lea    (%rdi,%rdi,2),%edx
mov    $0x5,%esi
cmovl  %edx,%esi
cmovge %edx,%eax
add    %esi,%eax
cltq
addl   $0x1,0x90(%rsp,%rax,4)
01
cmp    %r12d,%ecx
jg     143a <do_test+0x30a>
mov    %r12d,%ecx
mov    $0x1,%eax
mov    %ecx,%r12d
add    %r10d,%r15d
cmp    %r13d,%r8d
je     1190 <do_test+0x60>
lea    -0x1(%rax),%ecx
add    %r13d,%r13d
cmp    $0x6,%eax
lea    0x0(%r13,%r13,2),%edx
mov    $0x5,%esi
cmovl  %edx,%esi
cmovge %edx,%ecx
add    %esi,%ecx
movslq %ecx,%rcx
addl   $0x1,0x90(%rsp,%rcx,4)
01
cmp    %r12d,%eax
jg     147c <do_test+0x34c>
mov    %r12d,%eax
mov    $0x1,%ebp
mov    %eax,%r12d
jmp    1198 <do_test+0x68>
cmp    $0x6,%ebp
jg     14a0 <do_test+0x370>
lea    (%r8,%r8,2),%eax
lea    -0x1(%rbp,%rax,2),%eax
cltq
addl   $0x1,0x90(%rsp,%rax,4)
01
mov    0x50(%rsp),%eax
mov    0x54(%rsp),%ecx
imul   %eax,%eax
imul   %ecx,%ecx
mov    0x58(%rsp),%edx
imul   %edx,%edx
cvtsi2sd %eax,%xmm8
mov    0x5c(%rsp),%eax
imul   %eax,%eax
cvtsi2sd %ecx,%xmm9
mov    0x60(%rsp),%ecx
imul   %ecx,%ecx
cvtsi2sd %edx,%xmm10
mov    0x64(%rsp),%edx
imul   %edx,%edx
cvtsi2sd %eax,%xmm11
mov    0x68(%rsp),%eax
imul   %eax,%eax
cvtsi2sd %ecx,%xmm12
mov    0x6c(%rsp),%ecx
imul   %ecx,%ecx
cvtsi2sd %edx,%xmm5
mov    0x70(%rsp),%edx
imul   %edx,%edx
cvtsi2sd %eax,%xmm6
mov    0x74(%rsp),%eax
imul   %eax,%eax
cvtsi2sd %ecx,%xmm7
mov    0x78(%rsp),%ecx
imul   %ecx,%ecx
cvtsi2sd %edx,%xmm1
mov    0x7c(%rsp),%edx
imul   %edx,%edx
cvtsi2sd %eax,%xmm0
mov    0x80(%rsp),%eax
imul   %eax,%eax
cvtsi2sd %ecx,%xmm2
mov    0x84(%rsp),%ecx
imul   %ecx,%ecx
cvtsi2sd %edx,%xmm3
mov    0x88(%rsp),%edx
imul   %edx,%edx
addsd  %xmm8,%xmm9
cvtsi2sd %eax,%xmm4
mov    0x8c(%rsp),%eax
imul   %eax,%eax
cmp    %r12d,%ebp
addsd  %xmm9,%xmm10
addsd  %xmm10,%xmm11
addsd  %xmm11,%xmm12
addsd  %xmm12,%xmm5
addsd  %xmm5,%xmm6
addsd  %xmm6,%xmm7
addsd  %xmm7,%xmm1
addsd  %xmm1,%xmm0
addsd  %xmm0,%xmm2
addsd  %xmm2,%xmm3
addsd  %xmm3,%xmm4
xorps  %xmm0,%xmm0
cvtsi2sd %ecx,%xmm0
addsd  %xmm4,%xmm0
xorps  %xmm1,%xmm1
cvtsi2sd %edx,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %eax,%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
cmovg  %ebp,%r12d
mulsd  0xa46(%rip),%xmm2
addsd  0xa46(%rip),%xmm2
movsd  %xmm2,0xc8(%rsp)
xorps  %xmm0,%xmm0
cvtsd2ss %xmm2,%xmm0
cvtss2sd %xmm0,%xmm0
movdqa 0x90(%rsp),%xmm1
movdqa 0xa0(%rsp),%xmm2
movdqa 0xb0(%rsp),%xmm3
pshufd $0x55,%xmm2,%xmm8
pshufd $0xee,%xmm2,%xmm9
pshufd $0xff,%xmm2,%xmm10
pshufd $0x55,%xmm3,%xmm4
pshufd $0xee,%xmm3,%xmm5
pshufd $0xff,%xmm3,%xmm6
movd   %xmm1,%edx
pshufd $0x55,%xmm1,%xmm7
movd   %xmm7,%ecx
pshufd $0xee,%xmm1,%xmm7
movd   %xmm7,%r8d
movdqa %xmm1,0xd0(%rsp)
pshufd $0xff,%xmm1,%xmm7
movd   %xmm7,%r9d
mov    %r12d,0x40(%rsp)
movd   %xmm6,0x38(%rsp)
movd   %xmm5,0x30(%rsp)
movd   %xmm4,0x28(%rsp)
movdqa %xmm3,0xe0(%rsp)
movd   %xmm3,0x20(%rsp)
movd   %xmm10,0x18(%rsp)
movd   %xmm9,0x10(%rsp)
movd   %xmm8,0x8(%rsp)
movdqa %xmm2,0xf0(%rsp)
movd   %xmm2,(%rsp)
lea    0xa04(%rip),%rdi
mov    %r15d,%esi
mov    $0x1,%al
call   1050 <printf@plt>
add    $0xffffda49,%r15d
cmp    $0x2b2,%r15d
ja     1768 <do_test+0x638>
movsd  0x95e(%rip),%xmm0
movsd  0xc8(%rsp),%xmm1
ucomisd %xmm1,%xmm0
lea    0xa3b(%rip),%rdi
jbe    176f <do_test+0x63f>
movapd %xmm1,%xmm0
ucomisd 0x940(%rip),%xmm1
jbe    176f <do_test+0x63f>
movdqa 0xe0(%rsp),%xmm2
paddd  0x941(%rip),%xmm2
movdqa 0xf0(%rsp),%xmm1
paddd  0x940(%rip),%xmm1
movdqa 0x948(%rip),%xmm0
pxor   %xmm0,%xmm1
pcmpgtd 0x94c(%rip),%xmm1
pxor   %xmm0,%xmm2
pcmpgtd 0x950(%rip),%xmm2
packssdw %xmm2,%xmm1
pmovmskb %xmm1,%eax
lea    0x9eb(%rip),%rdi
test   %eax,%eax
jne    176f <do_test+0x63f>
movdqa 0xd0(%rsp),%xmm1
paddd  0x8dc(%rip),%xmm1
pxor   %xmm0,%xmm1
pcmpgtd 0x930(%rip),%xmm1
movmskps %xmm1,%eax
test   %al,%al
jne    176f <do_test+0x63f>
xor    %eax,%eax
cmp    $0x22,%r12d
jl     1779 <do_test+0x649>
lea    0x9cc(%rip),%rdi
jmp    176f <do_test+0x63f>
lea    0x977(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%eax
add    $0x108,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [86 x i8] c"Ones: %d\0APokertest: %f\0ARuns: %d %d %d %d %d %d\0A %d %d %d %d %d %d\0ALong Run: %d\0A\0A\00"
@.str.1 = [28 x i8] c" RNG failed Monobit test.\0A\00"
@.str.2 = [26 x i8] c" RNG failed Poker test.\0A\00"
@.str.3 = [25 x i8] c" RNG failed Runs test.\0A\00"
@.str.4 = [28 x i8] c" RNG failed LongRun test.\0A\00"
define i32 @do_test() {
%1 = alloca i32
%2 = alloca i8
%3 = alloca [16 x i32]
%4 = alloca [12 x i32]
%5 = alloca i32
%6 = alloca i32
%7 = alloca double
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i8 0, i8* %2
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %10
store i32 0, i32* %11
store i32 0, i32* %5
br label %12
12: ; preds = %19, %0
%13 = load i32, i32* %5
%14 = icmp slt i32 %13, 16
br i1 %14, label %15, label %22
15: ; preds = %12
%16 = load i32, i32* %5
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %17
store i32 0, i32* %18
br label %19
19: ; preds = %15
%20 = load i32, i32* %5
%21 = add nsw i32 %20, 1
store i32 %21, i32* %5
br label %12
22: ; preds = %12
store i32 0, i32* %5
br label %23
23: ; preds = %30, %22
%24 = load i32, i32* %5
%25 = icmp slt i32 %24, 12
br i1 %25, label %26, label %33
26: ; preds = %23
%27 = load i32, i32* %5
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 %28
store i32 0, i32* %29
br label %30
30: ; preds = %26
%31 = load i32, i32* %5
%32 = add nsw i32 %31, 1
store i32 %32, i32* %5
br label %23
33: ; preds = %23
store i32 999, i32* %10
store i32 0, i32* %11
store i32 0, i32* %5
br label %34
34: ; preds = %170, %33
%35 = load i32, i32* %5
%36 = icmp slt i32 %35, 2500
br i1 %36, label %37, label %173
37: ; preds = %34
%38 = call zeroext i8 (...) @read_rng_byte()
store i8 %38, i8* %2
%39 = load i8, i8* %2
%40 = zext i8 %39 to i32
%41 = and i32 %40, 1
%42 = load i32, i32* %11
%43 = add nsw i32 %42, %41
store i32 %43, i32* %11
%44 = load i8, i8* %2
%45 = zext i8 %44 to i32
%46 = and i32 %45, 2
%47 = ashr i32 %46, 1
%48 = load i32, i32* %11
%49 = add nsw i32 %48, %47
store i32 %49, i32* %11
%50 = load i8, i8* %2
%51 = zext i8 %50 to i32
%52 = and i32 %51, 4
%53 = ashr i32 %52, 2
%54 = load i32, i32* %11
%55 = add nsw i32 %54, %53
store i32 %55, i32* %11
%56 = load i8, i8* %2
%57 = zext i8 %56 to i32
%58 = and i32 %57, 8
%59 = ashr i32 %58, 3
%60 = load i32, i32* %11
%61 = add nsw i32 %60, %59
store i32 %61, i32* %11
%62 = load i8, i8* %2
%63 = zext i8 %62 to i32
%64 = and i32 %63, 16
%65 = ashr i32 %64, 4
%66 = load i32, i32* %11
%67 = add nsw i32 %66, %65
store i32 %67, i32* %11
%68 = load i8, i8* %2
%69 = zext i8 %68 to i32
%70 = and i32 %69, 32
%71 = ashr i32 %70, 5
%72 = load i32, i32* %11
%73 = add nsw i32 %72, %71
store i32 %73, i32* %11
%74 = load i8, i8* %2
%75 = zext i8 %74 to i32
%76 = and i32 %75, 64
%77 = ashr i32 %76, 6
%78 = load i32, i32* %11
%79 = add nsw i32 %78, %77
store i32 %79, i32* %11
%80 = load i8, i8* %2
%81 = zext i8 %80 to i32
%82 = and i32 %81, 128
%83 = ashr i32 %82, 7
%84 = load i32, i32* %11
%85 = add nsw i32 %84, %83
store i32 %85, i32* %11
%86 = load i8, i8* %2
%87 = zext i8 %86 to i32
%88 = ashr i32 %87, 4
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %89
%91 = load i32, i32* %90
%92 = add nsw i32 %91, 1
store i32 %92, i32* %90
%93 = load i8, i8* %2
%94 = zext i8 %93 to i32
%95 = and i32 %94, 15
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %96
%98 = load i32, i32* %97
%99 = add nsw i32 %98, 1
store i32 %99, i32* %97
%100 = load i32, i32* %10
%101 = icmp eq i32 %100, 999
br i1 %101, label %102, label %110
102: ; preds = %37
%103 = load i8, i8* %2
%104 = zext i8 %103 to i32
%105 = and i32 %104, 128
%106 = ashr i32 %105, 7
%107 = icmp ne i32 %106, 0
%108 = xor i1 %107, true
%109 = zext i1 %108 to i32
store i32 %109, i32* %9
store i32 1, i32* %10
br label %110
110: ; preds = %102, %37
store i32 7, i32* %6
br label %111
111: ; preds = %166, %110
%112 = load i32, i32* %6
%113 = icmp sge i32 %112, 0
br i1 %113, label %114, label %169
114: ; preds = %111
%115 = load i8, i8* %2
%116 = zext i8 %115 to i32
%117 = load i32, i32* %6
%118 = shl i32 1, %117
%119 = and i32 %116, %118
%120 = load i32, i32* %6
%121 = ashr i32 %119, %120
%122 = load i32, i32* %9
%123 = icmp eq i32 %121, %122
br i1 %123, label %124, label %127
124: ; preds = %114
%125 = load i32, i32* %10
%126 = add nsw i32 %125, 1
store i32 %126, i32* %10
br label %165
127: ; preds = %114
%128 = load i32, i32* %10
%129 = icmp slt i32 %128, 6
br i1 %129, label %130, label %140
130: ; preds = %127
%131 = load i32, i32* %10
%132 = sub nsw i32 %131, 1
%133 = load i32, i32* %9
%134 = mul nsw i32 6, %133
%135 = add nsw i32 %132, %134
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 %136
%138 = load i32, i32* %137
%139 = add nsw i32 %138, 1
store i32 %139, i32* %137
br label %140
140: ; preds = %130, %127
%141 = load i32, i32* %10
%142 = icmp sge i32 %141, 6
br i1 %142, label %143, label %151
143: ; preds = %140
%144 = load i32, i32* %9
%145 = mul nsw i32 6, %144
%146 = add nsw i32 5, %145
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 %147
%149 = load i32, i32* %148
%150 = add nsw i32 %149, 1
store i32 %150, i32* %148
br label %151
151: ; preds = %143, %140
%152 = load i32, i32* %10
%153 = load i32, i32* %8
%154 = icmp sgt i32 %152, %153
br i1 %154, label %155, label %157
155: ; preds = %151
%156 = load i32, i32* %10
store i32 %156, i32* %8
br label %157
157: ; preds = %155, %151
store i32 1, i32* %10
%158 = load i8, i8* %2
%159 = zext i8 %158 to i32
%160 = load i32, i32* %6
%161 = shl i32 1, %160
%162 = and i32 %159, %161
%163 = load i32, i32* %6
%164 = ashr i32 %162, %163
store i32 %164, i32* %9
br label %165
165: ; preds = %157, %124
br label %166
166: ; preds = %165
%167 = load i32, i32* %6
%168 = add nsw i32 %167, -1
store i32 %168, i32* %6
br label %111
169: ; preds = %111
br label %170
170: ; preds = %169
%171 = load i32, i32* %5
%172 = add nsw i32 %171, 1
store i32 %172, i32* %5
br label %34
173: ; preds = %34
%174 = load i32, i32* %10
%175 = icmp sle i32 %174, 6
br i1 %175, label %176, label %186
176: ; preds = %173
%177 = load i32, i32* %10
%178 = sub nsw i32 %177, 1
%179 = load i32, i32* %9
%180 = mul nsw i32 6, %179
%181 = add nsw i32 %178, %180
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 %182
%184 = load i32, i32* %183
%185 = add nsw i32 %184, 1
store i32 %185, i32* %183
br label %186
186: ; preds = %176, %173
%187 = load i32, i32* %10
%188 = load i32, i32* %8
%189 = icmp sgt i32 %187, %188
br i1 %189, label %190, label %192
190: ; preds = %186
%191 = load i32, i32* %10
store i32 %191, i32* %8
br label %192
192: ; preds = %190, %186
store double 0.000000e+00, double* %7
store i32 0, i32* %5
br label %193
193: ; preds = %209, %192
%194 = load i32, i32* %5
%195 = icmp slt i32 %194, 16
br i1 %195, label %196, label %212
196: ; preds = %193
%197 = load i32, i32* %5
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %198
%200 = load i32, i32* %199
%201 = load i32, i32* %5
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %202
%204 = load i32, i32* %203
%205 = mul nsw i32 %200, %204
%206 = sitofp i32 %205 to double
%207 = load double, double* %7
%208 = fadd double %207, %206
store double %208, double* %7
br label %209
209: ; preds = %196
%210 = load i32, i32* %5
%211 = add nsw i32 %210, 1
store i32 %211, i32* %5
br label %193
212: ; preds = %193
%213 = load double, double* %7
%214 = call double @llvm.fmuladd.f64(double 3.200000e-03, double %213, double -5.000000e+03)
store double %214, double* %7
%215 = load i32, i32* %11
%216 = load double, double* %7
%217 = fptrunc double %216 to float
%218 = fpext float %217 to double
%219 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 0
%220 = load i32, i32* %219
%221 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 1
%222 = load i32, i32* %221
%223 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 2
%224 = load i32, i32* %223
%225 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 3
%226 = load i32, i32* %225
%227 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 4
%228 = load i32, i32* %227
%229 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 5
%230 = load i32, i32* %229
%231 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 6
%232 = load i32, i32* %231
%233 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 7
%234 = load i32, i32* %233
%235 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 8
%236 = load i32, i32* %235
%237 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 9
%238 = load i32, i32* %237
%239 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 10
%240 = load i32, i32* %239
%241 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 11
%242 = load i32, i32* %241
%243 = load i32, i32* %8
%244 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([86 x i8], [86 x i8]* @.str, i64 0, i64 0), i32 %215, double %218, i32 %220, i32 %222, i32 %224, i32 %226, i32 %228, i32 %230, i32 %232, i32 %234, i32 %236, i32 %238, i32 %240, i32 %242, i32 %243)
%245 = load i32, i32* %11
%246 = icmp slt i32 %245, 10346
br i1 %246, label %247, label %250
247: ; preds = %212
%248 = load i32, i32* %11
%249 = icmp sgt i32 %248, 9654
br i1 %249, label %252, label %250
250: ; preds = %247, %212
%251 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0))
store i32 1, i32* %1
br label %364
252: ; preds = %247
%253 = load double, double* %7
%254 = fcmp olt double %253, 5.740000e+01
br i1 %254, label %255, label %258
255: ; preds = %252
%256 = load double, double* %7
%257 = fcmp ogt double %256, 1.030000e+00
br i1 %257, label %260, label %258
258: ; preds = %255, %252
%259 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.2, i64 0, i64 0))
store i32 1, i32* %1
br label %364
260: ; preds = %255
%261 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 0
%262 = load i32, i32* %261
%263 = icmp sge i32 %262, 2267
br i1 %263, label %264, label %356
264: ; preds = %260
%265 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 0
%266 = load i32, i32* %265
%267 = icmp sle i32 %266, 2733
br i1 %267, label %268, label %356
268: ; preds = %264
%269 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 1
%270 = load i32, i32* %269
%271 = icmp sge i32 %270, 1079
br i1 %271, label %272, label %356
272: ; preds = %268
%273 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 1
%274 = load i32, i32* %273
%275 = icmp sle i32 %274, 1421
br i1 %275, label %276, label %356
276: ; preds = %272
%277 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 2
%278 = load i32, i32* %277
%279 = icmp sge i32 %278, 502
br i1 %279, label %280, label %356
280: ; preds = %276
%281 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 2
%282 = load i32, i32* %281
%283 = icmp sle i32 %282, 748
br i1 %283, label %284, label %356
284: ; preds = %280
%285 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 3
%286 = load i32, i32* %285
%287 = icmp sge i32 %286, 223
br i1 %287, label %288, label %356
288: ; preds = %284
%289 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 3
%290 = load i32, i32* %289
%291 = icmp sle i32 %290, 402
br i1 %291, label %292, label %356
292: ; preds = %288
%293 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 4
%294 = load i32, i32* %293
%295 = icmp sge i32 %294, 90
br i1 %295, label %296, label %356
296: ; preds = %292
%297 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 4
%298 = load i32, i32* %297
%299 = icmp sle i32 %298, 223
br i1 %299, label %300, label %356
300: ; preds = %296
%301 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 5
%302 = load i32, i32* %301
%303 = icmp sge i32 %302, 90
br i1 %303, label %304, label %356
304: ; preds = %300
%305 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 5
%306 = load i32, i32* %305
%307 = icmp sle i32 %306, 223
br i1 %307, label %308, label %356
308: ; preds = %304
%309 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 6
%310 = load i32, i32* %309
%311 = icmp sge i32 %310, 2267
br i1 %311, label %312, label %356
312: ; preds = %308
%313 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 6
%314 = load i32, i32* %313
%315 = icmp sle i32 %314, 2733
br i1 %315, label %316, label %356
316: ; preds = %312
%317 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 7
%318 = load i32, i32* %317
%319 = icmp sge i32 %318, 1079
br i1 %319, label %320, label %356
320: ; preds = %316
%321 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 7
%322 = load i32, i32* %321
%323 = icmp sle i32 %322, 1421
br i1 %323, label %324, label %356
324: ; preds = %320
%325 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 8
%326 = load i32, i32* %325
%327 = icmp sge i32 %326, 502
br i1 %327, label %328, label %356
328: ; preds = %324
%329 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 8
%330 = load i32, i32* %329
%331 = icmp sle i32 %330, 748
br i1 %331, label %332, label %356
332: ; preds = %328
%333 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 9
%334 = load i32, i32* %333
%335 = icmp sge i32 %334, 223
br i1 %335, label %336, label %356
336: ; preds = %332
%337 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 9
%338 = load i32, i32* %337
%339 = icmp sle i32 %338, 402
br i1 %339, label %340, label %356
340: ; preds = %336
%341 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 10
%342 = load i32, i32* %341
%343 = icmp sge i32 %342, 90
br i1 %343, label %344, label %356
344: ; preds = %340
%345 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 10
%346 = load i32, i32* %345
%347 = icmp sle i32 %346, 223
br i1 %347, label %348, label %356
348: ; preds = %344
%349 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 11
%350 = load i32, i32* %349
%351 = icmp sge i32 %350, 90
br i1 %351, label %352, label %356
352: ; preds = %348
%353 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 11
%354 = load i32, i32* %353
%355 = icmp sle i32 %354, 223
br i1 %355, label %358, label %356
356: ; preds = %352, %348, %344, %340, %336, %332, %328, %324, %320, %316, %312, %308, %304, %300, %296, %292, %288, %284, %280, %276, %272, %268, %264, %260
%357 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.3, i64 0, i64 0))
store i32 1, i32* %1
br label %364
358: ; preds = %352
%359 = load i32, i32* %8
%360 = icmp sge i32 %359, 34
br i1 %360, label %361, label %363
361: ; preds = %358
%362 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.4, i64 0, i64 0))
store i32 1, i32* %1
br label %364
363: ; preds = %358
store i32 0, i32* %1
br label %364
364: ; preds = %363, %361, %356, %258, %250
%365 = load i32, i32* %1
ret i32 %365
}

LLVM IR (-O2):
@.str = [86 x i8] c"Ones: %d\0APokertest: %f\0ARuns: %d %d %d %d %d %d\0A %d %d %d %d %d %d\0ALong Run: %d\0A\0A\00"
@str = [27 x i8] c" RNG failed Monobit test.\00"
@str.5 = [25 x i8] c" RNG failed Poker test.\00"
@str.6 = [24 x i8] c" RNG failed Runs test.\00"
@str.7 = [27 x i8] c" RNG failed LongRun test.\00"
define i32 @do_test() {
%1 = alloca [16 x i32]
%2 = bitcast [16 x i32]* %1 to i8*
%3 = alloca [12 x i32]
%4 = bitcast [12 x i32]* %3 to i8*
br label %5
5: ; preds = %0, %226
%6 = phi i32 [ %231, %226 ], [ 0, %0 ]
%7 = phi i32 [ %229, %226 ], [ 999, %0 ]
%8 = phi i32 [ %228, %226 ], [ 0, %0 ]
%9 = phi i32 [ %227, %226 ], [ 0, %0 ]
%10 = phi i32 [ %232, %226 ], [ 0, %0 ]
%11 = tail call zeroext i8 (...) @read_rng_byte()
%12 = zext i8 %11 to i32
%13 = and i32 %12, 1
%14 = add nsw i32 %13, %6
%15 = lshr i32 %12, 1
%16 = and i32 %15, 1
%17 = lshr i32 %12, 2
%18 = and i32 %17, 1
%19 = lshr i32 %12, 3
%20 = and i32 %19, 1
%21 = lshr i32 %12, 4
%22 = and i32 %21, 1
%23 = lshr i32 %12, 5
%24 = and i32 %23, 1
%25 = lshr i32 %12, 6
%26 = lshr i32 %12, 7
%27 = add i32 %14, %26
%28 = add i32 %27, %16
%29 = add i32 %28, %18
%30 = add i32 %29, %20
%31 = add i32 %30, %22
%32 = add i32 %31, %24
%33 = zext i32 %21 to i64
%34 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %33
%35 = load i32, i32* %34
%36 = add nsw i32 %35, 1
store i32 %36, i32* %34
%37 = and i32 %12, 15
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = add nsw i32 %40, 1
store i32 %41, i32* %39
%42 = icmp eq i32 %7, 999
%43 = xor i8 %11, -1
%44 = lshr i8 %43, 7
%45 = zext i8 %44 to i32
%46 = select i1 %42, i32 %45, i32 %8
%47 = select i1 %42, i32 1, i32 %7
%48 = lshr i32 %12, 7
%49 = icmp eq i32 %48, %46
br i1 %49, label %50, label %52
50: ; preds = %5
%51 = add nsw i32 %47, 1
br label %66
52: ; preds = %5
%53 = icmp slt i32 %47, 6
%54 = add nsw i32 %47, -1
%55 = mul nsw i32 %46, 6
%56 = mul nsw i32 %46, 6
%57 = select i1 %53, i32 %55, i32 5
%58 = select i1 %53, i32 %54, i32 %56
%59 = add nsw i32 %58, %57
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %60
%62 = load i32, i32* %61
%63 = add nsw i32 %62, 1
store i32 %63, i32* %61
%64 = icmp sgt i32 %47, %9
%65 = select i1 %64, i32 %47, i32 %9
br label %66
66: ; preds = %50, %52
%67 = phi i32 [ %9, %50 ], [ %65, %52 ]
%68 = phi i32 [ %46, %50 ], [ %48, %52 ]
%69 = phi i32 [ %51, %50 ], [ 1, %52 ]
%70 = lshr i32 %12, 6
%71 = and i32 %70, 1
%72 = icmp eq i32 %71, %68
br i1 %72, label %87, label %73
73: ; preds = %66
%74 = icmp slt i32 %69, 6
%75 = add nsw i32 %69, -1
%76 = mul nsw i32 %68, 6
%77 = mul nsw i32 %68, 6
%78 = select i1 %74, i32 %76, i32 5
%79 = select i1 %74, i32 %75, i32 %77
%80 = add nsw i32 %79, %78
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = add nsw i32 %83, 1
store i32 %84, i32* %82
%85 = icmp sgt i32 %69, %67
%86 = select i1 %85, i32 %69, i32 %67
br label %89
87: ; preds = %66
%88 = add nsw i32 %69, 1
br label %89
89: ; preds = %87, %73
%90 = phi i32 [ %67, %87 ], [ %86, %73 ]
%91 = phi i32 [ %68, %87 ], [ %71, %73 ]
%92 = phi i32 [ %88, %87 ], [ 1, %73 ]
%93 = lshr i32 %12, 5
%94 = and i32 %93, 1
%95 = icmp eq i32 %94, %91
br i1 %95, label %110, label %96
96: ; preds = %89
%97 = icmp slt i32 %92, 6
%98 = add nsw i32 %92, -1
%99 = mul nsw i32 %91, 6
%100 = mul nsw i32 %91, 6
%101 = select i1 %97, i32 %99, i32 5
%102 = select i1 %97, i32 %98, i32 %100
%103 = add nsw i32 %102, %101
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %104
%106 = load i32, i32* %105
%107 = add nsw i32 %106, 1
store i32 %107, i32* %105
%108 = icmp sgt i32 %92, %90
%109 = select i1 %108, i32 %92, i32 %90
br label %112
110: ; preds = %89
%111 = add nsw i32 %92, 1
br label %112
112: ; preds = %110, %96
%113 = phi i32 [ %90, %110 ], [ %109, %96 ]
%114 = phi i32 [ %91, %110 ], [ %94, %96 ]
%115 = phi i32 [ %111, %110 ], [ 1, %96 ]
%116 = lshr i32 %12, 4
%117 = and i32 %116, 1
%118 = icmp eq i32 %117, %114
br i1 %118, label %133, label %119
119: ; preds = %112
%120 = icmp slt i32 %115, 6
%121 = add nsw i32 %115, -1
%122 = mul nsw i32 %114, 6
%123 = mul nsw i32 %114, 6
%124 = select i1 %120, i32 %122, i32 5
%125 = select i1 %120, i32 %121, i32 %123
%126 = add nsw i32 %125, %124
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %127
%129 = load i32, i32* %128
%130 = add nsw i32 %129, 1
store i32 %130, i32* %128
%131 = icmp sgt i32 %115, %113
%132 = select i1 %131, i32 %115, i32 %113
br label %135
133: ; preds = %112
%134 = add nsw i32 %115, 1
br label %135
135: ; preds = %133, %119
%136 = phi i32 [ %113, %133 ], [ %132, %119 ]
%137 = phi i32 [ %114, %133 ], [ %117, %119 ]
%138 = phi i32 [ %134, %133 ], [ 1, %119 ]
%139 = lshr i32 %12, 3
%140 = and i32 %139, 1
%141 = icmp eq i32 %140, %137
br i1 %141, label %156, label %142
142: ; preds = %135
%143 = icmp slt i32 %138, 6
%144 = add nsw i32 %138, -1
%145 = mul nsw i32 %137, 6
%146 = mul nsw i32 %137, 6
%147 = select i1 %143, i32 %145, i32 5
%148 = select i1 %143, i32 %144, i32 %146
%149 = add nsw i32 %148, %147
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %150
%152 = load i32, i32* %151
%153 = add nsw i32 %152, 1
store i32 %153, i32* %151
%154 = icmp sgt i32 %138, %136
%155 = select i1 %154, i32 %138, i32 %136
br label %158
156: ; preds = %135
%157 = add nsw i32 %138, 1
br label %158
158: ; preds = %156, %142
%159 = phi i32 [ %136, %156 ], [ %155, %142 ]
%160 = phi i32 [ %137, %156 ], [ %140, %142 ]
%161 = phi i32 [ %157, %156 ], [ 1, %142 ]
%162 = lshr i32 %12, 2
%163 = and i32 %162, 1
%164 = icmp eq i32 %163, %160
br i1 %164, label %179, label %165
165: ; preds = %158
%166 = icmp slt i32 %161, 6
%167 = add nsw i32 %161, -1
%168 = mul nsw i32 %160, 6
%169 = mul nsw i32 %160, 6
%170 = select i1 %166, i32 %168, i32 5
%171 = select i1 %166, i32 %167, i32 %169
%172 = add nsw i32 %171, %170
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %173
%175 = load i32, i32* %174
%176 = add nsw i32 %175, 1
store i32 %176, i32* %174
%177 = icmp sgt i32 %161, %159
%178 = select i1 %177, i32 %161, i32 %159
br label %181
179: ; preds = %158
%180 = add nsw i32 %161, 1
br label %181
181: ; preds = %179, %165
%182 = phi i32 [ %159, %179 ], [ %178, %165 ]
%183 = phi i32 [ %160, %179 ], [ %163, %165 ]
%184 = phi i32 [ %180, %179 ], [ 1, %165 ]
%185 = lshr i32 %12, 1
%186 = and i32 %185, 1
%187 = icmp eq i32 %186, %183
br i1 %187, label %202, label %188
188: ; preds = %181
%189 = icmp slt i32 %184, 6
%190 = add nsw i32 %184, -1
%191 = mul nsw i32 %183, 6
%192 = mul nsw i32 %183, 6
%193 = select i1 %189, i32 %191, i32 5
%194 = select i1 %189, i32 %190, i32 %192
%195 = add nsw i32 %194, %193
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %196
%198 = load i32, i32* %197
%199 = add nsw i32 %198, 1
store i32 %199, i32* %197
%200 = icmp sgt i32 %184, %182
%201 = select i1 %200, i32 %184, i32 %182
br label %204
202: ; preds = %181
%203 = add nsw i32 %184, 1
br label %204
204: ; preds = %202, %188
%205 = phi i32 [ %182, %202 ], [ %201, %188 ]
%206 = phi i32 [ %183, %202 ], [ %186, %188 ]
%207 = phi i32 [ %203, %202 ], [ 1, %188 ]
%208 = and i32 %12, 1
%209 = icmp eq i32 %208, %206
br i1 %209, label %224, label %210
210: ; preds = %204
%211 = icmp slt i32 %207, 6
%212 = add nsw i32 %207, -1
%213 = mul nsw i32 %206, 6
%214 = mul nsw i32 %206, 6
%215 = select i1 %211, i32 %213, i32 5
%216 = select i1 %211, i32 %212, i32 %214
%217 = add nsw i32 %216, %215
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %218
%220 = load i32, i32* %219
%221 = add nsw i32 %220, 1
store i32 %221, i32* %219
%222 = icmp sgt i32 %207, %205
%223 = select i1 %222, i32 %207, i32 %205
br label %226
224: ; preds = %204
%225 = add nsw i32 %207, 1
br label %226
226: ; preds = %224, %210
%227 = phi i32 [ %205, %224 ], [ %223, %210 ]
%228 = phi i32 [ %206, %224 ], [ %208, %210 ]
%229 = phi i32 [ %225, %224 ], [ 1, %210 ]
%230 = and i32 %25, 1
%231 = add i32 %32, %230
%232 = add nuw nsw i32 %10, 1
%233 = icmp eq i32 %232, 2500
br i1 %233, label %234, label %5
234: ; preds = %226
%235 = icmp slt i32 %229, 7
br i1 %235, label %236, label %244
236: ; preds = %234
%237 = add nsw i32 %229, -1
%238 = mul nsw i32 %228, 6
%239 = add nsw i32 %237, %238
%240 = sext i32 %239 to i64
%241 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 %240
%242 = load i32, i32* %241
%243 = add nsw i32 %242, 1
store i32 %243, i32* %241
br label %244
244: ; preds = %236, %234
%245 = icmp sgt i32 %229, %227
%246 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 0
%247 = load i32, i32* %246
%248 = mul nsw i32 %247, %247
%249 = sitofp i32 %248 to double
%250 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 1
%251 = load i32, i32* %250
%252 = mul nsw i32 %251, %251
%253 = sitofp i32 %252 to double
%254 = fadd double %249, %253
%255 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 2
%256 = load i32, i32* %255
%257 = mul nsw i32 %256, %256
%258 = sitofp i32 %257 to double
%259 = fadd double %254, %258
%260 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 3
%261 = load i32, i32* %260
%262 = mul nsw i32 %261, %261
%263 = sitofp i32 %262 to double
%264 = fadd double %259, %263
%265 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 4
%266 = load i32, i32* %265
%267 = mul nsw i32 %266, %266
%268 = sitofp i32 %267 to double
%269 = fadd double %264, %268
%270 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 5
%271 = load i32, i32* %270
%272 = mul nsw i32 %271, %271
%273 = sitofp i32 %272 to double
%274 = fadd double %269, %273
%275 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 6
%276 = load i32, i32* %275
%277 = mul nsw i32 %276, %276
%278 = sitofp i32 %277 to double
%279 = fadd double %274, %278
%280 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 7
%281 = load i32, i32* %280
%282 = mul nsw i32 %281, %281
%283 = sitofp i32 %282 to double
%284 = fadd double %279, %283
%285 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 8
%286 = load i32, i32* %285
%287 = mul nsw i32 %286, %286
%288 = sitofp i32 %287 to double
%289 = fadd double %284, %288
%290 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 9
%291 = load i32, i32* %290
%292 = mul nsw i32 %291, %291
%293 = sitofp i32 %292 to double
%294 = fadd double %289, %293
%295 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 10
%296 = load i32, i32* %295
%297 = mul nsw i32 %296, %296
%298 = sitofp i32 %297 to double
%299 = fadd double %294, %298
%300 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 11
%301 = load i32, i32* %300
%302 = mul nsw i32 %301, %301
%303 = sitofp i32 %302 to double
%304 = fadd double %299, %303
%305 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 12
%306 = load i32, i32* %305
%307 = mul nsw i32 %306, %306
%308 = sitofp i32 %307 to double
%309 = fadd double %304, %308
%310 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 13
%311 = load i32, i32* %310
%312 = mul nsw i32 %311, %311
%313 = sitofp i32 %312 to double
%314 = fadd double %309, %313
%315 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 14
%316 = load i32, i32* %315
%317 = mul nsw i32 %316, %316
%318 = sitofp i32 %317 to double
%319 = fadd double %314, %318
%320 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 15
%321 = load i32, i32* %320
%322 = mul nsw i32 %321, %321
%323 = sitofp i32 %322 to double
%324 = fadd double %319, %323
%325 = select i1 %245, i32 %229, i32 %227
%326 = tail call double @llvm.fmuladd.f64(double %324, double 3.200000e-03, double -5.000000e+03)
%327 = fptrunc double %326 to float
%328 = fpext float %327 to double
%329 = bitcast [12 x i32]* %3 to <4 x i32>*
%330 = load <4 x i32>, <4 x i32>* %329
%331 = getelementptr inbounds [12 x i32], [12 x i32]* %3, i64 0, i64 4
%332 = bitcast i32* %331 to <8 x i32>*
%333 = load <8 x i32>, <8 x i32>* %332
%334 = extractelement <8 x i32> %333, i64 0
%335 = extractelement <8 x i32> %333, i64 1
%336 = extractelement <8 x i32> %333, i64 2
%337 = extractelement <8 x i32> %333, i64 3
%338 = extractelement <8 x i32> %333, i64 4
%339 = extractelement <8 x i32> %333, i64 5
%340 = extractelement <8 x i32> %333, i64 6
%341 = extractelement <8 x i32> %333, i64 7
%342 = extractelement <4 x i32> %330, i64 0
%343 = extractelement <4 x i32> %330, i64 1
%344 = extractelement <4 x i32> %330, i64 2
%345 = extractelement <4 x i32> %330, i64 3
%346 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([86 x i8], [86 x i8]* @.str, i64 0, i64 0), i32 %231, double %328, i32 %342, i32 %343, i32 %344, i32 %345, i32 %334, i32 %335, i32 %336, i32 %337, i32 %338, i32 %339, i32 %340, i32 %341, i32 %325)
%347 = add i32 %231, -9655
%348 = icmp ult i32 %347, 691
br i1 %348, label %349, label %365
349: ; preds = %244
%350 = fcmp olt double %326, 5.740000e+01
%351 = fcmp ogt double %326, 1.030000e+00
%352 = and i1 %350, %351
br i1 %352, label %353, label %365
353: ; preds = %349
%354 = add <4 x i32> %330, <i32 -2267, i32 -1079, i32 -502, i32 -223>
%355 = icmp ugt <4 x i32> %354, <i32 466, i32 342, i32 246, i32 179>
%356 = add <8 x i32> %333, <i32 -90, i32 -90, i32 -2267, i32 -1079, i32 -502, i32 -223, i32 -90, i32 -90>
%357 = icmp ugt <8 x i32> %356, <i32 133, i32 133, i32 466, i32 342, i32 246, i32 179, i32 133, i32 133>
%358 = bitcast <8 x i1> %357 to i8
%359 = icmp eq i8 %358, 0
%360 = bitcast <4 x i1> %355 to i4
%361 = icmp eq i4 %360, 0
%362 = and i1 %359, %361
br i1 %362, label %363, label %365
363: ; preds = %353
%364 = icmp sgt i32 %325, 33
br i1 %364, label %365, label %368
365: ; preds = %363, %353, %349, %244
%366 = phi i8* [ getelementptr inbounds ([27 x i8], [27 x i8]* @str, i64 0, i64 0), %244 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @str.5, i64 0, i64 0), %349 ], [ getelementptr inbounds ([24 x i8], [24 x i8]* @str.6, i64 0, i64 0), %353 ], [ getelementptr inbounds ([27 x i8], [27 x i8]* @str.7, i64 0, i64 0), %363 ]
%367 = tail call i32 @puts(i8* dereferenceable(1) %366)
br label %368
368: ; preds = %365, %363
%369 = phi i32 [ 0, %363 ], [ 1, %365 ]
ret i32 %369
}