#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 */
scalar_t__ a_in_bounds(int *, int *, int *, int **, int **, int, int, int, int,
                       int, int, int *);
scalar_t__ add_solution(int *, int, int *, int **);
scalar_t__ b_in_bounds(int *, int *, int *, int, int, int, int, int);
int lcm(int, int);
scalar_t__ var_check_1(int *, int *, int /*<<< orphan*/, int);
scalar_t__ var_check_2(int *, int *, int /*<<< orphan*/, int);
int dio(int ab[250], int m, int n, int constraints[250], int basis[100][250],
        int *num_basis) {
  int xy[250], max_y[250];
  int d[250][250], e[250][250];
  int xypos, max_a, max_b, suma, sumb;
  int i, j, a, b, t, go_a, go_b, backup;
  if (m == 0 || n == 0) {
    *num_basis = 0;
    return 1;
  }
  max_a = 0;
  max_b = 0;
  for (i = 0; i < m; i++)
    for (j = m; j < m + n; j++) {
      a = ab[i];
      b = ab[j];
      t = lcm(a, b);
      d[i][j] = t / a;
      e[i][j] = t / b;
    }
  for (i = 0; i < m; i++)
    if (ab[i] > max_a)
      max_a = ab[i];
  for (i = m; i < m + n; i++)
    if (ab[i] > max_b)
      max_b = ab[i];
  for (i = 0; i < m + n; i++)
    xy[i] = 0;
  xypos = m - 1;
  go_a = 1;
  suma = 0;
  *num_basis = 0;
  while (go_a) {
    xy[xypos]++;
    suma = suma + ab[xypos];
    if (a_in_bounds(ab, xy, max_y, d, e, m, n, xypos, max_a, max_b, suma,
                    constraints)) {
      sumb = 0;
      xypos = m + n - 1;
      go_b = 1;
      while (go_b) {
        xy[xypos]++;
        sumb = sumb + ab[xypos];
        if (b_in_bounds(xy, max_y, constraints, xypos, suma, sumb, m, n)) {
          if (suma == sumb) {
            if (add_solution(xy, m + n, num_basis, basis))
              backup = 1;
            else
              return -1;
          } else
            backup = 0;
        } else
          backup = 1;
        if (backup) {
          sumb = sumb - xy[xypos] * ab[xypos];
          xy[xypos] = 0;
          xypos--;
          if (xypos < m)
            go_b = 0;
        } else
          xypos = m + n - 1;
      }
      xypos = m - 1;
    } else {
      suma = suma - xy[xypos] * ab[xypos];
      xy[xypos] = 0;
      xypos--;
      if (xypos < 0)
        go_a = 0;
    }
  }
  for (i = 0; i < m + n; i++)
    xy[i] = 0;
  for (i = 0; i < m; i++)
    for (j = m; j < m + n; j++) {
      xy[i] = d[i][j];
      xy[j] = e[i][j];
      if (var_check_1(constraints, xy, 0, m + n - 1) &&
          var_check_2(constraints, xy, 0, m + n - 1))
        if (!add_solution(xy, m + n, num_basis, basis))
          return -1;
      xy[i] = 0;
      xy[j] = 0;
    }
  return 1;
}


x86 assembly (clang, -O0):
<dio>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %rbx
sub    $0x7a998,%rsp
mov    %rdi,-0x28(%rbp)
mov    %esi,-0x2c(%rbp)
mov    %edx,-0x30(%rbp)
mov    %rcx,-0x38(%rbp)
mov    %r8,-0x40(%rbp)
mov    %r9,-0x48(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     119a <dio+0x3a>
cmpl   $0x0,-0x30(%rbp)
jne    11b0 <dio+0x50>
mov    -0x48(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x1,-0x1c(%rbp)
jmp    187a <dio+0x71a>
movl   $0x0,-0x7a948(%rbp)
movl   $0x0,-0x7a94c(%rbp)
movl   $0x0,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    12c8 <dio+0x168>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x7a95c(%rbp)
mov    -0x7a95c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    12af <dio+0x14f>
mov    -0x28(%rbp),%rax
movslq -0x7a958(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x7a960(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x7a95c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x7a964(%rbp)
mov    -0x7a960(%rbp),%edi
mov    -0x7a964(%rbp),%esi
call   1040 <lcm@plt>
mov    %eax,-0x7a968(%rbp)
mov    -0x7a968(%rbp),%eax
cltd
idivl  -0x7a960(%rbp)
mov    %eax,%edx
movslq -0x7a958(%rbp),%rcx
lea    -0x3d8b0(%rbp),%rax
imul   $0x3e8,%rcx,%rcx
add    %rcx,%rax
movslq -0x7a95c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x7a968(%rbp),%eax
cltd
idivl  -0x7a964(%rbp)
mov    %eax,%edx
movslq -0x7a958(%rbp),%rcx
lea    -0x7a940(%rbp),%rax
imul   $0x3e8,%rcx,%rcx
add    %rcx,%rax
movslq -0x7a95c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x7a95c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a95c(%rbp)
jmp    11e6 <dio+0x86>
jmp    12b4 <dio+0x154>
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    11ce <dio+0x6e>
movl   $0x0,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1328 <dio+0x1c8>
mov    -0x28(%rbp),%rax
movslq -0x7a958(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x7a948(%rbp),%eax
jle    130f <dio+0x1af>
mov    -0x28(%rbp),%rax
movslq -0x7a958(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x7a948(%rbp)
jmp    1314 <dio+0x1b4>
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    12d2 <dio+0x172>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    138c <dio+0x22c>
mov    -0x28(%rbp),%rax
movslq -0x7a958(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x7a94c(%rbp),%eax
jle    1373 <dio+0x213>
mov    -0x28(%rbp),%rax
movslq -0x7a958(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x7a94c(%rbp)
jmp    1378 <dio+0x218>
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    1331 <dio+0x1d1>
movl   $0x0,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    13d0 <dio+0x270>
movslq -0x7a958(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    1396 <dio+0x236>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x7a944(%rbp)
movl   $0x1,-0x7a96c(%rbp)
movl   $0x0,-0x7a950(%rbp)
mov    -0x48(%rbp),%rax
movl   $0x0,(%rax)
cmpl   $0x0,-0x7a96c(%rbp)
je     16c9 <dio+0x569>
movslq -0x7a944(%rbp),%rax
mov    -0x430(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x430(%rbp,%rax,4)
mov    -0x7a950(%rbp),%eax
mov    -0x28(%rbp),%rcx
movslq -0x7a944(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x7a950(%rbp)
mov    -0x28(%rbp),%rdi
lea    -0x430(%rbp),%rsi
lea    -0x820(%rbp),%rdx
lea    -0x3d8b0(%rbp),%rcx
lea    -0x7a940(%rbp),%r8
mov    -0x2c(%rbp),%r9d
mov    -0x30(%rbp),%r15d
mov    -0x7a944(%rbp),%r14d
mov    -0x7a948(%rbp),%ebx
mov    -0x7a94c(%rbp),%r11d
mov    -0x7a950(%rbp),%r10d
mov    -0x38(%rbp),%rax
mov    %r15d,(%rsp)
mov    %r14d,0x8(%rsp)
mov    %ebx,0x10(%rsp)
mov    %r11d,0x18(%rsp)
mov    %r10d,0x20(%rsp)
mov    %rax,0x28(%rsp)
call   1070 <a_in_bounds@plt>
cmp    $0x0,%rax
je     165c <dio+0x4fc>
movl   $0x0,-0x7a954(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x7a944(%rbp)
movl   $0x1,-0x7a970(%rbp)
cmpl   $0x0,-0x7a970(%rbp)
je     164b <dio+0x4eb>
movslq -0x7a944(%rbp),%rax
mov    -0x430(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x430(%rbp,%rax,4)
mov    -0x7a954(%rbp),%eax
mov    -0x28(%rbp),%rcx
movslq -0x7a944(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x7a954(%rbp)
lea    -0x430(%rbp),%rdi
lea    -0x820(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x7a944(%rbp),%ecx
mov    -0x7a950(%rbp),%r8d
mov    -0x7a954(%rbp),%r9d
mov    -0x2c(%rbp),%r10d
mov    -0x30(%rbp),%eax
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
call   1080 <b_in_bounds@plt>
cmp    $0x0,%rax
je     15b6 <dio+0x456>
mov    -0x7a950(%rbp),%eax
cmp    -0x7a954(%rbp),%eax
jne    15a7 <dio+0x447>
lea    -0x430(%rbp),%rdi
mov    -0x2c(%rbp),%esi
add    -0x30(%rbp),%esi
mov    -0x48(%rbp),%rdx
mov    -0x40(%rbp),%rcx
call   1030 <add_solution@plt>
cmp    $0x0,%rax
je     1596 <dio+0x436>
movl   $0x1,-0x7a974(%rbp)
jmp    15a2 <dio+0x442>
movl   $0xffffffff,-0x1c(%rbp)
jmp    187a <dio+0x71a>
jmp    15b1 <dio+0x451>
movl   $0x0,-0x7a974(%rbp)
jmp    15c0 <dio+0x460>
movl   $0x1,-0x7a974(%rbp)
cmpl   $0x0,-0x7a974(%rbp)
je     1637 <dio+0x4d7>
mov    -0x7a954(%rbp),%eax
movslq -0x7a944(%rbp),%rcx
mov    -0x430(%rbp,%rcx,4),%ecx
mov    -0x28(%rbp),%rdx
movslq -0x7a944(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
sub    %ecx,%eax
mov    %eax,-0x7a954(%rbp)
movslq -0x7a944(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
mov    -0x7a944(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x7a944(%rbp)
mov    -0x7a944(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1632 <dio+0x4d2>
movl   $0x0,-0x7a970(%rbp)
jmp    1646 <dio+0x4e6>
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x7a944(%rbp)
jmp    14ce <dio+0x36e>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x7a944(%rbp)
jmp    16c4 <dio+0x564>
mov    -0x7a950(%rbp),%eax
movslq -0x7a944(%rbp),%rcx
mov    -0x430(%rbp,%rcx,4),%ecx
mov    -0x28(%rbp),%rdx
movslq -0x7a944(%rbp),%rsi
imul   (%rdx,%rsi,4),%ecx
sub    %ecx,%eax
mov    %eax,-0x7a950(%rbp)
movslq -0x7a944(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
mov    -0x7a944(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x7a944(%rbp)
cmpl   $0x0,-0x7a944(%rbp)
jge    16bf <dio+0x55f>
movl   $0x0,-0x7a96c(%rbp)
jmp    16c4 <dio+0x564>
jmp    13fa <dio+0x29a>
movl   $0x0,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    170d <dio+0x5ad>
movslq -0x7a958(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    16d3 <dio+0x573>
movl   $0x0,-0x7a958(%rbp)
mov    -0x7a958(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1873 <dio+0x713>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x7a95c(%rbp)
mov    -0x7a95c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    185a <dio+0x6fa>
movslq -0x7a958(%rbp),%rcx
lea    -0x3d8b0(%rbp),%rax
imul   $0x3e8,%rcx,%rcx
add    %rcx,%rax
movslq -0x7a95c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x7a958(%rbp),%rax
mov    %ecx,-0x430(%rbp,%rax,4)
movslq -0x7a958(%rbp),%rcx
lea    -0x7a940(%rbp),%rax
imul   $0x3e8,%rcx,%rcx
add    %rcx,%rax
movslq -0x7a95c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x7a95c(%rbp),%rax
mov    %ecx,-0x430(%rbp,%rax,4)
mov    -0x38(%rbp),%rdi
lea    -0x430(%rbp),%rsi
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
sub    $0x1,%ecx
xor    %edx,%edx
call   1050 <var_check_1@plt>
cmp    $0x0,%rax
je     1822 <dio+0x6c2>
mov    -0x38(%rbp),%rdi
lea    -0x430(%rbp),%rsi
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
sub    $0x1,%ecx
xor    %edx,%edx
call   1060 <var_check_2@plt>
cmp    $0x0,%rax
je     1822 <dio+0x6c2>
lea    -0x430(%rbp),%rdi
mov    -0x2c(%rbp),%esi
add    -0x30(%rbp),%esi
mov    -0x48(%rbp),%rdx
mov    -0x40(%rbp),%rcx
call   1030 <add_solution@plt>
cmp    $0x0,%rax
jne    181d <dio+0x6bd>
movl   $0xffffffff,-0x1c(%rbp)
jmp    187a <dio+0x71a>
jmp    1822 <dio+0x6c2>
movslq -0x7a958(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
movslq -0x7a95c(%rbp),%rax
movl   $0x0,-0x430(%rbp,%rax,4)
mov    -0x7a95c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a95c(%rbp)
jmp    172f <dio+0x5cf>
jmp    185f <dio+0x6ff>
mov    -0x7a958(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7a958(%rbp)
jmp    1717 <dio+0x5b7>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x7a998,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<dio>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x7a978,%rsp
mov    %r9,0x30(%rsp)
mov    %r8,0x58(%rsp)
mov    %rcx,0x38(%rsp)
test   %esi,%esi
je     1258 <dio+0xe8>
mov    %edx,%r13d
test   %edx,%edx
je     1258 <dio+0xe8>
mov    %esi,%r10d
xor    %ebp,%ebp
mov    $0x0,%r11d
test   %esi,%esi
mov    %r13,0x28(%rsp)
mov    %r10,0x18(%rsp)
mov    %rdi,0x8(%rsp)
jle    13f3 <dio+0x283>
lea    (%r10,%r13,1),%eax
mov    %r10d,%r12d
cltq
lea    0x3d8e0(%rsp),%r14
lea    0x850(%rsp),%r15
xor    %r13d,%r13d
mov    %r12,0x10(%rsp)
mov    %rax,0x20(%rsp)
jmp    120c <dio+0x9c>
nopl   (%rax)
add    $0x1,%r13
add    $0x3e8,%r14
add    $0x3e8,%r15
mov    0x10(%rsp),%r12
cmp    %r12,%r13
je     126e <dio+0xfe>
cmpl   $0x0,0x28(%rsp)
jle    11f0 <dio+0x80>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rdi,%r13,4),%ebx
mov    (%rdi,%r12,4),%ebp
mov    %ebx,%edi
mov    %ebp,%esi
call   1040 <lcm@plt>
mov    0x8(%rsp),%rdi
mov    %eax,%ecx
cltd
idiv   %ebx
mov    %eax,(%r14,%r12,4)
mov    %ecx,%eax
cltd
idiv   %ebp
mov    %eax,(%r15,%r12,4)
mov    0x20(%rsp),%rax
add    $0x1,%r12
cmp    %rax,%r12
jl     1220 <dio+0xb0>
jmp    11f0 <dio+0x80>
mov    0x30(%rsp),%rax
movl   $0x0,(%rax)
mov    $0x1,%r15d
jmp    1851 <dio+0x6e1>
mov    0x18(%rsp),%r10
test   %r10d,%r10d
jle    1292 <dio+0x122>
cmp    $0x8,%r10d
mov    0x28(%rsp),%r13
mov    $0x0,%ebp
jae    12a1 <dio+0x131>
xor    %eax,%eax
xor    %r11d,%r11d
jmp    13e0 <dio+0x270>
xor    %r11d,%r11d
mov    0x28(%rsp),%r13
xor    %ebp,%ebp
jmp    13f3 <dio+0x283>
mov    %r12d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     187f <dio+0x70f>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
movdqu (%rdi,%rdx,4),%xmm2
movdqu 0x10(%rdi,%rdx,4),%xmm3
movdqu 0x20(%rdi,%rdx,4),%xmm4
movdqu 0x30(%rdi,%rdx,4),%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm0,%xmm6
pand   %xmm6,%xmm2
pandn  %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm6,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm6,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm2,%xmm1
por    %xmm5,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rsi
jne    12d0 <dio+0x160>
test   $0x1,%cl
je     1381 <dio+0x211>
movdqu (%rdi,%rdx,4),%xmm2
movdqu 0x10(%rdi,%rdx,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%r11d
cmp    %r12,%rax
je     13f3 <dio+0x283>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%ecx
cmp    %r11d,%ecx
cmovg  %ecx,%r11d
add    $0x1,%rax
cmp    %rax,%r12
jne    13e0 <dio+0x270>
lea    (%r10,%r13,1),%eax
mov    %rax,0x10(%rsp)
test   %r13d,%r13d
jle    1581 <dio+0x411>
movslq %r10d,%rax
movslq 0x10(%rsp),%rcx
lea    0x1(%rax),%rdx
cmp    %rcx,%rdx
cmovle %rcx,%rdx
sub    %rax,%rdx
xor    %ebp,%ebp
cmp    $0x8,%rdx
jb     1570 <dio+0x400>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     1866 <dio+0x6f6>
mov    %r9,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rdi,%rax,4),%rsi
add    $0x30,%rsi
pxor   %xmm0,%xmm0
xor    %ebp,%ebp
pxor   %xmm1,%xmm1
nop
movdqu -0x30(%rsi,%rbp,4),%xmm2
movdqu -0x20(%rsi,%rbp,4),%xmm3
movdqu -0x10(%rsi,%rbp,4),%xmm4
movdqu (%rsi,%rbp,4),%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm0,%xmm6
pand   %xmm6,%xmm2
pandn  %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm6,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm6,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm2,%xmm1
por    %xmm5,%xmm1
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rbx
jne    1460 <dio+0x2f0>
test   $0x1,%r9b
je     1515 <dio+0x3a5>
add    %rax,%rbp
movdqu (%rdi,%rbp,4),%xmm2
movdqu 0x10(%rdi,%rbp,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%ebp
cmp    %r8,%rdx
je     1581 <dio+0x411>
add    %r8,%rax
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%edx
cmp    %ebp,%edx
cmovg  %edx,%ebp
add    $0x1,%rax
cmp    %rcx,%rax
jl     1570 <dio+0x400>
mov    0x10(%rsp),%rax
lea    -0x1(%rax),%ebx
test   %eax,%eax
jle    15b3 <dio+0x443>
mov    %ebx,%eax
lea    0x4(,%rax,4),%rdx
lea    0x70(%rsp),%rdi
xor    %esi,%esi
mov    %r11,%r14
call   1050 <memset@plt>
mov    %r14,%r11
mov    0x8(%rsp),%rdi
mov    0x18(%rsp),%r10
mov    %ebx,0x20(%rsp)
lea    -0x1(%r10),%ecx
mov    0x30(%rsp),%rax
movl   $0x0,(%rax)
xor    %r14d,%r14d
lea    0x70(%rsp),%r12
lea    0x460(%rsp),%r15
lea    0x3d8e0(%rsp),%rax
mov    %rax,0x50(%rsp)
lea    0x850(%rsp),%rax
mov    %rax,0x48(%rsp)
mov    %ecx,0x44(%rsp)
mov    %ecx,%eax
mov    %rbp,0x68(%rsp)
mov    %r11,0x60(%rsp)
jmp    1649 <dio+0x4d9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x8(%rsp),%rdi
mov    (%rdi,%rbx,4),%eax
imul   0x70(%rsp,%rbx,4),%eax
sub    %eax,%r14d
movl   $0x0,0x70(%rsp,%rbx,4)
lea    -0x1(%rbx),%eax
xor    %ecx,%ecx
test   %ebx,%ebx
setg   %cl
mov    0x18(%rsp),%r10
test   %ecx,%ecx
mov    0x68(%rsp),%rbp
mov    0x60(%rsp),%r11
je     174f <dio+0x5df>
movslq %eax,%rbx
addl   $0x1,0x70(%rsp,%rbx,4)
add    (%rdi,%rbx,4),%r14d
mov    %r12,%rsi
mov    %r15,%rdx
lea    0x3d8e0(%rsp),%rcx
lea    0x850(%rsp),%r8
mov    %r10d,%r9d
push   0x38(%rsp)
push   %r14
push   %rbp
push   %r11
push   %rbx
push   %r13
call   1080 <a_in_bounds@plt>
add    $0x30,%rsp
test   %rax,%rax
je     1610 <dio+0x4a0>
xor    %r13d,%r13d
mov    0x20(%rsp),%eax
mov    0x18(%rsp),%r10
mov    0x8(%rsp),%rdi
mov    0x10(%rsp),%rbp
jmp    16e9 <dio+0x579>
mov    %r12,%rdi
mov    %ebp,%esi
mov    0x30(%rsp),%rdx
mov    0x58(%rsp),%rcx
call   1030 <add_solution@plt>
test   %rax,%rax
je     184b <dio+0x6db>
mov    0x8(%rsp),%rdi
mov    (%rdi,%rbx,4),%eax
imul   0x70(%rsp,%rbx,4),%eax
sub    %eax,%r13d
movl   $0x0,0x70(%rsp,%rbx,4)
lea    -0x1(%rbx),%eax
xor    %ecx,%ecx
mov    0x18(%rsp),%r10
cmp    %r10d,%ebx
setg   %cl
test   %ecx,%ecx
je     173c <dio+0x5cc>
movslq %eax,%rbx
addl   $0x1,0x70(%rsp,%rbx,4)
add    (%rdi,%rbx,4),%r13d
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x38(%rsp),%rdx
mov    %ebx,%ecx
mov    %r14d,%r8d
mov    %r13d,%r9d
push   0x28(%rsp)
push   %r10
call   1090 <b_in_bounds@plt>
add    $0x10,%rsp
test   %rax,%rax
je     16bd <dio+0x54d>
mov    $0x1,%ecx
cmp    %r13d,%r14d
je     16a0 <dio+0x530>
mov    0x20(%rsp),%eax
mov    0x18(%rsp),%r10
mov    0x8(%rsp),%rdi
test   %ecx,%ecx
jne    16e9 <dio+0x579>
mov    $0x1,%ecx
mov    0x44(%rsp),%eax
mov    0x28(%rsp),%r13
jmp    1637 <dio+0x4c7>
mov    0x30(%rsp),%r14
mov    0x10(%rsp),%rbx
test   %ebx,%ebx
jle    177a <dio+0x60a>
mov    0x20(%rsp),%eax
lea    0x4(,%rax,4),%rdx
lea    0x70(%rsp),%rdi
xor    %esi,%esi
call   1050 <memset@plt>
mov    0x18(%rsp),%r10
mov    $0x1,%r15d
test   %r10d,%r10d
jle    1851 <dio+0x6e1>
mov    %r10d,%eax
mov    %rax,0x8(%rsp)
movslq %ebx,%r12
xor    %ebp,%ebp
lea    0x70(%rsp),%r13
jmp    17be <dio+0x64e>
add    $0x1,%rbp
addq   $0x3e8,0x50(%rsp)
addq   $0x3e8,0x48(%rsp)
cmp    0x8(%rsp),%rbp
je     1851 <dio+0x6e1>
cmpl   $0x0,0x28(%rsp)
jle    179d <dio+0x62d>
mov    0x8(%rsp),%rbx
jmp    17e9 <dio+0x679>
nopl   0x0(%rax)
movl   $0x0,0x70(%rsp,%rbp,4)
movl   $0x0,0x70(%rsp,%rbx,4)
add    $0x1,%rbx
cmp    %r12,%rbx
jge    179d <dio+0x62d>
mov    0x50(%rsp),%rax
mov    (%rax,%rbx,4),%eax
mov    %eax,0x70(%rsp,%rbp,4)
mov    0x48(%rsp),%rax
mov    (%rax,%rbx,4),%eax
mov    %eax,0x70(%rsp,%rbx,4)
mov    0x38(%rsp),%rdi
mov    %r13,%rsi
xor    %edx,%edx
mov    0x20(%rsp),%ecx
call   1060 <var_check_1@plt>
test   %rax,%rax
je     17d0 <dio+0x660>
mov    0x38(%rsp),%rdi
mov    %r13,%rsi
xor    %edx,%edx
mov    0x20(%rsp),%ecx
call   1070 <var_check_2@plt>
test   %rax,%rax
je     17d0 <dio+0x660>
mov    %r13,%rdi
mov    0x10(%rsp),%rsi
mov    %r14,%rdx
mov    0x58(%rsp),%rcx
call   1030 <add_solution@plt>
test   %rax,%rax
jne    17d0 <dio+0x660>
mov    $0xffffffff,%r15d
mov    %r15d,%eax
add    $0x7a978,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm0,%xmm0
xor    %ebp,%ebp
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    14d7 <dio+0x367>
jmp    1515 <dio+0x3a5>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
test   $0x1,%cl
jne    1346 <dio+0x1d6>
jmp    1381 <dio+0x211>

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

LLVM IR (-O2):
define i32 @dio(i32* %0, i32 %1, i32 %2, i32* %3, [250 x i32]* %4, i32* %5) {
%7 = alloca [250 x i32]
%8 = bitcast [250 x i32]* %7 to i8*
%9 = alloca [250 x i32]
%10 = alloca [250 x [250 x i32]]
%11 = alloca [250 x [250 x i32]]
%12 = bitcast [250 x i32]* %9 to i8*
%13 = bitcast [250 x [250 x i32]]* %10 to i8*
%14 = bitcast [250 x [250 x i32]]* %11 to i8*
%15 = icmp eq i32 %1, 0
%16 = icmp eq i32 %2, 0
%17 = or i1 %15, %16
br i1 %17, label %26, label %18
18: ; preds = %6
%19 = icmp sgt i32 %1, 0
br i1 %19, label %20, label %116
20: ; preds = %18
%21 = add nsw i32 %2, %1
%22 = icmp sgt i32 %2, 0
%23 = zext i32 %1 to i64
%24 = sext i32 %21 to i64
%25 = zext i32 %1 to i64
br label %27
26: ; preds = %6
store i32 0, i32* %5
br label %320
27: ; preds = %20, %113
%28 = phi i64 [ 0, %20 ], [ %114, %113 ]
br i1 %22, label %29, label %113
29: ; preds = %27
%30 = getelementptr inbounds i32, i32* %0, i64 %28
br label %101
31: ; preds = %113
br i1 %19, label %32, label %116
32: ; preds = %31
%33 = zext i32 %1 to i64
%34 = icmp ult i32 %1, 8
br i1 %34, label %98, label %35
35: ; preds = %32
%36 = and i64 %23, 4294967288
%37 = add nsw i64 %36, -8
%38 = lshr exact i64 %37, 3
%39 = add nuw nsw i64 %38, 1
%40 = and i64 %39, 1
%41 = icmp eq i64 %37, 0
br i1 %41, label %73, label %42
42: ; preds = %35
%43 = and i64 %39, 4611686018427387902
br label %44
44: ; preds = %44, %42
%45 = phi i64 [ 0, %42 ], [ %70, %44 ]
%46 = phi <4 x i32> [ zeroinitializer, %42 ], [ %68, %44 ]
%47 = phi <4 x i32> [ zeroinitializer, %42 ], [ %69, %44 ]
%48 = phi i64 [ 0, %42 ], [ %71, %44 ]
%49 = getelementptr inbounds i32, i32* %0, i64 %45
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = getelementptr inbounds i32, i32* %49, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
%54 = load <4 x i32>, <4 x i32>* %53
%55 = icmp sgt <4 x i32> %51, %46
%56 = icmp sgt <4 x i32> %54, %47
%57 = select <4 x i1> %55, <4 x i32> %51, <4 x i32> %46
%58 = select <4 x i1> %56, <4 x i32> %54, <4 x i32> %47
%59 = or i64 %45, 8
%60 = getelementptr inbounds i32, i32* %0, i64 %59
%61 = bitcast i32* %60 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = getelementptr inbounds i32, i32* %60, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
%65 = load <4 x i32>, <4 x i32>* %64
%66 = icmp sgt <4 x i32> %62, %57
%67 = icmp sgt <4 x i32> %65, %58
%68 = select <4 x i1> %66, <4 x i32> %62, <4 x i32> %57
%69 = select <4 x i1> %67, <4 x i32> %65, <4 x i32> %58
%70 = add nuw i64 %45, 16
%71 = add i64 %48, 2
%72 = icmp eq i64 %71, %43
br i1 %72, label %73, label %44
73: ; preds = %44, %35
%74 = phi <4 x i32> [ undef, %35 ], [ %68, %44 ]
%75 = phi <4 x i32> [ undef, %35 ], [ %69, %44 ]
%76 = phi i64 [ 0, %35 ], [ %70, %44 ]
%77 = phi <4 x i32> [ zeroinitializer, %35 ], [ %68, %44 ]
%78 = phi <4 x i32> [ zeroinitializer, %35 ], [ %69, %44 ]
%79 = icmp eq i64 %40, 0
br i1 %79, label %91, label %80
80: ; preds = %73
%81 = getelementptr inbounds i32, i32* %0, i64 %76
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = getelementptr inbounds i32, i32* %81, i64 4
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = icmp sgt <4 x i32> %83, %77
%88 = icmp sgt <4 x i32> %86, %78
%89 = select <4 x i1> %87, <4 x i32> %83, <4 x i32> %77
%90 = select <4 x i1> %88, <4 x i32> %86, <4 x i32> %78
br label %91
91: ; preds = %73, %80
%92 = phi <4 x i32> [ %74, %73 ], [ %89, %80 ]
%93 = phi <4 x i32> [ %75, %73 ], [ %90, %80 ]
%94 = icmp sgt <4 x i32> %92, %93
%95 = select <4 x i1> %94, <4 x i32> %92, <4 x i32> %93
%96 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %95)
%97 = icmp eq i64 %36, %23
br i1 %97, label %116, label %98
98: ; preds = %32, %91
%99 = phi i64 [ 0, %32 ], [ %36, %91 ]
%100 = phi i32 [ 0, %32 ], [ %96, %91 ]
br label %197
101: ; preds = %29, %101
%102 = phi i64 [ %23, %29 ], [ %111, %101 ]
%103 = load i32, i32* %30
%104 = getelementptr inbounds i32, i32* %0, i64 %102
%105 = load i32, i32* %104
%106 = tail call i32 @lcm(i32 %103, i32 %105)
%107 = sdiv i32 %106, %103
%108 = getelementptr inbounds [250 x [250 x i32]], [250 x [250 x i32]]* %10, i64 0, i64 %28, i64 %102
store i32 %107, i32* %108
%109 = sdiv i32 %106, %105
%110 = getelementptr inbounds [250 x [250 x i32]], [250 x [250 x i32]]* %11, i64 0, i64 %28, i64 %102
store i32 %109, i32* %110
%111 = add nuw nsw i64 %102, 1
%112 = icmp slt i64 %111, %24
br i1 %112, label %101, label %113
113: ; preds = %101, %27
%114 = add nuw nsw i64 %28, 1
%115 = icmp eq i64 %114, %25
br i1 %115, label %31, label %27
116: ; preds = %197, %91, %18, %31
%117 = phi i32 [ 0, %31 ], [ 0, %18 ], [ %96, %91 ], [ %203, %197 ]
%118 = add i32 %2, %1
%119 = icmp sgt i32 %2, 0
br i1 %119, label %120, label %206
120: ; preds = %116
%121 = sext i32 %1 to i64
%122 = sext i32 %118 to i64
%123 = add nsw i64 %121, 1
%124 = call i64 @llvm.smax.i64(i64 %123, i64 %122)
%125 = sub i64 %124, %121
%126 = icmp ult i64 %125, 8
br i1 %126, label %194, label %127
127: ; preds = %120
%128 = and i64 %125, -8
%129 = add i64 %128, %121
%130 = add i64 %128, -8
%131 = lshr exact i64 %130, 3
%132 = add nuw nsw i64 %131, 1
%133 = and i64 %132, 1
%134 = icmp eq i64 %130, 0
br i1 %134, label %168, label %135
135: ; preds = %127
%136 = and i64 %132, 4611686018427387902
br label %137
137: ; preds = %137, %135
%138 = phi i64 [ 0, %135 ], [ %165, %137 ]
%139 = phi <4 x i32> [ zeroinitializer, %135 ], [ %163, %137 ]
%140 = phi <4 x i32> [ zeroinitializer, %135 ], [ %164, %137 ]
%141 = phi i64 [ 0, %135 ], [ %166, %137 ]
%142 = add i64 %138, %121
%143 = getelementptr inbounds i32, i32* %0, i64 %142
%144 = bitcast i32* %143 to <4 x i32>*
%145 = load <4 x i32>, <4 x i32>* %144
%146 = getelementptr inbounds i32, i32* %143, i64 4
%147 = bitcast i32* %146 to <4 x i32>*
%148 = load <4 x i32>, <4 x i32>* %147
%149 = icmp sgt <4 x i32> %145, %139
%150 = icmp sgt <4 x i32> %148, %140
%151 = select <4 x i1> %149, <4 x i32> %145, <4 x i32> %139
%152 = select <4 x i1> %150, <4 x i32> %148, <4 x i32> %140
%153 = or i64 %138, 8
%154 = add i64 %153, %121
%155 = getelementptr inbounds i32, i32* %0, i64 %154
%156 = bitcast i32* %155 to <4 x i32>*
%157 = load <4 x i32>, <4 x i32>* %156
%158 = getelementptr inbounds i32, i32* %155, i64 4
%159 = bitcast i32* %158 to <4 x i32>*
%160 = load <4 x i32>, <4 x i32>* %159
%161 = icmp sgt <4 x i32> %157, %151
%162 = icmp sgt <4 x i32> %160, %152
%163 = select <4 x i1> %161, <4 x i32> %157, <4 x i32> %151
%164 = select <4 x i1> %162, <4 x i32> %160, <4 x i32> %152
%165 = add nuw i64 %138, 16
%166 = add i64 %141, 2
%167 = icmp eq i64 %166, %136
br i1 %167, label %168, label %137
168: ; preds = %137, %127
%169 = phi <4 x i32> [ undef, %127 ], [ %163, %137 ]
%170 = phi <4 x i32> [ undef, %127 ], [ %164, %137 ]
%171 = phi i64 [ 0, %127 ], [ %165, %137 ]
%172 = phi <4 x i32> [ zeroinitializer, %127 ], [ %163, %137 ]
%173 = phi <4 x i32> [ zeroinitializer, %127 ], [ %164, %137 ]
%174 = icmp eq i64 %133, 0
br i1 %174, label %187, label %175
175: ; preds = %168
%176 = add i64 %171, %121
%177 = getelementptr inbounds i32, i32* %0, i64 %176
%178 = bitcast i32* %177 to <4 x i32>*
%179 = load <4 x i32>, <4 x i32>* %178
%180 = getelementptr inbounds i32, i32* %177, i64 4
%181 = bitcast i32* %180 to <4 x i32>*
%182 = load <4 x i32>, <4 x i32>* %181
%183 = icmp sgt <4 x i32> %179, %172
%184 = icmp sgt <4 x i32> %182, %173
%185 = select <4 x i1> %183, <4 x i32> %179, <4 x i32> %172
%186 = select <4 x i1> %184, <4 x i32> %182, <4 x i32> %173
br label %187
187: ; preds = %168, %175
%188 = phi <4 x i32> [ %169, %168 ], [ %185, %175 ]
%189 = phi <4 x i32> [ %170, %168 ], [ %186, %175 ]
%190 = icmp sgt <4 x i32> %188, %189
%191 = select <4 x i1> %190, <4 x i32> %188, <4 x i32> %189
%192 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %191)
%193 = icmp eq i64 %125, %128
br i1 %193, label %206, label %194
194: ; preds = %120, %187
%195 = phi i64 [ %121, %120 ], [ %129, %187 ]
%196 = phi i32 [ 0, %120 ], [ %192, %187 ]
br label %214
197: ; preds = %98, %197
%198 = phi i64 [ %204, %197 ], [ %99, %98 ]
%199 = phi i32 [ %203, %197 ], [ %100, %98 ]
%200 = getelementptr inbounds i32, i32* %0, i64 %198
%201 = load i32, i32* %200
%202 = icmp sgt i32 %201, %199
%203 = select i1 %202, i32 %201, i32 %199
%204 = add nuw nsw i64 %198, 1
%205 = icmp eq i64 %204, %33
br i1 %205, label %116, label %197
206: ; preds = %214, %187, %116
%207 = phi i32 [ 0, %116 ], [ %192, %187 ], [ %220, %214 ]
%208 = icmp sgt i32 %118, 0
%209 = add i32 %118, -1
br i1 %208, label %210, label %223
210: ; preds = %206
%211 = zext i32 %209 to i64
%212 = shl nuw nsw i64 %211, 2
%213 = add nuw nsw i64 %212, 4
br label %223
214: ; preds = %194, %214
%215 = phi i64 [ %221, %214 ], [ %195, %194 ]
%216 = phi i32 [ %220, %214 ], [ %196, %194 ]
%217 = getelementptr inbounds i32, i32* %0, i64 %215
%218 = load i32, i32* %217
%219 = icmp sgt i32 %218, %216
%220 = select i1 %219, i32 %218, i32 %216
%221 = add nsw i64 %215, 1
%222 = icmp slt i64 %221, %122
br i1 %222, label %214, label %206
223: ; preds = %206, %210
%224 = add nsw i32 %1, -1
store i32 0, i32* %5
%225 = getelementptr inbounds [250 x i32], [250 x i32]* %7, i64 0, i64 0
%226 = getelementptr inbounds [250 x i32], [250 x i32]* %9, i64 0, i64 0
%227 = bitcast [250 x [250 x i32]]* %10 to i32**
%228 = bitcast [250 x [250 x i32]]* %11 to i32**
%229 = bitcast [250 x i32]* %4 to i32**
br label %235
230: ; preds = %285
br i1 %208, label %231, label %290
231: ; preds = %230
%232 = zext i32 %209 to i64
%233 = shl nuw nsw i64 %232, 2
%234 = add nuw nsw i64 %233, 4
br label %290
235: ; preds = %223, %285
%236 = phi i32 [ %224, %223 ], [ %287, %285 ]
%237 = phi i32 [ 0, %223 ], [ %286, %285 ]
%238 = sext i32 %236 to i64
%239 = getelementptr inbounds [250 x i32], [250 x i32]* %7, i64 0, i64 %238
%240 = load i32, i32* %239
%241 = add nsw i32 %240, 1
store i32 %241, i32* %239
%242 = getelementptr inbounds i32, i32* %0, i64 %238
%243 = load i32, i32* %242
%244 = add nsw i32 %243, %237
%245 = call i64 @a_in_bounds(i32* %0, i32* %225, i32* %226, i32** %227, i32** %228, i32 %1, i32 %2, i32 %236, i32 %117, i32 %207, i32 %244, i32* %3)
%246 = icmp eq i64 %245, 0
br i1 %246, label %277, label %247
247: ; preds = %235, %272
%248 = phi i32 [ %274, %272 ], [ %209, %235 ]
%249 = phi i32 [ %273, %272 ], [ 0, %235 ]
%250 = sext i32 %248 to i64
%251 = getelementptr inbounds [250 x i32], [250 x i32]* %7, i64 0, i64 %250
%252 = load i32, i32* %251
%253 = add nsw i32 %252, 1
store i32 %253, i32* %251
%254 = getelementptr inbounds i32, i32* %0, i64 %250
%255 = load i32, i32* %254
%256 = add nsw i32 %255, %249
%257 = call i64 @b_in_bounds(i32* %225, i32* %226, i32* %3, i32 %248, i32 %244, i32 %256, i32 %1, i32 %2)
%258 = icmp eq i64 %257, 0
br i1 %258, label %264, label %259
259: ; preds = %247
%260 = icmp eq i32 %244, %256
br i1 %260, label %261, label %272
261: ; preds = %259
%262 = call i64 @add_solution(i32* %225, i32 %118, i32* %5, i32** %229)
%263 = icmp eq i64 %262, 0
br i1 %263, label %320, label %264
264: ; preds = %261, %247
%265 = load i32, i32* %251
%266 = load i32, i32* %254
%267 = mul nsw i32 %266, %265
%268 = sub nsw i32 %256, %267
store i32 0, i32* %251
%269 = add nsw i32 %248, -1
%270 = icmp sgt i32 %248, %1
%271 = zext i1 %270 to i32
br label %272
272: ; preds = %264, %259
%273 = phi i32 [ %268, %264 ], [ %256, %259 ]
%274 = phi i32 [ %269, %264 ], [ %209, %259 ]
%275 = phi i32 [ %271, %264 ], [ 1, %259 ]
%276 = icmp eq i32 %275, 0
br i1 %276, label %285, label %247
277: ; preds = %235
%278 = load i32, i32* %239
%279 = load i32, i32* %242
%280 = mul nsw i32 %279, %278
%281 = sub nsw i32 %244, %280
store i32 0, i32* %239
%282 = add nsw i32 %236, -1
%283 = icmp sgt i32 %236, 0
%284 = zext i1 %283 to i32
br label %285
285: ; preds = %272, %277
%286 = phi i32 [ %281, %277 ], [ %244, %272 ]
%287 = phi i32 [ %282, %277 ], [ %224, %272 ]
%288 = phi i32 [ %284, %277 ], [ 1, %272 ]
%289 = icmp eq i32 %288, 0
br i1 %289, label %230, label %235
290: ; preds = %231, %230
br i1 %19, label %291, label %320
291: ; preds = %290
%292 = zext i32 %1 to i64
%293 = sext i32 %118 to i64
%294 = zext i32 %1 to i64
br label %295
295: ; preds = %291, %317
%296 = phi i64 [ 0, %291 ], [ %318, %317 ]
br i1 %119, label %297, label %317
297: ; preds = %295
%298 = getelementptr inbounds [250 x i32], [250 x i32]* %7, i64 0, i64 %296
br label %299
299: ; preds = %297, %314
%300 = phi i64 [ %292, %297 ], [ %315, %314 ]
%301 = getelementptr inbounds [250 x [250 x i32]], [250 x [250 x i32]]* %10, i64 0, i64 %296, i64 %300
%302 = load i32, i32* %301
store i32 %302, i32* %298
%303 = getelementptr inbounds [250 x [250 x i32]], [250 x [250 x i32]]* %11, i64 0, i64 %296, i64 %300
%304 = load i32, i32* %303
%305 = getelementptr inbounds [250 x i32], [250 x i32]* %7, i64 0, i64 %300
store i32 %304, i32* %305
%306 = call i64 @var_check_1(i32* %3, i32* %225, i32 0, i32 %209)
%307 = icmp eq i64 %306, 0
br i1 %307, label %314, label %308
308: ; preds = %299
%309 = call i64 @var_check_2(i32* %3, i32* %225, i32 0, i32 %209)
%310 = icmp eq i64 %309, 0
br i1 %310, label %314, label %311
311: ; preds = %308
%312 = call i64 @add_solution(i32* %225, i32 %118, i32* %5, i32** %229)
%313 = icmp eq i64 %312, 0
br i1 %313, label %320, label %314
314: ; preds = %311, %308, %299
store i32 0, i32* %298
store i32 0, i32* %305
%315 = add nuw nsw i64 %300, 1
%316 = icmp slt i64 %315, %293
br i1 %316, label %299, label %317
317: ; preds = %314, %295
%318 = add nuw nsw i64 %296, 1
%319 = icmp eq i64 %318, %294
br i1 %319, label %320, label %295
320: ; preds = %261, %317, %311, %290, %26
%321 = phi i32 [ 1, %26 ], [ 1, %290 ], [ -1, %311 ], [ 1, %317 ], [ -1, %261 ]
ret i32 %321
}