#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 random_bitstring();
main() {
  long int i;
  for (i = 0; i < 1000; i++) {
    unsigned long x, y;
    x = random_bitstring();
    y = random_bitstring();
    if (sizeof(int) == sizeof(long))
      goto save_time;
    {
      unsigned 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 xx = x, yy = y, r1, r2;
      if ((unsigned long)xx << 1 == 0 && yy == -1)
        continue;
      r1 = xx / yy;
      r2 = xx % yy;
      if (((r2) >= 0 ? (r2) : -(r2)) >=
              (unsigned long)((yy) >= 0 ? (yy) : -(yy)) ||
          (signed 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)
        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   $0x3e8,-0x10(%rbp)
jge    1735 <main+0x605>
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    1724 <main+0x5f4>
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    1724 <main+0x5f4>
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    1724 <main+0x5f4>
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    1724 <main+0x5f4>
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    13d2 <main+0x2a2>
mov    -0x7c(%rbp),%eax
imul   -0x78(%rbp),%eax
add    -0x80(%rbp),%eax
cmp    -0x74(%rbp),%eax
je     13d9 <main+0x2a9>
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    1404 <main+0x2d4>
jmp    1724 <main+0x5f4>
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    1476 <main+0x346>
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     147d <main+0x34d>
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     14e8 <main+0x3b8>
movswl -0x90(%rbp),%eax
mov    %eax,-0xc0(%rbp)
jmp    14f9 <main+0x3c9>
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     1527 <main+0x3f7>
movswl -0x8c(%rbp),%eax
mov    %eax,-0xc8(%rbp)
jmp    1538 <main+0x408>
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    1579 <main+0x449>
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     1580 <main+0x450>
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    15a9 <main+0x479>
jmp    1724 <main+0x5f4>
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    1618 <main+0x4e8>
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     161f <main+0x4ef>
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     1685 <main+0x555>
movsbl -0x98(%rbp),%eax
mov    %eax,-0xcc(%rbp)
jmp    1696 <main+0x566>
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     16c4 <main+0x594>
movsbl -0x96(%rbp),%eax
mov    %eax,-0xd4(%rbp)
jmp    16d5 <main+0x5a5>
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    1718 <main+0x5e8>
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     171f <main+0x5ef>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1724 <main+0x5f4>
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    $0x3e8,%ebx
jmp    114a <main+0x1a>
nopl   0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rbx
je     125a <main+0x12a>
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    1253 <main+0x123>
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,%edx
neg    %edx
cmovs  %ecx,%edx
cmp    %edx,%eax
jae    1253 <main+0x123>
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    1253 <main+0x123>
imul   %r9d,%eax
add    %edx,%eax
cwtl
cmp    %r8d,%eax
jne    1253 <main+0x123>
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    1253 <main+0x123>
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 = %394, %0
%38 = load i64, i64* %2
%39 = icmp slt i64 %38, 1000
br i1 %39, label %40, label %397
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 %394
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 %394
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 %394
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 %394
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 %189, 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 %189, label %191
189: ; preds = %181, %178
%190 = call i32 (...) @abort()
unreachable
191: ; preds = %181
%192 = load i64, i64* %3
%193 = trunc i64 %192 to i16
store i16 %193, i16* %21
%194 = load i64, i64* %4
%195 = trunc i64 %194 to i16
store i16 %195, i16* %22
%196 = load i16, i16* %22
%197 = zext i16 %196 to i32
%198 = icmp eq i32 %197, 0
br i1 %198, label %199, label %200
199: ; preds = %191
br label %394
200: ; preds = %191
%201 = load i16, i16* %21
%202 = zext i16 %201 to i32
%203 = load i16, i16* %22
%204 = zext i16 %203 to i32
%205 = sdiv i32 %202, %204
%206 = trunc i32 %205 to i16
store i16 %206, i16* %23
%207 = load i16, i16* %21
%208 = zext i16 %207 to i32
%209 = load i16, i16* %22
%210 = zext i16 %209 to i32
%211 = srem i32 %208, %210
%212 = trunc i32 %211 to i16
store i16 %212, i16* %24
%213 = load i16, i16* %24
%214 = zext i16 %213 to i32
%215 = load i16, i16* %22
%216 = zext i16 %215 to i32
%217 = icmp sge i32 %214, %216
br i1 %217, label %230, label %218
218: ; preds = %200
%219 = load i16, i16* %23
%220 = zext i16 %219 to i32
%221 = load i16, i16* %22
%222 = zext i16 %221 to i32
%223 = mul nsw i32 %220, %222
%224 = load i16, i16* %24
%225 = zext i16 %224 to i32
%226 = add nsw i32 %223, %225
%227 = load i16, i16* %21
%228 = zext i16 %227 to i32
%229 = icmp ne i32 %226, %228
br i1 %229, label %230, label %232
230: ; preds = %218, %200
%231 = call i32 (...) @abort()
unreachable
232: ; preds = %218
%233 = load i64, i64* %3
%234 = trunc i64 %233 to i16
store i16 %234, i16* %25
%235 = load i64, i64* %4
%236 = trunc i64 %235 to i16
store i16 %236, i16* %26
%237 = load i16, i16* %25
%238 = sext i16 %237 to i32
%239 = load i16, i16* %26
%240 = sext i16 %239 to i32
%241 = sdiv i32 %238, %240
%242 = trunc i32 %241 to i16
store i16 %242, i16* %27
%243 = load i16, i16* %25
%244 = sext i16 %243 to i32
%245 = load i16, i16* %26
%246 = sext i16 %245 to i32
%247 = srem i32 %244, %246
%248 = trunc i32 %247 to i16
store i16 %248, i16* %28
%249 = load i16, i16* %28
%250 = sext i16 %249 to i32
%251 = icmp sge i32 %250, 0
br i1 %251, label %252, label %255
252: ; preds = %232
%253 = load i16, i16* %28
%254 = sext i16 %253 to i32
br label %259
255: ; preds = %232
%256 = load i16, i16* %28
%257 = sext i16 %256 to i32
%258 = sub nsw i32 0, %257
br label %259
259: ; preds = %255, %252
%260 = phi i32 [ %254, %252 ], [ %258, %255 ]
%261 = load i16, i16* %26
%262 = sext i16 %261 to i32
%263 = icmp sge i32 %262, 0
br i1 %263, label %264, label %267
264: ; preds = %259
%265 = load i16, i16* %26
%266 = sext i16 %265 to i32
br label %271
267: ; preds = %259
%268 = load i16, i16* %26
%269 = sext i16 %268 to i32
%270 = sub nsw i32 0, %269
br label %271
271: ; preds = %267, %264
%272 = phi i32 [ %266, %264 ], [ %270, %267 ]
%273 = trunc i32 %272 to i16
%274 = zext i16 %273 to i32
%275 = icmp sge i32 %260, %274
br i1 %275, label %290, label %276
276: ; preds = %271
%277 = load i16, i16* %27
%278 = sext i16 %277 to i32
%279 = load i16, i16* %26
%280 = sext i16 %279 to i32
%281 = mul nsw i32 %278, %280
%282 = load i16, i16* %28
%283 = sext i16 %282 to i32
%284 = add nsw i32 %281, %283
%285 = trunc i32 %284 to i16
%286 = sext i16 %285 to i32
%287 = load i16, i16* %25
%288 = sext i16 %287 to i32
%289 = icmp ne i32 %286, %288
br i1 %289, label %290, label %292
290: ; preds = %276, %271
%291 = call i32 (...) @abort()
unreachable
292: ; preds = %276
%293 = load i64, i64* %3
%294 = trunc i64 %293 to i8
store i8 %294, i8* %29
%295 = load i64, i64* %4
%296 = trunc i64 %295 to i8
store i8 %296, i8* %30
%297 = load i8, i8* %30
%298 = zext i8 %297 to i32
%299 = icmp eq i32 %298, 0
br i1 %299, label %300, label %301
300: ; preds = %292
br label %394
301: ; preds = %292
%302 = load i8, i8* %29
%303 = zext i8 %302 to i32
%304 = load i8, i8* %30
%305 = zext i8 %304 to i32
%306 = sdiv i32 %303, %305
%307 = trunc i32 %306 to i8
store i8 %307, i8* %31
%308 = load i8, i8* %29
%309 = zext i8 %308 to i32
%310 = load i8, i8* %30
%311 = zext i8 %310 to i32
%312 = srem i32 %309, %311
%313 = trunc i32 %312 to i8
store i8 %313, i8* %32
%314 = load i8, i8* %32
%315 = zext i8 %314 to i32
%316 = load i8, i8* %30
%317 = zext i8 %316 to i32
%318 = icmp sge i32 %315, %317
br i1 %318, label %331, label %319
319: ; preds = %301
%320 = load i8, i8* %31
%321 = zext i8 %320 to i32
%322 = load i8, i8* %30
%323 = zext i8 %322 to i32
%324 = mul nsw i32 %321, %323
%325 = load i8, i8* %32
%326 = zext i8 %325 to i32
%327 = add nsw i32 %324, %326
%328 = load i8, i8* %29
%329 = zext i8 %328 to i32
%330 = icmp ne i32 %327, %329
br i1 %330, label %331, label %333
331: ; preds = %319, %301
%332 = call i32 (...) @abort()
unreachable
333: ; preds = %319
%334 = load i64, i64* %3
%335 = trunc i64 %334 to i8
store i8 %335, i8* %33
%336 = load i64, i64* %4
%337 = trunc i64 %336 to i8
store i8 %337, i8* %34
%338 = load i8, i8* %33
%339 = sext i8 %338 to i32
%340 = load i8, i8* %34
%341 = sext i8 %340 to i32
%342 = sdiv i32 %339, %341
%343 = trunc i32 %342 to i8
store i8 %343, i8* %35
%344 = load i8, i8* %33
%345 = sext i8 %344 to i32
%346 = load i8, i8* %34
%347 = sext i8 %346 to i32
%348 = srem i32 %345, %347
%349 = trunc i32 %348 to i8
store i8 %349, i8* %36
%350 = load i8, i8* %36
%351 = sext i8 %350 to i32
%352 = icmp sge i32 %351, 0
br i1 %352, label %353, label %356
353: ; preds = %333
%354 = load i8, i8* %36
%355 = sext i8 %354 to i32
br label %360
356: ; preds = %333
%357 = load i8, i8* %36
%358 = sext i8 %357 to i32
%359 = sub nsw i32 0, %358
br label %360
360: ; preds = %356, %353
%361 = phi i32 [ %355, %353 ], [ %359, %356 ]
%362 = load i8, i8* %34
%363 = sext i8 %362 to i32
%364 = icmp sge i32 %363, 0
br i1 %364, label %365, label %368
365: ; preds = %360
%366 = load i8, i8* %34
%367 = sext i8 %366 to i32
br label %372
368: ; preds = %360
%369 = load i8, i8* %34
%370 = sext i8 %369 to i32
%371 = sub nsw i32 0, %370
br label %372
372: ; preds = %368, %365
%373 = phi i32 [ %367, %365 ], [ %371, %368 ]
%374 = trunc i32 %373 to i8
%375 = zext i8 %374 to i32
%376 = icmp sge i32 %361, %375
br i1 %376, label %391, label %377
377: ; preds = %372
%378 = load i8, i8* %35
%379 = sext i8 %378 to i32
%380 = load i8, i8* %34
%381 = sext i8 %380 to i32
%382 = mul nsw i32 %379, %381
%383 = load i8, i8* %36
%384 = sext i8 %383 to i32
%385 = add nsw i32 %382, %384
%386 = trunc i32 %385 to i8
%387 = sext i8 %386 to i32
%388 = load i8, i8* %33
%389 = sext i8 %388 to i32
%390 = icmp ne i32 %387, %389
br i1 %390, label %391, label %393
391: ; preds = %377, %372
%392 = call i32 (...) @abort()
unreachable
393: ; preds = %377
br label %394
394: ; preds = %393, %300, %199, %154, %122, %77, %47
%395 = load i64, i64* %2
%396 = add nsw i64 %395, 1
store i64 %396, i64* %2
br label %37
397: ; preds = %37
%398 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
define i32 @main() {
br label %1
1: ; preds = %0, %84
%2 = phi i64 [ 0, %0 ], [ %85, %84 ]
%3 = tail call i64 (...) @random_bitstring()
%4 = tail call i64 (...) @random_bitstring()
%5 = icmp eq i64 %4, 0
br i1 %5, label %84, 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 %84, 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 %84, 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 %84, 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 %34, label %32
32: ; preds = %27
%33 = tail call i32 (...) @abort()
unreachable
34: ; preds = %27
%35 = and i32 %20, 65535
%36 = icmp eq i32 %35, 0
br i1 %36, label %84, label %37
37: ; preds = %34
%38 = shl i32 %19, 16
%39 = ashr exact i32 %38, 16
%40 = shl i32 %20, 16
%41 = ashr exact i32 %40, 16
%42 = srem i32 %39, %41
%43 = sdiv i32 %39, %41
%44 = tail call i32 @llvm.abs.i32(i32 %42, i1 true)
%45 = tail call i32 @llvm.abs.i32(i32 %41, i1 true)
%46 = icmp ult i32 %44, %45
br i1 %46, label %47, label %55
47: ; preds = %37
%48 = shl i32 %43, 16
%49 = ashr exact i32 %48, 16
%50 = mul nsw i32 %49, %41
%51 = add nsw i32 %50, %42
%52 = shl i32 %51, 16
%53 = ashr exact i32 %52, 16
%54 = icmp eq i32 %53, %39
br i1 %54, label %57, label %55
55: ; preds = %47, %37
%56 = tail call i32 (...) @abort()
unreachable
57: ; preds = %47
%58 = and i32 %20, 255
%59 = icmp eq i32 %58, 0
br i1 %59, label %84, label %60
60: ; preds = %57
%61 = shl i32 %19, 24
%62 = ashr exact i32 %61, 24
%63 = shl i32 %20, 24
%64 = ashr exact i32 %63, 24
%65 = trunc i32 %62 to i16
%66 = trunc i32 %64 to i16
%67 = srem i16 %65, %66
%68 = sdiv i16 %65, %66
%69 = sext i16 %67 to i32
%70 = tail call i32 @llvm.abs.i32(i32 %69, i1 true)
%71 = tail call i32 @llvm.abs.i32(i32 %64, i1 true)
%72 = icmp ult i32 %70, %71
br i1 %72, label %73, label %82
73: ; preds = %60
%74 = zext i16 %68 to i32
%75 = shl i32 %74, 24
%76 = ashr exact i32 %75, 24
%77 = mul nsw i32 %76, %64
%78 = add nsw i32 %77, %69
%79 = shl i32 %78, 24
%80 = ashr exact i32 %79, 24
%81 = icmp eq i32 %80, %62
br i1 %81, label %84, label %82
82: ; preds = %73, %60
%83 = tail call i32 (...) @abort()
unreachable
84: ; preds = %57, %34, %22, %18, %6, %1, %73
%85 = add nuw nsw i64 %2, 1
%86 = icmp eq i64 %85, 1000
br i1 %86, label %87, label %1
87: ; preds = %84
%88 = tail call i32 @exit(i32 0)
unreachable
}