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

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int fabs(int);
int /*<<< orphan*/ printf(char *, int, ...);
int remove_overlaps_v2(int **, int **, int *, int, int);
void dist_3v_unordered_v4(int **ovdi12_p, int *m3_p, char *m3_s, int n12,
                          int n3, 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;
  char s1, s2, s3;
  int ad13, ad23;
  int d13, d23;
  int index1, index2;
  int d;
  int max_p3;
  int min_p3;
  int n_ovdi = 0;
  int n_cooc;
  int init_i;
  if (verbose)
    printf("\tdist_3v_unordered_v4\tmax_dist=%d\tmin_dist=%d\tn12=%d\tn3=%"
           "d\tmax_n_ovdi=%d\n",
           max_dist, min_dist, n12, n3, max_n_ovdi);
  max_p3 = m3_p[n3] + max_dist;
  min_p3 = m3_p[1] - max_dist;
  if ((ovdi12_p[n12][1] < min_p3) | (ovdi12_p[n12][2] < min_p3)) {
    init_i = n12 + 1;
  } else {
    init_i = 1;
    p1 = ovdi12_p[init_i][1];
    p2 = ovdi12_p[init_i][2];
    while (((p1 < min_p3) | (p2 < min_p3)) & (init_i < n12)) {
      init_i++;
      p1 = ovdi12_p[init_i][1];
      p2 = ovdi12_p[init_i][2];
    }
  }
  i = init_i - 1;
  p1 = ovdi12_p[1][1];
  p2 = ovdi12_p[1][2];
  while ((i < n12) & (n_ovdi < max_n_ovdi) & (p1 < max_p3) & (p2 < max_p3)) {
    i++;
    j = 0;
    p1 = ovdi12_p[i][1];
    p2 = ovdi12_p[i][2];
    s1 = ovdi12_p[i][5];
    s2 = ovdi12_p[i][6];
    d13 = 0;
    d23 = 0;
    if (verbose)
      printf("\ni=%d\tp1=%d\tp2=%d\ts1=%d\ts2=%d\tn_ovdi=%d\n", i, p1, p2, s1,
             s2, n_ovdi);
    while ((j < n3) & (n_ovdi < max_n_ovdi) & (d13 < max_dist) &
           (d23 < max_dist)) {
      j++;
      p3 = m3_p[j];
      s3 = m3_s[j];
      if (verbose)
        printf("\tj=%d\tp3=%d\ts3=%d\t", j, p3, s3);
      d13 = 0;
      d23 = 0;
      if (((s2 == 1) & (s3 == 1)) | ((s2 == 0) & (s3 == 0)))
        d13 = p3 - p1;
      ad13 = fabs(d13);
      if (verbose)
        printf("d13=%d\tad13=%d\t", d13, ad13);
      if ((ad13 > min_dist) & (ad13 < max_dist)) {
        d23 = p3 - p2;
        ad23 = fabs(d23);
        if (verbose)
          printf("d23=%d\tad23=%d\n", d23, ad23);
        if ((ad23 > min_dist) & (ad23 < 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] = ovdi12_p[i][3];
            all_ovdi[n_ovdi][5] = ovdi12_p[i][4];
            all_ovdi[n_ovdi][6] = j;
            all_ovdi[n_ovdi][7] = s1;
            all_ovdi[n_ovdi][8] = s2;
            all_ovdi[n_ovdi][9] = s3;
          }
        }
      }
      if ((d13 > max_dist) | (d23 > max_dist))
        j = n3 + 1;
    }
  }
  if ((n_ovdi > 0) & (get_positions == 1)) {
    if (verbose)
      printf("\tn_ovdi=%d\tcalling remove_overlaps_v2\n", n_ovdi);
    n_cooc = remove_overlaps_v2(all_ovdi, ovdi, ml, n_ovdi, 3);
    if (verbose)
      printf("\tn_cooc=%d\n", n_cooc);
  } else {
    n_cooc = n_ovdi;
  }
  if (n_ovdi >= max_n_ovdi) {
    n[1] = -1;
    if (verbose)
      printf("dist_3v_unordered_v3\ti=%d\tn12=%d\tn_ovdi=%d\tmax_n_ovdi=%d\n",
             i, n12, n_ovdi, max_n_ovdi);
  } else {
    n[1] = 0;
  }
  n[0] = n_cooc;
}


x86 assembly (clang, -O0):
<dist_3v_unordered_v4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x48(%rbp),%eax
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x68(%rbp)
cmpl   $0x0,0x48(%rbp)
je     119d <dist_3v_unordered_v4+0x6d>
mov    0x20(%rbp),%esi
mov    0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
lea    0xe6a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    0x20(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
sub    0x20(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
cmp    -0x64(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    0x8(%rcx),%ecx
cmp    -0x64(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
cmp    $0x0,%eax
je     1209 <dist_3v_unordered_v4+0xd9>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    12a4 <dist_3v_unordered_v4+0x174>
movl   $0x1,-0x70(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x64(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x38(%rbp),%ecx
cmp    -0x64(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
mov    -0x70(%rbp),%ecx
cmp    -0x1c(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     129f <dist_3v_unordered_v4+0x16f>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    1234 <dist_3v_unordered_v4+0x104>
jmp    12a4 <dist_3v_unordered_v4+0x174>
mov    -0x70(%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    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x68(%rbp),%ecx
cmp    0x28(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x34(%rbp),%ecx
cmp    -0x60(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x38(%rbp),%ecx
cmp    -0x60(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1665 <dist_3v_unordered_v4+0x535>
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    0x14(%rax),%eax
mov    %al,-0x3d(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x18(%rax),%eax
mov    %al,-0x3e(%rbp)
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x50(%rbp)
cmpl   $0x0,0x48(%rbp)
je     13aa <dist_3v_unordered_v4+0x27a>
mov    -0x2c(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
movsbl -0x3d(%rbp),%r8d
movsbl -0x3e(%rbp),%r9d
mov    -0x68(%rbp),%eax
lea    0xcaa(%rip),%rdi
mov    %eax,(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13af <dist_3v_unordered_v4+0x27f>
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x68(%rbp),%ecx
cmp    0x28(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x4c(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
mov    -0x50(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1660 <dist_3v_unordered_v4+0x530>
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,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x3f(%rbp)
cmpl   $0x0,0x48(%rbp)
je     1440 <dist_3v_unordered_v4+0x310>
mov    -0x30(%rbp),%esi
mov    -0x3c(%rbp),%edx
movsbl -0x3f(%rbp),%ecx
lea    0xc3a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x50(%rbp)
movsbl -0x3e(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
movsbl -0x3f(%rbp),%ecx
cmp    $0x1,%ecx
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
movsbl -0x3e(%rbp),%ecx
cmp    $0x0,%ecx
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
movsbl -0x3f(%rbp),%edx
cmp    $0x0,%edx
sete   %dl
and    $0x1,%dl
movzbl %dl,%edx
and    %edx,%ecx
or     %ecx,%eax
cmp    $0x0,%eax
je     14a5 <dist_3v_unordered_v4+0x375>
mov    -0x3c(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%edi
call   1040 <fabs@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,0x48(%rbp)
je     14ce <dist_3v_unordered_v4+0x39e>
mov    -0x4c(%rbp),%esi
mov    -0x44(%rbp),%edx
lea    0xbbf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x44(%rbp),%eax
cmp    0x18(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x44(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     162a <dist_3v_unordered_v4+0x4fa>
mov    -0x3c(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%edi
call   1040 <fabs@plt>
mov    %eax,-0x48(%rbp)
cmpl   $0x0,0x48(%rbp)
je     1528 <dist_3v_unordered_v4+0x3f8>
mov    -0x50(%rbp),%esi
mov    -0x48(%rbp),%edx
lea    0xb75(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x48(%rbp),%eax
cmp    0x18(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x48(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setl   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1625 <dist_3v_unordered_v4+0x4f5>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x1,0x38(%rbp)
jne    1620 <dist_3v_unordered_v4+0x4f0>
mov    -0x34(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
mov    -0x38(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x8(%rax)
mov    -0x3c(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0xc(%rax),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%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    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x14(%rax)
mov    -0x30(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x18(%rax)
movsbl -0x3d(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x1c(%rax)
movsbl -0x3e(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x20(%rax)
movsbl -0x3f(%rbp),%ecx
mov    0x40(%rbp),%rax
movslq -0x68(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x24(%rax)
jmp    1625 <dist_3v_unordered_v4+0x4f5>
jmp    162a <dist_3v_unordered_v4+0x4fa>
mov    -0x4c(%rbp),%eax
cmp    0x20(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x50(%rbp),%ecx
cmp    0x20(%rbp),%ecx
setg   %cl
and    $0x1,%cl
movzbl %cl,%ecx
or     %ecx,%eax
cmp    $0x0,%eax
je     165b <dist_3v_unordered_v4+0x52b>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13af <dist_3v_unordered_v4+0x27f>
jmp    12c9 <dist_3v_unordered_v4+0x199>
cmpl   $0x0,-0x68(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
cmpl   $0x1,0x38(%rbp)
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     16e1 <dist_3v_unordered_v4+0x5b1>
cmpl   $0x0,0x48(%rbp)
je     16a4 <dist_3v_unordered_v4+0x574>
mov    -0x68(%rbp),%esi
lea    0xa09(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x40(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    0x30(%rbp),%rdx
mov    -0x68(%rbp),%ecx
mov    $0x3,%r8d
call   1050 <remove_overlaps_v2@plt>
mov    %eax,-0x6c(%rbp)
cmpl   $0x0,0x48(%rbp)
je     16dc <dist_3v_unordered_v4+0x5ac>
mov    -0x6c(%rbp),%esi
lea    0x9f8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    16e7 <dist_3v_unordered_v4+0x5b7>
mov    -0x68(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%eax
cmp    0x28(%rbp),%eax
jl     1728 <dist_3v_unordered_v4+0x5f8>
mov    0x10(%rbp),%rax
movl   $0xffffffff,0x4(%rax)
cmpl   $0x0,0x48(%rbp)
je     1723 <dist_3v_unordered_v4+0x5f3>
mov    -0x2c(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x68(%rbp),%ecx
mov    0x28(%rbp),%r8d
lea    0x9bd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1733 <dist_3v_unordered_v4+0x603>
mov    0x10(%rbp),%rax
movl   $0x0,0x4(%rax)
mov    -0x6c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dist_3v_unordered_v4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %r9,0x50(%rsp)
mov    %r8d,%r14d
mov    %ecx,%ebx
mov    %rdx,0x70(%rsp)
mov    %rsi,0x60(%rsp)
mov    %rdi,0x18(%rsp)
mov    0xc8(%rsp),%r9d
mov    0xc0(%rsp),%esi
mov    0xb8(%rsp),%edx
cmpl   $0x0,0xe8(%rsp)
je     1191 <dist_3v_unordered_v4+0x61>
lea    0xe82(%rip),%rdi
mov    %ebx,%ecx
mov    %r14d,%r8d
xor    %eax,%eax
call   1030 <printf@plt>
mov    0xc0(%rsp),%esi
movslq %r14d,%rax
mov    0x60(%rsp),%rcx
mov    (%rcx,%rax,4),%eax
add    %esi,%eax
mov    %eax,0x10(%rsp)
mov    0x4(%rcx),%edi
sub    %esi,%edi
movslq %ebx,%rcx
mov    0x18(%rsp),%rax
mov    %rcx,0x58(%rsp)
mov    (%rax,%rcx,8),%rax
cmp    %edi,0x4(%rax)
mov    %rbx,0x38(%rsp)
jl     1231 <dist_3v_unordered_v4+0x101>
cmp    %edi,0x8(%rax)
jl     1231 <dist_3v_unordered_v4+0x101>
mov    0x18(%rsp),%rax
mov    0x8(%rax),%rax
mov    0x4(%rax),%r8d
mov    0x8(%rax),%ecx
cmp    %edi,%r8d
mov    %rbx,%rdx
setl   %bl
cmp    %edi,%ecx
setl   %al
mov    $0x1,%ebp
cmp    $0x2,%edx
jl     122a <dist_3v_unordered_v4+0xfa>
or     %al,%bl
je     122a <dist_3v_unordered_v4+0xfa>
mov    $0x2,%ebp
nopl   0x0(%rax,%rax,1)
mov    %rbp,%rdx
mov    0x18(%rsp),%rax
mov    (%rax,%rbp,8),%rax
cmp    %edi,0x4(%rax)
setl   %bl
cmp    %edi,0x8(%rax)
setl   %al
add    $0x1,%rbp
cmp    0x58(%rsp),%rdx
jge    1227 <dist_3v_unordered_v4+0xf7>
or     %al,%bl
jne    1200 <dist_3v_unordered_v4+0xd0>
add    $0xffffffff,%ebp
mov    0x38(%rsp),%rbx
jmp    1244 <dist_3v_unordered_v4+0x114>
lea    0x1(%rbx),%ebp
mov    0x18(%rsp),%rax
mov    0x8(%rax),%rax
mov    0x4(%rax),%r8d
mov    0x8(%rax),%ecx
mov    0xb0(%rsp),%rax
lea    -0x1(%rbp),%edx
mov    %rdx,0x28(%rsp)
cmp    0x10(%rsp),%ecx
jge    15d3 <dist_3v_unordered_v4+0x4a3>
cmp    0x10(%rsp),%r8d
jge    15d3 <dist_3v_unordered_v4+0x4a3>
cmp    %ebx,%ebp
jg     15d3 <dist_3v_unordered_v4+0x4a3>
cmpl   $0x0,0xc8(%rsp)
jle    15d3 <dist_3v_unordered_v4+0x4a3>
lea    0x1(%r14),%r13d
mov    0x28(%rsp),%rax
cltq
xor    %r10d,%r10d
mov    %r14,0x20(%rsp)
mov    %r13d,0x8(%rsp)
nopw   0x0(%rax,%rax,1)
mov    0x18(%rsp),%rcx
mov    0x8(%rcx,%rax,8),%rcx
add    $0x1,%rax
mov    0x4(%rcx),%r12d
mov    0x8(%rcx),%r15d
mov    0x14(%rcx),%edx
mov    0x18(%rcx),%ebp
cmpl   $0x0,0xe8(%rsp)
mov    %rax,%rcx
mov    %rax,0x28(%rsp)
je     1305 <dist_3v_unordered_v4+0x1d5>
movsbl %dl,%r8d
movsbl %bpl,%r9d
mov    %r10d,(%rsp)
lea    0xd69(%rip),%rdi
mov    %eax,%esi
mov    %edx,0xc(%rsp)
mov    %r12d,%edx
mov    %r15d,%ecx
xor    %eax,%eax
mov    %r10d,%ebx
call   1030 <printf@plt>
mov    0xc(%rsp),%edx
mov    %ebx,%r10d
mov    0xc0(%rsp),%esi
mov    %r15d,0x34(%rsp)
test   %esi,%esi
jle    1520 <dist_3v_unordered_v4+0x3f0>
test   %r14d,%r14d
jle    1520 <dist_3v_unordered_v4+0x3f0>
cmp    0xc8(%rsp),%r10d
jge    1520 <dist_3v_unordered_v4+0x3f0>
mov    %ebp,%eax
shl    $0x18,%eax
mov    %eax,0x4c(%rsp)
movsbl %bpl,%eax
mov    %eax,0x48(%rsp)
movsbl %dl,%eax
mov    %eax,0x44(%rsp)
xor    %eax,%eax
mov    0xc8(%rsp),%ebp
mov    %r12d,0x14(%rsp)
nop
mov    %r10d,0xc(%rsp)
cltq
lea    0x1(%rax),%rbx
mov    0x60(%rsp),%rcx
mov    0x4(%rcx,%rax,4),%r15d
mov    0x70(%rsp),%rcx
movsbl 0x1(%rcx,%rax,1),%r13d
cmpl   $0x0,0xe8(%rsp)
je     1390 <dist_3v_unordered_v4+0x260>
lea    0xcf2(%rip),%rdi
mov    %ebx,%esi
mov    %r15d,%edx
mov    %r13d,%ecx
xor    %eax,%eax
call   1030 <printf@plt>
mov    %rbx,0x68(%rsp)
mov    %r15d,%ebx
sub    %r12d,%ebx
xor    %eax,%eax
mov    %ebx,%ecx
test   %r13b,%r13b
je     13a6 <dist_3v_unordered_v4+0x276>
xor    %ecx,%ecx
mov    0x4c(%rsp),%edx
test   %edx,%edx
cmove  %ecx,%eax
cmp    $0x1,%r13b
cmovne %eax,%ebx
cmp    $0x1000000,%edx
cmovne %eax,%ebx
mov    %ebx,%edi
call   1040 <fabs@plt>
mov    %eax,%r14d
cmpl   $0x0,0xe8(%rsp)
je     13e6 <dist_3v_unordered_v4+0x2b6>
lea    0xcac(%rip),%rdi
mov    %ebx,%esi
mov    %r14d,%edx
xor    %eax,%eax
call   1030 <printf@plt>
xor    %r12d,%r12d
cmp    0xb8(%rsp),%r14d
jle    14c0 <dist_3v_unordered_v4+0x390>
mov    0xc0(%rsp),%esi
cmp    %esi,%r14d
jge    14d0 <dist_3v_unordered_v4+0x3a0>
mov    %r15d,%r12d
mov    0x34(%rsp),%r14d
sub    %r14d,%r12d
mov    %r12d,%edi
call   1040 <fabs@plt>
mov    %eax,%ebp
cmpl   $0x0,0xe8(%rsp)
je     1439 <dist_3v_unordered_v4+0x309>
lea    0xc69(%rip),%rdi
mov    %r12d,%esi
mov    %ebp,%edx
xor    %eax,%eax
call   1030 <printf@plt>
cmp    0xb8(%rsp),%ebp
mov    0xc0(%rsp),%esi
mov    0xc(%rsp),%r10d
jle    14b2 <dist_3v_unordered_v4+0x382>
cmp    %esi,%ebp
jge    14b2 <dist_3v_unordered_v4+0x382>
add    $0x1,%r10d
cmpl   $0x1,0xd8(%rsp)
01
jne    14b2 <dist_3v_unordered_v4+0x382>
movslq %r10d,%rax
mov    0xe0(%rsp),%rcx
mov    (%rcx,%rax,8),%rax
mov    0x14(%rsp),%ecx
mov    %ecx,0x4(%rax)
mov    %r14d,0x8(%rax)
mov    %r15d,0xc(%rax)
mov    0x18(%rsp),%rcx
mov    0x28(%rsp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    0xc(%rcx),%edx
mov    %edx,0x10(%rax)
mov    0x10(%rcx),%ecx
mov    %ecx,0x14(%rax)
mov    0x68(%rsp),%rcx
mov    %ecx,0x18(%rax)
mov    0x44(%rsp),%ecx
mov    %ecx,0x1c(%rax)
mov    0x48(%rsp),%ecx
mov    %ecx,0x20(%rax)
mov    %r13d,0x24(%rax)
mov    0xc8(%rsp),%ebp
mov    0x20(%rsp),%r14
jmp    14da <dist_3v_unordered_v4+0x3aa>
mov    0x20(%rsp),%r14
mov    0xc0(%rsp),%esi
jmp    14d5 <dist_3v_unordered_v4+0x3a5>
xchg   %ax,%ax
mov    0x20(%rsp),%r14
mov    0xc(%rsp),%r10d
mov    0x8(%rsp),%r13d
mov    %r13d,%ecx
cmp    %esi,%r12d
jg     14ee <dist_3v_unordered_v4+0x3be>
mov    0x68(%rsp),%rax
mov    %eax,%ecx
mov    %r13d,%eax
cmp    %esi,%ebx
jg     14f7 <dist_3v_unordered_v4+0x3c7>
mov    %ecx,%eax
cmp    %esi,%r12d
jge    1530 <dist_3v_unordered_v4+0x400>
cmp    %esi,%ebx
mov    0x14(%rsp),%r12d
jge    1535 <dist_3v_unordered_v4+0x405>
cmp    %r14d,%eax
jge    1535 <dist_3v_unordered_v4+0x405>
cmp    %ebp,%r10d
jl     1350 <dist_3v_unordered_v4+0x220>
jmp    1535 <dist_3v_unordered_v4+0x405>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0xc8(%rsp),%ebp
jmp    1535 <dist_3v_unordered_v4+0x405>
nopl   0x0(%rax)
mov    0x14(%rsp),%r12d
mov    0x34(%rsp),%eax
cmp    0x10(%rsp),%eax
mov    0x28(%rsp),%rax
jge    155b <dist_3v_unordered_v4+0x42b>
cmp    0x10(%rsp),%r12d
jge    155b <dist_3v_unordered_v4+0x42b>
cmp    0x58(%rsp),%rax
jge    155b <dist_3v_unordered_v4+0x42b>
cmp    %ebp,%r10d
jl     12a0 <dist_3v_unordered_v4+0x170>
cmpl   $0x1,0xd8(%rsp)
01
jne    15e3 <dist_3v_unordered_v4+0x4b3>
test   %r10d,%r10d
jle    15e3 <dist_3v_unordered_v4+0x4b3>
cmpl   $0x0,0xe8(%rsp)
je     1606 <dist_3v_unordered_v4+0x4d6>
lea    0xb27(%rip),%rdi
mov    %r10d,%esi
xor    %eax,%eax
mov    %r10d,%r14d
call   1030 <printf@plt>
mov    0xe0(%rsp),%rdi
mov    0x50(%rsp),%rsi
mov    0xd0(%rsp),%rdx
mov    %r14d,%ecx
mov    $0x3,%r8d
call   1050 <remove_overlaps_v2@plt>
mov    %eax,%ebx
lea    0xb15(%rip),%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1030 <printf@plt>
cmp    %ebp,%r14d
jge    1644 <dist_3v_unordered_v4+0x514>
mov    %ebx,%r10d
mov    0xb0(%rsp),%rax
jmp    163b <dist_3v_unordered_v4+0x50b>
xor    %r10d,%r10d
mov    0xc8(%rsp),%ebp
test   %ebp,%ebp
jg     163b <dist_3v_unordered_v4+0x50b>
jmp    15f0 <dist_3v_unordered_v4+0x4c0>
cmp    %ebp,%r10d
mov    0xb0(%rsp),%rax
jl     163b <dist_3v_unordered_v4+0x50b>
movl   $0xffffffff,0x4(%rax)
mov    %r10d,%ebx
cmpl   $0x0,0xe8(%rsp)
jne    1656 <dist_3v_unordered_v4+0x526>
jmp    167d <dist_3v_unordered_v4+0x54d>
mov    0xe0(%rsp),%rdi
mov    0x50(%rsp),%rsi
mov    0xd0(%rsp),%rdx
mov    %r10d,%ecx
mov    $0x3,%r8d
mov    %r10d,%ebx
call   1050 <remove_overlaps_v2@plt>
mov    %eax,%r10d
mov    0xb0(%rsp),%rax
cmp    %ebp,%ebx
jge    168f <dist_3v_unordered_v4+0x55f>
movl   $0x0,0x4(%rax)
jmp    167d <dist_3v_unordered_v4+0x54d>
mov    %r14d,%r10d
mov    0xb0(%rsp),%rax
movl   $0xffffffff,0x4(%rax)
lea    0xa7c(%rip),%rdi
mov    0x28(%rsp),%rsi
mov    0x38(%rsp),%rdx
mov    %r10d,%ecx
mov    %ebp,%r8d
mov    %rax,%rbp
xor    %eax,%eax
call   1030 <printf@plt>
mov    %rbp,%rax
mov    %ebx,%r10d
mov    %r10d,(%rax)
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movl   $0xffffffff,0x4(%rax)
jmp    167d <dist_3v_unordered_v4+0x54d>

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

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