int main(int argc, char **argv) {
  unsigned char buf[2500];
  int i, j, k, s, sign, nsign, err = 0;
  unsigned long n1;
  unsigned long n2[16];
  unsigned long runs[2][34];
  long d;
  i = RAND_pseudo_bytes(buf, 2500);
  if (i < 0) {
    printf("init failed, the rand method is not properly installed\n");
    err++;
    goto err;
  }
  n1 = 0;
  for (i = 0; i < 16; i++)
    n2[i] = 0;
  for (i = 0; i < 34; i++)
    runs[0][i] = runs[1][i] = 0;
  sign = 0;
  nsign = 0;
  for (i = 0; i < 2500; i++) {
    j = buf[i];
    n2[j & 0x0f]++;
    n2[(j >> 4) & 0x0f]++;
    for (k = 0; k < 8; k++) {
      s = (j & 0x01);
      if (s == sign)
        nsign++;
      else {
        if (nsign > 34)
          nsign = 34;
        if (nsign != 0) {
          runs[sign][nsign - 1]++;
          if (nsign > 6)
            runs[sign][5]++;
        }
        sign = s;
        nsign = 1;
      }
      if (s)
        n1++;
      j >>= 1;
    }
  }
  if (nsign > 34)
    nsign = 34;
  if (nsign != 0)
    runs[sign][nsign - 1]++;
  if (!((9654 < n1) && (n1 < 10346))) {
    printf("test 1 failed, X=%lu\n", n1);
    err++;
  }
  printf("test 1 done\n");
  d = 0;
  for (i = 0; i < 16; i++)
    d += n2[i] * n2[i];
  d = (d * 8) / 25 - 500000;
  if (!((103 < d) && (d < 5740))) {
    printf("test 2 failed, X=%ld.%02ld\n", d / 100L, d % 100L);
    err++;
  }
  printf("test 2 done\n");
  for (i = 0; i < 2; i++) {
    if (!((2267 < runs[i][0]) && (runs[i][0] < 2733))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 1, runs[i][0]);
      err++;
    }
    if (!((1079 < runs[i][1]) && (runs[i][1] < 1421))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 2, runs[i][1]);
      err++;
    }
    if (!((502 < runs[i][2]) && (runs[i][2] < 748))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 3, runs[i][2]);
      err++;
    }
    if (!((223 < runs[i][3]) && (runs[i][3] < 402))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 4, runs[i][3]);
      err++;
    }
    if (!((90 < runs[i][4]) && (runs[i][4] < 223))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 5, runs[i][4]);
      err++;
    }
    if (!((90 < runs[i][5]) && (runs[i][5] < 223))) {
      printf("test 3 failed, bit=%d run=%d num=%lu\n", i, 6, runs[i][5]);
      err++;
    }
  }
  printf("test 3 done\n");
  if (runs[0][33] != 0) {
    printf("test 4 failed, bit=%d run=%d num=%lu\n", 0, 34, runs[0][33]);
    err++;
  }
  if (runs[1][33] != 0) {
    printf("test 4 failed, bit=%d run=%d num=%lu\n", 1, 34, runs[1][33]);
    err++;
  }
  printf("test 4 done\n");
err:
  err = ((err) ? 1 : 0);
  exit(err);
  return (err);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xcc0,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x9fc(%rbp)
lea    -0x9e0(%rbp),%rdi
mov    $0x9c4,%esi
mov    $0x0,%al
call   1040 <RAND_pseudo_bytes@plt>
mov    %eax,-0x9e4(%rbp)
cmpl   $0x0,-0x9e4(%rbp)
jge    119b <main+0x6b>
lea    0xe80(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
jmp    19c5 <main+0x895>
movq   $0x0,-0xa08(%rbp)
movl   $0x0,-0x9e4(%rbp)
cmpl   $0x10,-0x9e4(%rbp)
jge    11e4 <main+0xb4>
movslq -0x9e4(%rbp),%rax
movq   $0x0,-0xa90(%rbp,%rax,8)
mov    -0x9e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e4(%rbp)
jmp    11b0 <main+0x80>
movl   $0x0,-0x9e4(%rbp)
cmpl   $0x22,-0x9e4(%rbp)
jge    1235 <main+0x105>
movslq -0x9e4(%rbp),%rax
movq   $0x0,-0xba0(%rbp,%rax,8)
movslq -0x9e4(%rbp),%rax
movq   $0x0,-0xcb0(%rbp,%rax,8)
mov    -0x9e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e4(%rbp)
jmp    11ee <main+0xbe>
movl   $0x0,-0x9f4(%rbp)
movl   $0x0,-0x9f8(%rbp)
movl   $0x0,-0x9e4(%rbp)
cmpl   $0x9c4,-0x9e4(%rbp)
jge    1400 <main+0x2d0>
movslq -0x9e4(%rbp),%rax
movzbl -0x9e0(%rbp,%rax,1),%eax
ff
mov    %eax,-0x9e8(%rbp)
mov    -0x9e8(%rbp),%eax
and    $0xf,%eax
cltq
mov    -0xa90(%rbp,%rax,8),%rcx
ff
add    $0x1,%rcx
mov    %rcx,-0xa90(%rbp,%rax,8)
ff
mov    -0x9e8(%rbp),%eax
sar    $0x4,%eax
and    $0xf,%eax
cltq
mov    -0xa90(%rbp,%rax,8),%rcx
ff
add    $0x1,%rcx
mov    %rcx,-0xa90(%rbp,%rax,8)
ff
movl   $0x0,-0x9ec(%rbp)
cmpl   $0x8,-0x9ec(%rbp)
jge    13e7 <main+0x2b7>
mov    -0x9e8(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x9f0(%rbp)
mov    -0x9f0(%rbp),%eax
cmp    -0x9f4(%rbp),%eax
jne    1305 <main+0x1d5>
mov    -0x9f8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9f8(%rbp)
jmp    13a5 <main+0x275>
cmpl   $0x22,-0x9f8(%rbp)
jle    131c <main+0x1ec>
movl   $0x22,-0x9f8(%rbp)
cmpl   $0x0,-0x9f8(%rbp)
je     138f <main+0x25f>
movslq -0x9f4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    -0x9f8(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
add    $0x1,%rdx
mov    %rdx,(%rax,%rcx,8)
cmpl   $0x6,-0x9f8(%rbp)
jle    138a <main+0x25a>
movslq -0x9f4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x28(%rax),%rcx
add    $0x1,%rcx
mov    %rcx,0x28(%rax)
jmp    138f <main+0x25f>
mov    -0x9f0(%rbp),%eax
mov    %eax,-0x9f4(%rbp)
movl   $0x1,-0x9f8(%rbp)
cmpl   $0x0,-0x9f0(%rbp)
je     13c4 <main+0x294>
mov    -0xa08(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa08(%rbp)
mov    -0x9e8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x9e8(%rbp)
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
jmp    12c3 <main+0x193>
jmp    13ec <main+0x2bc>
mov    -0x9e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e4(%rbp)
jmp    1253 <main+0x123>
cmpl   $0x22,-0x9f8(%rbp)
jle    1417 <main+0x2e7>
movl   $0x22,-0x9f8(%rbp)
cmpl   $0x0,-0x9f8(%rbp)
je     1454 <main+0x324>
movslq -0x9f4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    -0x9f8(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
add    $0x1,%rdx
mov    %rdx,(%rax,%rcx,8)
mov    $0x25b6,%eax
cmp    -0xa08(%rbp),%rax
jae    1477 <main+0x347>
cmpq   $0x286a,-0xa08(%rbp)
jb     149b <main+0x36b>
mov    -0xa08(%rbp),%rsi
lea    0xbb3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
lea    0xbac(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movq   $0x0,-0xcb8(%rbp)
movl   $0x0,-0x9e4(%rbp)
cmpl   $0x10,-0x9e4(%rbp)
jge    150c <main+0x3dc>
movslq -0x9e4(%rbp),%rax
mov    -0xa90(%rbp,%rax,8),%rax
ff
movslq -0x9e4(%rbp),%rcx
imul   -0xa90(%rbp,%rcx,8),%rax
ff ff
add    -0xcb8(%rbp),%rax
mov    %rax,-0xcb8(%rbp)
mov    -0x9e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e4(%rbp)
jmp    14be <main+0x38e>
mov    -0xcb8(%rbp),%rax
shl    $0x3,%rax
mov    $0x19,%ecx
cqto
idiv   %rcx
sub    $0x7a120,%rax
mov    %rax,-0xcb8(%rbp)
mov    $0x67,%eax
cmp    -0xcb8(%rbp),%rax
jge    1551 <main+0x421>
cmpq   $0x166c,-0xcb8(%rbp)
jl     1593 <main+0x463>
mov    -0xcb8(%rbp),%rax
mov    $0x64,%ecx
cqto
idiv   %rcx
mov    %rax,%rsi
mov    -0xcb8(%rbp),%rax
mov    $0x64,%ecx
cqto
idiv   %rcx
lea    0xade(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
lea    0xadd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x9e4(%rbp)
cmpl   $0x2,-0x9e4(%rbp)
jge    1934 <main+0x804>
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x8db,%eax
cmp    (%rcx),%rax
jae    1603 <main+0x4d3>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xaad,(%rax)
jb     1646 <main+0x516>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%rcx
lea    0xa59(%rip),%rdi
mov    $0x1,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x437,%eax
cmp    0x8(%rcx),%rax
jae    1693 <main+0x563>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x58d,0x8(%rax)
jb     16d7 <main+0x5a7>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x8(%rax),%rcx
lea    0x9c8(%rip),%rdi
mov    $0x2,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x1f6,%eax
cmp    0x10(%rcx),%rax
jae    1724 <main+0x5f4>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x2ec,0x10(%rax)
jb     1768 <main+0x638>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x10(%rax),%rcx
lea    0x937(%rip),%rdi
mov    $0x3,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0xdf,%eax
cmp    0x18(%rcx),%rax
jae    17b5 <main+0x685>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x192,0x18(%rax)
jb     17f9 <main+0x6c9>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x18(%rax),%rcx
lea    0x8a6(%rip),%rdi
mov    $0x4,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x5a,%eax
cmp    0x20(%rcx),%rax
jae    1846 <main+0x716>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xdf,0x20(%rax)
jb     188a <main+0x75a>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x20(%rax),%rcx
lea    0x815(%rip),%rdi
mov    $0x5,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
movslq -0x9e4(%rbp),%rax
lea    -0xcb0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x5a,%eax
cmp    0x28(%rcx),%rax
jae    18d7 <main+0x7a7>
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xdf,0x28(%rax)
jb     191b <main+0x7eb>
mov    -0x9e4(%rbp),%esi
movslq -0x9e4(%rbp),%rcx
lea    -0xcb0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x28(%rax),%rcx
lea    0x784(%rip),%rdi
mov    $0x6,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
jmp    1920 <main+0x7f0>
mov    -0x9e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e4(%rbp)
jmp    15ab <main+0x47b>
lea    0x76f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpq   $0x0,-0xba8(%rbp)
je     197b <main+0x84b>
mov    -0xba8(%rbp),%rcx
lea    0x759(%rip),%rdi
xor    %esi,%esi
mov    $0x22,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
cmpq   $0x0,-0xa98(%rbp)
je     19b7 <main+0x887>
mov    -0xa98(%rbp),%rcx
lea    0x720(%rip),%rdi
mov    $0x1,%esi
mov    $0x22,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9fc(%rbp)
lea    0x71f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9fc(%rbp),%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x9fc(%rbp)
mov    -0x9fc(%rbp),%edi
call   1050 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %rbx
sub    $0xc68,%rsp
xor    %ebx,%ebx
lea    0x2a0(%rsp),%rdi
mov    $0x9c4,%esi
xor    %eax,%eax
call   1060 <RAND_pseudo_bytes@plt>
test   %eax,%eax
jns    1184 <main+0x34>
mov    $0x1,%ebp
lea    0xf2f(%rip),%rbx
jmp    16b8 <main+0x568>
xorps  %xmm0,%xmm0
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,(%rsp)
lea    0x80(%rsp),%rdi
mov    $0x220,%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    $0x22,%r8d
xor    %r9d,%r9d
xor    %esi,%esi
xor    %eax,%eax
jmp    11f1 <main+0xa1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r9
cmp    $0x9c4,%r9
je     1288 <main+0x138>
movzbl 0x2a0(%rsp,%r9,1),%edi
mov    %edi,%edx
and    $0xf,%edx
addq   $0x1,(%rsp,%rdx,8)
mov    %rdi,%rdx
shr    $0x4,%rdx
addq   $0x1,(%rsp,%rdx,8)
mov    $0x8,%ebp
jmp    1233 <main+0xe3>
nopw   0x0(%rax,%rax,1)
mov    %edx,%eax
mov    $0x1,%ebx
mov    %edx,%ecx
add    %rcx,%rsi
shr    %edi
add    $0xffffffff,%ebp
je     11e0 <main+0x90>
mov    %edi,%edx
and    $0x1,%edx
cmp    %eax,%edx
jne    1250 <main+0x100>
add    $0x1,%ebx
jmp    1227 <main+0xd7>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x22,%ebx
cmovge %r8d,%ebx
test   %ebx,%ebx
je     1220 <main+0xd0>
mov    %eax,%eax
movslq %ebx,%r10
imul   $0x110,%rax,%rax
lea    (%rsp,%rax,1),%rcx
add    $0x80,%rcx
addq   $0x1,-0x8(%rcx,%r10,8)
cmp    $0x7,%ebx
jl     1220 <main+0xd0>
addq   $0x1,0xa8(%rsp,%rax,1)
jmp    1220 <main+0xd0>
cmp    $0x22,%ebx
mov    $0x22,%ecx
cmovl  %ebx,%ecx
test   %ecx,%ecx
je     12b2 <main+0x162>
mov    %eax,%eax
movslq %ecx,%rcx
imul   $0x110,%rax,%rax
add    %rsp,%rax
add    $0x80,%rax
addq   $0x1,-0x8(%rax,%rcx,8)
lea    -0x25b7(%rsi),%rax
xor    %ebp,%ebp
cmp    $0x2b3,%rax
jb     12d6 <main+0x186>
lea    0xd36(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x1,%ebp
lea    0xda1(%rip),%rdi
call   1030 <puts@plt>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
imul   %rax,%rax
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x10(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x18(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x20(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x28(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x30(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x38(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x40(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x48(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x50(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x58(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x60(%rsp),%rax
imul   %rax,%rax
add    %rcx,%rax
mov    0x68(%rsp),%rcx
imul   %rcx,%rcx
add    %rax,%rcx
mov    0x70(%rsp),%rdi
imul   %rdi,%rdi
add    %rcx,%rdi
mov    0x78(%rsp),%rbx
imul   %rbx,%rbx
lea    (%rbx,%rdi,1),%rcx
lea    0x0(,%rcx,8),%rax
movabs $0xa3d70a3d70a3d70b,%rsi
0a d7 a3
imul   %rsi
lea    (%rbx,%rdi,1),%rax
add    $0xffffffffffe82737,%rax
cmp    $0x44cd,%rax
jb     1412 <main+0x2c2>
lea    (%rdx,%rcx,8),%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x4,%rax
add    %rax,%rcx
add    $0xfffffffffff85ee0,%rcx
mov    %rcx,%rax
imul   %rsi
lea    (%rdx,%rcx,1),%rsi
mov    %rsi,%rax
shr    $0x3f,%rax
sar    $0x6,%rsi
add    %rax,%rsi
imul   $0x64,%rsi,%rax
sub    %rax,%rcx
lea    0xc11(%rip),%rdi
mov    %rcx,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
lea    0xc71(%rip),%rdi
call   1030 <puts@plt>
mov    0x80(%rsp),%rcx
lea    -0x8dc(%rcx),%rax
cmp    $0x1d1,%rax
jb     144d <main+0x2fd>
lea    0xbf6(%rip),%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x88(%rsp),%rcx
lea    -0x438(%rcx),%rax
cmp    $0x155,%rax
jb     147c <main+0x32c>
lea    0xbc7(%rip),%rdi
xor    %esi,%esi
mov    $0x2,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x90(%rsp),%rcx
lea    -0x1f7(%rcx),%rax
cmp    $0xf5,%rax
jb     14ab <main+0x35b>
lea    0xb98(%rip),%rdi
xor    %esi,%esi
mov    $0x3,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x98(%rsp),%rcx
lea    -0xe0(%rcx),%rax
cmp    $0xb2,%rax
jb     14da <main+0x38a>
lea    0xb69(%rip),%rdi
xor    %esi,%esi
mov    $0x4,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0xa0(%rsp),%rcx
lea    -0x5b(%rcx),%rax
cmp    $0x84,%rax
jb     1506 <main+0x3b6>
lea    0xb3d(%rip),%rdi
xor    %esi,%esi
mov    $0x5,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0xa8(%rsp),%rcx
lea    -0x5b(%rcx),%rax
cmp    $0x84,%rax
jb     1532 <main+0x3e2>
lea    0xb11(%rip),%rdi
xor    %esi,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x190(%rsp),%rcx
lea    -0x8dc(%rcx),%rax
cmp    $0x1d1,%rax
jb     1564 <main+0x414>
lea    0xae2(%rip),%rdi
mov    $0x1,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x198(%rsp),%rcx
lea    -0x438(%rcx),%rax
cmp    $0x155,%rax
jb     1596 <main+0x446>
lea    0xab0(%rip),%rdi
mov    $0x1,%esi
mov    $0x2,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x1a0(%rsp),%rcx
lea    -0x1f7(%rcx),%rax
cmp    $0xf5,%rax
jb     15c8 <main+0x478>
lea    0xa7e(%rip),%rdi
mov    $0x1,%esi
mov    $0x3,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x1a8(%rsp),%rcx
lea    -0xe0(%rcx),%rax
cmp    $0xb2,%rax
jb     15fa <main+0x4aa>
lea    0xa4c(%rip),%rdi
mov    $0x1,%esi
mov    $0x4,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x1b0(%rsp),%rcx
lea    -0x5b(%rcx),%rax
cmp    $0x84,%rax
jb     1629 <main+0x4d9>
lea    0xa1d(%rip),%rdi
mov    $0x1,%esi
mov    $0x5,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x1b8(%rsp),%rcx
lea    -0x5b(%rcx),%rax
cmp    $0x84,%rax
jb     1658 <main+0x508>
lea    0x9ee(%rip),%rdi
mov    $0x1,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
lea    0xa37(%rip),%rdi
call   1030 <puts@plt>
mov    0x188(%rsp),%rcx
test   %rcx,%rcx
je     1689 <main+0x539>
lea    0x9e0(%rip),%rdi
xor    %esi,%esi
mov    $0x22,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x298(%rsp),%rcx
lea    0xa0a(%rip),%rbx
test   %rcx,%rcx
je     16b8 <main+0x568>
lea    0x9b4(%rip),%rdi
mov    $0x1,%esi
mov    $0x22,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    %rbx,%rdi
call   1030 <puts@plt>
xor    %edi,%edi
test   %ebp,%ebp
setne  %dil
call   1070 <exit@plt>

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

LLVM IR (-O2):
@.str.1 = [22 x i8] c"test 1 failed, X=%lu\0A\00"
@.str.3 = [28 x i8] c"test 2 failed, X=%ld.%02ld\0A\00"
@.str.5 = [38 x i8] c"test 3 failed, bit=%d run=%d num=%lu\0A\00"
@.str.7 = [38 x i8] c"test 4 failed, bit=%d run=%d num=%lu\0A\00"
@str = [12 x i8] c"test 1 done\00"
@str.9 = [12 x i8] c"test 2 done\00"
@str.10 = [12 x i8] c"test 3 done\00"
@str.11 = [12 x i8] c"test 4 done\00"
@str.12 = [55 x i8] c"init failed, the rand method is not properly installed\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [2500 x i8]
%4 = alloca [16 x i64]
%5 = bitcast [16 x i64]* %4 to i8*
%6 = alloca [2 x [34 x i64]]
%7 = bitcast [2 x [34 x i64]]* %6 to i8*
%8 = getelementptr inbounds [2500 x i8], [2500 x i8]* %3, i64 0, i64 0
%9 = call i32 (i8*, i32, ...) bitcast (i32 (...)* @RAND_pseudo_bytes to i32 (i8*, i32, ...)*)(i8* %8, i32 2500)
%10 = icmp slt i32 %9, 0
br i1 %10, label %286, label %11
11: ; preds = %2
%12 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 0
%13 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 1
%14 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 2
%15 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 3
%16 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 4
%17 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 5
%18 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 1, i64 33
%19 = bitcast [2 x [34 x i64]]* %6 to i8*
br label %20
20: ; preds = %11, %72
%21 = phi i64 [ 0, %11 ], [ %73, %72 ]
%22 = phi i64 [ 0, %11 ], [ %68, %72 ]
%23 = phi i32 [ 0, %11 ], [ %66, %72 ]
%24 = phi i32 [ 0, %11 ], [ %65, %72 ]
%25 = getelementptr inbounds [2500 x i8], [2500 x i8]* %3, i64 0, i64 %21
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = and i32 %27, 15
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 %29
%31 = load i64, i64* %30
%32 = add i64 %31, 1
store i64 %32, i64* %30
%33 = lshr i32 %27, 4
%34 = zext i32 %33 to i64
%35 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 %34
%36 = load i64, i64* %35
%37 = add i64 %36, 1
store i64 %37, i64* %35
br label %38
38: ; preds = %20, %64
%39 = phi i64 [ %22, %20 ], [ %68, %64 ]
%40 = phi i32 [ %23, %20 ], [ %66, %64 ]
%41 = phi i32 [ %24, %20 ], [ %65, %64 ]
%42 = phi i32 [ 0, %20 ], [ %70, %64 ]
%43 = phi i32 [ %27, %20 ], [ %69, %64 ]
%44 = and i32 %43, 1
%45 = icmp eq i32 %44, %41
br i1 %45, label %46, label %48
46: ; preds = %38
%47 = add nsw i32 %40, 1
br label %64
48: ; preds = %38
%49 = icmp slt i32 %40, 34
%50 = select i1 %49, i32 %40, i32 34
%51 = icmp eq i32 %50, 0
br i1 %51, label %64, label %52
52: ; preds = %48
%53 = zext i32 %41 to i64
%54 = add nsw i32 %50, -1
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 %53, i64 %55
%57 = load i64, i64* %56
%58 = add i64 %57, 1
store i64 %58, i64* %56
%59 = icmp sgt i32 %50, 6
br i1 %59, label %60, label %64
60: ; preds = %52
%61 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 %53, i64 5
%62 = load i64, i64* %61
%63 = add i64 %62, 1
store i64 %63, i64* %61
br label %64
64: ; preds = %48, %60, %52, %46
%65 = phi i32 [ %41, %46 ], [ %44, %52 ], [ %44, %60 ], [ %44, %48 ]
%66 = phi i32 [ %47, %46 ], [ 1, %52 ], [ 1, %60 ], [ 1, %48 ]
%67 = zext i32 %44 to i64
%68 = add i64 %39, %67
%69 = lshr i32 %43, 1
%70 = add nuw nsw i32 %42, 1
%71 = icmp eq i32 %70, 8
br i1 %71, label %72, label %38
72: ; preds = %64
%73 = add nuw nsw i64 %21, 1
%74 = icmp eq i64 %73, 2500
br i1 %74, label %75, label %20
75: ; preds = %72
%76 = icmp slt i32 %66, 34
%77 = select i1 %76, i32 %66, i32 34
%78 = icmp eq i32 %77, 0
br i1 %78, label %86, label %79
79: ; preds = %75
%80 = zext i32 %65 to i64
%81 = add nsw i32 %77, -1
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 %80, i64 %82
%84 = load i64, i64* %83
%85 = add i64 %84, 1
store i64 %85, i64* %83
br label %86
86: ; preds = %79, %75
%87 = add i64 %68, -9655
%88 = icmp ult i64 %87, 691
br i1 %88, label %91, label %89
89: ; preds = %86
%90 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), i64 %68)
br label %91
91: ; preds = %86, %89
%92 = phi i32 [ 0, %86 ], [ 1, %89 ]
%93 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str, i64 0, i64 0))
%94 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 0
%95 = load i64, i64* %94
%96 = mul i64 %95, %95
%97 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 1
%98 = load i64, i64* %97
%99 = mul i64 %98, %98
%100 = add i64 %99, %96
%101 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 2
%102 = load i64, i64* %101
%103 = mul i64 %102, %102
%104 = add i64 %103, %100
%105 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 3
%106 = load i64, i64* %105
%107 = mul i64 %106, %106
%108 = add i64 %107, %104
%109 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 4
%110 = load i64, i64* %109
%111 = mul i64 %110, %110
%112 = add i64 %111, %108
%113 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 5
%114 = load i64, i64* %113
%115 = mul i64 %114, %114
%116 = add i64 %115, %112
%117 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 6
%118 = load i64, i64* %117
%119 = mul i64 %118, %118
%120 = add i64 %119, %116
%121 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 7
%122 = load i64, i64* %121
%123 = mul i64 %122, %122
%124 = add i64 %123, %120
%125 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 8
%126 = load i64, i64* %125
%127 = mul i64 %126, %126
%128 = add i64 %127, %124
%129 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 9
%130 = load i64, i64* %129
%131 = mul i64 %130, %130
%132 = add i64 %131, %128
%133 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 10
%134 = load i64, i64* %133
%135 = mul i64 %134, %134
%136 = add i64 %135, %132
%137 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 11
%138 = load i64, i64* %137
%139 = mul i64 %138, %138
%140 = add i64 %139, %136
%141 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 12
%142 = load i64, i64* %141
%143 = mul i64 %142, %142
%144 = add i64 %143, %140
%145 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 13
%146 = load i64, i64* %145
%147 = mul i64 %146, %146
%148 = add i64 %147, %144
%149 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 14
%150 = load i64, i64* %149
%151 = mul i64 %150, %150
%152 = add i64 %151, %148
%153 = getelementptr inbounds [16 x i64], [16 x i64]* %4, i64 0, i64 15
%154 = load i64, i64* %153
%155 = mul i64 %154, %154
%156 = add i64 %155, %152
%157 = shl nsw i64 %156, 3
%158 = sdiv i64 %157, 25
%159 = add nsw i64 %158, -500000
%160 = add i64 %156, -1562825
%161 = icmp ult i64 %160, 17613
br i1 %161, label %167, label %162
162: ; preds = %91
%163 = sdiv i64 %159, 100
%164 = srem i64 %159, 100
%165 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), i64 %163, i64 %164)
%166 = add nuw nsw i32 %92, 1
br label %167
167: ; preds = %91, %162
%168 = phi i32 [ %92, %91 ], [ %166, %162 ]
%169 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.9, i64 0, i64 0))
%170 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 0
%171 = load i64, i64* %170
%172 = add i64 %171, -2268
%173 = icmp ult i64 %172, 465
br i1 %173, label %177, label %174
174: ; preds = %167
%175 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 1, i64 %171)
%176 = add nuw nsw i32 %168, 1
br label %177
177: ; preds = %167, %174
%178 = phi i32 [ %176, %174 ], [ %168, %167 ]
%179 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 1
%180 = load i64, i64* %179
%181 = add i64 %180, -1080
%182 = icmp ult i64 %181, 341
br i1 %182, label %186, label %183
183: ; preds = %177
%184 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 2, i64 %180)
%185 = add nuw nsw i32 %178, 1
br label %186
186: ; preds = %177, %183
%187 = phi i32 [ %185, %183 ], [ %178, %177 ]
%188 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 2
%189 = load i64, i64* %188
%190 = add i64 %189, -503
%191 = icmp ult i64 %190, 245
br i1 %191, label %195, label %192
192: ; preds = %186
%193 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 3, i64 %189)
%194 = add nuw nsw i32 %187, 1
br label %195
195: ; preds = %186, %192
%196 = phi i32 [ %194, %192 ], [ %187, %186 ]
%197 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 3
%198 = load i64, i64* %197
%199 = add i64 %198, -224
%200 = icmp ult i64 %199, 178
br i1 %200, label %204, label %201
201: ; preds = %195
%202 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 4, i64 %198)
%203 = add nuw nsw i32 %196, 1
br label %204
204: ; preds = %195, %201
%205 = phi i32 [ %203, %201 ], [ %196, %195 ]
%206 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 4
%207 = load i64, i64* %206
%208 = add i64 %207, -91
%209 = icmp ult i64 %208, 132
br i1 %209, label %213, label %210
210: ; preds = %204
%211 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 5, i64 %207)
%212 = add nuw nsw i32 %205, 1
br label %213
213: ; preds = %204, %210
%214 = phi i32 [ %212, %210 ], [ %205, %204 ]
%215 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 5
%216 = load i64, i64* %215
%217 = add i64 %216, -91
%218 = icmp ult i64 %217, 132
br i1 %218, label %222, label %219
219: ; preds = %213
%220 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 6, i64 %216)
%221 = add nuw nsw i32 %214, 1
br label %222
222: ; preds = %213, %219
%223 = phi i32 [ %221, %219 ], [ %214, %213 ]
%224 = load i64, i64* %12
%225 = add i64 %224, -2268
%226 = icmp ult i64 %225, 465
br i1 %226, label %230, label %227
227: ; preds = %222
%228 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 1, i64 %224)
%229 = add nuw nsw i32 %223, 1
br label %230
230: ; preds = %227, %222
%231 = phi i32 [ %229, %227 ], [ %223, %222 ]
%232 = load i64, i64* %13
%233 = add i64 %232, -1080
%234 = icmp ult i64 %233, 341
br i1 %234, label %238, label %235
235: ; preds = %230
%236 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 2, i64 %232)
%237 = add nuw nsw i32 %231, 1
br label %238
238: ; preds = %235, %230
%239 = phi i32 [ %237, %235 ], [ %231, %230 ]
%240 = load i64, i64* %14
%241 = add i64 %240, -503
%242 = icmp ult i64 %241, 245
br i1 %242, label %246, label %243
243: ; preds = %238
%244 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 3, i64 %240)
%245 = add nuw nsw i32 %239, 1
br label %246
246: ; preds = %243, %238
%247 = phi i32 [ %245, %243 ], [ %239, %238 ]
%248 = load i64, i64* %15
%249 = add i64 %248, -224
%250 = icmp ult i64 %249, 178
br i1 %250, label %254, label %251
251: ; preds = %246
%252 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 4, i64 %248)
%253 = add nuw nsw i32 %247, 1
br label %254
254: ; preds = %251, %246
%255 = phi i32 [ %253, %251 ], [ %247, %246 ]
%256 = load i64, i64* %16
%257 = add i64 %256, -91
%258 = icmp ult i64 %257, 132
br i1 %258, label %262, label %259
259: ; preds = %254
%260 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 5, i64 %256)
%261 = add nuw nsw i32 %255, 1
br label %262
262: ; preds = %259, %254
%263 = phi i32 [ %261, %259 ], [ %255, %254 ]
%264 = load i64, i64* %17
%265 = add i64 %264, -91
%266 = icmp ult i64 %265, 132
br i1 %266, label %270, label %267
267: ; preds = %262
%268 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 1, i32 6, i64 %264)
%269 = add nuw nsw i32 %263, 1
br label %270
270: ; preds = %267, %262
%271 = phi i32 [ %269, %267 ], [ %263, %262 ]
%272 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.10, i64 0, i64 0))
%273 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %6, i64 0, i64 0, i64 33
%274 = load i64, i64* %273
%275 = icmp eq i64 %274, 0
br i1 %275, label %279, label %276
276: ; preds = %270
%277 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 0, i32 34, i64 %274)
%278 = add nuw nsw i32 %271, 1
br label %279
279: ; preds = %276, %270
%280 = phi i32 [ %278, %276 ], [ %271, %270 ]
%281 = load i64, i64* %18
%282 = icmp eq i64 %281, 0
br i1 %282, label %286, label %283
283: ; preds = %279
%284 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 1, i32 34, i64 %281)
%285 = add nuw nsw i32 %280, 1
br label %286
286: ; preds = %279, %283, %2
%287 = phi i8* [ getelementptr inbounds ([55 x i8], [55 x i8]* @str.12, i64 0, i64 0), %2 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @str.11, i64 0, i64 0), %283 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @str.11, i64 0, i64 0), %279 ]
%288 = phi i32 [ 1, %2 ], [ %285, %283 ], [ %280, %279 ]
%289 = call i32 @puts(i8* dereferenceable(1) %287)
%290 = icmp ne i32 %288, 0
%291 = zext i1 %290 to i32
unreachable
}