#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 INT_MAX;
int alea(int);
int /*<<< orphan*/ calloc(int, int);
int *check_ptr(int /*<<< orphan*/);
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ free(int *);
int /*<<< orphan*/ stderr;
int *make_the_rules(int nlab, int maxoccur, int nrules, int shuffle) {
  int i, j, v, n, isubj, iobj, halfoccur, restoccur, offset;
  int *result, *permut;
  if (INT_MAX / nlab < nlab) {
    fprintf(stderr, "Too many labels!!!! Sorry, I can't.\n");
    exit(1);
  }
  if (maxoccur * nlab < 2 * nrules) {
    fprintf(stderr, "The constraint can't be satisfied by nature.\n");
    exit(1);
  }
  result = check_ptr(calloc(sizeof *result, (nlab * maxoccur) / 2));
  if (shuffle) {
    permut = check_ptr(calloc(sizeof *result, nlab));
    for (i = 0; i < nlab; i++)
      permut[i] = i;
    while (i) {
      j = alea(i--);
      v = permut[i];
      permut[i] = permut[j];
      permut[j] = v;
    }
  } else
    permut = NULL;
  halfoccur = maxoccur / 2;
  restoccur = maxoccur & 1;
  if (halfoccur + restoccur == nlab) {
    offset = 0;
  } else {
    offset = 1;
  }
  i = 0;
  for (isubj = 0; isubj < nlab; isubj++) {
    iobj = (isubj + offset) % nlab;
    n = halfoccur + (restoccur & isubj);
    v = iobj + n - nlab;
    if (v <= 0)
      v = 0;
    for (j = 0; j < n; j++) {
      result[i + v] = shuffle ? (permut[isubj] * nlab + permut[iobj])
                              : (isubj * nlab + iobj);
      iobj = (iobj + 1) % nlab;
      v = (v + 1) % n;
    }
    i += n;
  }
  if (i != (nlab * maxoccur) / 2) {
    fprintf(stderr, "Internal error.\n");
    exit(1);
  }
  if (shuffle) {
    free(permut);
    for (n = 3; n; n--) {
      i = (nlab * maxoccur) / 2;
      while (i) {
        j = alea(i--);
        v = result[i];
        result[i] = result[j];
        result[j] = v;
      }
    }
  } else if (nrules < i) {
    for (n = 0, j = 0; j < i; j++)
      if (alea(i - j) < nrules - n)
        result[n++] = result[j];
  }
  return result;
}


x86 assembly (clang, -O0):
<make_the_rules>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    0x2e6d(%rip),%rax
mov    (%rax),%eax
cltd
idivl  -0x4(%rbp)
cmp    -0x4(%rbp),%eax
jge    11a9 <make_the_rules+0x49>
mov    0x2e47(%rip),%rax
mov    (%rax),%edi
lea    0xe66(%rip),%rsi
call   1060 <fprintf@plt>
mov    $0x1,%edi
call   1070 <exit@plt>
mov    -0x8(%rbp),%eax
imul   -0x4(%rbp),%eax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jge    11dd <make_the_rules+0x7d>
mov    0x2e13(%rip),%rax
mov    (%rax),%edi
lea    0xe57(%rip),%rsi
call   1060 <fprintf@plt>
mov    $0x1,%edi
call   1070 <exit@plt>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%esi
mov    $0x4,%edi
call   1050 <calloc@plt>
mov    %eax,%edi
call   1080 <check_ptr@plt>
mov    %rax,-0x40(%rbp)
cmpl   $0x0,-0x10(%rbp)
je     12b2 <make_the_rules+0x152>
mov    -0x4(%rbp),%esi
mov    $0x4,%edi
call   1050 <calloc@plt>
mov    %eax,%edi
call   1080 <check_ptr@plt>
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1254 <make_the_rules+0xf4>
mov    -0x14(%rbp),%edx
mov    -0x48(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    122c <make_the_rules+0xcc>
jmp    1259 <make_the_rules+0xf9>
cmpl   $0x0,-0x14(%rbp)
je     12ad <make_the_rules+0x14d>
mov    -0x14(%rbp),%edi
mov    %edi,%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
call   1040 <alea@plt>
mov    %eax,-0x18(%rbp)
mov    -0x48(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x48(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x48(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x48(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1259 <make_the_rules+0xf9>
jmp    12ba <make_the_rules+0x15a>
movq   $0x0,-0x48(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jne    12ec <make_the_rules+0x18c>
movl   $0x0,-0x34(%rbp)
jmp    12f3 <make_the_rules+0x193>
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    13e3 <make_the_rules+0x283>
mov    -0x24(%rbp),%eax
add    -0x34(%rbp),%eax
cltd
idivl  -0x4(%rbp)
mov    %edx,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x30(%rbp),%ecx
and    -0x24(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x28(%rbp),%eax
add    -0x20(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jg     1345 <make_the_rules+0x1e5>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    13cc <make_the_rules+0x26c>
cmpl   $0x0,-0x10(%rbp)
je     1384 <make_the_rules+0x224>
mov    -0x48(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
imul   -0x4(%rbp),%eax
mov    -0x48(%rbp),%rcx
movslq -0x28(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x4c(%rbp)
jmp    1391 <make_the_rules+0x231>
mov    -0x24(%rbp),%eax
imul   -0x4(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%edx
mov    -0x40(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
cltd
idivl  -0x4(%rbp)
mov    %edx,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cltd
idivl  -0x20(%rbp)
mov    %edx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    134c <make_the_rules+0x1ec>
mov    -0x20(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1301 <make_the_rules+0x1a1>
mov    -0x14(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
cmp    %ecx,%eax
je     1424 <make_the_rules+0x2c4>
mov    0x2bcc(%rip),%rax
mov    (%rax),%edi
lea    0xc3e(%rip),%rsi
call   1060 <fprintf@plt>
mov    $0x1,%edi
call   1070 <exit@plt>
cmpl   $0x0,-0x10(%rbp)
je     14c6 <make_the_rules+0x366>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
movl   $0x3,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     14c1 <make_the_rules+0x361>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     14ae <make_the_rules+0x34e>
mov    -0x14(%rbp),%edi
mov    %edi,%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
call   1040 <alea@plt>
mov    %eax,-0x18(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x40(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    145a <make_the_rules+0x2fa>
jmp    14b3 <make_the_rules+0x353>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    143e <make_the_rules+0x2de>
jmp    1542 <make_the_rules+0x3e2>
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    153d <make_the_rules+0x3dd>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1538 <make_the_rules+0x3d8>
mov    -0x14(%rbp),%edi
sub    -0x18(%rbp),%edi
call   1040 <alea@plt>
mov    -0xc(%rbp),%ecx
sub    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jge    1525 <make_the_rules+0x3c5>
mov    -0x40(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    152a <make_the_rules+0x3ca>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    14e0 <make_the_rules+0x380>
jmp    153d <make_the_rules+0x3dd>
jmp    1542 <make_the_rules+0x3e2>
mov    -0x40(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<make_the_rules>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %ecx,%r12d
mov    %edx,%ecx
mov    0x2e6e(%rip),%rax
mov    (%rax),%eax
cltd
idiv   %edi
cmp    %edi,%eax
jl     15de <make_the_rules+0x47e>
mov    %edi,%ebx
mov    %rsi,0x10(%rsp)
mov    %esi,%ebp
imul   %edi,%ebp
mov    %rcx,0x28(%rsp)
lea    (%rcx,%rcx,1),%eax
cmp    %eax,%ebp
jl     15f0 <make_the_rules+0x490>
mov    %ebp,%esi
shr    $0x1f,%esi
add    %ebp,%esi
sar    %esi
mov    $0x4,%edi
mov    %esi,0xc(%rsp)
call   1050 <calloc@plt>
mov    %eax,%edi
call   1080 <check_ptr@plt>
mov    %rax,%r13
xor    %r15d,%r15d
test   %r12d,%r12d
je     11fe <make_the_rules+0x9e>
mov    $0x4,%edi
mov    %ebx,%esi
call   1050 <calloc@plt>
mov    %eax,%edi
call   1080 <check_ptr@plt>
mov    %rax,%r14
test   %ebx,%ebx
jle    120b <make_the_rules+0xab>
mov    %ebx,%edi
cmp    $0x8,%ebx
mov    %rbp,0x18(%rsp)
mov    %r13,0x20(%rsp)
jae    1221 <make_the_rules+0xc1>
xor    %eax,%eax
jmp    1380 <make_the_rules+0x220>
mov    %rbp,0x18(%rsp)
xor    %r14d,%r14d
jmp    13ba <make_the_rules+0x25a>
lea    0x1(%rbp),%eax
cmp    $0x3,%eax
mov    0xc(%rsp),%r15d
jb     14ad <make_the_rules+0x34d>
jmp    1602 <make_the_rules+0x4a2>
mov    %edi,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x3,%ecx
cmp    $0x18,%rsi
jae    124f <make_the_rules+0xef>
movdqa 0xdb8(%rip),%xmm0
xor    %esi,%esi
jmp    1320 <make_the_rules+0x1c0>
and    $0xfffffffffffffffc,%rdx
movdqa 0xda5(%rip),%xmm0
xor    %esi,%esi
movdqa 0xdaa(%rip),%xmm8
movdqa 0xdb1(%rip),%xmm9
movdqa 0xdb8(%rip),%xmm10
movdqa 0xdc0(%rip),%xmm4
movdqa 0xdc8(%rip),%xmm5
movdqa 0xdd0(%rip),%xmm6
movdqa 0xdd8(%rip),%xmm7
movdqa 0xde0(%rip),%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%r14,%rsi,4)
movdqu %xmm2,0x10(%r14,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%r14,%rsi,4)
movdqu %xmm3,0x30(%r14,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%r14,%rsi,4)
movdqu %xmm3,0x50(%r14,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%r14,%rsi,4)
movdqu %xmm3,0x70(%r14,%rsi,4)
add    $0x20,%rsi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rdx
jne    12a0 <make_the_rules+0x140>
test   %rcx,%rcx
je     1370 <make_the_rules+0x210>
lea    (%r14,%rsi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
movdqa 0xcd5(%rip),%xmm1
movdqa 0xcdd(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rdx,%rsi,1)
movdqu %xmm3,(%rdx,%rsi,1)
paddd  %xmm2,%xmm0
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1350 <make_the_rules+0x1f0>
cmp    %rdi,%rax
je     138d <make_the_rules+0x22d>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %eax,(%r14,%rax,4)
add    $0x1,%rax
cmp    %rax,%rdi
jne    1380 <make_the_rules+0x220>
mov    %rdi,%rbp
mov    %rdi,%r13
call   1040 <alea@plt>
mov    -0x4(%r14,%r13,4),%ecx
cltq
mov    (%r14,%rax,4),%edx
mov    %edx,-0x4(%r14,%r13,4)
mov    %ecx,(%r14,%rax,4)
add    $0xffffffffffffffff,%rbp
mov    %rbp,%rdi
jne    1390 <make_the_rules+0x230>
mov    0x20(%rsp),%r13
test   %ebx,%ebx
mov    0x10(%rsp),%rsi
jle    148f <make_the_rules+0x32f>
mov    %esi,%r11d
shr    $0x1f,%r11d
add    %esi,%r11d
sar    %r11d
and    $0x1,%esi
lea    (%r11,%rsi,1),%eax
xor    %ecx,%ecx
cmp    %ebx,%eax
setne  %cl
mov    %rcx,0x10(%rsp)
mov    %ebx,%eax
mov    %rax,0x30(%rsp)
xor    %edi,%edi
xor    %ebp,%ebp
jmp    1414 <make_the_rules+0x2b4>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %ebp,%r15d
add    $0x1,%rdi
mov    %r15d,%ebp
cmp    0x30(%rsp),%rdi
mov    %r8,%rsi
je     148f <make_the_rules+0x32f>
mov    0x10(%rsp),%rax
add    %edi,%eax
cltd
idiv   %ebx
mov    %rsi,%r8
mov    %esi,%r15d
and    %edi,%r15d
add    %r11d,%r15d
test   %r15d,%r15d
jle    1400 <make_the_rules+0x2a0>
mov    %edx,%ecx
mov    %r15d,%esi
sub    %ebx,%esi
add    %edx,%esi
mov    $0x0,%eax
cmovs  %eax,%esi
mov    %edi,%r10d
imul   %ebx,%r10d
mov    %r15d,%r9d
jmp    147a <make_the_rules+0x31a>
nopl   0x0(%rax)
lea    (%rcx,%r10,1),%eax
lea    (%rsi,%rbp,1),%edx
movslq %edx,%rdx
mov    %eax,0x0(%r13,%rdx,4)
add    $0x1,%ecx
mov    %ecx,%eax
cltd
idiv   %ebx
add    $0x1,%esi
mov    %edx,%ecx
mov    %esi,%eax
cltd
idiv   %r15d
mov    %edx,%esi
add    $0xffffffff,%r9d
je     1400 <make_the_rules+0x2a0>
test   %r12d,%r12d
je     1450 <make_the_rules+0x2f0>
mov    (%r14,%rdi,4),%eax
imul   %ebx,%eax
movslq %ecx,%rdx
add    (%r14,%rdx,4),%eax
jmp    1454 <make_the_rules+0x2f4>
mov    0xc(%rsp),%eax
cmp    %eax,%r15d
mov    0x18(%rsp),%rbp
jne    1602 <make_the_rules+0x4a2>
mov    %eax,%r15d
test   %r12d,%r12d
je     1584 <make_the_rules+0x424>
mov    %r14,%rdi
call   1030 <free@plt>
add    $0x1,%ebp
cmp    $0x3,%ebp
jb     15cc <make_the_rules+0x46c>
mov    %rbp,%r12
movslq %r15d,%r14
lea    -0x4(,%r14,4),%rbp
ff
add    %r13,%rbp
mov    %r15d,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ebx,%edi
call   1040 <alea@plt>
mov    0x0(%rbp),%ecx
cltq
mov    0x0(%r13,%rax,4),%edx
mov    %edx,0x0(%rbp)
mov    %ecx,0x0(%r13,%rax,4)
add    $0xfffffffffffffffc,%rbp
add    $0xffffffff,%ebx
jne    14e0 <make_the_rules+0x380>
mov    %r12,%rax
cmp    $0x3,%eax
jb     15cc <make_the_rules+0x46c>
lea    -0x4(,%r14,4),%rbp
ff
add    %r13,%rbp
mov    %r15d,%ebx
nopl   0x0(%rax)
mov    %ebx,%edi
call   1040 <alea@plt>
mov    0x0(%rbp),%ecx
cltq
mov    0x0(%r13,%rax,4),%edx
mov    %edx,0x0(%rbp)
mov    %ecx,0x0(%r13,%rax,4)
add    $0xfffffffffffffffc,%rbp
add    $0xffffffff,%ebx
jne    1520 <make_the_rules+0x3c0>
cmp    $0x3,%r12d
jb     15cc <make_the_rules+0x46c>
lea    -0x4(,%r14,4),%rbx
ff
add    %r13,%rbx
nopw   0x0(%rax,%rax,1)
mov    %r15d,%edi
call   1040 <alea@plt>
mov    (%rbx),%ecx
cltq
mov    0x0(%r13,%rax,4),%edx
mov    %edx,(%rbx)
mov    %ecx,0x0(%r13,%rax,4)
add    $0xfffffffffffffffc,%rbx
add    $0xffffffff,%r15d
jne    1560 <make_the_rules+0x400>
jmp    15cc <make_the_rules+0x46c>
mov    0x28(%rsp),%r12
cmp    %r12d,%r15d
jle    15cc <make_the_rules+0x46c>
cmp    $0x2,%ebp
jl     15cc <make_the_rules+0x46c>
mov    %r15d,%ebx
xor    %r14d,%r14d
mov    %r13,%rbp
jmp    15aa <make_the_rules+0x44a>
xchg   %ax,%ax
add    $0x4,%rbp
add    $0xffffffffffffffff,%rbx
je     15cc <make_the_rules+0x46c>
mov    %ebx,%edi
call   1040 <alea@plt>
mov    %r12d,%ecx
sub    %r14d,%ecx
cmp    %ecx,%eax
jge    15a0 <make_the_rules+0x440>
mov    0x0(%rbp),%eax
movslq %r14d,%rcx
add    $0x1,%r14d
mov    %eax,0x0(%r13,%rcx,4)
jmp    15a0 <make_the_rules+0x440>
mov    %r13,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x29f3(%rip),%rax
mov    (%rax),%edi
lea    0xaa2(%rip),%rsi
jmp    1612 <make_the_rules+0x4b2>
mov    0x29e1(%rip),%rax
mov    (%rax),%edi
lea    0xab5(%rip),%rsi
jmp    1612 <make_the_rules+0x4b2>
mov    0x29cf(%rip),%rax
mov    (%rax),%edi
lea    0xad1(%rip),%rsi
call   1060 <fprintf@plt>
mov    $0x1,%edi
call   1070 <exit@plt>

LLVM IR (-O0):
@INT_MAX = global i32 0
@stderr = global i32 0
@.str = [37 x i8] c"Too many labels!!!! Sorry, I can't.\0A\00"
@.str.1 = [46 x i8] c"The constraint can't be satisfied by nature.\0A\00"
@.str.2 = [17 x i8] c"Internal error.\0A\00"
define i32* @make_the_rules(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32*
%19 = alloca i32*
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%20 = load i32, i32* @INT_MAX
%21 = load i32, i32* %5
%22 = sdiv i32 %20, %21
%23 = load i32, i32* %5
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %29
25: ; preds = %4
%26 = load i32, i32* @stderr
%27 = call i32 @fprintf(i32 %26, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0))
%28 = call i32 @exit(i32 1)
unreachable
29: ; preds = %4
%30 = load i32, i32* %6
%31 = load i32, i32* %5
%32 = mul nsw i32 %30, %31
%33 = load i32, i32* %7
%34 = mul nsw i32 2, %33
%35 = icmp slt i32 %32, %34
br i1 %35, label %36, label %40
36: ; preds = %29
%37 = load i32, i32* @stderr
%38 = call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0))
%39 = call i32 @exit(i32 1)
unreachable
40: ; preds = %29
%41 = load i32, i32* %5
%42 = load i32, i32* %6
%43 = mul nsw i32 %41, %42
%44 = sdiv i32 %43, 2
%45 = call i32 @calloc(i32 4, i32 %44)
%46 = call i32* @check_ptr(i32 %45)
store i32* %46, i32** %18
%47 = load i32, i32* %8
%48 = icmp ne i32 %47, 0
br i1 %48, label %49, label %94
49: ; preds = %40
%50 = load i32, i32* %5
%51 = call i32 @calloc(i32 4, i32 %50)
%52 = call i32* @check_ptr(i32 %51)
store i32* %52, i32** %19
store i32 0, i32* %9
br label %53
53: ; preds = %63, %49
%54 = load i32, i32* %9
%55 = load i32, i32* %5
%56 = icmp slt i32 %54, %55
br i1 %56, label %57, label %66
57: ; preds = %53
%58 = load i32, i32* %9
%59 = load i32*, i32** %19
%60 = load i32, i32* %9
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %59, i64 %61
store i32 %58, i32* %62
br label %63
63: ; preds = %57
%64 = load i32, i32* %9
%65 = add nsw i32 %64, 1
store i32 %65, i32* %9
br label %53
66: ; preds = %53
br label %67
67: ; preds = %70, %66
%68 = load i32, i32* %9
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %93
70: ; preds = %67
%71 = load i32, i32* %9
%72 = add nsw i32 %71, -1
store i32 %72, i32* %9
%73 = call i32 @alea(i32 %71)
store i32 %73, i32* %10
%74 = load i32*, i32** %19
%75 = load i32, i32* %9
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
store i32 %78, i32* %11
%79 = load i32*, i32** %19
%80 = load i32, i32* %10
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = load i32*, i32** %19
%85 = load i32, i32* %9
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %84, i64 %86
store i32 %83, i32* %87
%88 = load i32, i32* %11
%89 = load i32*, i32** %19
%90 = load i32, i32* %10
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %89, i64 %91
store i32 %88, i32* %92
br label %67
93: ; preds = %67
br label %95
94: ; preds = %40
store i32* null, i32** %19
br label %95
95: ; preds = %94, %93
%96 = load i32, i32* %6
%97 = sdiv i32 %96, 2
store i32 %97, i32* %15
%98 = load i32, i32* %6
%99 = and i32 %98, 1
store i32 %99, i32* %16
%100 = load i32, i32* %15
%101 = load i32, i32* %16
%102 = add nsw i32 %100, %101
%103 = load i32, i32* %5
%104 = icmp eq i32 %102, %103
br i1 %104, label %105, label %106
105: ; preds = %95
store i32 0, i32* %17
br label %107
106: ; preds = %95
store i32 1, i32* %17
br label %107
107: ; preds = %106, %105
store i32 0, i32* %9
store i32 0, i32* %13
br label %108
108: ; preds = %182, %107
%109 = load i32, i32* %13
%110 = load i32, i32* %5
%111 = icmp slt i32 %109, %110
br i1 %111, label %112, label %185
112: ; preds = %108
%113 = load i32, i32* %13
%114 = load i32, i32* %17
%115 = add nsw i32 %113, %114
%116 = load i32, i32* %5
%117 = srem i32 %115, %116
store i32 %117, i32* %14
%118 = load i32, i32* %15
%119 = load i32, i32* %16
%120 = load i32, i32* %13
%121 = and i32 %119, %120
%122 = add nsw i32 %118, %121
store i32 %122, i32* %12
%123 = load i32, i32* %14
%124 = load i32, i32* %12
%125 = add nsw i32 %123, %124
%126 = load i32, i32* %5
%127 = sub nsw i32 %125, %126
store i32 %127, i32* %11
%128 = load i32, i32* %11
%129 = icmp sle i32 %128, 0
br i1 %129, label %130, label %131
130: ; preds = %112
store i32 0, i32* %11
br label %131
131: ; preds = %130, %112
store i32 0, i32* %10
br label %132
132: ; preds = %175, %131
%133 = load i32, i32* %10
%134 = load i32, i32* %12
%135 = icmp slt i32 %133, %134
br i1 %135, label %136, label %178
136: ; preds = %132
%137 = load i32, i32* %8
%138 = icmp ne i32 %137, 0
br i1 %138, label %139, label %153
139: ; preds = %136
%140 = load i32*, i32** %19
%141 = load i32, i32* %13
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds i32, i32* %140, i64 %142
%144 = load i32, i32* %143
%145 = load i32, i32* %5
%146 = mul nsw i32 %144, %145
%147 = load i32*, i32** %19
%148 = load i32, i32* %14
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %147, i64 %149
%151 = load i32, i32* %150
%152 = add nsw i32 %146, %151
br label %159
153: ; preds = %136
%154 = load i32, i32* %13
%155 = load i32, i32* %5
%156 = mul nsw i32 %154, %155
%157 = load i32, i32* %14
%158 = add nsw i32 %156, %157
br label %159
159: ; preds = %153, %139
%160 = phi i32 [ %152, %139 ], [ %158, %153 ]
%161 = load i32*, i32** %18
%162 = load i32, i32* %9
%163 = load i32, i32* %11
%164 = add nsw i32 %162, %163
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i32, i32* %161, i64 %165
store i32 %160, i32* %166
%167 = load i32, i32* %14
%168 = add nsw i32 %167, 1
%169 = load i32, i32* %5
%170 = srem i32 %168, %169
store i32 %170, i32* %14
%171 = load i32, i32* %11
%172 = add nsw i32 %171, 1
%173 = load i32, i32* %12
%174 = srem i32 %172, %173
store i32 %174, i32* %11
br label %175
175: ; preds = %159
%176 = load i32, i32* %10
%177 = add nsw i32 %176, 1
store i32 %177, i32* %10
br label %132
178: ; preds = %132
%179 = load i32, i32* %12
%180 = load i32, i32* %9
%181 = add nsw i32 %180, %179
store i32 %181, i32* %9
br label %182
182: ; preds = %178
%183 = load i32, i32* %13
%184 = add nsw i32 %183, 1
store i32 %184, i32* %13
br label %108
185: ; preds = %108
%186 = load i32, i32* %9
%187 = load i32, i32* %5
%188 = load i32, i32* %6
%189 = mul nsw i32 %187, %188
%190 = sdiv i32 %189, 2
%191 = icmp ne i32 %186, %190
br i1 %191, label %192, label %196
192: ; preds = %185
%193 = load i32, i32* @stderr
%194 = call i32 @fprintf(i32 %193, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%195 = call i32 @exit(i32 1)
unreachable
196: ; preds = %185
%197 = load i32, i32* %8
%198 = icmp ne i32 %197, 0
br i1 %198, label %199, label %241
199: ; preds = %196
%200 = load i32*, i32** %19
%201 = call i32 @free(i32* %200)
store i32 3, i32* %12
br label %202
202: ; preds = %237, %199
%203 = load i32, i32* %12
%204 = icmp ne i32 %203, 0
br i1 %204, label %205, label %240
205: ; preds = %202
%206 = load i32, i32* %5
%207 = load i32, i32* %6
%208 = mul nsw i32 %206, %207
%209 = sdiv i32 %208, 2
store i32 %209, i32* %9
br label %210
210: ; preds = %213, %205
%211 = load i32, i32* %9
%212 = icmp ne i32 %211, 0
br i1 %212, label %213, label %236
213: ; preds = %210
%214 = load i32, i32* %9
%215 = add nsw i32 %214, -1
store i32 %215, i32* %9
%216 = call i32 @alea(i32 %214)
store i32 %216, i32* %10
%217 = load i32*, i32** %18
%218 = load i32, i32* %9
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i32, i32* %217, i64 %219
%221 = load i32, i32* %220
store i32 %221, i32* %11
%222 = load i32*, i32** %18
%223 = load i32, i32* %10
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i32, i32* %222, i64 %224
%226 = load i32, i32* %225
%227 = load i32*, i32** %18
%228 = load i32, i32* %9
%229 = sext i32 %228 to i64
%230 = getelementptr inbounds i32, i32* %227, i64 %229
store i32 %226, i32* %230
%231 = load i32, i32* %11
%232 = load i32*, i32** %18
%233 = load i32, i32* %10
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i32, i32* %232, i64 %234
store i32 %231, i32* %235
br label %210
236: ; preds = %210
br label %237
237: ; preds = %236
%238 = load i32, i32* %12
%239 = add nsw i32 %238, -1
store i32 %239, i32* %12
br label %202
240: ; preds = %202
br label %276
241: ; preds = %196
%242 = load i32, i32* %7
%243 = load i32, i32* %9
%244 = icmp slt i32 %242, %243
br i1 %244, label %245, label %275
245: ; preds = %241
store i32 0, i32* %12
store i32 0, i32* %10
br label %246
246: ; preds = %271, %245
%247 = load i32, i32* %10
%248 = load i32, i32* %9
%249 = icmp slt i32 %247, %248
br i1 %249, label %250, label %274
250: ; preds = %246
%251 = load i32, i32* %9
%252 = load i32, i32* %10
%253 = sub nsw i32 %251, %252
%254 = call i32 @alea(i32 %253)
%255 = load i32, i32* %7
%256 = load i32, i32* %12
%257 = sub nsw i32 %255, %256
%258 = icmp slt i32 %254, %257
br i1 %258, label %259, label %270
259: ; preds = %250
%260 = load i32*, i32** %18
%261 = load i32, i32* %10
%262 = sext i32 %261 to i64
%263 = getelementptr inbounds i32, i32* %260, i64 %262
%264 = load i32, i32* %263
%265 = load i32*, i32** %18
%266 = load i32, i32* %12
%267 = add nsw i32 %266, 1
store i32 %267, i32* %12
%268 = sext i32 %266 to i64
%269 = getelementptr inbounds i32, i32* %265, i64 %268
store i32 %264, i32* %269
br label %270
270: ; preds = %259, %250
br label %271
271: ; preds = %270
%272 = load i32, i32* %10
%273 = add nsw i32 %272, 1
store i32 %273, i32* %10
br label %246
274: ; preds = %246
br label %275
275: ; preds = %274, %241
br label %276
276: ; preds = %275, %240
%277 = load i32*, i32** %18
ret i32* %277
}

LLVM IR (-O2):
@INT_MAX = global i32 0
@stderr = global i32 0
@.str = [37 x i8] c"Too many labels!!!! Sorry, I can't.\0A\00"
@.str.1 = [46 x i8] c"The constraint can't be satisfied by nature.\0A\00"
@.str.2 = [17 x i8] c"Internal error.\0A\00"
define i32* @make_the_rules(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = load i32, i32* @INT_MAX
%6 = sdiv i32 %5, %0
%7 = icmp slt i32 %6, %0
br i1 %7, label %8, label %12
8: ; preds = %4
%9 = load i32, i32* @stderr
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0))
%11 = tail call i32 @exit(i32 1)
unreachable
12: ; preds = %4
%13 = mul nsw i32 %1, %0
%14 = shl nsw i32 %2, 1
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %20
16: ; preds = %12
%17 = load i32, i32* @stderr
%18 = tail call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0))
%19 = tail call i32 @exit(i32 1)
unreachable
20: ; preds = %12
%21 = sdiv i32 %13, 2
%22 = tail call i32 @calloc(i32 4, i32 %21)
%23 = tail call i32* @check_ptr(i32 %22)
%24 = icmp eq i32 %3, 0
br i1 %24, label %115, label %25
25: ; preds = %20
%26 = tail call i32 @calloc(i32 4, i32 %0)
%27 = tail call i32* @check_ptr(i32 %26)
%28 = icmp sgt i32 %0, 0
br i1 %28, label %29, label %173
29: ; preds = %25
%30 = zext i32 %0 to i64
%31 = icmp ult i32 %0, 8
br i1 %31, label %94, label %32
32: ; preds = %29
%33 = and i64 %30, 4294967288
%34 = add nsw i64 %33, -8
%35 = lshr exact i64 %34, 3
%36 = add nuw nsw i64 %35, 1
%37 = and i64 %36, 3
%38 = icmp ult i64 %34, 24
br i1 %38, label %75, label %39
39: ; preds = %32
%40 = and i64 %36, 4611686018427387900
br label %41
41: ; preds = %41, %39
%42 = phi i64 [ 0, %39 ], [ %71, %41 ]
%43 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %39 ], [ %72, %41 ]
%44 = phi i64 [ 0, %39 ], [ %73, %41 ]
%45 = add <4 x i32> %43, <i32 4, i32 4, i32 4, i32 4>
%46 = getelementptr inbounds i32, i32* %27, i64 %42
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %43, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %49
%50 = or i64 %42, 8
%51 = add <4 x i32> %43, <i32 8, i32 8, i32 8, i32 8>
%52 = add <4 x i32> %43, <i32 12, i32 12, i32 12, i32 12>
%53 = getelementptr inbounds i32, i32* %27, i64 %50
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %53, i64 4
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %52, <4 x i32>* %56
%57 = or i64 %42, 16
%58 = add <4 x i32> %43, <i32 16, i32 16, i32 16, i32 16>
%59 = add <4 x i32> %43, <i32 20, i32 20, i32 20, i32 20>
%60 = getelementptr inbounds i32, i32* %27, i64 %57
%61 = bitcast i32* %60 to <4 x i32>*
store <4 x i32> %58, <4 x i32>* %61
%62 = getelementptr inbounds i32, i32* %60, i64 4
%63 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> %59, <4 x i32>* %63
%64 = or i64 %42, 24
%65 = add <4 x i32> %43, <i32 24, i32 24, i32 24, i32 24>
%66 = add <4 x i32> %43, <i32 28, i32 28, i32 28, i32 28>
%67 = getelementptr inbounds i32, i32* %27, i64 %64
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %67, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %70
%71 = add nuw i64 %42, 32
%72 = add <4 x i32> %43, <i32 32, i32 32, i32 32, i32 32>
%73 = add i64 %44, 4
%74 = icmp eq i64 %73, %40
br i1 %74, label %75, label %41
75: ; preds = %41, %32
%76 = phi i64 [ 0, %32 ], [ %71, %41 ]
%77 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %32 ], [ %72, %41 ]
%78 = icmp eq i64 %37, 0
br i1 %78, label %92, label %79
79: ; preds = %75, %79
%80 = phi i64 [ %88, %79 ], [ %76, %75 ]
%81 = phi <4 x i32> [ %89, %79 ], [ %77, %75 ]
%82 = phi i64 [ %90, %79 ], [ 0, %75 ]
%83 = add <4 x i32> %81, <i32 4, i32 4, i32 4, i32 4>
%84 = getelementptr inbounds i32, i32* %27, i64 %80
%85 = bitcast i32* %84 to <4 x i32>*
store <4 x i32> %81, <4 x i32>* %85
%86 = getelementptr inbounds i32, i32* %84, i64 4
%87 = bitcast i32* %86 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %87
%88 = add nuw i64 %80, 8
%89 = add <4 x i32> %81, <i32 8, i32 8, i32 8, i32 8>
%90 = add i64 %82, 1
%91 = icmp eq i64 %90, %37
br i1 %91, label %92, label %79
92: ; preds = %79, %75
%93 = icmp eq i64 %33, %30
br i1 %93, label %96, label %94
94: ; preds = %29, %92
%95 = phi i64 [ 0, %29 ], [ %33, %92 ]
br label %98
96: ; preds = %98, %92
%97 = zext i32 %0 to i64
br label %104
98: ; preds = %94, %98
%99 = phi i64 [ %102, %98 ], [ %95, %94 ]
%100 = getelementptr inbounds i32, i32* %27, i64 %99
%101 = trunc i64 %99 to i32
store i32 %101, i32* %100
%102 = add nuw nsw i64 %99, 1
%103 = icmp eq i64 %102, %30
br i1 %103, label %96, label %98
104: ; preds = %96, %104
%105 = phi i64 [ %97, %96 ], [ %106, %104 ]
%106 = add nsw i64 %105, -1
%107 = trunc i64 %105 to i32
%108 = tail call i32 @alea(i32 %107)
%109 = getelementptr inbounds i32, i32* %27, i64 %106
%110 = load i32, i32* %109
%111 = sext i32 %108 to i64
%112 = getelementptr inbounds i32, i32* %27, i64 %111
%113 = load i32, i32* %112
store i32 %113, i32* %109
store i32 %110, i32* %112
%114 = icmp eq i64 %106, 0
br i1 %114, label %115, label %104
115: ; preds = %104, %20
%116 = phi i32* [ null, %20 ], [ %27, %104 ]
%117 = sdiv i32 %1, 2
%118 = and i32 %1, 1
%119 = icmp sgt i32 %0, 0
br i1 %119, label %120, label %170
120: ; preds = %115
%121 = add nsw i32 %117, %118
%122 = icmp ne i32 %121, %0
%123 = zext i1 %122 to i64
%124 = zext i32 %0 to i64
br label %125
125: ; preds = %120, %166
%126 = phi i64 [ 0, %120 ], [ %168, %166 ]
%127 = phi i32 [ 0, %120 ], [ %167, %166 ]
%128 = add nuw nsw i64 %126, %123
%129 = trunc i64 %128 to i32
%130 = srem i32 %129, %0
%131 = trunc i64 %126 to i32
%132 = and i32 %118, %131
%133 = add nsw i32 %132, %117
%134 = sub i32 %133, %0
%135 = add i32 %134, %130
%136 = icmp sgt i32 %133, 0
br i1 %136, label %137, label %166
137: ; preds = %125
%138 = icmp sgt i32 %135, 0
%139 = select i1 %138, i32 %135, i32 0
%140 = getelementptr inbounds i32, i32* %116, i64 %126
%141 = mul nsw i32 %131, %0
br label %142
142: ; preds = %137, %155
%143 = phi i32 [ 0, %137 ], [ %164, %155 ]
%144 = phi i32 [ %139, %137 ], [ %163, %155 ]
%145 = phi i32 [ %130, %137 ], [ %161, %155 ]
br i1 %24, label %153, label %146
146: ; preds = %142
%147 = load i32, i32* %140
%148 = mul nsw i32 %147, %0
%149 = sext i32 %145 to i64
%150 = getelementptr inbounds i32, i32* %116, i64 %149
%151 = load i32, i32* %150
%152 = add nsw i32 %148, %151
br label %155
153: ; preds = %142
%154 = add nsw i32 %145, %141
br label %155
155: ; preds = %153, %146
%156 = phi i32 [ %152, %146 ], [ %154, %153 ]
%157 = add nsw i32 %144, %127
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32, i32* %23, i64 %158
store i32 %156, i32* %159
%160 = add nsw i32 %145, 1
%161 = srem i32 %160, %0
%162 = add nsw i32 %144, 1
%163 = srem i32 %162, %133
%164 = add nuw nsw i32 %143, 1
%165 = icmp eq i32 %164, %133
br i1 %165, label %166, label %142
166: ; preds = %155, %125
%167 = add nsw i32 %133, %127
%168 = add nuw nsw i64 %126, 1
%169 = icmp eq i64 %168, %124
br i1 %169, label %170, label %125
170: ; preds = %166, %115
%171 = phi i32 [ 0, %115 ], [ %167, %166 ]
%172 = icmp eq i32 %171, %21
br i1 %172, label %180, label %176
173: ; preds = %25
%174 = add i32 %13, 1
%175 = icmp ult i32 %174, 3
br i1 %175, label %181, label %176
176: ; preds = %173, %170
%177 = load i32, i32* @stderr
%178 = tail call i32 @fprintf(i32 %177, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%179 = tail call i32 @exit(i32 1)
unreachable
180: ; preds = %170
br i1 %24, label %225, label %181
181: ; preds = %173, %180
%182 = phi i32* [ %116, %180 ], [ %27, %173 ]
%183 = tail call i32 @free(i32* %182)
%184 = add i32 %13, 1
%185 = icmp ult i32 %184, 3
%186 = sext i32 %21 to i64
br i1 %185, label %249, label %187
187: ; preds = %181, %187
%188 = phi i64 [ %189, %187 ], [ %186, %181 ]
%189 = add nsw i64 %188, -1
%190 = trunc i64 %188 to i32
%191 = tail call i32 @alea(i32 %190)
%192 = getelementptr inbounds i32, i32* %23, i64 %189
%193 = load i32, i32* %192
%194 = sext i32 %191 to i64
%195 = getelementptr inbounds i32, i32* %23, i64 %194
%196 = load i32, i32* %195
store i32 %196, i32* %192
store i32 %193, i32* %195
%197 = trunc i64 %189 to i32
%198 = icmp eq i32 %197, 0
br i1 %198, label %199, label %187
199: ; preds = %187
br i1 %185, label %249, label %200
200: ; preds = %199, %200
%201 = phi i64 [ %202, %200 ], [ %186, %199 ]
%202 = add nsw i64 %201, -1
%203 = trunc i64 %201 to i32
%204 = tail call i32 @alea(i32 %203)
%205 = getelementptr inbounds i32, i32* %23, i64 %202
%206 = load i32, i32* %205
%207 = sext i32 %204 to i64
%208 = getelementptr inbounds i32, i32* %23, i64 %207
%209 = load i32, i32* %208
store i32 %209, i32* %205
store i32 %206, i32* %208
%210 = trunc i64 %202 to i32
%211 = icmp eq i32 %210, 0
br i1 %211, label %212, label %200
212: ; preds = %200
br i1 %185, label %249, label %213
213: ; preds = %212, %213
%214 = phi i64 [ %215, %213 ], [ %186, %212 ]
%215 = add nsw i64 %214, -1
%216 = trunc i64 %214 to i32
%217 = tail call i32 @alea(i32 %216)
%218 = getelementptr inbounds i32, i32* %23, i64 %215
%219 = load i32, i32* %218
%220 = sext i32 %217 to i64
%221 = getelementptr inbounds i32, i32* %23, i64 %220
%222 = load i32, i32* %221
store i32 %222, i32* %218
store i32 %219, i32* %221
%223 = trunc i64 %215 to i32
%224 = icmp eq i32 %223, 0
br i1 %224, label %249, label %213
225: ; preds = %180
%226 = icmp sgt i32 %21, %2
%227 = icmp sgt i32 %13, 1
%228 = and i1 %226, %227
br i1 %228, label %229, label %249
229: ; preds = %225
%230 = zext i32 %21 to i64
br label %231
231: ; preds = %229, %245
%232 = phi i64 [ 0, %229 ], [ %247, %245 ]
%233 = phi i32 [ 0, %229 ], [ %246, %245 ]
%234 = trunc i64 %232 to i32
%235 = sub nsw i32 %21, %234
%236 = tail call i32 @alea(i32 %235)
%237 = sub nsw i32 %2, %233
%238 = icmp slt i32 %236, %237
br i1 %238, label %239, label %245
239: ; preds = %231
%240 = getelementptr inbounds i32, i32* %23, i64 %232
%241 = load i32, i32* %240
%242 = add nsw i32 %233, 1
%243 = sext i32 %233 to i64
%244 = getelementptr inbounds i32, i32* %23, i64 %243
store i32 %241, i32* %244
br label %245
245: ; preds = %231, %239
%246 = phi i32 [ %242, %239 ], [ %233, %231 ]
%247 = add nuw nsw i64 %232, 1
%248 = icmp eq i64 %247, %230
br i1 %248, label %249, label %231
249: ; preds = %213, %245, %181, %199, %212, %225
ret i32* %23
}