void form_flat_clusters_maxclust_monocrit(const double *Z,
                                          const double *mono_crit, int *T,
                                          int n, int mc) {
  int *curNode;
  int ndid, lid, rid, k, nc, g, ms;
  unsigned char *lvisited, *rvisited;
  const double *Zrow;
  double thresh, maxmono_crit;
  double max_illegal = -1.0;
  double min_legal = 0.0;
  int min_legal_nc = 1;
  const int bff = (((((double)(n)) / (double)(sizeof(unsigned char) * 8)) ==
                            ((double)(((n)) / ((sizeof(unsigned char) * 8))))
                        ? (((n)) / ((sizeof(unsigned char) * 8)))
                        : (((n)) / ((sizeof(unsigned char) * 8)) + 1)));
  k = 0;
  min_legal = mono_crit[n - 2];
  curNode = (int *)malloc(n * sizeof(int));
  lvisited = (unsigned char *)malloc(bff);
  rvisited = (unsigned char *)malloc(bff);
  curNode[k] = (n * 2) - 2;
  bzero(lvisited, bff);
  bzero(rvisited, bff);
  nc = 0;
  ;
  for (g = n - 2; g >= 0; g--) {
    thresh = mono_crit[g];
    if (thresh > min_legal) {
      continue;
    }
    k = 0;
    curNode[k] = (n * 2) - 2;
    bzero(lvisited, bff);
    bzero(rvisited, bff);
    nc = 0;
    ms = -1;
    while (k >= 0) {
      ndid = curNode[k];
      Zrow = Z + ((ndid - n) * 4);
      lid = (int)Zrow[0];
      rid = (int)Zrow[1];
      maxmono_crit = mono_crit[ndid - n];
      if (maxmono_crit <= thresh) {
        nc++;
        k--;
        ((lvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] |=
         ((0x1) << (((sizeof(unsigned char) * 8) - 1) -
                    ((ndid - n) % (sizeof(unsigned char) * 8)))));
        ((rvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] |=
         ((0x1) << (((sizeof(unsigned char) * 8) - 1) -
                    ((ndid - n) % (sizeof(unsigned char) * 8)))));
        continue;
      }
      if (!(((lvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] >>
             (((sizeof(unsigned char) * 8) - 1) -
              ((ndid - n) % (sizeof(unsigned char) * 8)))) &
            0x1)) {
        ((lvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] |=
         ((0x1) << (((sizeof(unsigned char) * 8) - 1) -
                    ((ndid - n) % (sizeof(unsigned char) * 8)))));
        if (lid >= n) {
          curNode[k + 1] = lid;
          k++;
          continue;
        } else if (lid < n) {
          nc++;
        }
      }
      if (!(((rvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] >>
             (((sizeof(unsigned char) * 8) - 1) -
              ((ndid - n) % (sizeof(unsigned char) * 8)))) &
            0x1)) {
        if (rid >= n) {
          ((rvisited)[(ndid - n) / (sizeof(unsigned char) * 8)] |=
           ((0x1) << (((sizeof(unsigned char) * 8) - 1) -
                      ((ndid - n) % (sizeof(unsigned char) * 8)))));
          curNode[k + 1] = rid;
          k++;
          continue;
        } else if (rid < n) {
          nc++;
        }
      }
      k--;
    }
    if (thresh > max_illegal && nc > mc) {
      ;
      max_illegal = thresh;
      continue;
    }
    if (thresh < min_legal && nc <= mc) {
      min_legal = thresh;
      min_legal_nc = nc;
      ;
    }
  }
  form_flat_clusters_from_monotonic_criterion(Z, mono_crit, T, min_legal, n);
  free(curNode);
  free(lvisited);
  free(rvisited);
}


x86 assembly (clang, -O0):
<form_flat_clusters_maxclust_monocrit>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movabs $0xbff0000000000000,%rax
mov    %rax,-0x78(%rbp)
movq   $0x0,-0x80(%rbp)
movl   $0x1,-0x84(%rbp)
movslq -0x1c(%rbp),%rax
mov    %eax,%ecx
cvtsi2sd %ecx,%xmm0
movsd  0xe70(%rip),%xmm1
divsd  %xmm1,%xmm0
shr    $0x3,%rax
cvtsi2sd %rax,%xmm1
ucomisd %xmm1,%xmm0
jne    11c1 <form_flat_clusters_maxclust_monocrit+0x81>
jp     11c1 <form_flat_clusters_maxclust_monocrit+0x81>
movslq -0x1c(%rbp),%rax
shr    $0x3,%rax
mov    %rax,-0x90(%rbp)
jmp    11d4 <form_flat_clusters_maxclust_monocrit+0x94>
movslq -0x1c(%rbp),%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    %eax,-0x88(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x80(%rbp)
movslq -0x1c(%rbp),%rdi
shl    $0x2,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
movslq -0x88(%rbp),%rdi
call   1050 <malloc@plt>
mov    %rax,-0x50(%rbp)
movslq -0x88(%rbp),%rdi
call   1050 <malloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x1c(%rbp),%edx
shl    $0x1,%edx
sub    $0x2,%edx
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x50(%rbp),%rdi
movslq -0x88(%rbp),%rdx
xor    %esi,%esi
call   1040 <memset@plt>
mov    -0x58(%rbp),%rdi
movslq -0x88(%rbp),%rdx
xor    %esi,%esi
call   1040 <memset@plt>
movl   $0x0,-0x3c(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x40(%rbp)
jl     15e9 <form_flat_clusters_maxclust_monocrit+0x4a9>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
ucomisd -0x80(%rbp),%xmm0
jbe    12a9 <form_flat_clusters_maxclust_monocrit+0x169>
jmp    15db <form_flat_clusters_maxclust_monocrit+0x49b>
movl   $0x0,-0x38(%rbp)
mov    -0x1c(%rbp),%edx
shl    $0x1,%edx
sub    $0x2,%edx
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x50(%rbp),%rdi
movslq -0x88(%rbp),%rdx
xor    %esi,%esi
call   1040 <memset@plt>
mov    -0x58(%rbp),%rdi
movslq -0x88(%rbp),%rdx
xor    %esi,%esi
call   1040 <memset@plt>
movl   $0x0,-0x3c(%rbp)
movl   $0xffffffff,-0x44(%rbp)
cmpl   $0x0,-0x38(%rbp)
jl     1578 <form_flat_clusters_maxclust_monocrit+0x438>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cvttsd2si (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x60(%rbp),%rax
cvttsd2si 0x8(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     13f2 <form_flat_clusters_maxclust_monocrit+0x2b2>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
sub    -0x1c(%rbp),%eax
movslq %eax,%rcx
and    $0x7,%rcx
mov    $0x7,%eax
sub    %rcx,%rax
mov    %eax,%ecx
mov    $0x1,%esi
shl    %cl,%esi
mov    -0x50(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
sub    -0x1c(%rbp),%eax
movslq %eax,%rcx
and    $0x7,%rcx
mov    $0x7,%eax
sub    %rcx,%rax
mov    %eax,%ecx
mov    $0x1,%esi
shl    %cl,%esi
mov    -0x58(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    12f6 <form_flat_clusters_maxclust_monocrit+0x1b6>
mov    -0x50(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rdx
and    $0x7,%rdx
mov    $0x7,%ecx
sub    %rdx,%rcx
sar    %cl,%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    14ae <form_flat_clusters_maxclust_monocrit+0x36e>
mov    -0x2c(%rbp),%eax
sub    -0x1c(%rbp),%eax
movslq %eax,%rcx
and    $0x7,%rcx
mov    $0x7,%eax
sub    %rcx,%rax
mov    %eax,%ecx
mov    $0x1,%esi
shl    %cl,%esi
mov    -0x50(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     148f <form_flat_clusters_maxclust_monocrit+0x34f>
mov    -0x30(%rbp),%edx
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    12f6 <form_flat_clusters_maxclust_monocrit+0x1b6>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    14a4 <form_flat_clusters_maxclust_monocrit+0x364>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    14a9 <form_flat_clusters_maxclust_monocrit+0x369>
jmp    14ae <form_flat_clusters_maxclust_monocrit+0x36e>
mov    -0x58(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rdx
and    $0x7,%rdx
mov    $0x7,%ecx
sub    %rdx,%rcx
sar    %cl,%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    156a <form_flat_clusters_maxclust_monocrit+0x42a>
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     154b <form_flat_clusters_maxclust_monocrit+0x40b>
mov    -0x2c(%rbp),%eax
sub    -0x1c(%rbp),%eax
movslq %eax,%rcx
and    $0x7,%rcx
mov    $0x7,%eax
sub    %rcx,%rax
mov    %eax,%ecx
mov    $0x1,%esi
shl    %cl,%esi
mov    -0x58(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shr    $0x3,%rcx
movzbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    12f6 <form_flat_clusters_maxclust_monocrit+0x1b6>
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1560 <form_flat_clusters_maxclust_monocrit+0x420>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1565 <form_flat_clusters_maxclust_monocrit+0x425>
jmp    156a <form_flat_clusters_maxclust_monocrit+0x42a>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
jmp    12f6 <form_flat_clusters_maxclust_monocrit+0x1b6>
movsd  -0x68(%rbp),%xmm0
ucomisd -0x78(%rbp),%xmm0
jbe    15a3 <form_flat_clusters_maxclust_monocrit+0x463>
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    15a3 <form_flat_clusters_maxclust_monocrit+0x463>
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
jmp    15db <form_flat_clusters_maxclust_monocrit+0x49b>
movsd  -0x68(%rbp),%xmm1
movsd  -0x80(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    15d6 <form_flat_clusters_maxclust_monocrit+0x496>
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     15d6 <form_flat_clusters_maxclust_monocrit+0x496>
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x84(%rbp)
jmp    15db <form_flat_clusters_maxclust_monocrit+0x49b>
mov    -0x40(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x40(%rbp)
jmp    1278 <form_flat_clusters_maxclust_monocrit+0x138>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
movsd  -0x80(%rbp),%xmm0
mov    -0x1c(%rbp),%ecx
mov    $0x1,%al
call   1060 <form_flat_clusters_from_monotonic_criterion@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x50(%rbp),%rdi
call   1030 <free@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<form_flat_clusters_maxclust_monocrit>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %ecx,%r12d
cvtsi2sd %ecx,%xmm0
mov    %r8d,0x8(%rsp)
mov    %rdx,0x48(%rsp)
mov    %rsi,%r15
mov    %rdi,%rbx
mulsd  0xe93(%rip),%xmm0
movslq %ecx,%rdi
mov    %rdi,%r14
shr    $0x3,%r14
cvtsi2sd %r14,%xmm1
cmpneqsd %xmm0,%xmm1
movq   %xmm1,%rax
sub    %eax,%r14d
movsd  -0x10(%rsi,%rdi,8),%xmm0
movaps %xmm0,0x30(%rsp)
shl    $0x2,%rdi
call   1050 <malloc@plt>
mov    %rax,%rbp
movslq %r14d,%r13
mov    %r13,%rdi
call   1050 <malloc@plt>
mov    %rax,%r14
mov    %r13,0x28(%rsp)
mov    %r13,%rdi
call   1050 <malloc@plt>
mov    %rax,%r9
cmp    $0x2,%r12d
jl     13a8 <form_flat_clusters_maxclust_monocrit+0x268>
lea    -0x2(%r12),%eax
lea    (%r12,%r12,1),%ecx
add    $0xfffffffe,%ecx
mov    %ecx,0xc(%rsp)
mov    %eax,%ecx
movsd  0xe26(%rip),%xmm0
movsd  %xmm0,0x10(%rsp)
movapd 0x30(%rsp),%xmm0
mov    %r9,0x20(%rsp)
jmp    122e <form_flat_clusters_maxclust_monocrit+0xee>
cs nopw 0x0(%rax,%rax,1)
nop
cmpnltsd %xmm0,%xmm3
movapd %xmm3,%xmm1
andnpd %xmm2,%xmm1
andpd  %xmm0,%xmm3
orpd   %xmm1,%xmm3
movapd %xmm3,%xmm0
mov    0x18(%rsp),%rcx
lea    -0x1(%rcx),%rax
test   %rcx,%rcx
mov    %rax,%rcx
jle    13ae <form_flat_clusters_maxclust_monocrit+0x26e>
movsd  (%r15,%rcx,8),%xmm1
ucomisd %xmm0,%xmm1
ja     121e <form_flat_clusters_maxclust_monocrit+0xde>
mov    %rcx,0x18(%rsp)
mov    0xc(%rsp),%eax
mov    %eax,0x0(%rbp)
xor    %r13d,%r13d
mov    %r14,%rdi
xor    %esi,%esi
mov    0x28(%rsp),%rdx
movapd %xmm0,0x30(%rsp)
movapd %xmm1,0x50(%rsp)
call   1040 <memset@plt>
mov    0x20(%rsp),%rdi
xor    %esi,%esi
mov    0x28(%rsp),%rdx
call   1040 <memset@plt>
movapd 0x50(%rsp),%xmm3
mov    0x20(%rsp),%r9
movapd 0x30(%rsp),%xmm0
mov    0xc(%rsp),%eax
mov    %eax,%ecx
xor    %r8d,%r8d
nop
mov    %r13d,%r13d
sub    %r12d,%ecx
cs nopw 0x0(%rax,%rax,1)
movslq %ecx,%rdx
ucomisd (%r15,%rdx,8),%xmm3
jae    1300 <form_flat_clusters_maxclust_monocrit+0x1c0>
lea    0x0(,%rcx,4),%eax
movslq %eax,%rdi
movsd  0x8(%rbx,%rdi,8),%xmm1
not    %cl
and    $0x7,%cl
mov    $0x1,%esi
shl    %cl,%esi
shr    $0x3,%rdx
movzbl (%r14,%rdx,1),%eax
movzbl %cl,%ecx
bt     %ecx,%eax
jb     132b <form_flat_clusters_maxclust_monocrit+0x1eb>
cvttsd2si (%rbx,%rdi,8),%edi
mov    %esi,%ecx
or     %al,%cl
mov    %cl,(%r14,%rdx,1)
mov    %edi,%ecx
sub    %r12d,%ecx
jl     1327 <form_flat_clusters_maxclust_monocrit+0x1e7>
mov    %edi,0x4(%rbp,%r13,4)
add    $0x1,%r13
jmp    12a0 <form_flat_clusters_maxclust_monocrit+0x160>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r8d
not    %cl
and    $0x7,%cl
mov    $0x1,%eax
shl    %cl,%eax
shr    $0x3,%rdx
or     %al,(%r14,%rdx,1)
add    $0xffffffff,%r13d
or     %al,(%r9,%rdx,1)
test   %r13d,%r13d
jns    134a <form_flat_clusters_maxclust_monocrit+0x20a>
jmp    1370 <form_flat_clusters_maxclust_monocrit+0x230>
add    $0x1,%r8d
movzbl (%r9,%rdx,1),%edi
test   %edi,%esi
jne    1341 <form_flat_clusters_maxclust_monocrit+0x201>
cvttsd2si %xmm1,%ecx
cmp    %r12d,%ecx
jge    1356 <form_flat_clusters_maxclust_monocrit+0x216>
add    $0x1,%r8d
add    $0xffffffff,%r13d
test   %r13d,%r13d
js     1370 <form_flat_clusters_maxclust_monocrit+0x230>
mov    %r13d,%eax
mov    0x0(%rbp,%rax,4),%ecx
jmp    1290 <form_flat_clusters_maxclust_monocrit+0x150>
or     %dil,%sil
mov    %sil,(%r9,%rdx,1)
add    $0x1,%r13
mov    %r13d,%eax
mov    %ecx,0x0(%rbp,%rax,4)
test   %r13d,%r13d
jns    134a <form_flat_clusters_maxclust_monocrit+0x20a>
nopl   (%rax)
ucomisd 0x10(%rsp),%xmm3
jbe    1390 <form_flat_clusters_maxclust_monocrit+0x250>
cmp    0x8(%rsp),%r8d
jle    1390 <form_flat_clusters_maxclust_monocrit+0x250>
movsd  %xmm3,0x10(%rsp)
jmp    1219 <form_flat_clusters_maxclust_monocrit+0xd9>
nopw   0x0(%rax,%rax,1)
movapd %xmm0,%xmm2
cmp    0x8(%rsp),%r8d
jg     1200 <form_flat_clusters_maxclust_monocrit+0xc0>
movapd %xmm3,%xmm2
jmp    1200 <form_flat_clusters_maxclust_monocrit+0xc0>
movapd 0x30(%rsp),%xmm0
mov    %rbx,%rdi
mov    %r15,%rsi
mov    0x48(%rsp),%rdx
mov    %r12d,%ecx
mov    $0x1,%al
mov    %r9,%rbx
call   1060 <form_flat_clusters_from_monotonic_criterion@plt>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

LLVM IR (-O2):
define void @form_flat_clusters_maxclust_monocrit(double* %0, double* %1, i32* %2, i32 %3, i32 %4) {
%6 = sitofp i32 %3 to double
%7 = fmul double %6, 1.250000e-01
%8 = sext i32 %3 to i64
%9 = lshr i64 %8, 3
%10 = uitofp i64 %9 to double
%11 = fcmp une double %7, %10
%12 = zext i1 %11 to i64
%13 = add nuw nsw i64 %9, %12
%14 = add nsw i32 %3, -2
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds double, double* %1, i64 %15
%17 = load double, double* %16
%18 = shl nsw i64 %8, 2
%19 = tail call i8* @malloc(i64 %18)
%20 = bitcast i8* %19 to i32*
%21 = shl i64 %13, 32
%22 = ashr exact i64 %21, 32
%23 = tail call i8* @malloc(i64 %22)
%24 = tail call i8* @malloc(i64 %22)
%25 = shl nsw i32 %3, 1
%26 = add nsw i32 %25, -2
%27 = icmp sgt i32 %3, 1
br i1 %27, label %28, label %144
28: ; preds = %5
%29 = zext i32 %14 to i64
%30 = getelementptr inbounds double, double* %0, i64 1
br label %31
31: ; preds = %28, %139
%32 = phi i64 [ %29, %28 ], [ %142, %139 ]
%33 = phi double [ %17, %28 ], [ %141, %139 ]
%34 = phi double [ -1.000000e+00, %28 ], [ %140, %139 ]
%35 = getelementptr inbounds double, double* %1, i64 %32
%36 = load double, double* %35
%37 = fcmp ogt double %36, %33
br i1 %37, label %139, label %38
38: ; preds = %31
store i32 %26, i32* %20
tail call void @llvm.memset.p0i8.i64(i8* align 1 %23, i8 0, i64 %22, i1 false)
tail call void @llvm.memset.p0i8.i64(i8* align 1 %24, i8 0, i64 %22, i1 false)
br label %39
39: ; preds = %71, %38
%40 = phi i32 [ %26, %38 ], [ %74, %71 ]
%41 = phi i32 [ 0, %38 ], [ %69, %71 ]
%42 = phi i32 [ 0, %38 ], [ %68, %71 ]
%43 = zext i32 %41 to i64
%44 = sub nsw i32 %40, %3
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds double, double* %1, i64 %45
%47 = load double, double* %46
%48 = fcmp ugt double %47, %36
br i1 %48, label %75, label %49
49: ; preds = %99, %39
%50 = phi i64 [ %43, %39 ], [ %100, %99 ]
%51 = phi i32 [ %44, %39 ], [ %102, %99 ]
%52 = phi i64 [ %45, %39 ], [ %103, %99 ]
%53 = trunc i64 %50 to i32
%54 = add nsw i32 %42, 1
%55 = add nsw i32 %53, -1
%56 = and i32 %51, 7
%57 = xor i32 %56, 7
%58 = shl nuw i32 1, %57
%59 = lshr i64 %52, 3
%60 = getelementptr inbounds i8, i8* %23, i64 %59
%61 = load i8, i8* %60
%62 = trunc i32 %58 to i8
%63 = or i8 %61, %62
store i8 %63, i8* %60
%64 = getelementptr inbounds i8, i8* %24, i64 %59
%65 = load i8, i8* %64
%66 = or i8 %65, %62
store i8 %66, i8* %64
br label %67
67: ; preds = %49, %128, %120
%68 = phi i32 [ %110, %120 ], [ %129, %128 ], [ %54, %49 ]
%69 = phi i32 [ %123, %120 ], [ %130, %128 ], [ %55, %49 ]
%70 = icmp sgt i32 %69, -1
br i1 %70, label %71, label %131
71: ; preds = %67
%72 = zext i32 %69 to i64
%73 = getelementptr inbounds i32, i32* %20, i64 %72
%74 = load i32, i32* %73
br label %39
75: ; preds = %39, %99
%76 = phi i64 [ %103, %99 ], [ %45, %39 ]
%77 = phi i32 [ %102, %99 ], [ %44, %39 ]
%78 = phi i64 [ %100, %99 ], [ %43, %39 ]
%79 = shl nsw i32 %77, 2
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds double, double* %0, i64 %80
%82 = load double, double* %81
%83 = fptosi double %82 to i32
%84 = getelementptr inbounds double, double* %30, i64 %80
%85 = load double, double* %84
%86 = lshr i64 %76, 3
%87 = getelementptr inbounds i8, i8* %23, i64 %86
%88 = load i8, i8* %87
%89 = zext i8 %88 to i32
%90 = and i32 %77, 7
%91 = xor i32 %90, 7
%92 = shl nuw i32 1, %91
%93 = and i32 %92, %89
%94 = icmp eq i32 %93, 0
br i1 %94, label %95, label %109
95: ; preds = %75
%96 = trunc i32 %92 to i8
%97 = or i8 %88, %96
store i8 %97, i8* %87
%98 = icmp slt i32 %83, %3
br i1 %98, label %107, label %99
99: ; preds = %95
%100 = add nuw i64 %78, 1
%101 = getelementptr inbounds i32, i32* %20, i64 %100
store i32 %83, i32* %101
%102 = sub nsw i32 %83, %3
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds double, double* %1, i64 %103
%105 = load double, double* %104
%106 = fcmp ugt double %105, %36
br i1 %106, label %75, label %49
107: ; preds = %95
%108 = add nsw i32 %42, 1
br label %109
109: ; preds = %75, %107
%110 = phi i32 [ %108, %107 ], [ %42, %75 ]
%111 = trunc i64 %78 to i32
%112 = fptosi double %85 to i32
%113 = getelementptr inbounds i8, i8* %24, i64 %86
%114 = load i8, i8* %113
%115 = zext i8 %114 to i32
%116 = and i32 %92, %115
%117 = icmp eq i32 %116, 0
br i1 %117, label %118, label %128
118: ; preds = %109
%119 = icmp slt i32 %112, %3
br i1 %119, label %126, label %120
120: ; preds = %118
%121 = trunc i32 %92 to i8
%122 = or i8 %114, %121
store i8 %122, i8* %113
%123 = add nuw nsw i32 %111, 1
%124 = zext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %20, i64 %124
store i32 %112, i32* %125
br label %67
126: ; preds = %118
%127 = add nsw i32 %110, 1
br label %128
128: ; preds = %126, %109
%129 = phi i32 [ %110, %109 ], [ %127, %126 ]
%130 = add nsw i32 %111, -1
br label %67
131: ; preds = %67
%132 = fcmp ogt double %36, %34
%133 = icmp sgt i32 %68, %4
%134 = select i1 %132, i1 %133, i1 false
br i1 %134, label %139, label %135
135: ; preds = %131
%136 = fcmp uge double %36, %33
%137 = select i1 %136, i1 true, i1 %133
%138 = select i1 %137, double %33, double %36
br label %139
139: ; preds = %135, %131, %31
%140 = phi double [ %34, %31 ], [ %36, %131 ], [ %34, %135 ]
%141 = phi double [ %33, %31 ], [ %33, %131 ], [ %138, %135 ]
%142 = add nsw i64 %32, -1
%143 = icmp sgt i64 %32, 0
br i1 %143, label %31, label %144
144: ; preds = %139, %5
%145 = phi double [ %17, %5 ], [ %141, %139 ]
%146 = tail call i32 (double*, double*, i32*, double, i32, ...) bitcast (i32 (...)* @form_flat_clusters_from_monotonic_criterion to i32 (double*, double*, i32*, double, i32, ...)*)(double* %0, double* %1, i32* %2, double %145, i32 %3)
tail call void @free(i8* %19)
tail call void @free(i8* %23)
tail call void @free(i8* %24)
ret void
}