#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ abort();
int /*<<< orphan*/ exit(int /*<<< orphan*/);
unsigned long long random_bitstring();
main() {
  long long int i;
  for (i = 0; i < 10000; i++) {
    unsigned long long x, y;
    x = random_bitstring();
    y = random_bitstring();
    if (sizeof(int) == sizeof(long long))
      goto save_time;
    {
      unsigned long long xx = x, yy = y, r1, r2;
      if (yy == 0)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (r2 >= yy || r1 * yy + r2 != xx)
        abort();
    }
    {
      signed long long xx = x, yy = y, r1, r2;
      if ((unsigned long long)xx << 1 == 0 && yy == -1)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (((r2) >= 0 ? (r2) : -(r2)) >=
              (unsigned long long)((yy) >= 0 ? (yy) : -(yy)) ||
          (signed long long)(r1 * yy + r2) != xx)
        abort();
    }
  save_time : {
    unsigned int xx = x, yy = y, r1, r2;
    if (yy == 0)
      continue;
    r1 = xx / yy;
    r2 = xx % yy;
    if (r2 >= yy || r1 * yy + r2 != xx)
      abort();
  }
    {
      signed int xx = x, yy = y, r1, r2;
      if ((unsigned int)xx << 1 == 0 && yy == -1)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (((r2) >= 0 ? (r2) : -(r2)) >=
              (unsigned int)((yy) >= 0 ? (yy) : -(yy)) ||
          (signed int)(r1 * yy + r2) != xx || ((xx < 0) != (r2 < 0) && r2))
        abort();
    }
    {
      unsigned short xx = x, yy = y, r1, r2;
      if (yy == 0)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (r2 >= yy || r1 * yy + r2 != xx)
        abort();
    }
    {
      signed short xx = x, yy = y, r1, r2;
      r1 = xx / yy;
      r2 = xx % yy;
      if (((r2) >= 0 ? (r2) : -(r2)) >=
              (unsigned short)((yy) >= 0 ? (yy) : -(yy)) ||
          (signed short)(r1 * yy + r2) != xx)
        abort();
    }
    {
      unsigned char xx = x, yy = y, r1, r2;
      if (yy == 0)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (r2 >= yy || r1 * yy + r2 != xx)
        abort();
    }
    {
      signed char xx = x, yy = y, r1, r2;
      r1 = xx / yy;
      r2 = xx % yy;
      if (((r2) >= 0 ? (r2) : -(r2)) >=
              (unsigned char)((yy) >= 0 ? (yy) : -(yy)) ||
          (signed char)(r1 * yy + r2) != xx)
        abort();
    }
  }
  exit(0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movl   $0x0,-0x4(%rbp)
movq   $0x0,-0x10(%rbp)
cmpq   $0x2710,-0x10(%rbp)
jge    1760 <main+0x630>
mov    $0x0,%al
call   1040 <random_bitstring@plt>
mov    %rax,-0x18(%rbp)
mov    $0x0,%al
call   1040 <random_bitstring@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    118e <main+0x5e>
jmp    174f <main+0x61f>
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x30(%rbp)
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x30(%rbp)
mov    %rdx,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    11d3 <main+0xa3>
mov    -0x38(%rbp),%rax
imul   -0x30(%rbp),%rax
add    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
je     11da <main+0xaa>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
shl    $0x1,%rax
cmp    $0x0,%rax
jne    120c <main+0xdc>
cmpq   $0xffffffffffffffff,-0x50(%rbp)
jne    120c <main+0xdc>
jmp    174f <main+0x61f>
mov    -0x48(%rbp),%rax
cqto
idivq  -0x50(%rbp)
mov    %rax,-0x58(%rbp)
mov    -0x48(%rbp),%rax
cqto
idivq  -0x50(%rbp)
mov    %rdx,-0x60(%rbp)
cmpq   $0x0,-0x60(%rbp)
jl     1243 <main+0x113>
mov    -0x60(%rbp),%rax
mov    %rax,-0xa0(%rbp)
jmp    1250 <main+0x120>
xor    %eax,%eax
sub    -0x60(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0xa8(%rbp)
cmpq   $0x0,-0x50(%rbp)
jl     1279 <main+0x149>
mov    -0x50(%rbp),%rax
mov    %rax,-0xb0(%rbp)
jmp    1286 <main+0x156>
xor    %eax,%eax
sub    -0x50(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
mov    -0xb0(%rbp),%rcx
cmp    %rcx,%rax
jae    12b4 <main+0x184>
mov    -0x58(%rbp),%rax
imul   -0x50(%rbp),%rax
add    -0x60(%rbp),%rax
cmp    -0x48(%rbp),%rax
je     12bb <main+0x18b>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    12c0 <main+0x190>
mov    -0x18(%rbp),%rax
mov    %eax,-0x64(%rbp)
mov    -0x20(%rbp),%rax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,-0x68(%rbp)
jne    12dd <main+0x1ad>
jmp    174f <main+0x61f>
mov    -0x64(%rbp),%eax
xor    %edx,%edx
divl   -0x68(%rbp)
mov    %eax,-0x6c(%rbp)
mov    -0x64(%rbp),%eax
xor    %edx,%edx
divl   -0x68(%rbp)
mov    %edx,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x68(%rbp),%eax
jae    1312 <main+0x1e2>
mov    -0x6c(%rbp),%eax
imul   -0x68(%rbp),%eax
add    -0x70(%rbp),%eax
cmp    -0x64(%rbp),%eax
je     1319 <main+0x1e9>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %eax,-0x74(%rbp)
mov    -0x20(%rbp),%rax
mov    %eax,-0x78(%rbp)
mov    -0x74(%rbp),%eax
shl    $0x1,%eax
cmp    $0x0,%eax
jne    1345 <main+0x215>
cmpl   $0xffffffff,-0x78(%rbp)
jne    1345 <main+0x215>
jmp    174f <main+0x61f>
mov    -0x74(%rbp),%eax
cltd
idivl  -0x78(%rbp)
mov    %eax,-0x7c(%rbp)
mov    -0x74(%rbp),%eax
cltd
idivl  -0x78(%rbp)
mov    %edx,-0x80(%rbp)
cmpl   $0x0,-0x80(%rbp)
jl     1371 <main+0x241>
mov    -0x80(%rbp),%eax
mov    %eax,-0xb4(%rbp)
jmp    137c <main+0x24c>
xor    %eax,%eax
sub    -0x80(%rbp),%eax
mov    %eax,-0xb4(%rbp)
mov    -0xb4(%rbp),%eax
mov    %eax,-0xb8(%rbp)
cmpl   $0x0,-0x78(%rbp)
jl     13a0 <main+0x270>
mov    -0x78(%rbp),%eax
mov    %eax,-0xbc(%rbp)
jmp    13ab <main+0x27b>
xor    %eax,%eax
sub    -0x78(%rbp),%eax
mov    %eax,-0xbc(%rbp)
mov    -0xb8(%rbp),%eax
mov    -0xbc(%rbp),%ecx
cmp    %ecx,%eax
jae    13fd <main+0x2cd>
mov    -0x7c(%rbp),%eax
imul   -0x78(%rbp),%eax
add    -0x80(%rbp),%eax
cmp    -0x74(%rbp),%eax
jne    13fd <main+0x2cd>
cmpl   $0x0,-0x74(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%eax
cmpl   $0x0,-0x80(%rbp)
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
je     1404 <main+0x2d4>
cmpl   $0x0,-0x80(%rbp)
je     1404 <main+0x2d4>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %ax,-0x82(%rbp)
mov    -0x20(%rbp),%rax
mov    %ax,-0x84(%rbp)
movzwl -0x84(%rbp),%eax
cmp    $0x0,%eax
jne    142f <main+0x2ff>
jmp    174f <main+0x61f>
movzwl -0x82(%rbp),%eax
movzwl -0x84(%rbp),%ecx
cltd
idiv   %ecx
mov    %ax,-0x86(%rbp)
movzwl -0x82(%rbp),%eax
movzwl -0x84(%rbp),%ecx
cltd
idiv   %ecx
mov    %dx,%ax
mov    %ax,-0x88(%rbp)
movzwl -0x88(%rbp),%eax
movzwl -0x84(%rbp),%ecx
cmp    %ecx,%eax
jge    14a1 <main+0x371>
movzwl -0x86(%rbp),%eax
movzwl -0x84(%rbp),%ecx
imul   %ecx,%eax
movzwl -0x88(%rbp),%ecx
add    %ecx,%eax
movzwl -0x82(%rbp),%ecx
cmp    %ecx,%eax
je     14a8 <main+0x378>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %ax,-0x8a(%rbp)
mov    -0x20(%rbp),%rax
mov    %ax,-0x8c(%rbp)
movswl -0x8a(%rbp),%eax
movswl -0x8c(%rbp),%ecx
cltd
idiv   %ecx
mov    %ax,-0x8e(%rbp)
movswl -0x8a(%rbp),%eax
movswl -0x8c(%rbp),%ecx
cltd
idiv   %ecx
mov    %dx,%ax
mov    %ax,-0x90(%rbp)
movswl -0x90(%rbp),%eax
cmp    $0x0,%eax
jl     1513 <main+0x3e3>
movswl -0x90(%rbp),%eax
mov    %eax,-0xc0(%rbp)
jmp    1524 <main+0x3f4>
movswl -0x90(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0xc0(%rbp)
mov    -0xc0(%rbp),%eax
mov    %eax,-0xc4(%rbp)
movswl -0x8c(%rbp),%eax
cmp    $0x0,%eax
jl     1552 <main+0x422>
movswl -0x8c(%rbp),%eax
mov    %eax,-0xc8(%rbp)
jmp    1563 <main+0x433>
movswl -0x8c(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0xc8(%rbp)
mov    -0xc4(%rbp),%eax
mov    -0xc8(%rbp),%ecx
movzwl %cx,%ecx
cmp    %ecx,%eax
jge    15a4 <main+0x474>
movswl -0x8e(%rbp),%eax
movswl -0x8c(%rbp),%ecx
imul   %ecx,%eax
movswl -0x90(%rbp),%ecx
add    %ecx,%eax
cwtl
movswl -0x8a(%rbp),%ecx
cmp    %ecx,%eax
je     15ab <main+0x47b>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %al,-0x91(%rbp)
mov    -0x20(%rbp),%rax
mov    %al,-0x92(%rbp)
movzbl -0x92(%rbp),%eax
cmp    $0x0,%eax
jne    15d4 <main+0x4a4>
jmp    174f <main+0x61f>
movzbl -0x91(%rbp),%eax
movzbl -0x92(%rbp),%ecx
cltd
idiv   %ecx
mov    %al,-0x93(%rbp)
movzbl -0x91(%rbp),%eax
movzbl -0x92(%rbp),%ecx
cltd
idiv   %ecx
mov    %dl,%al
mov    %al,-0x94(%rbp)
movzbl -0x94(%rbp),%eax
movzbl -0x92(%rbp),%ecx
cmp    %ecx,%eax
jge    1643 <main+0x513>
movzbl -0x93(%rbp),%eax
movzbl -0x92(%rbp),%ecx
imul   %ecx,%eax
movzbl -0x94(%rbp),%ecx
add    %ecx,%eax
movzbl -0x91(%rbp),%ecx
cmp    %ecx,%eax
je     164a <main+0x51a>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    %al,-0x95(%rbp)
mov    -0x20(%rbp),%rax
mov    %al,-0x96(%rbp)
movsbl -0x95(%rbp),%eax
movsbl -0x96(%rbp),%ecx
cltd
idiv   %ecx
mov    %al,-0x97(%rbp)
movsbl -0x95(%rbp),%eax
movsbl -0x96(%rbp),%ecx
cltd
idiv   %ecx
mov    %dl,%al
mov    %al,-0x98(%rbp)
movsbl -0x98(%rbp),%eax
cmp    $0x0,%eax
jl     16b0 <main+0x580>
movsbl -0x98(%rbp),%eax
mov    %eax,-0xcc(%rbp)
jmp    16c1 <main+0x591>
movsbl -0x98(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0xcc(%rbp)
mov    -0xcc(%rbp),%eax
mov    %eax,-0xd0(%rbp)
movsbl -0x96(%rbp),%eax
cmp    $0x0,%eax
jl     16ef <main+0x5bf>
movsbl -0x96(%rbp),%eax
mov    %eax,-0xd4(%rbp)
jmp    1700 <main+0x5d0>
movsbl -0x96(%rbp),%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0xd4(%rbp)
mov    -0xd0(%rbp),%eax
mov    -0xd4(%rbp),%ecx
movzbl %cl,%ecx
cmp    %ecx,%eax
jge    1743 <main+0x613>
movsbl -0x97(%rbp),%eax
movsbl -0x96(%rbp),%ecx
imul   %ecx,%eax
movsbl -0x98(%rbp),%ecx
add    %ecx,%eax
movsbl %al,%eax
movsbl -0x95(%rbp),%ecx
cmp    %ecx,%eax
je     174a <main+0x61a>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    174f <main+0x61f>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    114a <main+0x1a>
xor    %edi,%edi
call   1050 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
mov    $0x2710,%ebx
jmp    114a <main+0x1a>
nopl   0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rbx
je     1263 <main+0x133>
xor    %eax,%eax
call   1040 <random_bitstring@plt>
mov    %rax,%r14
xor    %eax,%eax
call   1040 <random_bitstring@plt>
test   %rax,%rax
je     1140 <main+0x10>
mov    %rax,%rcx
lea    0x0(,%r14,2),%rax
test   %rax,%rax
jne    1176 <main+0x46>
cmp    $0xffffffffffffffff,%rcx
je     1140 <main+0x10>
mov    %r14,%rax
or     %rcx,%rax
shr    $0x20,%rax
je     118c <main+0x5c>
mov    %r14,%rax
cqto
idiv   %rcx
jmp    1193 <main+0x63>
mov    %r14d,%eax
xor    %edx,%edx
div    %ecx
mov    %rdx,%rax
neg    %rax
cmovs  %rdx,%rax
mov    %rcx,%rdx
neg    %rdx
cmovs  %rcx,%rdx
cmp    %rdx,%rax
jae    125c <main+0x12c>
test   %ecx,%ecx
je     1140 <main+0x10>
test   $0x7fffffff,%r14d
jne    11c6 <main+0x96>
cmp    $0xffffffff,%ecx
je     1140 <main+0x10>
mov    %r14d,%eax
cltd
idiv   %ecx
mov    %edx,%eax
neg    %eax
cmovs  %edx,%eax
mov    %ecx,%esi
neg    %esi
cmovs  %ecx,%esi
cmp    %esi,%eax
jae    125c <main+0x12c>
test   %edx,%edx
je     11e7 <main+0xb7>
xor    %r14d,%edx
js     125c <main+0x12c>
test   %cx,%cx
je     1140 <main+0x10>
movswl %r14w,%r8d
movswl %cx,%r9d
mov    %r8d,%eax
cltd
idiv   %r9d
mov    %edx,%esi
neg    %esi
cmovs  %edx,%esi
mov    %r9d,%edi
neg    %edi
cmovs  %r9d,%edi
cmp    %edi,%esi
jae    125c <main+0x12c>
imul   %r9d,%eax
add    %edx,%eax
cwtl
cmp    %r8d,%eax
jne    125c <main+0x12c>
test   %cl,%cl
je     1140 <main+0x10>
movsbl %r14b,%r8d
movsbl %cl,%esi
mov    %r8d,%eax
cwtd
idiv   %si
movswl %dx,%edx
mov    %edx,%edi
neg    %edi
cmovs  %edx,%edi
mov    %esi,%ecx
neg    %ecx
cmovs  %esi,%ecx
cmp    %ecx,%edi
jae    125c <main+0x12c>
imul   %esi,%eax
add    %edx,%eax
movsbl %al,%eax
cmp    %r8d,%eax
je     1140 <main+0x10>
xor    %eax,%eax
call   1030 <abort@plt>
xor    %edi,%edi
call   1050 <exit@plt>

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

LLVM IR (-O2):
define i32 @main() {
br label %1
1: ; preds = %0, %89
%2 = phi i64 [ 0, %0 ], [ %90, %89 ]
%3 = tail call i64 (...) @random_bitstring()
%4 = tail call i64 (...) @random_bitstring()
%5 = icmp eq i64 %4, 0
br i1 %5, label %89, label %6
6: ; preds = %1
%7 = and i64 %3, 9223372036854775807
%8 = icmp eq i64 %7, 0
%9 = icmp eq i64 %4, -1
%10 = select i1 %8, i1 %9, i1 false
br i1 %10, label %89, label %11
11: ; preds = %6
%12 = srem i64 %3, %4
%13 = tail call i64 @llvm.abs.i64(i64 %12, i1 true)
%14 = tail call i64 @llvm.abs.i64(i64 %4, i1 true)
%15 = icmp ult i64 %13, %14
br i1 %15, label %18, label %16
16: ; preds = %11
%17 = tail call i32 (...) @abort()
unreachable
18: ; preds = %11
%19 = trunc i64 %3 to i32
%20 = trunc i64 %4 to i32
%21 = icmp eq i32 %20, 0
br i1 %21, label %89, label %22
22: ; preds = %18
%23 = and i32 %19, 2147483647
%24 = icmp eq i32 %23, 0
%25 = icmp eq i32 %20, -1
%26 = select i1 %24, i1 %25, i1 false
br i1 %26, label %89, label %27
27: ; preds = %22
%28 = srem i32 %19, %20
%29 = tail call i32 @llvm.abs.i32(i32 %28, i1 true)
%30 = tail call i32 @llvm.abs.i32(i32 %20, i1 true)
%31 = icmp ult i32 %29, %30
br i1 %31, label %32, label %37
32: ; preds = %27
%33 = xor i32 %28, %19
%34 = icmp slt i32 %33, 0
%35 = icmp ne i32 %28, 0
%36 = and i1 %35, %34
br i1 %36, label %37, label %39
37: ; preds = %32, %27
%38 = tail call i32 (...) @abort()
unreachable
39: ; preds = %32
%40 = and i32 %20, 65535
%41 = icmp eq i32 %40, 0
br i1 %41, label %89, label %42
42: ; preds = %39
%43 = shl i32 %19, 16
%44 = ashr exact i32 %43, 16
%45 = shl i32 %20, 16
%46 = ashr exact i32 %45, 16
%47 = srem i32 %44, %46
%48 = sdiv i32 %44, %46
%49 = tail call i32 @llvm.abs.i32(i32 %47, i1 true)
%50 = tail call i32 @llvm.abs.i32(i32 %46, i1 true)
%51 = icmp ult i32 %49, %50
br i1 %51, label %52, label %60
52: ; preds = %42
%53 = shl i32 %48, 16
%54 = ashr exact i32 %53, 16
%55 = mul nsw i32 %54, %46
%56 = add nsw i32 %55, %47
%57 = shl i32 %56, 16
%58 = ashr exact i32 %57, 16
%59 = icmp eq i32 %58, %44
br i1 %59, label %62, label %60
60: ; preds = %52, %42
%61 = tail call i32 (...) @abort()
unreachable
62: ; preds = %52
%63 = and i32 %20, 255
%64 = icmp eq i32 %63, 0
br i1 %64, label %89, label %65
65: ; preds = %62
%66 = shl i32 %19, 24
%67 = ashr exact i32 %66, 24
%68 = shl i32 %20, 24
%69 = ashr exact i32 %68, 24
%70 = trunc i32 %67 to i16
%71 = trunc i32 %69 to i16
%72 = srem i16 %70, %71
%73 = sdiv i16 %70, %71
%74 = sext i16 %72 to i32
%75 = tail call i32 @llvm.abs.i32(i32 %74, i1 true)
%76 = tail call i32 @llvm.abs.i32(i32 %69, i1 true)
%77 = icmp ult i32 %75, %76
br i1 %77, label %78, label %87
78: ; preds = %65
%79 = zext i16 %73 to i32
%80 = shl i32 %79, 24
%81 = ashr exact i32 %80, 24
%82 = mul nsw i32 %81, %69
%83 = add nsw i32 %82, %74
%84 = shl i32 %83, 24
%85 = ashr exact i32 %84, 24
%86 = icmp eq i32 %85, %67
br i1 %86, label %89, label %87
87: ; preds = %78, %65
%88 = tail call i32 (...) @abort()
unreachable
89: ; preds = %62, %39, %22, %18, %6, %1, %78
%90 = add nuw nsw i64 %2, 1
%91 = icmp eq i64 %90, 10000
br i1 %91, label %92, label %1
92: ; preds = %89
%93 = tail call i32 @exit(i32 0)
unreachable
}