#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 RAND_pseudo_bytes(unsigned char *, int);
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  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    $0xcb0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x9ec(%rbp)
lea    -0x9d0(%rbp),%rdi
mov    $0x9c4,%esi
call   1040 <RAND_pseudo_bytes@plt>
mov    %eax,-0x9d4(%rbp)
cmpl   $0x0,-0x9d4(%rbp)
jge    1192 <main+0x62>
lea    0xe89(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
jmp    19bc <main+0x88c>
movq   $0x0,-0x9f8(%rbp)
movl   $0x0,-0x9d4(%rbp)
cmpl   $0x10,-0x9d4(%rbp)
jge    11db <main+0xab>
movslq -0x9d4(%rbp),%rax
movq   $0x0,-0xa80(%rbp,%rax,8)
mov    -0x9d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9d4(%rbp)
jmp    11a7 <main+0x77>
movl   $0x0,-0x9d4(%rbp)
cmpl   $0x22,-0x9d4(%rbp)
jge    122c <main+0xfc>
movslq -0x9d4(%rbp),%rax
movq   $0x0,-0xb90(%rbp,%rax,8)
movslq -0x9d4(%rbp),%rax
movq   $0x0,-0xca0(%rbp,%rax,8)
mov    -0x9d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9d4(%rbp)
jmp    11e5 <main+0xb5>
movl   $0x0,-0x9e4(%rbp)
movl   $0x0,-0x9e8(%rbp)
movl   $0x0,-0x9d4(%rbp)
cmpl   $0x9c4,-0x9d4(%rbp)
jge    13f7 <main+0x2c7>
movslq -0x9d4(%rbp),%rax
movzbl -0x9d0(%rbp,%rax,1),%eax
ff
mov    %eax,-0x9d8(%rbp)
mov    -0x9d8(%rbp),%eax
and    $0xf,%eax
cltq
mov    -0xa80(%rbp,%rax,8),%rcx
ff
add    $0x1,%rcx
mov    %rcx,-0xa80(%rbp,%rax,8)
ff
mov    -0x9d8(%rbp),%eax
sar    $0x4,%eax
and    $0xf,%eax
cltq
mov    -0xa80(%rbp,%rax,8),%rcx
ff
add    $0x1,%rcx
mov    %rcx,-0xa80(%rbp,%rax,8)
ff
movl   $0x0,-0x9dc(%rbp)
cmpl   $0x8,-0x9dc(%rbp)
jge    13de <main+0x2ae>
mov    -0x9d8(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x9e0(%rbp)
mov    -0x9e0(%rbp),%eax
cmp    -0x9e4(%rbp),%eax
jne    12fc <main+0x1cc>
mov    -0x9e8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9e8(%rbp)
jmp    139c <main+0x26c>
cmpl   $0x22,-0x9e8(%rbp)
jle    1313 <main+0x1e3>
movl   $0x22,-0x9e8(%rbp)
cmpl   $0x0,-0x9e8(%rbp)
je     1386 <main+0x256>
movslq -0x9e4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    -0x9e8(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
add    $0x1,%rdx
mov    %rdx,(%rax,%rcx,8)
cmpl   $0x6,-0x9e8(%rbp)
jle    1381 <main+0x251>
movslq -0x9e4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x28(%rax),%rcx
add    $0x1,%rcx
mov    %rcx,0x28(%rax)
jmp    1386 <main+0x256>
mov    -0x9e0(%rbp),%eax
mov    %eax,-0x9e4(%rbp)
movl   $0x1,-0x9e8(%rbp)
cmpl   $0x0,-0x9e0(%rbp)
je     13bb <main+0x28b>
mov    -0x9f8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x9f8(%rbp)
mov    -0x9d8(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x9d8(%rbp)
mov    -0x9dc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9dc(%rbp)
jmp    12ba <main+0x18a>
jmp    13e3 <main+0x2b3>
mov    -0x9d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9d4(%rbp)
jmp    124a <main+0x11a>
cmpl   $0x22,-0x9e8(%rbp)
jle    140e <main+0x2de>
movl   $0x22,-0x9e8(%rbp)
cmpl   $0x0,-0x9e8(%rbp)
je     144b <main+0x31b>
movslq -0x9e4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    -0x9e8(%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    -0x9f8(%rbp),%rax
jae    146e <main+0x33e>
cmpq   $0x286a,-0x9f8(%rbp)
jb     1492 <main+0x362>
mov    -0x9f8(%rbp),%rsi
lea    0xbbc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
lea    0xbb5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movq   $0x0,-0xca8(%rbp)
movl   $0x0,-0x9d4(%rbp)
cmpl   $0x10,-0x9d4(%rbp)
jge    1503 <main+0x3d3>
movslq -0x9d4(%rbp),%rax
mov    -0xa80(%rbp,%rax,8),%rax
ff
movslq -0x9d4(%rbp),%rcx
imul   -0xa80(%rbp,%rcx,8),%rax
ff ff
add    -0xca8(%rbp),%rax
mov    %rax,-0xca8(%rbp)
mov    -0x9d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9d4(%rbp)
jmp    14b5 <main+0x385>
mov    -0xca8(%rbp),%rax
shl    $0x3,%rax
mov    $0x19,%ecx
cqto
idiv   %rcx
sub    $0x7a120,%rax
mov    %rax,-0xca8(%rbp)
mov    $0x67,%eax
cmp    -0xca8(%rbp),%rax
jge    1548 <main+0x418>
cmpq   $0x166c,-0xca8(%rbp)
jl     158a <main+0x45a>
mov    -0xca8(%rbp),%rax
mov    $0x64,%ecx
cqto
idiv   %rcx
mov    %rax,%rsi
mov    -0xca8(%rbp),%rax
mov    $0x64,%ecx
cqto
idiv   %rcx
lea    0xae7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
lea    0xae6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x9d4(%rbp)
cmpl   $0x2,-0x9d4(%rbp)
jge    192b <main+0x7fb>
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x8db,%eax
cmp    (%rcx),%rax
jae    15fa <main+0x4ca>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xaad,(%rax)
jb     163d <main+0x50d>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%rcx
lea    0xa62(%rip),%rdi
mov    $0x1,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x437,%eax
cmp    0x8(%rcx),%rax
jae    168a <main+0x55a>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x58d,0x8(%rax)
jb     16ce <main+0x59e>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x8(%rax),%rcx
lea    0x9d1(%rip),%rdi
mov    $0x2,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x1f6,%eax
cmp    0x10(%rcx),%rax
jae    171b <main+0x5eb>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x2ec,0x10(%rax)
jb     175f <main+0x62f>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x10(%rax),%rcx
lea    0x940(%rip),%rdi
mov    $0x3,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0xdf,%eax
cmp    0x18(%rcx),%rax
jae    17ac <main+0x67c>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0x192,0x18(%rax)
jb     17f0 <main+0x6c0>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x18(%rax),%rcx
lea    0x8af(%rip),%rdi
mov    $0x4,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x5a,%eax
cmp    0x20(%rcx),%rax
jae    183d <main+0x70d>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xdf,0x20(%rax)
jb     1881 <main+0x751>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x20(%rax),%rcx
lea    0x81e(%rip),%rdi
mov    $0x5,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
movslq -0x9d4(%rbp),%rax
lea    -0xca0(%rbp),%rcx
imul   $0x110,%rax,%rax
add    %rax,%rcx
mov    $0x5a,%eax
cmp    0x28(%rcx),%rax
jae    18ce <main+0x79e>
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
cmpq   $0xdf,0x28(%rax)
jb     1912 <main+0x7e2>
mov    -0x9d4(%rbp),%esi
movslq -0x9d4(%rbp),%rcx
lea    -0xca0(%rbp),%rax
imul   $0x110,%rcx,%rcx
add    %rcx,%rax
mov    0x28(%rax),%rcx
lea    0x78d(%rip),%rdi
mov    $0x6,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
jmp    1917 <main+0x7e7>
mov    -0x9d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9d4(%rbp)
jmp    15a2 <main+0x472>
lea    0x778(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpq   $0x0,-0xb98(%rbp)
je     1972 <main+0x842>
mov    -0xb98(%rbp),%rcx
lea    0x762(%rip),%rdi
xor    %esi,%esi
mov    $0x22,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
cmpq   $0x0,-0xa88(%rbp)
je     19ae <main+0x87e>
mov    -0xa88(%rbp),%rcx
lea    0x729(%rip),%rdi
mov    $0x1,%esi
mov    $0x22,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9ec(%rbp)
lea    0x728(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x9ec(%rbp),%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x9ec(%rbp)
mov    -0x9ec(%rbp),%edi
call   1050 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r14
push   %rbx
sub    $0xc70,%rsp
lea    0x2a0(%rsp),%rdi
mov    $0x9c4,%esi
call   1060 <RAND_pseudo_bytes@plt>
test   %eax,%eax
jns    1182 <main+0x32>
mov    $0x1,%ebp
lea    0xf31(%rip),%rbx
jmp    16b7 <main+0x567>
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
xor    %r14d,%r14d
mov    $0x220,%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    $0x22,%r8d
xor    %esi,%esi
xor    %edx,%edx
xor    %ebx,%ebx
jmp    11f1 <main+0xa1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14
cmp    $0x9c4,%r14
je     1287 <main+0x137>
movzbl 0x2a0(%rsp,%r14,1),%edi
mov    %edi,%ecx
and    $0xf,%ecx
addq   $0x1,(%rsp,%rcx,8)
mov    %rdi,%rcx
shr    $0x4,%rcx
addq   $0x1,(%rsp,%rcx,8)
mov    $0x8,%ebp
jmp    1233 <main+0xe3>
nopw   0x0(%rax,%rax,1)
mov    %ecx,%ebx
mov    $0x1,%edx
mov    %ecx,%eax
add    %rax,%rsi
shr    %edi
add    $0xffffffff,%ebp
je     11e0 <main+0x90>
mov    %edi,%ecx
and    $0x1,%ecx
cmp    %ebx,%ecx
jne    1250 <main+0x100>
add    $0x1,%edx
jmp    1227 <main+0xd7>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x22,%edx
cmovge %r8d,%edx
test   %edx,%edx
je     1220 <main+0xd0>
mov    %ebx,%ebx
movslq %edx,%r9
imul   $0x110,%rbx,%rbx
lea    (%rsp,%rbx,1),%rax
add    $0x80,%rax
addq   $0x1,-0x8(%rax,%r9,8)
cmp    $0x7,%edx
jl     1220 <main+0xd0>
addq   $0x1,0xa8(%rsp,%rbx,1)
jmp    1220 <main+0xd0>
cmp    $0x22,%edx
mov    $0x22,%eax
cmovl  %edx,%eax
test   %eax,%eax
je     12b1 <main+0x161>
mov    %ebx,%ecx
cltq
imul   $0x110,%rcx,%rcx
add    %rsp,%rcx
add    $0x80,%rcx
addq   $0x1,-0x8(%rcx,%rax,8)
lea    -0x25b7(%rsi),%rax
xor    %ebp,%ebp
cmp    $0x2b3,%rax
jb     12d5 <main+0x185>
lea    0xd37(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x1,%ebp
lea    0xda2(%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     1411 <main+0x2c1>
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    0xc12(%rip),%rdi
mov    %rcx,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
lea    0xc72(%rip),%rdi
call   1030 <puts@plt>
mov    0x80(%rsp),%rcx
lea    -0x8dc(%rcx),%rax
cmp    $0x1d1,%rax
jb     144c <main+0x2fc>
lea    0xbf7(%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     147b <main+0x32b>
lea    0xbc8(%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     14aa <main+0x35a>
lea    0xb99(%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     14d9 <main+0x389>
lea    0xb6a(%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     1505 <main+0x3b5>
lea    0xb3e(%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     1531 <main+0x3e1>
lea    0xb12(%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     1563 <main+0x413>
lea    0xae3(%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     1595 <main+0x445>
lea    0xab1(%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     15c7 <main+0x477>
lea    0xa7f(%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     15f9 <main+0x4a9>
lea    0xa4d(%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     1628 <main+0x4d8>
lea    0xa1e(%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     1657 <main+0x507>
lea    0x9ef(%rip),%rdi
mov    $0x1,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
lea    0xa38(%rip),%rdi
call   1030 <puts@plt>
mov    0x188(%rsp),%rcx
test   %rcx,%rcx
je     1688 <main+0x538>
lea    0x9e1(%rip),%rdi
xor    %esi,%esi
mov    $0x22,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%ebp
mov    0x298(%rsp),%rcx
lea    0xa0b(%rip),%rbx
test   %rcx,%rcx
je     16b7 <main+0x567>
lea    0x9b5(%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() {
%1 = alloca i32
%2 = alloca [2500 x i8]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i64
%11 = alloca [16 x i64]
%12 = alloca [2 x [34 x i64]]
%13 = alloca i64
store i32 0, i32* %1
store i32 0, i32* %9
%14 = getelementptr inbounds [2500 x i8], [2500 x i8]* %2, i64 0, i64 0
%15 = call i32 @RAND_pseudo_bytes(i8* %14, i32 2500)
store i32 %15, i32* %3
%16 = load i32, i32* %3
%17 = icmp slt i32 %16, 0
br i1 %17, label %18, label %22
18: ; preds = %0
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0))
%20 = load i32, i32* %9
%21 = add nsw i32 %20, 1
store i32 %21, i32* %9
br label %375
22: ; preds = %0
store i64 0, i64* %10
store i32 0, i32* %3
br label %23
23: ; preds = %30, %22
%24 = load i32, i32* %3
%25 = icmp slt i32 %24, 16
br i1 %25, label %26, label %33
26: ; preds = %23
%27 = load i32, i32* %3
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [16 x i64], [16 x i64]* %11, i64 0, i64 %28
store i64 0, i64* %29
br label %30
30: ; preds = %26
%31 = load i32, i32* %3
%32 = add nsw i32 %31, 1
store i32 %32, i32* %3
br label %23
33: ; preds = %23
store i32 0, i32* %3
br label %34
34: ; preds = %46, %33
%35 = load i32, i32* %3
%36 = icmp slt i32 %35, 34
br i1 %36, label %37, label %49
37: ; preds = %34
%38 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 1
%39 = load i32, i32* %3
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds [34 x i64], [34 x i64]* %38, i64 0, i64 %40
store i64 0, i64* %41
%42 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 0
%43 = load i32, i32* %3
%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
br label %46
46: ; preds = %37
%47 = load i32, i32* %3
%48 = add nsw i32 %47, 1
store i32 %48, i32* %3
br label %34
49: ; preds = %34
store i32 0, i32* %7
store i32 0, i32* %8
store i32 0, i32* %3
br label %50
50: ; preds = %126, %49
%51 = load i32, i32* %3
%52 = icmp slt i32 %51, 2500
br i1 %52, label %53, label %129
53: ; preds = %50
%54 = load i32, i32* %3
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [2500 x i8], [2500 x i8]* %2, i64 0, i64 %55
%57 = load i8, i8* %56
%58 = zext i8 %57 to i32
store i32 %58, i32* %4
%59 = load i32, i32* %4
%60 = and i32 %59, 15
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [16 x i64], [16 x i64]* %11, i64 0, i64 %61
%63 = load i64, i64* %62
%64 = add i64 %63, 1
store i64 %64, i64* %62
%65 = load i32, i32* %4
%66 = ashr i32 %65, 4
%67 = and i32 %66, 15
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [16 x i64], [16 x i64]* %11, i64 0, i64 %68
%70 = load i64, i64* %69
%71 = add i64 %70, 1
store i64 %71, i64* %69
store i32 0, i32* %5
br label %72
72: ; preds = %122, %53
%73 = load i32, i32* %5
%74 = icmp slt i32 %73, 8
br i1 %74, label %75, label %125
75: ; preds = %72
%76 = load i32, i32* %4
%77 = and i32 %76, 1
store i32 %77, i32* %6
%78 = load i32, i32* %6
%79 = load i32, i32* %7
%80 = icmp eq i32 %78, %79
br i1 %80, label %81, label %84
81: ; preds = %75
%82 = load i32, i32* %8
%83 = add nsw i32 %82, 1
store i32 %83, i32* %8
br label %113
84: ; preds = %75
%85 = load i32, i32* %8
%86 = icmp sgt i32 %85, 34
br i1 %86, label %87, label %88
87: ; preds = %84
store i32 34, i32* %8
br label %88
88: ; preds = %87, %84
%89 = load i32, i32* %8
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %111
91: ; preds = %88
%92 = load i32, i32* %7
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %93
%95 = load i32, i32* %8
%96 = sub nsw i32 %95, 1
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds [34 x i64], [34 x i64]* %94, i64 0, i64 %97
%99 = load i64, i64* %98
%100 = add i64 %99, 1
store i64 %100, i64* %98
%101 = load i32, i32* %8
%102 = icmp sgt i32 %101, 6
br i1 %102, label %103, label %110
103: ; preds = %91
%104 = load i32, i32* %7
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %105
%107 = getelementptr inbounds [34 x i64], [34 x i64]* %106, i64 0, i64 5
%108 = load i64, i64* %107
%109 = add i64 %108, 1
store i64 %109, i64* %107
br label %110
110: ; preds = %103, %91
br label %111
111: ; preds = %110, %88
%112 = load i32, i32* %6
store i32 %112, i32* %7
store i32 1, i32* %8
br label %113
113: ; preds = %111, %81
%114 = load i32, i32* %6
%115 = icmp ne i32 %114, 0
br i1 %115, label %116, label %119
116: ; preds = %113
%117 = load i64, i64* %10
%118 = add i64 %117, 1
store i64 %118, i64* %10
br label %119
119: ; preds = %116, %113
%120 = load i32, i32* %4
%121 = ashr i32 %120, 1
store i32 %121, i32* %4
br label %122
122: ; preds = %119
%123 = load i32, i32* %5
%124 = add nsw i32 %123, 1
store i32 %124, i32* %5
br label %72
125: ; preds = %72
br label %126
126: ; preds = %125
%127 = load i32, i32* %3
%128 = add nsw i32 %127, 1
store i32 %128, i32* %3
br label %50
129: ; preds = %50
%130 = load i32, i32* %8
%131 = icmp sgt i32 %130, 34
br i1 %131, label %132, label %133
132: ; preds = %129
store i32 34, i32* %8
br label %133
133: ; preds = %132, %129
%134 = load i32, i32* %8
%135 = icmp ne i32 %134, 0
br i1 %135, label %136, label %146
136: ; preds = %133
%137 = load i32, i32* %7
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %138
%140 = load i32, i32* %8
%141 = sub nsw i32 %140, 1
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds [34 x i64], [34 x i64]* %139, i64 0, i64 %142
%144 = load i64, i64* %143
%145 = add i64 %144, 1
store i64 %145, i64* %143
br label %146
146: ; preds = %136, %133
%147 = load i64, i64* %10
%148 = icmp ult i64 9654, %147
br i1 %148, label %149, label %152
149: ; preds = %146
%150 = load i64, i64* %10
%151 = icmp ult i64 %150, 10346
br i1 %151, label %157, label %152
152: ; preds = %149, %146
%153 = load i64, i64* %10
%154 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), i64 %153)
%155 = load i32, i32* %9
%156 = add nsw i32 %155, 1
store i32 %156, i32* %9
br label %157
157: ; preds = %152, %149
%158 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0))
store i64 0, i64* %13
store i32 0, i32* %3
br label %159
159: ; preds = %174, %157
%160 = load i32, i32* %3
%161 = icmp slt i32 %160, 16
br i1 %161, label %162, label %177
162: ; preds = %159
%163 = load i32, i32* %3
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds [16 x i64], [16 x i64]* %11, i64 0, i64 %164
%166 = load i64, i64* %165
%167 = load i32, i32* %3
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds [16 x i64], [16 x i64]* %11, i64 0, i64 %168
%170 = load i64, i64* %169
%171 = mul i64 %166, %170
%172 = load i64, i64* %13
%173 = add i64 %172, %171
store i64 %173, i64* %13
br label %174
174: ; preds = %162
%175 = load i32, i32* %3
%176 = add nsw i32 %175, 1
store i32 %176, i32* %3
br label %159
177: ; preds = %159
%178 = load i64, i64* %13
%179 = mul nsw i64 %178, 8
%180 = sdiv i64 %179, 25
%181 = sub nsw i64 %180, 500000
store i64 %181, i64* %13
%182 = load i64, i64* %13
%183 = icmp slt i64 103, %182
br i1 %183, label %184, label %187
184: ; preds = %177
%185 = load i64, i64* %13
%186 = icmp slt i64 %185, 5740
br i1 %186, label %195, label %187
187: ; preds = %184, %177
%188 = load i64, i64* %13
%189 = sdiv i64 %188, 100
%190 = load i64, i64* %13
%191 = srem i64 %190, 100
%192 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), i64 %189, i64 %191)
%193 = load i32, i32* %9
%194 = add nsw i32 %193, 1
store i32 %194, i32* %9
br label %195
195: ; preds = %187, %184
%196 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.4, i64 0, i64 0))
store i32 0, i32* %3
br label %197
197: ; preds = %345, %195
%198 = load i32, i32* %3
%199 = icmp slt i32 %198, 2
br i1 %199, label %200, label %348
200: ; preds = %197
%201 = load i32, i32* %3
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %202
%204 = getelementptr inbounds [34 x i64], [34 x i64]* %203, i64 0, i64 0
%205 = load i64, i64* %204
%206 = icmp ult i64 2267, %205
br i1 %206, label %207, label %214
207: ; preds = %200
%208 = load i32, i32* %3
%209 = sext i32 %208 to i64
%210 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %209
%211 = getelementptr inbounds [34 x i64], [34 x i64]* %210, i64 0, i64 0
%212 = load i64, i64* %211
%213 = icmp ult i64 %212, 2733
br i1 %213, label %224, label %214
214: ; preds = %207, %200
%215 = load i32, i32* %3
%216 = load i32, i32* %3
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %217
%219 = getelementptr inbounds [34 x i64], [34 x i64]* %218, i64 0, i64 0
%220 = load i64, i64* %219
%221 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %215, i32 1, i64 %220)
%222 = load i32, i32* %9
%223 = add nsw i32 %222, 1
store i32 %223, i32* %9
br label %224
224: ; preds = %214, %207
%225 = load i32, i32* %3
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %226
%228 = getelementptr inbounds [34 x i64], [34 x i64]* %227, i64 0, i64 1
%229 = load i64, i64* %228
%230 = icmp ult i64 1079, %229
br i1 %230, label %231, label %238
231: ; preds = %224
%232 = load i32, i32* %3
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %233
%235 = getelementptr inbounds [34 x i64], [34 x i64]* %234, i64 0, i64 1
%236 = load i64, i64* %235
%237 = icmp ult i64 %236, 1421
br i1 %237, label %248, label %238
238: ; preds = %231, %224
%239 = load i32, i32* %3
%240 = load i32, i32* %3
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %241
%243 = getelementptr inbounds [34 x i64], [34 x i64]* %242, i64 0, i64 1
%244 = load i64, i64* %243
%245 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %239, i32 2, i64 %244)
%246 = load i32, i32* %9
%247 = add nsw i32 %246, 1
store i32 %247, i32* %9
br label %248
248: ; preds = %238, %231
%249 = load i32, i32* %3
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %250
%252 = getelementptr inbounds [34 x i64], [34 x i64]* %251, i64 0, i64 2
%253 = load i64, i64* %252
%254 = icmp ult i64 502, %253
br i1 %254, label %255, label %262
255: ; preds = %248
%256 = load i32, i32* %3
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %257
%259 = getelementptr inbounds [34 x i64], [34 x i64]* %258, i64 0, i64 2
%260 = load i64, i64* %259
%261 = icmp ult i64 %260, 748
br i1 %261, label %272, label %262
262: ; preds = %255, %248
%263 = load i32, i32* %3
%264 = load i32, i32* %3
%265 = sext i32 %264 to i64
%266 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %265
%267 = getelementptr inbounds [34 x i64], [34 x i64]* %266, i64 0, i64 2
%268 = load i64, i64* %267
%269 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %263, i32 3, i64 %268)
%270 = load i32, i32* %9
%271 = add nsw i32 %270, 1
store i32 %271, i32* %9
br label %272
272: ; preds = %262, %255
%273 = load i32, i32* %3
%274 = sext i32 %273 to i64
%275 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %274
%276 = getelementptr inbounds [34 x i64], [34 x i64]* %275, i64 0, i64 3
%277 = load i64, i64* %276
%278 = icmp ult i64 223, %277
br i1 %278, label %279, label %286
279: ; preds = %272
%280 = load i32, i32* %3
%281 = sext i32 %280 to i64
%282 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %281
%283 = getelementptr inbounds [34 x i64], [34 x i64]* %282, i64 0, i64 3
%284 = load i64, i64* %283
%285 = icmp ult i64 %284, 402
br i1 %285, label %296, label %286
286: ; preds = %279, %272
%287 = load i32, i32* %3
%288 = load i32, i32* %3
%289 = sext i32 %288 to i64
%290 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %289
%291 = getelementptr inbounds [34 x i64], [34 x i64]* %290, i64 0, i64 3
%292 = load i64, i64* %291
%293 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %287, i32 4, i64 %292)
%294 = load i32, i32* %9
%295 = add nsw i32 %294, 1
store i32 %295, i32* %9
br label %296
296: ; preds = %286, %279
%297 = load i32, i32* %3
%298 = sext i32 %297 to i64
%299 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %298
%300 = getelementptr inbounds [34 x i64], [34 x i64]* %299, i64 0, i64 4
%301 = load i64, i64* %300
%302 = icmp ult i64 90, %301
br i1 %302, label %303, label %310
303: ; preds = %296
%304 = load i32, i32* %3
%305 = sext i32 %304 to i64
%306 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %305
%307 = getelementptr inbounds [34 x i64], [34 x i64]* %306, i64 0, i64 4
%308 = load i64, i64* %307
%309 = icmp ult i64 %308, 223
br i1 %309, label %320, label %310
310: ; preds = %303, %296
%311 = load i32, i32* %3
%312 = load i32, i32* %3
%313 = sext i32 %312 to i64
%314 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %313
%315 = getelementptr inbounds [34 x i64], [34 x i64]* %314, i64 0, i64 4
%316 = load i64, i64* %315
%317 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %311, i32 5, i64 %316)
%318 = load i32, i32* %9
%319 = add nsw i32 %318, 1
store i32 %319, i32* %9
br label %320
320: ; preds = %310, %303
%321 = load i32, i32* %3
%322 = sext i32 %321 to i64
%323 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %322
%324 = getelementptr inbounds [34 x i64], [34 x i64]* %323, i64 0, i64 5
%325 = load i64, i64* %324
%326 = icmp ult i64 90, %325
br i1 %326, label %327, label %334
327: ; preds = %320
%328 = load i32, i32* %3
%329 = sext i32 %328 to i64
%330 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %329
%331 = getelementptr inbounds [34 x i64], [34 x i64]* %330, i64 0, i64 5
%332 = load i64, i64* %331
%333 = icmp ult i64 %332, 223
br i1 %333, label %344, label %334
334: ; preds = %327, %320
%335 = load i32, i32* %3
%336 = load i32, i32* %3
%337 = sext i32 %336 to i64
%338 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 %337
%339 = getelementptr inbounds [34 x i64], [34 x i64]* %338, i64 0, i64 5
%340 = load i64, i64* %339
%341 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.5, i64 0, i64 0), i32 %335, i32 6, i64 %340)
%342 = load i32, i32* %9
%343 = add nsw i32 %342, 1
store i32 %343, i32* %9
br label %344
344: ; preds = %334, %327
br label %345
345: ; preds = %344
%346 = load i32, i32* %3
%347 = add nsw i32 %346, 1
store i32 %347, i32* %3
br label %197
348: ; preds = %197
%349 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.6, i64 0, i64 0))
%350 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 0
%351 = getelementptr inbounds [34 x i64], [34 x i64]* %350, i64 0, i64 33
%352 = load i64, i64* %351
%353 = icmp ne i64 %352, 0
br i1 %353, label %354, label %361
354: ; preds = %348
%355 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 0
%356 = getelementptr inbounds [34 x i64], [34 x i64]* %355, i64 0, i64 33
%357 = load i64, i64* %356
%358 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 0, i32 34, i64 %357)
%359 = load i32, i32* %9
%360 = add nsw i32 %359, 1
store i32 %360, i32* %9
br label %361
361: ; preds = %354, %348
%362 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 1
%363 = getelementptr inbounds [34 x i64], [34 x i64]* %362, i64 0, i64 33
%364 = load i64, i64* %363
%365 = icmp ne i64 %364, 0
br i1 %365, label %366, label %373
366: ; preds = %361
%367 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %12, i64 0, i64 1
%368 = getelementptr inbounds [34 x i64], [34 x i64]* %367, i64 0, i64 33
%369 = load i64, i64* %368
%370 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 1, i32 34, i64 %369)
%371 = load i32, i32* %9
%372 = add nsw i32 %371, 1
store i32 %372, i32* %9
br label %373
373: ; preds = %366, %361
%374 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.8, i64 0, i64 0))
br label %375
375: ; preds = %373, %18
%376 = load i32, i32* %9
%377 = icmp ne i32 %376, 0
%378 = zext i1 %377 to i64
%379 = select i1 %377, i32 1, i32 0
store i32 %379, i32* %9
%380 = load i32, i32* %9
%381 = call i32 @exit(i32 %380)
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() {
%1 = alloca [2500 x i8]
%2 = alloca [16 x i64]
%3 = bitcast [16 x i64]* %2 to i8*
%4 = alloca [2 x [34 x i64]]
%5 = bitcast [2 x [34 x i64]]* %4 to i8*
%6 = getelementptr inbounds [2500 x i8], [2500 x i8]* %1, i64 0, i64 0
%7 = call i32 @RAND_pseudo_bytes(i8* %6, i32 2500)
%8 = icmp slt i32 %7, 0
br i1 %8, label %284, label %9
9: ; preds = %0
%10 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 0
%11 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 1
%12 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 2
%13 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 3
%14 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 4
%15 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 5
%16 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 1, i64 33
%17 = bitcast [2 x [34 x i64]]* %4 to i8*
br label %18
18: ; preds = %9, %70
%19 = phi i64 [ 0, %9 ], [ %71, %70 ]
%20 = phi i64 [ 0, %9 ], [ %66, %70 ]
%21 = phi i32 [ 0, %9 ], [ %64, %70 ]
%22 = phi i32 [ 0, %9 ], [ %63, %70 ]
%23 = getelementptr inbounds [2500 x i8], [2500 x i8]* %1, i64 0, i64 %19
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = and i32 %25, 15
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 %27
%29 = load i64, i64* %28
%30 = add i64 %29, 1
store i64 %30, i64* %28
%31 = lshr i32 %25, 4
%32 = zext i32 %31 to i64
%33 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 %32
%34 = load i64, i64* %33
%35 = add i64 %34, 1
store i64 %35, i64* %33
br label %36
36: ; preds = %18, %62
%37 = phi i64 [ %20, %18 ], [ %66, %62 ]
%38 = phi i32 [ %21, %18 ], [ %64, %62 ]
%39 = phi i32 [ %22, %18 ], [ %63, %62 ]
%40 = phi i32 [ 0, %18 ], [ %68, %62 ]
%41 = phi i32 [ %25, %18 ], [ %67, %62 ]
%42 = and i32 %41, 1
%43 = icmp eq i32 %42, %39
br i1 %43, label %44, label %46
44: ; preds = %36
%45 = add nsw i32 %38, 1
br label %62
46: ; preds = %36
%47 = icmp slt i32 %38, 34
%48 = select i1 %47, i32 %38, i32 34
%49 = icmp eq i32 %48, 0
br i1 %49, label %62, label %50
50: ; preds = %46
%51 = zext i32 %39 to i64
%52 = add nsw i32 %48, -1
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 %51, i64 %53
%55 = load i64, i64* %54
%56 = add i64 %55, 1
store i64 %56, i64* %54
%57 = icmp sgt i32 %48, 6
br i1 %57, label %58, label %62
58: ; preds = %50
%59 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 %51, i64 5
%60 = load i64, i64* %59
%61 = add i64 %60, 1
store i64 %61, i64* %59
br label %62
62: ; preds = %46, %58, %50, %44
%63 = phi i32 [ %39, %44 ], [ %42, %50 ], [ %42, %58 ], [ %42, %46 ]
%64 = phi i32 [ %45, %44 ], [ 1, %50 ], [ 1, %58 ], [ 1, %46 ]
%65 = zext i32 %42 to i64
%66 = add i64 %37, %65
%67 = lshr i32 %41, 1
%68 = add nuw nsw i32 %40, 1
%69 = icmp eq i32 %68, 8
br i1 %69, label %70, label %36
70: ; preds = %62
%71 = add nuw nsw i64 %19, 1
%72 = icmp eq i64 %71, 2500
br i1 %72, label %73, label %18
73: ; preds = %70
%74 = icmp slt i32 %64, 34
%75 = select i1 %74, i32 %64, i32 34
%76 = icmp eq i32 %75, 0
br i1 %76, label %84, label %77
77: ; preds = %73
%78 = zext i32 %63 to i64
%79 = add nsw i32 %75, -1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 %78, i64 %80
%82 = load i64, i64* %81
%83 = add i64 %82, 1
store i64 %83, i64* %81
br label %84
84: ; preds = %77, %73
%85 = add i64 %66, -9655
%86 = icmp ult i64 %85, 691
br i1 %86, label %89, label %87
87: ; preds = %84
%88 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), i64 %66)
br label %89
89: ; preds = %84, %87
%90 = phi i32 [ 0, %84 ], [ 1, %87 ]
%91 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str, i64 0, i64 0))
%92 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 0
%93 = load i64, i64* %92
%94 = mul i64 %93, %93
%95 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 1
%96 = load i64, i64* %95
%97 = mul i64 %96, %96
%98 = add i64 %97, %94
%99 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 2
%100 = load i64, i64* %99
%101 = mul i64 %100, %100
%102 = add i64 %101, %98
%103 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 3
%104 = load i64, i64* %103
%105 = mul i64 %104, %104
%106 = add i64 %105, %102
%107 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 4
%108 = load i64, i64* %107
%109 = mul i64 %108, %108
%110 = add i64 %109, %106
%111 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 5
%112 = load i64, i64* %111
%113 = mul i64 %112, %112
%114 = add i64 %113, %110
%115 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 6
%116 = load i64, i64* %115
%117 = mul i64 %116, %116
%118 = add i64 %117, %114
%119 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 7
%120 = load i64, i64* %119
%121 = mul i64 %120, %120
%122 = add i64 %121, %118
%123 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 8
%124 = load i64, i64* %123
%125 = mul i64 %124, %124
%126 = add i64 %125, %122
%127 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 9
%128 = load i64, i64* %127
%129 = mul i64 %128, %128
%130 = add i64 %129, %126
%131 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 10
%132 = load i64, i64* %131
%133 = mul i64 %132, %132
%134 = add i64 %133, %130
%135 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 11
%136 = load i64, i64* %135
%137 = mul i64 %136, %136
%138 = add i64 %137, %134
%139 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 12
%140 = load i64, i64* %139
%141 = mul i64 %140, %140
%142 = add i64 %141, %138
%143 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 13
%144 = load i64, i64* %143
%145 = mul i64 %144, %144
%146 = add i64 %145, %142
%147 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 14
%148 = load i64, i64* %147
%149 = mul i64 %148, %148
%150 = add i64 %149, %146
%151 = getelementptr inbounds [16 x i64], [16 x i64]* %2, i64 0, i64 15
%152 = load i64, i64* %151
%153 = mul i64 %152, %152
%154 = add i64 %153, %150
%155 = shl nsw i64 %154, 3
%156 = sdiv i64 %155, 25
%157 = add nsw i64 %156, -500000
%158 = add i64 %154, -1562825
%159 = icmp ult i64 %158, 17613
br i1 %159, label %165, label %160
160: ; preds = %89
%161 = sdiv i64 %157, 100
%162 = srem i64 %157, 100
%163 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), i64 %161, i64 %162)
%164 = add nuw nsw i32 %90, 1
br label %165
165: ; preds = %89, %160
%166 = phi i32 [ %90, %89 ], [ %164, %160 ]
%167 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.9, i64 0, i64 0))
%168 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 0
%169 = load i64, i64* %168
%170 = add i64 %169, -2268
%171 = icmp ult i64 %170, 465
br i1 %171, label %175, label %172
172: ; preds = %165
%173 = 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 %169)
%174 = add nuw nsw i32 %166, 1
br label %175
175: ; preds = %165, %172
%176 = phi i32 [ %174, %172 ], [ %166, %165 ]
%177 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 1
%178 = load i64, i64* %177
%179 = add i64 %178, -1080
%180 = icmp ult i64 %179, 341
br i1 %180, label %184, label %181
181: ; preds = %175
%182 = 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 %178)
%183 = add nuw nsw i32 %176, 1
br label %184
184: ; preds = %175, %181
%185 = phi i32 [ %183, %181 ], [ %176, %175 ]
%186 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 2
%187 = load i64, i64* %186
%188 = add i64 %187, -503
%189 = icmp ult i64 %188, 245
br i1 %189, label %193, label %190
190: ; preds = %184
%191 = 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 %187)
%192 = add nuw nsw i32 %185, 1
br label %193
193: ; preds = %184, %190
%194 = phi i32 [ %192, %190 ], [ %185, %184 ]
%195 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 3
%196 = load i64, i64* %195
%197 = add i64 %196, -224
%198 = icmp ult i64 %197, 178
br i1 %198, label %202, label %199
199: ; preds = %193
%200 = 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 %196)
%201 = add nuw nsw i32 %194, 1
br label %202
202: ; preds = %193, %199
%203 = phi i32 [ %201, %199 ], [ %194, %193 ]
%204 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 4
%205 = load i64, i64* %204
%206 = add i64 %205, -91
%207 = icmp ult i64 %206, 132
br i1 %207, label %211, label %208
208: ; preds = %202
%209 = 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 %205)
%210 = add nuw nsw i32 %203, 1
br label %211
211: ; preds = %202, %208
%212 = phi i32 [ %210, %208 ], [ %203, %202 ]
%213 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 5
%214 = load i64, i64* %213
%215 = add i64 %214, -91
%216 = icmp ult i64 %215, 132
br i1 %216, label %220, label %217
217: ; preds = %211
%218 = 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 %214)
%219 = add nuw nsw i32 %212, 1
br label %220
220: ; preds = %211, %217
%221 = phi i32 [ %219, %217 ], [ %212, %211 ]
%222 = load i64, i64* %10
%223 = add i64 %222, -2268
%224 = icmp ult i64 %223, 465
br i1 %224, label %228, label %225
225: ; preds = %220
%226 = 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 %222)
%227 = add nuw nsw i32 %221, 1
br label %228
228: ; preds = %225, %220
%229 = phi i32 [ %227, %225 ], [ %221, %220 ]
%230 = load i64, i64* %11
%231 = add i64 %230, -1080
%232 = icmp ult i64 %231, 341
br i1 %232, label %236, label %233
233: ; preds = %228
%234 = 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 %230)
%235 = add nuw nsw i32 %229, 1
br label %236
236: ; preds = %233, %228
%237 = phi i32 [ %235, %233 ], [ %229, %228 ]
%238 = load i64, i64* %12
%239 = add i64 %238, -503
%240 = icmp ult i64 %239, 245
br i1 %240, label %244, label %241
241: ; preds = %236
%242 = 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 %238)
%243 = add nuw nsw i32 %237, 1
br label %244
244: ; preds = %241, %236
%245 = phi i32 [ %243, %241 ], [ %237, %236 ]
%246 = load i64, i64* %13
%247 = add i64 %246, -224
%248 = icmp ult i64 %247, 178
br i1 %248, label %252, label %249
249: ; preds = %244
%250 = 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 %246)
%251 = add nuw nsw i32 %245, 1
br label %252
252: ; preds = %249, %244
%253 = phi i32 [ %251, %249 ], [ %245, %244 ]
%254 = load i64, i64* %14
%255 = add i64 %254, -91
%256 = icmp ult i64 %255, 132
br i1 %256, label %260, label %257
257: ; preds = %252
%258 = 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 %254)
%259 = add nuw nsw i32 %253, 1
br label %260
260: ; preds = %257, %252
%261 = phi i32 [ %259, %257 ], [ %253, %252 ]
%262 = load i64, i64* %15
%263 = add i64 %262, -91
%264 = icmp ult i64 %263, 132
br i1 %264, label %268, label %265
265: ; preds = %260
%266 = 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 %262)
%267 = add nuw nsw i32 %261, 1
br label %268
268: ; preds = %265, %260
%269 = phi i32 [ %267, %265 ], [ %261, %260 ]
%270 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.10, i64 0, i64 0))
%271 = getelementptr inbounds [2 x [34 x i64]], [2 x [34 x i64]]* %4, i64 0, i64 0, i64 33
%272 = load i64, i64* %271
%273 = icmp eq i64 %272, 0
br i1 %273, label %277, label %274
274: ; preds = %268
%275 = 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 %272)
%276 = add nuw nsw i32 %269, 1
br label %277
277: ; preds = %274, %268
%278 = phi i32 [ %276, %274 ], [ %269, %268 ]
%279 = load i64, i64* %16
%280 = icmp eq i64 %279, 0
br i1 %280, label %284, label %281
281: ; preds = %277
%282 = 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 %279)
%283 = add nuw nsw i32 %278, 1
br label %284
284: ; preds = %277, %281, %0
%285 = phi i8* [ getelementptr inbounds ([55 x i8], [55 x i8]* @str.12, i64 0, i64 0), %0 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @str.11, i64 0, i64 0), %281 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @str.11, i64 0, i64 0), %277 ]
%286 = phi i32 [ 1, %0 ], [ %283, %281 ], [ %278, %277 ]
%287 = call i32 @puts(i8* dereferenceable(1) %285)
%288 = icmp ne i32 %286, 0
%289 = zext i1 %288 to i32
%290 = call i32 @exit(i32 %289)
unreachable
}