void dist_4v_unordered_nostrand_v2(int **ovdi123_p, int *m4_p, int n123, int n4,
                                   int **ovdi, int *n, int min_dist,
                                   int max_dist, int max_n_ovdi, int *ml,
                                   int get_positions, int **all_ovdi,
                                   int verbose) {
  int i, j;
  int p1, p2, p3, p4;
  int d14, d24, d34;
  int ad14, ad24, ad34;
  int n_ovdi = 0;
  int n_cooc;
  int max_p4;
  int min_p4;
  int init_i;
  max_p4 = m4_p[n4] + max_dist;
  min_p4 = m4_p[1] - max_dist;
  if (verbose) {
    printf("dist_4v_unordered_nostrand_v1\tn123=%d\tn4=%d\nmin_dist=%d\tmax_"
           "dist=%d\tmax_n_ovdi=%d\tmin_p4=%d\tmax_p4=%d\n",
           n123, n4, min_dist, max_dist, max_n_ovdi, min_p4, max_p4);
    printf("ovdi123_p (n123=%d)\n", n123);
    for (i = 1; i <= n123; i++)
      printf("%d\t%d\t%d\t%d\n", i, ovdi123_p[i][1], ovdi123_p[i][2],
             ovdi123_p[i][3]);
    printf("m4 (n4=%d)\n", n4);
    for (i = 1; i <= n4; i++)
      printf("%d %d,", i, m4_p[i]);
    printf("\n");
  }
  if ((ovdi123_p[n123][1] < min_p4) | (ovdi123_p[n123][2] < min_p4) |
      (ovdi123_p[n123][3] < min_p4)) {
    init_i = n123 + 1;
  } else {
    init_i = 1;
    p1 = ovdi123_p[init_i][1];
    p2 = ovdi123_p[init_i][2];
    p3 = ovdi123_p[init_i][3];
    while (((p1 < min_p4) | (p2 < min_p4) | (p3 < min_p4)) & (init_i < n123)) {
      init_i++;
      p1 = ovdi123_p[init_i][1];
      p2 = ovdi123_p[init_i][2];
      p3 = ovdi123_p[init_i][3];
    }
  }
  i = init_i - 1;
  p1 = ovdi123_p[1][1];
  p2 = ovdi123_p[1][2];
  p3 = ovdi123_p[1][3];
  if (verbose)
    printf("\tinit_i=%d\tp1=%d\tp2=%d\tp3=%d\n", init_i, p1, p2, p3);
  while ((i < n123) & (n_ovdi < max_n_ovdi) & (p1 < max_p4) & (p2 < max_p4) &
         (p3 < max_p4)) {
    i++;
    j = 0;
    p1 = ovdi123_p[i][1];
    p2 = ovdi123_p[i][2];
    p3 = ovdi123_p[i][3];
    d14 = 0;
    d24 = 0;
    d34 = 0;
    if (verbose)
      printf("\t\ti=%d\tp1=%d\tp2=%d\tp3=%d\t", i, p1, p2, p3);
    while ((j < n4) & (n_ovdi < max_n_ovdi) & (d14 < max_dist) &
           (d24 < max_dist) & (d34 < max_dist)) {
      j++;
      p4 = m4_p[j];
      d24 = 0;
      d34 = 0;
      d14 = p4 - p1;
      ad14 = fabs(d14);
      if ((ad14 > min_dist) & (ad14 < max_dist)) {
        d24 = p4 - p2;
        ad24 = fabs(d24);
        if ((ad24 > min_dist) & (ad24 < max_dist)) {
          d34 = p4 - p3;
          ad34 = fabs(d34);
          if ((ad34 > min_dist) & (ad34 < max_dist)) {
            n_ovdi++;
            if (get_positions == 1) {
              all_ovdi[n_ovdi][1] = p1;
              all_ovdi[n_ovdi][2] = p2;
              all_ovdi[n_ovdi][3] = p3;
              all_ovdi[n_ovdi][4] = p4;
              all_ovdi[n_ovdi][5] = ovdi123_p[i][4];
              all_ovdi[n_ovdi][6] = ovdi123_p[i][5];
              all_ovdi[n_ovdi][7] = ovdi123_p[i][6];
              all_ovdi[n_ovdi][8] = j;
              all_ovdi[n_ovdi][9] = -1;
              all_ovdi[n_ovdi][10] = -1;
              all_ovdi[n_ovdi][11] = -1;
              all_ovdi[n_ovdi][12] = -1;
            }
          }
        }
      }
      if ((d14 > max_dist) | (d24 > max_dist) | (d34 > max_dist))
        j = n4 + 1;
    }
  }
  if ((n_ovdi > 0) & (get_positions == 1)) {
    n_cooc = remove_overlaps_v2(all_ovdi, ovdi, ml, n_ovdi, 4);
  } else {
    n_cooc = n_ovdi;
  }
  n[1] = 0;
  if (n_ovdi >= max_n_ovdi)
    n[1] = -1;
  n[0] = n_cooc;
}


x86 assembly (clang, -O0):
<dist_4v_unordered_nostrand_v2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x40(%rbp),%eax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    0x18(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
sub    0x18(%rbp),%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,0x40(%rbp)
je     1282 <dist_4v_unordered_nostrand_v2+0x162>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    0x10(%rbp),%ecx
mov    0x18(%rbp),%r8d
mov    0x20(%rbp),%r9d
mov    -0x68(%rbp),%r10d
mov    -0x64(%rbp),%eax
lea    0xe6a(%rip),%rdi
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%esi
lea    0xeb8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1226 <dist_4v_unordered_nostrand_v2+0x106>
mov    -0x2c(%rbp),%esi
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rdi
mov    (%rax,%rdi,8),%rax
mov    0xc(%rax),%r8d
lea    0xe7b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11cd <dist_4v_unordered_nostrand_v2+0xad>
mov    -0x18(%rbp),%esi
lea    0xe69(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1274 <dist_4v_unordered_nostrand_v2+0x154>
mov    -0x2c(%rbp),%esi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
lea    0xe46(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    123e <dist_4v_unordered_nostrand_v2+0x11e>
lea    0xe0f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
cmp    -0x68(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    0x8(%rcx),%ecx
cmp    -0x68(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    0xc(%rcx),%ecx
cmp    -0x68(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
cmp    $0x0,%eax
je     12ed <dist_4v_unordered_nostrand_v2+0x1cd>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    13bd <dist_4v_unordered_nostrand_v2+0x29d>
movl   $0x1,-0x6c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x68(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x38(%rbp),%ecx
cmp    -0x68(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
mov    -0x3c(%rbp),%ecx
cmp    -0x68(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
mov    -0x6c(%rbp),%ecx
cmp    -0x14(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     13b8 <dist_4v_unordered_nostrand_v2+0x298>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x3c(%rbp)
jmp    132a <dist_4v_unordered_nostrand_v2+0x20a>
jmp    13bd <dist_4v_unordered_nostrand_v2+0x29d>
mov    -0x6c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,0x40(%rbp)
je     1415 <dist_4v_unordered_nostrand_v2+0x2f5>
mov    -0x6c(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
mov    -0x3c(%rbp),%r8d
lea    0xc9e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    141a <dist_4v_unordered_nostrand_v2+0x2fa>
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x5c(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x34(%rbp),%ecx
cmp    -0x64(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x38(%rbp),%ecx
cmp    -0x64(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x3c(%rbp),%ecx
cmp    -0x64(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     17c0 <dist_4v_unordered_nostrand_v2+0x6a0>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
cmpl   $0x0,0x40(%rbp)
je     14f5 <dist_4v_unordered_nostrand_v2+0x3d5>
mov    -0x2c(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
mov    -0x3c(%rbp),%r8d
lea    0xbdc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    14fa <dist_4v_unordered_nostrand_v2+0x3da>
mov    -0x30(%rbp),%eax
cmp    -0x18(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x5c(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x44(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x48(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x4c(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     17bb <dist_4v_unordered_nostrand_v2+0x69b>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x40(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x44(%rbp)
cvtsi2sdl -0x44(%rbp),%xmm0
movaps 0xa71(%rip),%xmm1
pand   %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    0x10(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x50(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1774 <dist_4v_unordered_nostrand_v2+0x654>
mov    -0x40(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x48(%rbp)
cvtsi2sdl -0x48(%rbp),%xmm0
movaps 0xa29(%rip),%xmm1
pand   %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    0x10(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x54(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     176f <dist_4v_unordered_nostrand_v2+0x64f>
mov    -0x40(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
cvtsi2sdl -0x4c(%rbp),%xmm0
movaps 0x9e1(%rip),%xmm1
pand   %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    0x10(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x58(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     176a <dist_4v_unordered_nostrand_v2+0x64a>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
cmpl   $0x1,0x30(%rbp)
jne    1765 <dist_4v_unordered_nostrand_v2+0x645>
mov    -0x34(%rbp),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
mov    -0x38(%rbp),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x8(%rax)
mov    -0x3c(%rbp),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0xc(%rax)
mov    -0x40(%rbp),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x10(%rax),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x14(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x14(%rax),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x18(%rax),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x1c(%rax)
mov    -0x30(%rbp),%ecx
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x20(%rax)
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0xffffffff,0x24(%rax)
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0xffffffff,0x28(%rax)
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0xffffffff,0x2c(%rax)
mov    0x38(%rbp),%rax
movslq -0x5c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0xffffffff,0x30(%rax)
jmp    176a <dist_4v_unordered_nostrand_v2+0x64a>
jmp    176f <dist_4v_unordered_nostrand_v2+0x64f>
jmp    1774 <dist_4v_unordered_nostrand_v2+0x654>
mov    -0x44(%rbp),%eax
cmp    0x18(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x48(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setg   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
mov    -0x4c(%rbp),%ecx
cmp    0x18(%rbp),%ecx
setg   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
cmp    $0x0,%eax
je     17b6 <dist_4v_unordered_nostrand_v2+0x696>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    14fa <dist_4v_unordered_nostrand_v2+0x3da>
jmp    141a <dist_4v_unordered_nostrand_v2+0x2fa>
cmpl   $0x0,-0x5c(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
cmpl   $0x1,0x30(%rbp)
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1808 <dist_4v_unordered_nostrand_v2+0x6e8>
mov    0x38(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    0x28(%rbp),%rdx
mov    -0x5c(%rbp),%ecx
mov    $0x4,%r8d
mov    $0x0,%al
call   1040 <remove_overlaps_v2@plt>
mov    %eax,-0x60(%rbp)
jmp    180e <dist_4v_unordered_nostrand_v2+0x6ee>
mov    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x0,0x4(%rax)
mov    -0x5c(%rbp),%eax
cmp    0x20(%rbp),%eax
jl     1830 <dist_4v_unordered_nostrand_v2+0x710>
mov    -0x28(%rbp),%rax
movl   $0xffffffff,0x4(%rax)
mov    -0x60(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dist_4v_unordered_nostrand_v2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,0x40(%rsp)
mov    %r8,0x38(%rsp)
mov    %edx,%r15d
mov    %rdi,%rbx
mov    0x90(%rsp),%r9d
mov    0x88(%rsp),%r14d
mov    0x80(%rsp),%r8d
movslq %ecx,%rax
mov    (%rsi,%rax,4),%eax
add    %r14d,%eax
mov    %rax,0x20(%rsp)
mov    0x4(%rsi),%r13d
sub    %r14d,%r13d
cmpl   $0x0,0xb0(%rsp)
mov    %rcx,(%rsp)
mov    %rsi,0x18(%rsp)
mov    %rdi,0x28(%rsp)
je     1290 <dist_4v_unordered_nostrand_v2+0x160>
lea    0xe82(%rip),%rdi
mov    %r15d,%esi
mov    %ecx,%edx
mov    %r8d,%ecx
mov    %r14d,%r8d
xor    %eax,%eax
push   0x20(%rsp)
push   %r13
mov    %rbx,%r12
call   1040 <printf@plt>
add    $0x10,%rsp
lea    0xec3(%rip),%rdi
mov    %r15d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r15,0x8(%rsp)
test   %r15d,%r15d
jle    1213 <dist_4v_unordered_nostrand_v2+0xe3>
mov    0x8(%rsp),%rax
lea    0x1(%rax),%ebx
mov    $0x1,%ebp
lea    0xeb0(%rip),%r15
nopl   0x0(%rax)
mov    (%r12,%rbp,8),%rax
mov    0x4(%rax),%edx
mov    0x8(%rax),%ecx
mov    0xc(%rax),%r8d
mov    %r15,%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%rbx
jne    11f0 <dist_4v_unordered_nostrand_v2+0xc0>
lea    0xe8f(%rip),%rdi
mov    (%rsp),%rbx
mov    %ebx,%esi
xor    %eax,%eax
call   1040 <printf@plt>
test   %ebx,%ebx
mov    0x18(%rsp),%r12
jle    1269 <dist_4v_unordered_nostrand_v2+0x139>
mov    (%rsp),%rax
lea    0x1(%rax),%ebx
mov    $0x1,%ebp
lea    0xe72(%rip),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r12,%rbp,4),%edx
mov    %r15,%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%rbx
jne    1250 <dist_4v_unordered_nostrand_v2+0x120>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %r12,%rsi
mov    0x28(%rsp),%rbx
mov    0x90(%rsp),%r9d
mov    0x80(%rsp),%r8d
mov    0x8(%rsp),%r15
movslq %r15d,%rax
mov    %rax,0x30(%rsp)
mov    (%rbx,%rax,8),%rax
cmp    %r13d,0x4(%rax)
jl     1340 <dist_4v_unordered_nostrand_v2+0x210>
cmp    %r13d,0x8(%rax)
jl     1340 <dist_4v_unordered_nostrand_v2+0x210>
cmp    %r13d,0xc(%rax)
jl     1340 <dist_4v_unordered_nostrand_v2+0x210>
mov    0x8(%rbx),%rax
mov    0x4(%rax),%ecx
mov    0x8(%rax),%edx
mov    0xc(%rax),%r11d
mov    %ecx,%r10d
cmp    %r13d,%ecx
setl   %al
mov    %edx,%ebp
cmp    %r13d,%edx
setl   %cl
cmp    %r13d,%r11d
setl   %dl
mov    $0x1,%r12d
cmp    $0x2,%r15d
jl     1331 <dist_4v_unordered_nostrand_v2+0x201>
or     %cl,%al
or     %dl,%al
je     1331 <dist_4v_unordered_nostrand_v2+0x201>
mov    $0x2,%r12d
nopw   0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    (%rbx,%r12,8),%rdx
cmp    %r13d,0x4(%rdx)
setl   %al
cmp    %r13d,0x8(%rdx)
setl   %cl
cmp    %r13d,0xc(%rdx)
setl   %dl
add    $0x1,%r12
cmp    0x30(%rsp),%rdi
jge    132d <dist_4v_unordered_nostrand_v2+0x1fd>
or     %cl,%al
or     %dl,%al
jne    1300 <dist_4v_unordered_nostrand_v2+0x1d0>
add    $0xffffffff,%r12d
mov    %r10d,%r13d
cmpl   $0x0,0xb0(%rsp)
jne    135d <dist_4v_unordered_nostrand_v2+0x22d>
jmp    1391 <dist_4v_unordered_nostrand_v2+0x261>
lea    0x1(%r15),%r12d
mov    0x8(%rbx),%rax
mov    0x4(%rax),%r13d
mov    0x8(%rax),%ebp
mov    0xc(%rax),%r11d
cmpl   $0x0,0xb0(%rsp)
je     1391 <dist_4v_unordered_nostrand_v2+0x261>
lea    0xd58(%rip),%rdi
mov    %r12d,%esi
mov    %r13d,%edx
mov    %ebp,%ecx
mov    %r11d,%r8d
xor    %eax,%eax
mov    %r11d,%ebx
call   1040 <printf@plt>
mov    %ebx,%r11d
mov    0x80(%rsp),%r8d
mov    0x90(%rsp),%r9d
mov    0x18(%rsp),%rsi
test   %r9d,%r9d
setg   %dl
xor    %eax,%eax
mov    0x20(%rsp),%rcx
cmp    %ecx,%r11d
jge    166c <dist_4v_unordered_nostrand_v2+0x53c>
cmp    %ecx,%ebp
mov    (%rsp),%r11
jge    166c <dist_4v_unordered_nostrand_v2+0x53c>
cmp    %ecx,%r13d
jge    166c <dist_4v_unordered_nostrand_v2+0x53c>
test   %r9d,%r9d
jle    166c <dist_4v_unordered_nostrand_v2+0x53c>
cmp    %r15d,%r12d
jg     166c <dist_4v_unordered_nostrand_v2+0x53c>
add    $0xffffffff,%r12d
lea    0x1(%r11),%r15d
movslq %r12d,%rax
mov    %rax,0x10(%rsp)
movapd 0xc1a(%rip),%xmm1
xor    %r12d,%r12d
nopl   0x0(%rax)
mov    0x10(%rsp),%rax
mov    0x28(%rsp),%rcx
mov    0x8(%rcx,%rax,8),%rcx
add    $0x1,%rax
mov    0x4(%rcx),%ebp
mov    0x8(%rcx),%ebx
mov    0xc(%rcx),%r13d
cmpl   $0x0,0xb0(%rsp)
mov    %rax,%rcx
mov    %rax,0x10(%rsp)
je     1457 <dist_4v_unordered_nostrand_v2+0x327>
lea    0xcb4(%rip),%rdi
mov    %eax,%esi
mov    %ebp,%edx
mov    %ebx,%ecx
mov    %r13d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
movapd 0xbc2(%rip),%xmm1
mov    0x80(%rsp),%r8d
mov    0x90(%rsp),%r9d
mov    0x18(%rsp),%rsi
mov    (%rsp),%r11
test   %r14d,%r14d
mov    %ebx,0x8(%rsp)
jle    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
cmp    %r9d,%r12d
jge    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
test   %r11d,%r11d
jle    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movslq %eax,%rcx
add    $0x1,%eax
mov    0x4(%rsi,%rcx,4),%edi
mov    %edi,%ecx
sub    %ebp,%ecx
xorps  %xmm0,%xmm0
cvtsi2sd %ecx,%xmm0
andpd  %xmm1,%xmm0
cvttsd2si %xmm0,%edx
cmp    %r8d,%edx
jle    1590 <dist_4v_unordered_nostrand_v2+0x460>
cmp    %r14d,%edx
jge    1590 <dist_4v_unordered_nostrand_v2+0x460>
mov    %r8d,%ebx
mov    %r12d,%edx
mov    %ebp,%r12d
mov    %edi,%r10d
mov    0x8(%rsp),%ebp
mov    %ebp,%r11d
sub    %ebp,%r10d
xorps  %xmm0,%xmm0
cvtsi2sd %r10d,%xmm0
andpd  %xmm1,%xmm0
cvttsd2si %xmm0,%ebp
cmp    %r8d,%ebp
jle    15a0 <dist_4v_unordered_nostrand_v2+0x470>
cmp    %r14d,%ebp
jge    15a0 <dist_4v_unordered_nostrand_v2+0x470>
mov    %edi,%ebx
sub    %r13d,%ebx
xorps  %xmm0,%xmm0
cvtsi2sd %ebx,%xmm0
andpd  %xmm1,%xmm0
cvttsd2si %xmm0,%ebp
cmp    %r8d,%ebp
jle    15a2 <dist_4v_unordered_nostrand_v2+0x472>
cmp    %r14d,%ebp
jge    15a2 <dist_4v_unordered_nostrand_v2+0x472>
mov    %edx,%r14d
add    $0x1,%r14d
cmpl   $0x1,0xa0(%rsp)
01
jne    15e6 <dist_4v_unordered_nostrand_v2+0x4b6>
movslq %r14d,%rbp
mov    0xa8(%rsp),%rdx
mov    (%rdx,%rbp,8),%rbp
mov    %r12d,0x4(%rbp)
mov    %r11d,0x8(%rbp)
mov    %r13d,0xc(%rbp)
mov    %edi,0x10(%rbp)
mov    0x28(%rsp),%rdx
mov    0x10(%rsp),%rdi
mov    (%rdx,%rdi,8),%r8
mov    0x10(%r8),%edi
mov    %edi,0x14(%rbp)
mov    0x14(%r8),%edi
mov    %edi,0x18(%rbp)
mov    0x18(%r8),%edi
mov    0x80(%rsp),%r8d
mov    %edi,0x1c(%rbp)
mov    %eax,0x20(%rbp)
pcmpeqd %xmm0,%xmm0
movdqu %xmm0,0x24(%rbp)
mov    (%rsp),%r11
mov    %r12d,%ebp
mov    %r14d,%r12d
mov    0x88(%rsp),%r14d
jmp    15ac <dist_4v_unordered_nostrand_v2+0x47c>
nopl   0x0(%rax,%rax,1)
xor    %r10d,%r10d
xor    %ebx,%ebx
jmp    15ac <dist_4v_unordered_nostrand_v2+0x47c>
nopw   0x0(%rax,%rax,1)
xor    %ebx,%ebx
mov    (%rsp),%r11
mov    %r12d,%ebp
mov    %edx,%r12d
mov    %r15d,%edi
cmp    %r14d,%ebx
jg     15b6 <dist_4v_unordered_nostrand_v2+0x486>
mov    %eax,%edi
mov    %r15d,%eax
cmp    %r14d,%r10d
jg     15c0 <dist_4v_unordered_nostrand_v2+0x490>
mov    %edi,%eax
cmp    %r14d,%ecx
cmovg  %r15d,%eax
cmp    %r14d,%ebx
jge    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
cmp    %r14d,%r10d
jge    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
cmp    %r14d,%ecx
jge    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
cmp    %r9d,%r12d
jge    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
cmp    %r11d,%eax
jl     1480 <dist_4v_unordered_nostrand_v2+0x350>
jmp    1600 <dist_4v_unordered_nostrand_v2+0x4d0>
mov    (%rsp),%r11
mov    %r14d,%edx
mov    0x88(%rsp),%r14d
jmp    15a6 <dist_4v_unordered_nostrand_v2+0x476>
nopw   0x0(%rax,%rax,1)
cmp    %r9d,%r12d
setl   %dl
mov    0x20(%rsp),%rax
cmp    %eax,%r13d
jge    162f <dist_4v_unordered_nostrand_v2+0x4ff>
cmp    %eax,0x8(%rsp)
jge    162f <dist_4v_unordered_nostrand_v2+0x4ff>
cmp    %eax,%ebp
jge    162f <dist_4v_unordered_nostrand_v2+0x4ff>
cmp    %r9d,%r12d
jge    162f <dist_4v_unordered_nostrand_v2+0x4ff>
mov    0x10(%rsp),%rax
cmp    0x30(%rsp),%rax
jl     13f0 <dist_4v_unordered_nostrand_v2+0x2c0>
cmpl   $0x1,0xa0(%rsp)
01
jne    1669 <dist_4v_unordered_nostrand_v2+0x539>
test   %r12d,%r12d
jle    1669 <dist_4v_unordered_nostrand_v2+0x539>
mov    0xa8(%rsp),%rdi
mov    0x38(%rsp),%rsi
mov    %edx,%ebx
mov    0x98(%rsp),%rdx
mov    %r12d,%ecx
mov    $0x4,%r8d
xor    %eax,%eax
call   1050 <remove_overlaps_v2@plt>
mov    %ebx,%edx
jmp    166c <dist_4v_unordered_nostrand_v2+0x53c>
mov    %r12d,%eax
movzbl %dl,%edx
add    $0xffffffff,%edx
mov    0x40(%rsp),%rcx
mov    %edx,0x4(%rcx)
mov    %eax,(%rcx)
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [103 x i8] c"dist_4v_unordered_nostrand_v1\09n123=%d\09n4=%d\0Amin_dist=%d\09max_dist=%d\09max_n_ovdi=%d\09min_p4=%d\09max_p4=%d\0A\00"
@.str.1 = [21 x i8] c"ovdi123_p (n123=%d)\0A\00"
@.str.2 = [13 x i8] c"%d\09%d\09%d\09%d\0A\00"
@.str.3 = [12 x i8] c"m4 (n4=%d)\0A\00"
@.str.4 = [7 x i8] c"%d %d,\00"
@.str.5 = [2 x i8] c"\0A\00"
@.str.6 = [30 x i8] c"\09init_i=%d\09p1=%d\09p2=%d\09p3=%d\0A\00"
@.str.7 = [26 x i8] c"\09\09i=%d\09p1=%d\09p2=%d\09p3=%d\09\00"
define void @dist_4v_unordered_nostrand_v2(i32** %0, i32* %1, i32 %2, i32 %3, i32** %4, i32* %5, i32 %6, i32 %7, i32 %8, i32* %9, i32 %10, i32** %11, i32 %12) {
%14 = alloca i32**
%15 = alloca i32*
%16 = alloca i32
%17 = alloca 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
%31 = alloca i32
%32 = alloca i32
%33 = alloca i32
%34 = alloca i32
%35 = alloca i32
%36 = alloca i32
%37 = alloca i32
%38 = alloca i32
%39 = alloca i32
%40 = alloca i32
%41 = alloca i32
%42 = alloca i32
%43 = alloca i32
store i32** %0, i32*** %14
store i32* %1, i32** %15
store i32 %2, i32* %16
store i32 %3, i32* %17
store i32** %4, i32*** %18
store i32* %5, i32** %19
store i32 %6, i32* %20
store i32 %7, i32* %21
store i32 %8, i32* %22
store i32* %9, i32** %23
store i32 %10, i32* %24
store i32** %11, i32*** %25
store i32 %12, i32* %26
store i32 0, i32* %39
%44 = load i32*, i32** %15
%45 = load i32, i32* %17
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = load i32, i32* %21
%50 = add nsw i32 %48, %49
store i32 %50, i32* %41
%51 = load i32*, i32** %15
%52 = getelementptr inbounds i32, i32* %51, i64 1
%53 = load i32, i32* %52
%54 = load i32, i32* %21
%55 = sub nsw i32 %53, %54
store i32 %55, i32* %42
%56 = load i32, i32* %26
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %120
58: ; preds = %13
%59 = load i32, i32* %16
%60 = load i32, i32* %17
%61 = load i32, i32* %20
%62 = load i32, i32* %21
%63 = load i32, i32* %22
%64 = load i32, i32* %42
%65 = load i32, i32* %41
%66 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([103 x i8], [103 x i8]* @.str, i64 0, i64 0), i32 %59, i32 %60, i32 %61, i32 %62, i32 %63, i32 %64, i32 %65)
%67 = load i32, i32* %16
%68 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.1, i64 0, i64 0), i32 %67)
store i32 1, i32* %27
br label %69
69: ; preds = %97, %58
%70 = load i32, i32* %27
%71 = load i32, i32* %16
%72 = icmp sle i32 %70, %71
br i1 %72, label %73, label %100
73: ; preds = %69
%74 = load i32, i32* %27
%75 = load i32**, i32*** %14
%76 = load i32, i32* %27
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32*, i32** %75, i64 %77
%79 = load i32*, i32** %78
%80 = getelementptr inbounds i32, i32* %79, i64 1
%81 = load i32, i32* %80
%82 = load i32**, i32*** %14
%83 = load i32, i32* %27
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32*, i32** %82, i64 %84
%86 = load i32*, i32** %85
%87 = getelementptr inbounds i32, i32* %86, i64 2
%88 = load i32, i32* %87
%89 = load i32**, i32*** %14
%90 = load i32, i32* %27
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32*, i32** %89, i64 %91
%93 = load i32*, i32** %92
%94 = getelementptr inbounds i32, i32* %93, i64 3
%95 = load i32, i32* %94
%96 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0), i32 %74, i32 %81, i32 %88, i32 %95)
br label %97
97: ; preds = %73
%98 = load i32, i32* %27
%99 = add nsw i32 %98, 1
store i32 %99, i32* %27
br label %69
100: ; preds = %69
%101 = load i32, i32* %17
%102 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0), i32 %101)
store i32 1, i32* %27
br label %103
103: ; preds = %115, %100
%104 = load i32, i32* %27
%105 = load i32, i32* %17
%106 = icmp sle i32 %104, %105
br i1 %106, label %107, label %118
107: ; preds = %103
%108 = load i32, i32* %27
%109 = load i32*, i32** %15
%110 = load i32, i32* %27
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %109, i64 %111
%113 = load i32, i32* %112
%114 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.4, i64 0, i64 0), i32 %108, i32 %113)
br label %115
115: ; preds = %107
%116 = load i32, i32* %27
%117 = add nsw i32 %116, 1
store i32 %117, i32* %27
br label %103
118: ; preds = %103
%119 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
br label %120
120: ; preds = %118, %13
%121 = load i32**, i32*** %14
%122 = load i32, i32* %16
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32*, i32** %121, i64 %123
%125 = load i32*, i32** %124
%126 = getelementptr inbounds i32, i32* %125, i64 1
%127 = load i32, i32* %126
%128 = load i32, i32* %42
%129 = icmp slt i32 %127, %128
%130 = zext i1 %129 to i32
%131 = load i32**, i32*** %14
%132 = load i32, i32* %16
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i32*, i32** %131, i64 %133
%135 = load i32*, i32** %134
%136 = getelementptr inbounds i32, i32* %135, i64 2
%137 = load i32, i32* %136
%138 = load i32, i32* %42
%139 = icmp slt i32 %137, %138
%140 = zext i1 %139 to i32
%141 = or i32 %130, %140
%142 = load i32**, i32*** %14
%143 = load i32, i32* %16
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32*, i32** %142, i64 %144
%146 = load i32*, i32** %145
%147 = getelementptr inbounds i32, i32* %146, i64 3
%148 = load i32, i32* %147
%149 = load i32, i32* %42
%150 = icmp slt i32 %148, %149
%151 = zext i1 %150 to i32
%152 = or i32 %141, %151
%153 = icmp ne i32 %152, 0
br i1 %153, label %154, label %157
154: ; preds = %120
%155 = load i32, i32* %16
%156 = add nsw i32 %155, 1
store i32 %156, i32* %43
br label %225
157: ; preds = %120
store i32 1, i32* %43
%158 = load i32**, i32*** %14
%159 = load i32, i32* %43
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i32*, i32** %158, i64 %160
%162 = load i32*, i32** %161
%163 = getelementptr inbounds i32, i32* %162, i64 1
%164 = load i32, i32* %163
store i32 %164, i32* %29
%165 = load i32**, i32*** %14
%166 = load i32, i32* %43
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32*, i32** %165, i64 %167
%169 = load i32*, i32** %168
%170 = getelementptr inbounds i32, i32* %169, i64 2
%171 = load i32, i32* %170
store i32 %171, i32* %30
%172 = load i32**, i32*** %14
%173 = load i32, i32* %43
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds i32*, i32** %172, i64 %174
%176 = load i32*, i32** %175
%177 = getelementptr inbounds i32, i32* %176, i64 3
%178 = load i32, i32* %177
store i32 %178, i32* %31
br label %179
179: ; preds = %200, %157
%180 = load i32, i32* %29
%181 = load i32, i32* %42
%182 = icmp slt i32 %180, %181
%183 = zext i1 %182 to i32
%184 = load i32, i32* %30
%185 = load i32, i32* %42
%186 = icmp slt i32 %184, %185
%187 = zext i1 %186 to i32
%188 = or i32 %183, %187
%189 = load i32, i32* %31
%190 = load i32, i32* %42
%191 = icmp slt i32 %189, %190
%192 = zext i1 %191 to i32
%193 = or i32 %188, %192
%194 = load i32, i32* %43
%195 = load i32, i32* %16
%196 = icmp slt i32 %194, %195
%197 = zext i1 %196 to i32
%198 = and i32 %193, %197
%199 = icmp ne i32 %198, 0
br i1 %199, label %200, label %224
200: ; preds = %179
%201 = load i32, i32* %43
%202 = add nsw i32 %201, 1
store i32 %202, i32* %43
%203 = load i32**, i32*** %14
%204 = load i32, i32* %43
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds i32*, i32** %203, i64 %205
%207 = load i32*, i32** %206
%208 = getelementptr inbounds i32, i32* %207, i64 1
%209 = load i32, i32* %208
store i32 %209, i32* %29
%210 = load i32**, i32*** %14
%211 = load i32, i32* %43
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds i32*, i32** %210, i64 %212
%214 = load i32*, i32** %213
%215 = getelementptr inbounds i32, i32* %214, i64 2
%216 = load i32, i32* %215
store i32 %216, i32* %30
%217 = load i32**, i32*** %14
%218 = load i32, i32* %43
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i32*, i32** %217, i64 %219
%221 = load i32*, i32** %220
%222 = getelementptr inbounds i32, i32* %221, i64 3
%223 = load i32, i32* %222
store i32 %223, i32* %31
br label %179
224: ; preds = %179
br label %225
225: ; preds = %224, %154
%226 = load i32, i32* %43
%227 = sub nsw i32 %226, 1
store i32 %227, i32* %27
%228 = load i32**, i32*** %14
%229 = getelementptr inbounds i32*, i32** %228, i64 1
%230 = load i32*, i32** %229
%231 = getelementptr inbounds i32, i32* %230, i64 1
%232 = load i32, i32* %231
store i32 %232, i32* %29
%233 = load i32**, i32*** %14
%234 = getelementptr inbounds i32*, i32** %233, i64 1
%235 = load i32*, i32** %234
%236 = getelementptr inbounds i32, i32* %235, i64 2
%237 = load i32, i32* %236
store i32 %237, i32* %30
%238 = load i32**, i32*** %14
%239 = getelementptr inbounds i32*, i32** %238, i64 1
%240 = load i32*, i32** %239
%241 = getelementptr inbounds i32, i32* %240, i64 3
%242 = load i32, i32* %241
store i32 %242, i32* %31
%243 = load i32, i32* %26
%244 = icmp ne i32 %243, 0
br i1 %244, label %245, label %251
245: ; preds = %225
%246 = load i32, i32* %43
%247 = load i32, i32* %29
%248 = load i32, i32* %30
%249 = load i32, i32* %31
%250 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.6, i64 0, i64 0), i32 %246, i32 %247, i32 %248, i32 %249)
br label %251
251: ; preds = %245, %225
br label %252
252: ; preds = %525, %251
%253 = load i32, i32* %27
%254 = load i32, i32* %16
%255 = icmp slt i32 %253, %254
%256 = zext i1 %255 to i32
%257 = load i32, i32* %39
%258 = load i32, i32* %22
%259 = icmp slt i32 %257, %258
%260 = zext i1 %259 to i32
%261 = and i32 %256, %260
%262 = load i32, i32* %29
%263 = load i32, i32* %41
%264 = icmp slt i32 %262, %263
%265 = zext i1 %264 to i32
%266 = and i32 %261, %265
%267 = load i32, i32* %30
%268 = load i32, i32* %41
%269 = icmp slt i32 %267, %268
%270 = zext i1 %269 to i32
%271 = and i32 %266, %270
%272 = load i32, i32* %31
%273 = load i32, i32* %41
%274 = icmp slt i32 %272, %273
%275 = zext i1 %274 to i32
%276 = and i32 %271, %275
%277 = icmp ne i32 %276, 0
br i1 %277, label %278, label %526
278: ; preds = %252
%279 = load i32, i32* %27
%280 = add nsw i32 %279, 1
store i32 %280, i32* %27
store i32 0, i32* %28
%281 = load i32**, i32*** %14
%282 = load i32, i32* %27
%283 = sext i32 %282 to i64
%284 = getelementptr inbounds i32*, i32** %281, i64 %283
%285 = load i32*, i32** %284
%286 = getelementptr inbounds i32, i32* %285, i64 1
%287 = load i32, i32* %286
store i32 %287, i32* %29
%288 = load i32**, i32*** %14
%289 = load i32, i32* %27
%290 = sext i32 %289 to i64
%291 = getelementptr inbounds i32*, i32** %288, i64 %290
%292 = load i32*, i32** %291
%293 = getelementptr inbounds i32, i32* %292, i64 2
%294 = load i32, i32* %293
store i32 %294, i32* %30
%295 = load i32**, i32*** %14
%296 = load i32, i32* %27
%297 = sext i32 %296 to i64
%298 = getelementptr inbounds i32*, i32** %295, i64 %297
%299 = load i32*, i32** %298
%300 = getelementptr inbounds i32, i32* %299, i64 3
%301 = load i32, i32* %300
store i32 %301, i32* %31
store i32 0, i32* %33
store i32 0, i32* %34
store i32 0, i32* %35
%302 = load i32, i32* %26
%303 = icmp ne i32 %302, 0
br i1 %303, label %304, label %310
304: ; preds = %278
%305 = load i32, i32* %27
%306 = load i32, i32* %29
%307 = load i32, i32* %30
%308 = load i32, i32* %31
%309 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.7, i64 0, i64 0), i32 %305, i32 %306, i32 %307, i32 %308)
br label %310
310: ; preds = %304, %278
br label %311
311: ; preds = %524, %310
%312 = load i32, i32* %28
%313 = load i32, i32* %17
%314 = icmp slt i32 %312, %313
%315 = zext i1 %314 to i32
%316 = load i32, i32* %39
%317 = load i32, i32* %22
%318 = icmp slt i32 %316, %317
%319 = zext i1 %318 to i32
%320 = and i32 %315, %319
%321 = load i32, i32* %33
%322 = load i32, i32* %21
%323 = icmp slt i32 %321, %322
%324 = zext i1 %323 to i32
%325 = and i32 %320, %324
%326 = load i32, i32* %34
%327 = load i32, i32* %21
%328 = icmp slt i32 %326, %327
%329 = zext i1 %328 to i32
%330 = and i32 %325, %329
%331 = load i32, i32* %35
%332 = load i32, i32* %21
%333 = icmp slt i32 %331, %332
%334 = zext i1 %333 to i32
%335 = and i32 %330, %334
%336 = icmp ne i32 %335, 0
br i1 %336, label %337, label %525
337: ; preds = %311
%338 = load i32, i32* %28
%339 = add nsw i32 %338, 1
store i32 %339, i32* %28
%340 = load i32*, i32** %15
%341 = load i32, i32* %28
%342 = sext i32 %341 to i64
%343 = getelementptr inbounds i32, i32* %340, i64 %342
%344 = load i32, i32* %343
store i32 %344, i32* %32
store i32 0, i32* %34
store i32 0, i32* %35
%345 = load i32, i32* %32
%346 = load i32, i32* %29
%347 = sub nsw i32 %345, %346
store i32 %347, i32* %33
%348 = load i32, i32* %33
%349 = sitofp i32 %348 to double
%350 = call double @llvm.fabs.f64(double %349)
%351 = fptosi double %350 to i32
store i32 %351, i32* %36
%352 = load i32, i32* %36
%353 = load i32, i32* %20
%354 = icmp sgt i32 %352, %353
%355 = zext i1 %354 to i32
%356 = load i32, i32* %36
%357 = load i32, i32* %21
%358 = icmp slt i32 %356, %357
%359 = zext i1 %358 to i32
%360 = and i32 %355, %359
%361 = icmp ne i32 %360, 0
br i1 %361, label %362, label %505
362: ; preds = %337
%363 = load i32, i32* %32
%364 = load i32, i32* %30
%365 = sub nsw i32 %363, %364
store i32 %365, i32* %34
%366 = load i32, i32* %34
%367 = sitofp i32 %366 to double
%368 = call double @llvm.fabs.f64(double %367)
%369 = fptosi double %368 to i32
store i32 %369, i32* %37
%370 = load i32, i32* %37
%371 = load i32, i32* %20
%372 = icmp sgt i32 %370, %371
%373 = zext i1 %372 to i32
%374 = load i32, i32* %37
%375 = load i32, i32* %21
%376 = icmp slt i32 %374, %375
%377 = zext i1 %376 to i32
%378 = and i32 %373, %377
%379 = icmp ne i32 %378, 0
br i1 %379, label %380, label %504
380: ; preds = %362
%381 = load i32, i32* %32
%382 = load i32, i32* %31
%383 = sub nsw i32 %381, %382
store i32 %383, i32* %35
%384 = load i32, i32* %35
%385 = sitofp i32 %384 to double
%386 = call double @llvm.fabs.f64(double %385)
%387 = fptosi double %386 to i32
store i32 %387, i32* %38
%388 = load i32, i32* %38
%389 = load i32, i32* %20
%390 = icmp sgt i32 %388, %389
%391 = zext i1 %390 to i32
%392 = load i32, i32* %38
%393 = load i32, i32* %21
%394 = icmp slt i32 %392, %393
%395 = zext i1 %394 to i32
%396 = and i32 %391, %395
%397 = icmp ne i32 %396, 0
br i1 %397, label %398, label %503
398: ; preds = %380
%399 = load i32, i32* %39
%400 = add nsw i32 %399, 1
store i32 %400, i32* %39
%401 = load i32, i32* %24
%402 = icmp eq i32 %401, 1
br i1 %402, label %403, label %502
403: ; preds = %398
%404 = load i32, i32* %29
%405 = load i32**, i32*** %25
%406 = load i32, i32* %39
%407 = sext i32 %406 to i64
%408 = getelementptr inbounds i32*, i32** %405, i64 %407
%409 = load i32*, i32** %408
%410 = getelementptr inbounds i32, i32* %409, i64 1
store i32 %404, i32* %410
%411 = load i32, i32* %30
%412 = load i32**, i32*** %25
%413 = load i32, i32* %39
%414 = sext i32 %413 to i64
%415 = getelementptr inbounds i32*, i32** %412, i64 %414
%416 = load i32*, i32** %415
%417 = getelementptr inbounds i32, i32* %416, i64 2
store i32 %411, i32* %417
%418 = load i32, i32* %31
%419 = load i32**, i32*** %25
%420 = load i32, i32* %39
%421 = sext i32 %420 to i64
%422 = getelementptr inbounds i32*, i32** %419, i64 %421
%423 = load i32*, i32** %422
%424 = getelementptr inbounds i32, i32* %423, i64 3
store i32 %418, i32* %424
%425 = load i32, i32* %32
%426 = load i32**, i32*** %25
%427 = load i32, i32* %39
%428 = sext i32 %427 to i64
%429 = getelementptr inbounds i32*, i32** %426, i64 %428
%430 = load i32*, i32** %429
%431 = getelementptr inbounds i32, i32* %430, i64 4
store i32 %425, i32* %431
%432 = load i32**, i32*** %14
%433 = load i32, i32* %27
%434 = sext i32 %433 to i64
%435 = getelementptr inbounds i32*, i32** %432, i64 %434
%436 = load i32*, i32** %435
%437 = getelementptr inbounds i32, i32* %436, i64 4
%438 = load i32, i32* %437
%439 = load i32**, i32*** %25
%440 = load i32, i32* %39
%441 = sext i32 %440 to i64
%442 = getelementptr inbounds i32*, i32** %439, i64 %441
%443 = load i32*, i32** %442
%444 = getelementptr inbounds i32, i32* %443, i64 5
store i32 %438, i32* %444
%445 = load i32**, i32*** %14
%446 = load i32, i32* %27
%447 = sext i32 %446 to i64
%448 = getelementptr inbounds i32*, i32** %445, i64 %447
%449 = load i32*, i32** %448
%450 = getelementptr inbounds i32, i32* %449, i64 5
%451 = load i32, i32* %450
%452 = load i32**, i32*** %25
%453 = load i32, i32* %39
%454 = sext i32 %453 to i64
%455 = getelementptr inbounds i32*, i32** %452, i64 %454
%456 = load i32*, i32** %455
%457 = getelementptr inbounds i32, i32* %456, i64 6
store i32 %451, i32* %457
%458 = load i32**, i32*** %14
%459 = load i32, i32* %27
%460 = sext i32 %459 to i64
%461 = getelementptr inbounds i32*, i32** %458, i64 %460
%462 = load i32*, i32** %461
%463 = getelementptr inbounds i32, i32* %462, i64 6
%464 = load i32, i32* %463
%465 = load i32**, i32*** %25
%466 = load i32, i32* %39
%467 = sext i32 %466 to i64
%468 = getelementptr inbounds i32*, i32** %465, i64 %467
%469 = load i32*, i32** %468
%470 = getelementptr inbounds i32, i32* %469, i64 7
store i32 %464, i32* %470
%471 = load i32, i32* %28
%472 = load i32**, i32*** %25
%473 = load i32, i32* %39
%474 = sext i32 %473 to i64
%475 = getelementptr inbounds i32*, i32** %472, i64 %474
%476 = load i32*, i32** %475
%477 = getelementptr inbounds i32, i32* %476, i64 8
store i32 %471, i32* %477
%478 = load i32**, i32*** %25
%479 = load i32, i32* %39
%480 = sext i32 %479 to i64
%481 = getelementptr inbounds i32*, i32** %478, i64 %480
%482 = load i32*, i32** %481
%483 = getelementptr inbounds i32, i32* %482, i64 9
store i32 -1, i32* %483
%484 = load i32**, i32*** %25
%485 = load i32, i32* %39
%486 = sext i32 %485 to i64
%487 = getelementptr inbounds i32*, i32** %484, i64 %486
%488 = load i32*, i32** %487
%489 = getelementptr inbounds i32, i32* %488, i64 10
store i32 -1, i32* %489
%490 = load i32**, i32*** %25
%491 = load i32, i32* %39
%492 = sext i32 %491 to i64
%493 = getelementptr inbounds i32*, i32** %490, i64 %492
%494 = load i32*, i32** %493
%495 = getelementptr inbounds i32, i32* %494, i64 11
store i32 -1, i32* %495
%496 = load i32**, i32*** %25
%497 = load i32, i32* %39
%498 = sext i32 %497 to i64
%499 = getelementptr inbounds i32*, i32** %496, i64 %498
%500 = load i32*, i32** %499
%501 = getelementptr inbounds i32, i32* %500, i64 12
store i32 -1, i32* %501
br label %502
502: ; preds = %403, %398
br label %503
503: ; preds = %502, %380
br label %504
504: ; preds = %503, %362
br label %505
505: ; preds = %504, %337
%506 = load i32, i32* %33
%507 = load i32, i32* %21
%508 = icmp sgt i32 %506, %507
%509 = zext i1 %508 to i32
%510 = load i32, i32* %34
%511 = load i32, i32* %21
%512 = icmp sgt i32 %510, %511
%513 = zext i1 %512 to i32
%514 = or i32 %509, %513
%515 = load i32, i32* %35
%516 = load i32, i32* %21
%517 = icmp sgt i32 %515, %516
%518 = zext i1 %517 to i32
%519 = or i32 %514, %518
%520 = icmp ne i32 %519, 0
br i1 %520, label %521, label %524
521: ; preds = %505
%522 = load i32, i32* %17
%523 = add nsw i32 %522, 1
store i32 %523, i32* %28
br label %524
524: ; preds = %521, %505
br label %311
525: ; preds = %311
br label %252
526: ; preds = %252
%527 = load i32, i32* %39
%528 = icmp sgt i32 %527, 0
%529 = zext i1 %528 to i32
%530 = load i32, i32* %24
%531 = icmp eq i32 %530, 1
%532 = zext i1 %531 to i32
%533 = and i32 %529, %532
%534 = icmp ne i32 %533, 0
br i1 %534, label %535, label %541
535: ; preds = %526
%536 = load i32**, i32*** %25
%537 = load i32**, i32*** %18
%538 = load i32*, i32** %23
%539 = load i32, i32* %39
%540 = call i32 (i32**, i32**, i32*, i32, i32, ...) bitcast (i32 (...)* @remove_overlaps_v2 to i32 (i32**, i32**, i32*, i32, i32, ...)*)(i32** %536, i32** %537, i32* %538, i32 %539, i32 4)
store i32 %540, i32* %40
br label %543
541: ; preds = %526
%542 = load i32, i32* %39
store i32 %542, i32* %40
br label %543
543: ; preds = %541, %535
%544 = load i32*, i32** %19
%545 = getelementptr inbounds i32, i32* %544, i64 1
store i32 0, i32* %545
%546 = load i32, i32* %39
%547 = load i32, i32* %22
%548 = icmp sge i32 %546, %547
br i1 %548, label %549, label %552
549: ; preds = %543
%550 = load i32*, i32** %19
%551 = getelementptr inbounds i32, i32* %550, i64 1
store i32 -1, i32* %551
br label %552
552: ; preds = %549, %543
%553 = load i32, i32* %40
%554 = load i32*, i32** %19
%555 = getelementptr inbounds i32, i32* %554, i64 0
store i32 %553, i32* %555
ret void
}

LLVM IR (-O2):
@.str = [103 x i8] c"dist_4v_unordered_nostrand_v1\09n123=%d\09n4=%d\0Amin_dist=%d\09max_dist=%d\09max_n_ovdi=%d\09min_p4=%d\09max_p4=%d\0A\00"
@.str.1 = [21 x i8] c"ovdi123_p (n123=%d)\0A\00"
@.str.2 = [13 x i8] c"%d\09%d\09%d\09%d\0A\00"
@.str.3 = [12 x i8] c"m4 (n4=%d)\0A\00"
@.str.4 = [7 x i8] c"%d %d,\00"
@.str.6 = [30 x i8] c"\09init_i=%d\09p1=%d\09p2=%d\09p3=%d\0A\00"
@.str.7 = [26 x i8] c"\09\09i=%d\09p1=%d\09p2=%d\09p3=%d\09\00"
define void @dist_4v_unordered_nostrand_v2(i32** nocapture %0, i32* nocapture %1, i32 %2, i32 %3, i32** %4, i32* nocapture writeonly %5, i32 %6, i32 %7, i32 %8, i32* %9, i32 %10, i32** %11, i32 %12) {
%14 = sext i32 %3 to i64
%15 = getelementptr inbounds i32, i32* %1, i64 %14
%16 = load i32, i32* %15
%17 = add nsw i32 %16, %7
%18 = getelementptr inbounds i32, i32* %1, i64 1
%19 = load i32, i32* %18
%20 = sub nsw i32 %19, %7
%21 = icmp eq i32 %12, 0
br i1 %21, label %59, label %22
22: ; preds = %13
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([103 x i8], [103 x i8]* @.str, i64 0, i64 0), i32 %2, i32 %3, i32 %6, i32 %7, i32 %8, i32 %20, i32 %17)
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%25 = icmp slt i32 %2, 1
br i1 %25, label %43, label %26
26: ; preds = %22
%27 = add nuw i32 %2, 1
%28 = zext i32 %27 to i64
br label %29
29: ; preds = %26, %29
%30 = phi i64 [ 1, %26 ], [ %41, %29 ]
%31 = getelementptr inbounds i32*, i32** %0, i64 %30
%32 = load i32*, i32** %31
%33 = getelementptr inbounds i32, i32* %32, i64 1
%34 = load i32, i32* %33
%35 = getelementptr inbounds i32, i32* %32, i64 2
%36 = load i32, i32* %35
%37 = getelementptr inbounds i32, i32* %32, i64 3
%38 = load i32, i32* %37
%39 = trunc i64 %30 to i32
%40 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0), i32 %39, i32 %34, i32 %36, i32 %38)
%41 = add nuw nsw i64 %30, 1
%42 = icmp eq i64 %41, %28
br i1 %42, label %43, label %29
43: ; preds = %29, %22
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0), i32 %3)
%45 = icmp slt i32 %3, 1
br i1 %45, label %57, label %46
46: ; preds = %43
%47 = add nuw i32 %3, 1
%48 = zext i32 %47 to i64
br label %49
49: ; preds = %46, %49
%50 = phi i64 [ 1, %46 ], [ %55, %49 ]
%51 = getelementptr inbounds i32, i32* %1, i64 %50
%52 = load i32, i32* %51
%53 = trunc i64 %50 to i32
%54 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str.4, i64 0, i64 0), i32 %53, i32 %52)
%55 = add nuw nsw i64 %50, 1
%56 = icmp eq i64 %55, %48
br i1 %56, label %57, label %49
57: ; preds = %49, %43
%58 = tail call i32 @putchar(i32 10)
br label %59
59: ; preds = %57, %13
%60 = sext i32 %2 to i64
%61 = getelementptr inbounds i32*, i32** %0, i64 %60
%62 = load i32*, i32** %61
%63 = getelementptr inbounds i32, i32* %62, i64 1
%64 = load i32, i32* %63
%65 = icmp slt i32 %64, %20
%66 = getelementptr inbounds i32, i32* %62, i64 2
%67 = load i32, i32* %66
%68 = icmp slt i32 %67, %20
%69 = or i1 %65, %68
%70 = getelementptr inbounds i32, i32* %62, i64 3
%71 = load i32, i32* %70
%72 = icmp slt i32 %71, %20
%73 = or i1 %69, %72
br i1 %73, label %74, label %84
74: ; preds = %59
%75 = add nsw i32 %2, 1
%76 = getelementptr inbounds i32*, i32** %0, i64 1
%77 = load i32*, i32** %76
%78 = getelementptr inbounds i32, i32* %77, i64 1
%79 = load i32, i32* %78
%80 = getelementptr inbounds i32, i32* %77, i64 2
%81 = load i32, i32* %80
%82 = getelementptr inbounds i32, i32* %77, i64 3
%83 = load i32, i32* %82
br label %120
84: ; preds = %59
%85 = getelementptr inbounds i32*, i32** %0, i64 1
%86 = load i32*, i32** %85
%87 = getelementptr inbounds i32, i32* %86, i64 1
%88 = load i32, i32* %87
%89 = getelementptr inbounds i32, i32* %86, i64 2
%90 = load i32, i32* %89
%91 = getelementptr inbounds i32, i32* %86, i64 3
%92 = load i32, i32* %91
%93 = icmp slt i32 %88, %20
%94 = icmp slt i32 %90, %20
%95 = or i1 %93, %94
%96 = icmp slt i32 %92, %20
%97 = or i1 %95, %96
%98 = icmp sgt i32 %2, 1
%99 = and i1 %98, %97
br i1 %99, label %100, label %120
100: ; preds = %84, %100
%101 = phi i64 [ %102, %100 ], [ 1, %84 ]
%102 = add nuw nsw i64 %101, 1
%103 = getelementptr inbounds i32*, i32** %0, i64 %102
%104 = load i32*, i32** %103
%105 = getelementptr inbounds i32, i32* %104, i64 1
%106 = load i32, i32* %105
%107 = getelementptr inbounds i32, i32* %104, i64 2
%108 = load i32, i32* %107
%109 = getelementptr inbounds i32, i32* %104, i64 3
%110 = load i32, i32* %109
%111 = icmp slt i32 %106, %20
%112 = icmp slt i32 %108, %20
%113 = or i1 %111, %112
%114 = icmp slt i32 %110, %20
%115 = or i1 %113, %114
%116 = icmp slt i64 %102, %60
%117 = and i1 %116, %115
br i1 %117, label %100, label %118
118: ; preds = %100
%119 = trunc i64 %102 to i32
br label %120
120: ; preds = %118, %84, %74
%121 = phi i32 [ %83, %74 ], [ %92, %84 ], [ %92, %118 ]
%122 = phi i32 [ %81, %74 ], [ %90, %84 ], [ %90, %118 ]
%123 = phi i32 [ %79, %74 ], [ %88, %84 ], [ %88, %118 ]
%124 = phi i32 [ %75, %74 ], [ 1, %84 ], [ %119, %118 ]
%125 = add i32 %124, -1
br i1 %21, label %128, label %126
126: ; preds = %120
%127 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.6, i64 0, i64 0), i32 %124, i32 %123, i32 %122, i32 %121)
br label %128
128: ; preds = %126, %120
%129 = icmp sle i32 %124, %2
%130 = icmp sgt i32 %8, 0
%131 = and i1 %130, %129
%132 = icmp slt i32 %123, %17
%133 = and i1 %132, %131
%134 = icmp slt i32 %122, %17
%135 = and i1 %134, %133
%136 = icmp slt i32 %121, %17
%137 = and i1 %136, %135
br i1 %137, label %138, label %252
138: ; preds = %128
%139 = icmp sgt i32 %3, 0
%140 = icmp sgt i32 %7, 0
%141 = icmp eq i32 %10, 1
%142 = add nsw i32 %3, 1
%143 = sext i32 %125 to i64
br label %155
144: ; preds = %227, %170
%145 = phi i32 [ %157, %170 ], [ %230, %227 ]
%146 = icmp slt i64 %158, %60
%147 = icmp slt i32 %145, %8
%148 = and i1 %147, %146
%149 = icmp slt i32 %162, %17
%150 = and i1 %149, %148
%151 = icmp slt i32 %164, %17
%152 = and i1 %151, %150
%153 = icmp slt i32 %166, %17
%154 = and i1 %153, %152
br i1 %154, label %155, label %246
155: ; preds = %138, %144
%156 = phi i64 [ %143, %138 ], [ %158, %144 ]
%157 = phi i32 [ 0, %138 ], [ %145, %144 ]
%158 = add nsw i64 %156, 1
%159 = getelementptr inbounds i32*, i32** %0, i64 %158
%160 = load i32*, i32** %159
%161 = getelementptr inbounds i32, i32* %160, i64 1
%162 = load i32, i32* %161
%163 = getelementptr inbounds i32, i32* %160, i64 2
%164 = load i32, i32* %163
%165 = getelementptr inbounds i32, i32* %160, i64 3
%166 = load i32, i32* %165
br i1 %21, label %170, label %167
167: ; preds = %155
%168 = trunc i64 %158 to i32
%169 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str.7, i64 0, i64 0), i32 %168, i32 %162, i32 %164, i32 %166)
br label %170
170: ; preds = %167, %155
%171 = icmp slt i32 %157, %8
%172 = and i1 %171, %139
%173 = and i1 %140, %172
br i1 %173, label %174, label %144
174: ; preds = %170, %227
%175 = phi i32 [ %236, %227 ], [ 0, %170 ]
%176 = phi i32 [ %230, %227 ], [ %157, %170 ]
%177 = add nsw i32 %175, 1
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %1, i64 %178
%180 = load i32, i32* %179
%181 = sub nsw i32 %180, %162
%182 = sitofp i32 %181 to double
%183 = tail call double @llvm.fabs.f64(double %182)
%184 = fptosi double %183 to i32
%185 = icmp sgt i32 %184, %6
%186 = icmp slt i32 %184, %7
%187 = and i1 %185, %186
br i1 %187, label %188, label %227
188: ; preds = %174
%189 = sub nsw i32 %180, %164
%190 = sitofp i32 %189 to double
%191 = tail call double @llvm.fabs.f64(double %190)
%192 = fptosi double %191 to i32
%193 = icmp sgt i32 %192, %6
%194 = icmp slt i32 %192, %7
%195 = and i1 %193, %194
br i1 %195, label %196, label %227
196: ; preds = %188
%197 = sub nsw i32 %180, %166
%198 = sitofp i32 %197 to double
%199 = tail call double @llvm.fabs.f64(double %198)
%200 = fptosi double %199 to i32
%201 = icmp sgt i32 %200, %6
%202 = icmp slt i32 %200, %7
%203 = and i1 %201, %202
br i1 %203, label %204, label %227
204: ; preds = %196
%205 = add nsw i32 %176, 1
br i1 %141, label %206, label %227
206: ; preds = %204
%207 = sext i32 %205 to i64
%208 = getelementptr inbounds i32*, i32** %11, i64 %207
%209 = load i32*, i32** %208
%210 = getelementptr inbounds i32, i32* %209, i64 1
store i32 %162, i32* %210
%211 = getelementptr inbounds i32, i32* %209, i64 2
store i32 %164, i32* %211
%212 = getelementptr inbounds i32, i32* %209, i64 3
store i32 %166, i32* %212
%213 = getelementptr inbounds i32, i32* %209, i64 4
store i32 %180, i32* %213
%214 = load i32*, i32** %159
%215 = getelementptr inbounds i32, i32* %214, i64 4
%216 = load i32, i32* %215
%217 = getelementptr inbounds i32, i32* %209, i64 5
store i32 %216, i32* %217
%218 = getelementptr inbounds i32, i32* %214, i64 5
%219 = load i32, i32* %218
%220 = getelementptr inbounds i32, i32* %209, i64 6
store i32 %219, i32* %220
%221 = getelementptr inbounds i32, i32* %214, i64 6
%222 = load i32, i32* %221
%223 = getelementptr inbounds i32, i32* %209, i64 7
store i32 %222, i32* %223
%224 = getelementptr inbounds i32, i32* %209, i64 8
store i32 %177, i32* %224
%225 = getelementptr inbounds i32, i32* %209, i64 9
%226 = bitcast i32* %225 to i8*
br label %227
227: ; preds = %188, %204, %206, %196, %174
%228 = phi i32 [ %189, %206 ], [ %189, %204 ], [ %189, %196 ], [ %189, %188 ], [ 0, %174 ]
%229 = phi i32 [ %197, %206 ], [ %197, %204 ], [ %197, %196 ], [ 0, %188 ], [ 0, %174 ]
%230 = phi i32 [ %205, %206 ], [ %205, %204 ], [ %176, %196 ], [ %176, %188 ], [ %176, %174 ]
%231 = icmp sgt i32 %181, %7
%232 = icmp sgt i32 %228, %7
%233 = or i1 %231, %232
%234 = icmp sgt i32 %229, %7
%235 = or i1 %233, %234
%236 = select i1 %235, i32 %142, i32 %177
%237 = icmp slt i32 %236, %3
%238 = icmp slt i32 %230, %8
%239 = and i1 %238, %237
%240 = icmp slt i32 %181, %7
%241 = and i1 %240, %239
%242 = icmp slt i32 %228, %7
%243 = and i1 %242, %241
%244 = icmp slt i32 %229, %7
%245 = and i1 %244, %243
br i1 %245, label %174, label %144
246: ; preds = %144
%247 = icmp sgt i32 %145, 0
%248 = icmp eq i32 %10, 1
%249 = and i1 %248, %247
br i1 %249, label %250, label %252
250: ; preds = %246
%251 = tail call i32 (i32**, i32**, i32*, i32, i32, ...) bitcast (i32 (...)* @remove_overlaps_v2 to i32 (i32**, i32**, i32*, i32, i32, ...)*)(i32** %11, i32** %4, i32* %9, i32 %145, i32 4)
br label %252
252: ; preds = %128, %246, %250
%253 = phi i1 [ %147, %250 ], [ %147, %246 ], [ %130, %128 ]
%254 = phi i32 [ %251, %250 ], [ %145, %246 ], [ 0, %128 ]
%255 = xor i1 %253, true
%256 = sext i1 %255 to i32
%257 = getelementptr inbounds i32, i32* %5, i64 1
store i32 %256, i32* %257
store i32 %254, i32* %5
ret void
}