#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 /*<<< orphan*/ bpflow(int, int, int *, int *, int *, int *, int *, int *);
int /*<<< orphan*/ printf(char *, int, int, int);
int /*<<< orphan*/ reachability(int, int, int *, int *, int *, int *, int *);
int /*<<< orphan*/ sfree(int *);
int *smalloc(int);
void wbpcover(int n_left, int n_right, int *pointers, int *indices,
              int *vweight, int *psep_size, int *psep_weight,
              int **psep_nodes) {
  extern int DEBUG_COVER;
  int *touched;
  int *resid;
  int *flow;
  int *sep_nodes;
  int sep_size;
  int sep_weight;
  int nedges;
  int i, j;
  int wleft, wright, wedges;
  void confirm_cover();
  if (DEBUG_COVER) {
    printf("-> Entering wbpcover, nleft = %d, nright = %d, 2*nedges = %d\n",
           n_left, n_right, pointers[n_left + n_right] - pointers[0]);
    wleft = wright = 0;
    wedges = 0;
    for (i = 0; i < n_left; i++) {
      wleft += vweight[i];
      for (j = pointers[i]; j < pointers[i + 1]; j++) {
        wedges += vweight[i] * vweight[indices[j]];
      }
    }
    for (i = n_left; i < n_left + n_right; i++) {
      wright += vweight[i];
      for (j = pointers[i]; j < pointers[i + 1]; j++) {
        wedges += vweight[i] * vweight[indices[j]];
      }
    }
    printf("    Corresponds to unweighted, nleft = %d, nright = %d, 2*nedges = "
           "%d\n",
           wleft, wright, wedges);
  }
  nedges = pointers[n_left + n_right] - pointers[0];
  resid = smalloc((n_left + n_right) * sizeof(int));
  touched = smalloc((n_left + n_right) * sizeof(int));
  flow = smalloc((nedges + 1) * sizeof(int));
  bpflow(n_left, n_right, pointers, indices, vweight, resid, flow, touched);
  reachability(n_left, n_right, pointers, indices, resid, flow, touched);
  sep_size = 0;
  for (i = 0; i < n_left; i++) {
    if (!touched[i]) {
      sep_size++;
    }
  }
  for (i = n_left; i < n_left + n_right; i++) {
    if (touched[i]) {
      sep_size++;
    }
  }
  sep_nodes = smalloc((sep_size + 1) * sizeof(int));
  sep_size = sep_weight = 0;
  for (i = 0; i < n_left; i++) {
    if (!touched[i]) {
      sep_nodes[sep_size++] = i;
      sep_weight += vweight[i];
    }
  }
  for (i = n_left; i < n_left + n_right; i++) {
    if (touched[i]) {
      sep_nodes[sep_size++] = i;
      sep_weight += vweight[i];
    }
  }
  sep_nodes[sep_size] = 0;
  *psep_size = sep_size;
  *psep_weight = sep_weight;
  *psep_nodes = sep_nodes;
  if (DEBUG_COVER) {
    confirm_cover(n_left, n_right, pointers, indices, flow, vweight, resid,
                  sep_size, sep_nodes);
  }
  sfree(flow);
  sfree(touched);
  sfree(resid);
}


x86 assembly (clang, -O0):
<wbpcover>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    0x2e58(%rip),%rax
cmpl   $0x0,(%rax)
je     1311 <wbpcover+0x1b1>
mov    -0x4(%rbp),%esi
mov    -0x8(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x10(%rbp),%rax
sub    (%rax),%ecx
lea    0xe44(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x64(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x68(%rbp)
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1267 <wbpcover+0x107>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x58(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1254 <wbpcover+0xf4>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rdx
movslq -0x5c(%rbp),%rsi
movslq (%rdx,%rsi,4),%rdx
imul   (%rcx,%rdx,4),%eax
add    -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1208 <wbpcover+0xa8>
jmp    1259 <wbpcover+0xf9>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    11dd <wbpcover+0x7d>
mov    -0x4(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    12fc <wbpcover+0x19c>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x64(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x58(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12e9 <wbpcover+0x189>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rdx
movslq -0x5c(%rbp),%rsi
movslq (%rdx,%rsi,4),%rdx
imul   (%rcx,%rdx,4),%eax
add    -0x68(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    129d <wbpcover+0x13d>
jmp    12ee <wbpcover+0x18e>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    126d <wbpcover+0x10d>
mov    -0x60(%rbp),%esi
mov    -0x64(%rbp),%edx
mov    -0x68(%rbp),%ecx
lea    0xd32(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
sub    (%rcx),%eax
mov    %eax,-0x54(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <smalloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <smalloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <smalloc@plt>
mov    %rax,-0x40(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x38(%rbp),%r9
mov    -0x40(%rbp),%r10
mov    -0x30(%rbp),%rax
mov    %r10,(%rsp)
mov    %rax,0x8(%rsp)
call   1050 <bpflow@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x38(%rbp),%r8
mov    -0x40(%rbp),%r9
mov    -0x30(%rbp),%rax
mov    %rax,(%rsp)
call   1070 <reachability@plt>
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1406 <wbpcover+0x2a6>
mov    -0x30(%rbp),%rax
movslq -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13f3 <wbpcover+0x293>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    13f8 <wbpcover+0x298>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    13cc <wbpcover+0x26c>
mov    -0x4(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    144b <wbpcover+0x2eb>
mov    -0x30(%rbp),%rax
movslq -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1438 <wbpcover+0x2d8>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    143d <wbpcover+0x2dd>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    140c <wbpcover+0x2ac>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <smalloc@plt>
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x50(%rbp)
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    14d1 <wbpcover+0x371>
mov    -0x30(%rbp),%rax
movslq -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    14be <wbpcover+0x35e>
mov    -0x58(%rbp),%edx
mov    -0x48(%rbp),%rax
mov    -0x4c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x4c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    14c3 <wbpcover+0x363>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1477 <wbpcover+0x317>
mov    -0x4(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    1536 <wbpcover+0x3d6>
mov    -0x30(%rbp),%rax
movslq -0x58(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1523 <wbpcover+0x3c3>
mov    -0x58(%rbp),%edx
mov    -0x48(%rbp),%rax
mov    -0x4c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x4c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    1528 <wbpcover+0x3c8>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    14d7 <wbpcover+0x377>
mov    -0x48(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x4c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x50(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rcx
mov    0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    0x2a7f(%rip),%rax
cmpl   $0x0,(%rax)
je     15a9 <wbpcover+0x449>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x40(%rbp),%r8
mov    -0x20(%rbp),%r9
mov    -0x38(%rbp),%r11
mov    -0x4c(%rbp),%r10d
mov    -0x48(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1080 <confirm_cover@plt>
mov    -0x40(%rbp),%rdi
call   1040 <sfree@plt>
mov    -0x30(%rbp),%rdi
call   1040 <sfree@plt>
mov    -0x38(%rbp),%rdi
call   1040 <sfree@plt>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wbpcover>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,0x28(%rsp)
mov    %r8,%r13
mov    %rcx,%r14
mov    %rdx,%r15
mov    %esi,%edx
mov    %edi,%r12d
mov    0x88(%rsp),%rax
mov    %rax,0x30(%rsp)
mov    0x80(%rsp),%rax
mov    %rax,0x20(%rsp)
mov    0x2e46(%rip),%rcx
lea    (%rdx,%r12,1),%eax
cmpl   $0x0,(%rcx)
cltq
mov    %edi,%ecx
mov    %rcx,0x18(%rsp)
mov    %rdx,(%rsp)
mov    %rax,0x8(%rsp)
je     1392 <wbpcover+0x232>
mov    (%r15,%rax,4),%ecx
sub    (%r15),%ecx
lea    0xe41(%rip),%rdi
mov    %r12d,%esi
call   1030 <printf@plt>
xor    %edx,%edx
mov    $0x0,%esi
mov    $0x0,%ecx
mov    %r12,0x10(%rsp)
test   %r12d,%r12d
jle    12a9 <wbpcover+0x149>
mov    (%r15),%r8d
xor    %r9d,%r9d
xor    %ecx,%ecx
xor    %esi,%esi
jmp    120d <wbpcover+0xad>
nopl   (%rax)
add    %ebp,%esi
cmp    0x18(%rsp),%r9
je     12a9 <wbpcover+0x149>
mov    %r8d,%r10d
mov    0x0(%r13,%r9,4),%ebp
mov    0x4(%r15,%r9,4),%r8d
add    $0x1,%r9
cmp    %r8d,%r10d
jge    1200 <wbpcover+0xa0>
movslq %r8d,%r11
movslq %r10d,%rax
mov    %r8d,%edi
sub    %r10d,%edi
mov    %rax,%r10
not    %r10
add    %r11,%r10
and    $0x3,%rdi
je     1258 <wbpcover+0xf8>
xchg   %ax,%ax
movslq (%r14,%rax,4),%rbx
mov    0x0(%r13,%rbx,4),%ebx
imul   %ebp,%ebx
add    %ebx,%ecx
add    $0x1,%rax
add    $0xffffffffffffffff,%rdi
jne    1240 <wbpcover+0xe0>
cmp    $0x3,%r10
jb     1200 <wbpcover+0xa0>
xchg   %ax,%ax
movslq (%r14,%rax,4),%rdi
mov    0x0(%r13,%rdi,4),%edi
imul   %ebp,%edi
add    %ecx,%edi
movslq 0x4(%r14,%rax,4),%rcx
mov    0x0(%r13,%rcx,4),%ecx
imul   %ebp,%ecx
add    %edi,%ecx
movslq 0x8(%r14,%rax,4),%rdi
mov    0x0(%r13,%rdi,4),%edi
imul   %ebp,%edi
add    %ecx,%edi
movslq 0xc(%r14,%rax,4),%rcx
mov    0x0(%r13,%rcx,4),%ecx
imul   %ebp,%ecx
add    %edi,%ecx
add    $0x4,%rax
cmp    %rax,%r11
jne    1260 <wbpcover+0x100>
jmp    1200 <wbpcover+0xa0>
cmpl   $0x0,(%rsp)
jle    1379 <wbpcover+0x219>
movslq 0x10(%rsp),%r9
mov    (%r15,%r9,4),%r8d
xor    %edx,%edx
mov    0x8(%rsp),%r12
jmp    12db <wbpcover+0x17b>
cs nopw 0x0(%rax,%rax,1)
nop
add    %ebp,%edx
cmp    %r12,%r9
jge    137e <wbpcover+0x21e>
mov    %r8d,%r10d
mov    0x0(%r13,%r9,4),%ebp
mov    0x4(%r15,%r9,4),%r8d
add    $0x1,%r9
cmp    %r8d,%r10d
jge    12d0 <wbpcover+0x170>
movslq %r8d,%r11
movslq %r10d,%rax
mov    %r8d,%edi
sub    %r10d,%edi
mov    %rax,%r10
not    %r10
add    %r11,%r10
and    $0x3,%rdi
je     1328 <wbpcover+0x1c8>
nopl   0x0(%rax)
movslq (%r14,%rax,4),%rbx
mov    0x0(%r13,%rbx,4),%ebx
imul   %ebp,%ebx
add    %ebx,%ecx
add    $0x1,%rax
add    $0xffffffffffffffff,%rdi
jne    1310 <wbpcover+0x1b0>
cmp    $0x3,%r10
jb     12d0 <wbpcover+0x170>
xchg   %ax,%ax
movslq (%r14,%rax,4),%rdi
mov    0x0(%r13,%rdi,4),%edi
imul   %ebp,%edi
add    %ecx,%edi
movslq 0x4(%r14,%rax,4),%rcx
mov    0x0(%r13,%rcx,4),%ecx
imul   %ebp,%ecx
add    %edi,%ecx
movslq 0x8(%r14,%rax,4),%rdi
mov    0x0(%r13,%rdi,4),%edi
imul   %ebp,%edi
add    %ecx,%edi
movslq 0xc(%r14,%rax,4),%rcx
mov    0x0(%r13,%rcx,4),%ecx
imul   %ebp,%ecx
add    %edi,%ecx
add    $0x4,%rax
cmp    %rax,%r11
jne    1330 <wbpcover+0x1d0>
jmp    12d0 <wbpcover+0x170>
mov    0x8(%rsp),%r12
lea    0xcc9(%rip),%rdi
call   1030 <printf@plt>
mov    %r12,%rax
mov    0x10(%rsp),%r12
mov    (%r15,%rax,4),%ebx
sub    (%r15),%ebx
lea    0x0(,%rax,4),%ebp
mov    %ebp,%edi
call   1060 <smalloc@plt>
mov    %rax,0x10(%rsp)
mov    %ebp,%edi
call   1060 <smalloc@plt>
mov    %r15,%rbp
mov    %rax,%r15
lea    0x4(,%rbx,4),%edi
call   1060 <smalloc@plt>
mov    %rax,%rbx
mov    %r12d,%edi
mov    (%rsp),%rsi
mov    %rbp,%rdx
mov    %r14,%rcx
mov    %r13,%r8
mov    0x10(%rsp),%r9
push   %r15
push   %rax
call   1050 <bpflow@plt>
add    $0x8,%rsp
mov    %r12d,%edi
mov    0x8(%rsp),%rsi
mov    %rbp,0x40(%rsp)
mov    %rbp,%rdx
mov    %r14,%rcx
mov    0x18(%rsp),%r8
mov    %rbx,0x48(%rsp)
mov    %rbx,%r9
push   %r15
call   1070 <reachability@plt>
add    $0x10,%rsp
test   %r12d,%r12d
jle    1431 <wbpcover+0x2d1>
cmp    $0x8,%r12d
jae    143c <wbpcover+0x2dc>
xor    %eax,%eax
xor    %esi,%esi
mov    (%rsp),%rdi
mov    0x18(%rsp),%rbp
jmp    1510 <wbpcover+0x3b0>
xor    %esi,%esi
mov    (%rsp),%rdi
jmp    1521 <wbpcover+0x3c1>
mov    0x18(%rsp),%rbp
mov    %ebp,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
mov    (%rsp),%rdi
je     17fb <wbpcover+0x69b>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm2,%xmm2
xor    %edx,%edx
pxor   %xmm0,%xmm0
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%r15,%rdx,4),%xmm3
movdqu 0x10(%r15,%rdx,4),%xmm4
movdqu 0x20(%r15,%rdx,4),%xmm5
movdqu 0x30(%r15,%rdx,4),%xmm6
pcmpeqd %xmm2,%xmm3
psubd  %xmm3,%xmm0
pcmpeqd %xmm2,%xmm4
psubd  %xmm4,%xmm1
pcmpeqd %xmm2,%xmm5
psubd  %xmm5,%xmm0
pcmpeqd %xmm2,%xmm6
psubd  %xmm6,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1480 <wbpcover+0x320>
test   $0x1,%cl
je     14eb <wbpcover+0x38b>
movdqu (%r15,%rdx,4),%xmm2
movdqu 0x10(%r15,%rdx,4),%xmm3
pxor   %xmm4,%xmm4
pcmpeqd %xmm4,%xmm2
psubd  %xmm2,%xmm0
pcmpeqd %xmm4,%xmm3
psubd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %rbp,%rax
je     1521 <wbpcover+0x3c1>
nopw   0x0(%rax,%rax,1)
cmpl   $0x1,(%r15,%rax,4)
adc    $0x0,%esi
add    $0x1,%rax
cmp    %rax,%rbp
jne    1510 <wbpcover+0x3b0>
test   %edi,%edi
jle    1661 <wbpcover+0x501>
movslq %r12d,%rax
lea    0x1(%rax),%rcx
mov    0x8(%rsp),%rdx
cmp    %rdx,%rcx
cmovle %rdx,%rcx
sub    %rax,%rcx
cmp    $0x8,%rcx
jb     1649 <wbpcover+0x4e9>
mov    %rcx,%r8
and    $0xfffffffffffffff8,%r8
movd   %esi,%xmm0
lea    -0x8(%r8),%rdx
mov    %rdx,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
test   %rdx,%rdx
je     1813 <wbpcover+0x6b3>
mov    %rbp,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r15,%rax,4),%rdx
add    $0x30,%rdx
pxor   %xmm2,%xmm2
xor    %edi,%edi
movdqa 0xa77(%rip),%xmm3
movdqa %xmm0,%xmm5
pxor   %xmm4,%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rdx,%rdi,4),%xmm6
movdqu -0x20(%rdx,%rdi,4),%xmm7
movdqu -0x10(%rdx,%rdi,4),%xmm0
movdqu (%rdx,%rdi,4),%xmm1
pcmpeqd %xmm2,%xmm6
paddd  %xmm5,%xmm6
pcmpeqd %xmm2,%xmm7
paddd  %xmm4,%xmm7
pcmpeqd %xmm2,%xmm0
pcmpeqd %xmm2,%xmm1
paddd  %xmm3,%xmm0
paddd  %xmm6,%xmm0
paddd  %xmm3,%xmm1
paddd  %xmm7,%xmm1
add    $0x10,%rdi
movdqa %xmm0,%xmm5
movdqa %xmm1,%xmm4
add    $0xfffffffffffffffe,%rsi
jne    15a0 <wbpcover+0x440>
test   $0x1,%bpl
je     1627 <wbpcover+0x4c7>
add    %rax,%rdi
movdqu (%r15,%rdi,4),%xmm2
movdqu 0x10(%r15,%rdi,4),%xmm3
pxor   %xmm4,%xmm4
pcmpeqd %xmm4,%xmm2
paddd  %xmm2,%xmm0
pcmpeqd %xmm4,%xmm3
paddd  %xmm3,%xmm1
pcmpeqd %xmm2,%xmm2
psubd  %xmm2,%xmm0
psubd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %r8,%rcx
je     1661 <wbpcover+0x501>
add    %r8,%rax
mov    0x8(%rsp),%rcx
xchg   %ax,%ax
cmpl   $0x1,(%r15,%rax,4)
sbb    $0xffffffff,%esi
add    $0x1,%rax
cmp    %rcx,%rax
jl     1650 <wbpcover+0x4f0>
lea    0x4(,%rsi,4),%edi
call   1060 <smalloc@plt>
mov    %rax,%r10
mov    %r12,%rdi
test   %edi,%edi
jle    16c4 <wbpcover+0x564>
cmp    $0x1,%edi
jne    177d <wbpcover+0x61d>
xor    %ecx,%ecx
xor    %ebp,%ebp
xor    %eax,%eax
mov    (%rsp),%rsi
mov    0x28(%rsp),%r9
mov    0x20(%rsp),%r11
mov    0x8(%rsp),%r12
testb  $0x1,0x18(%rsp)
mov    0x30(%rsp),%rbx
mov    0x293e(%rip),%r8
je     16e7 <wbpcover+0x587>
cmpl   $0x0,(%r15,%rcx,4)
jne    16e7 <wbpcover+0x587>
movslq %ebp,%rdx
add    $0x1,%ebp
mov    %ecx,(%r10,%rdx,4)
add    0x0(%r13,%rcx,4),%eax
jmp    16e7 <wbpcover+0x587>
xor    %eax,%eax
xor    %ebp,%ebp
mov    (%rsp),%rsi
mov    0x28(%rsp),%r9
mov    0x30(%rsp),%rbx
mov    0x290b(%rip),%r8
mov    0x20(%rsp),%r11
mov    0x8(%rsp),%r12
test   %esi,%esi
jle    1711 <wbpcover+0x5b1>
movslq %edi,%rcx
jmp    16f9 <wbpcover+0x599>
add    $0x1,%rcx
cmp    %r12,%rcx
jge    1711 <wbpcover+0x5b1>
cmpl   $0x0,(%r15,%rcx,4)
je     16f0 <wbpcover+0x590>
movslq %ebp,%rdx
add    $0x1,%ebp
mov    %ecx,(%r10,%rdx,4)
add    0x0(%r13,%rcx,4),%eax
jmp    16f0 <wbpcover+0x590>
movslq %ebp,%rcx
movl   $0x0,(%r10,%rcx,4)
mov    %ecx,(%r9)
mov    %eax,(%r11)
mov    %r10,(%rbx)
cmpl   $0x0,(%r8)
mov    0x10(%rsp),%r12
mov    0x40(%rsp),%rbx
je     1757 <wbpcover+0x5f7>
sub    $0x8,%rsp
mov    0x40(%rsp),%rdx
mov    %r14,%rcx
mov    %rbx,%r8
mov    %r13,%r9
xor    %eax,%eax
push   %r10
push   %rbp
push   %r12
call   1080 <confirm_cover@plt>
add    $0x20,%rsp
mov    %rbx,%rdi
call   1040 <sfree@plt>
mov    %r15,%rdi
call   1040 <sfree@plt>
mov    %r12,%rdi
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <sfree@plt>
mov    0x18(%rsp),%r8
and    $0xfffffffe,%r8d
xor    %ecx,%ecx
xor    %ebp,%ebp
xor    %eax,%eax
mov    (%rsp),%rsi
mov    0x28(%rsp),%r9
mov    0x20(%rsp),%r11
mov    0x8(%rsp),%r12
jmp    17bd <wbpcover+0x65d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x2,%rcx
cmp    %rcx,%r8
je     1699 <wbpcover+0x539>
cmpl   $0x0,(%r15,%rcx,4)
je     17d0 <wbpcover+0x670>
cmpl   $0x0,0x4(%r15,%rcx,4)
jne    17b0 <wbpcover+0x650>
jmp    17e7 <wbpcover+0x687>
xchg   %ax,%ax
movslq %ebp,%rbx
add    $0x1,%ebp
mov    %ecx,(%r10,%rbx,4)
add    0x0(%r13,%rcx,4),%eax
cmpl   $0x0,0x4(%r15,%rcx,4)
jne    17b0 <wbpcover+0x650>
movslq %ebp,%rbx
add    $0x1,%ebp
lea    0x1(%rcx),%edx
mov    %edx,(%r10,%rbx,4)
add    0x4(%r13,%rcx,4),%eax
jmp    17b0 <wbpcover+0x650>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
test   $0x1,%cl
jne    14ca <wbpcover+0x36a>
jmp    14eb <wbpcover+0x38b>
pxor   %xmm1,%xmm1
xor    %edi,%edi
test   $0x1,%bpl
jne    15f7 <wbpcover+0x497>
jmp    1627 <wbpcover+0x4c7>

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

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