#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*/ assert(int);
int /*<<< orphan*/ printf(char *, ...);
void reducerankLB(int t[16][16], int t0[16], int t1[16]) {
  int d, i, j, dd, nd, i1, j1, nmax, dmin, imin, jmin, vmin, n0[16], n1[16];
  vmin = 1000000000;
  imin = jmin = -1;
  for (i = 0; i < 16; i++)
    for (j = 0; j < 16; j++)
      if (t[i][j] < vmin) {
        vmin = t[i][j];
        imin = i;
        jmin = j;
      }
  for (i = 0; i < 16; i++) {
    t0[i] = t[i][jmin];
    t1[i] = t[imin][i] - vmin;
  }
  nd = 0;
  for (i = 0; i < 16; i++)
    n0[i] = n1[i] = 0;
  for (i = 0; i < 16; i++)
    for (j = 0; j < 16; j++)
      if (t0[i] + t1[j] > t[i][j]) {
        n0[i]++;
        n1[j]++;
        nd++;
      }
  while (nd > 0) {
    if (0) {
      printf("             ");
      for (j = 0; j < 16; j++)
        printf(" %4d", n1[j]);
      printf("\n");
      printf("             ");
      for (j = 0; j < 16; j++)
        printf(" %4d", t1[j]);
      printf("\n");
      for (i = 0; i < 16; i++) {
        printf("%4d %4d : ", n0[i], t0[i]);
        for (j = 0; j < 16; j++)
          printf(" %4d", t0[i] + t1[j] - t[i][j]);
        printf("\n");
      }
      printf("\n");
    }
    nmax = 0;
    dd = -1;
    for (i = 0; i < 16; i++) {
      if (n0[i] > nmax) {
        nmax = n0[i];
        dd = i;
      }
      if (n1[i] > nmax) {
        nmax = n1[i];
        dd = 16 + i;
      }
    }
    if (dd < 16) {
      dmin = 1000000000;
      j1 = -1;
      for (j = 0; j < 16; j++) {
        d = (t0[dd] + t1[j]) - t[dd][j];
        if (d > 0 && d < dmin) {
          dmin = d;
          j1 = j;
        }
      }
      assert(j1 >= 0);
      t0[dd] -= dmin;
      for (j = 0; j < 16; j++)
        if (t0[dd] + t1[j] == t[dd][j]) {
          n0[dd]--;
          n1[j]--;
          nd--;
          assert(n0[dd] >= 0 && n1[j] >= 0 && nd >= 0);
        }
    } else {
      dd -= 16;
      dmin = 1000000000;
      i1 = -1;
      for (i = 0; i < 16; i++) {
        d = (t0[i] + t1[dd]) - t[i][dd];
        if (d > 0 && d < dmin) {
          dmin = d;
          i1 = i;
        }
      }
      assert(i1 >= 0);
      t1[dd] -= dmin;
      for (i = 0; i < 16; i++)
        if (t0[i] + t1[dd] == t[i][dd]) {
          n0[i]--;
          n1[dd]--;
          nd--;
          assert(n0[i] >= 0 && n1[dd] >= 0 && nd >= 0);
        }
    }
  }
}


x86 assembly (clang, -O0):
<reducerankLB>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x3b9aca00,-0x48(%rbp)
movl   $0xffffffff,-0x44(%rbp)
movl   $0xffffffff,-0x40(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    11c8 <reducerankLB+0xb8>
movl   $0x0,-0x24(%rbp)
cmpl   $0x10,-0x24(%rbp)
jge    11b5 <reducerankLB+0xa5>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x6,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x48(%rbp),%eax
jge    11a2 <reducerankLB+0x92>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x6,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    11a7 <reducerankLB+0x97>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1154 <reducerankLB+0x44>
jmp    11ba <reducerankLB+0xaa>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1143 <reducerankLB+0x33>
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    122c <reducerankLB+0x11c>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x6,%rcx
add    %rcx,%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
shl    $0x6,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    -0x48(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11cf <reducerankLB+0xbf>
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    1270 <reducerankLB+0x160>
movslq -0x20(%rbp),%rax
movl   $0x0,-0xd0(%rbp,%rax,4)
movslq -0x20(%rbp),%rax
movl   $0x0,-0x90(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    123a <reducerankLB+0x12a>
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    131d <reducerankLB+0x20d>
movl   $0x0,-0x24(%rbp)
cmpl   $0x10,-0x24(%rbp)
jge    130a <reducerankLB+0x1fa>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
shl    $0x6,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    12f7 <reducerankLB+0x1e7>
movslq -0x20(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x90(%rbp,%rax,4)
movslq -0x24(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0xd0(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12fc <reducerankLB+0x1ec>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1288 <reducerankLB+0x178>
jmp    130f <reducerankLB+0x1ff>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1277 <reducerankLB+0x167>
jmp    1322 <reducerankLB+0x212>
cmpl   $0x0,-0x2c(%rbp)
jle    16d5 <reducerankLB+0x5c5>
movl   $0x0,-0x38(%rbp)
movl   $0xffffffff,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    13b1 <reducerankLB+0x2a1>
movslq -0x20(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%eax
cmp    -0x38(%rbp),%eax
jle    1373 <reducerankLB+0x263>
movslq -0x20(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
movslq -0x20(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%eax
cmp    -0x38(%rbp),%eax
jle    139e <reducerankLB+0x28e>
movslq -0x20(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x28(%rbp)
jmp    13a3 <reducerankLB+0x293>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1341 <reducerankLB+0x231>
cmpl   $0x10,-0x28(%rbp)
jge    1541 <reducerankLB+0x431>
movl   $0x3b9aca00,-0x3c(%rbp)
movl   $0xffffffff,-0x34(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x10,-0x24(%rbp)
jge    143e <reducerankLB+0x32e>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x28(%rbp),%rdx
shl    $0x6,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jle    142b <reducerankLB+0x31b>
mov    -0x1c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    142b <reducerankLB+0x31b>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    1430 <reducerankLB+0x320>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13d0 <reducerankLB+0x2c0>
cmpl   $0x0,-0x34(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x3c(%rbp),%esi
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x24(%rbp)
cmpl   $0x10,-0x24(%rbp)
jge    153c <reducerankLB+0x42c>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x28(%rbp),%rdx
shl    $0x6,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1529 <reducerankLB+0x419>
movslq -0x28(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x90(%rbp,%rax,4)
movslq -0x24(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xd0(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
movslq -0x28(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x0,-0x90(%rbp,%rcx,4)
mov    %al,-0xd1(%rbp)
jl     1519 <reducerankLB+0x409>
movslq -0x24(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x0,-0xd0(%rbp,%rcx,4)
mov    %al,-0xd1(%rbp)
jl     1519 <reducerankLB+0x409>
cmpl   $0x0,-0x2c(%rbp)
setge  %al
mov    %al,-0xd1(%rbp)
mov    -0xd1(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    152e <reducerankLB+0x41e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1469 <reducerankLB+0x359>
jmp    16d0 <reducerankLB+0x5c0>
mov    -0x28(%rbp),%eax
sub    $0x10,%eax
mov    %eax,-0x28(%rbp)
movl   $0x3b9aca00,-0x3c(%rbp)
movl   $0xffffffff,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    15cd <reducerankLB+0x4bd>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
shl    $0x6,%rdx
add    %rdx,%rcx
movslq -0x28(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jle    15ba <reducerankLB+0x4aa>
mov    -0x1c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    15ba <reducerankLB+0x4aa>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    15bf <reducerankLB+0x4af>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    155f <reducerankLB+0x44f>
cmpl   $0x0,-0x30(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x3c(%rbp),%esi
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    16cb <reducerankLB+0x5bb>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
shl    $0x6,%rdx
add    %rdx,%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    16b8 <reducerankLB+0x5a8>
movslq -0x20(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x90(%rbp,%rax,4)
movslq -0x28(%rbp),%rax
mov    -0xd0(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xd0(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
movslq -0x20(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x0,-0x90(%rbp,%rcx,4)
mov    %al,-0xd2(%rbp)
jl     16a8 <reducerankLB+0x598>
movslq -0x28(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x0,-0xd0(%rbp,%rcx,4)
mov    %al,-0xd2(%rbp)
jl     16a8 <reducerankLB+0x598>
cmpl   $0x0,-0x2c(%rbp)
setge  %al
mov    %al,-0xd2(%rbp)
mov    -0xd2(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    16bd <reducerankLB+0x5ad>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    15f8 <reducerankLB+0x4e8>
jmp    16d0 <reducerankLB+0x5c0>
jmp    1322 <reducerankLB+0x212>
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reducerankLB>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb8,%rsp
mov    %rdx,%r12
mov    %rsi,0x8(%rsp)
mov    %rdi,(%rsp)
lea    0x3c(%rdi),%rdx
mov    $0xffffffff,%ecx
mov    $0x3b9aca00,%eax
mov    $0xa,%r8d
mov    $0xb,%r9d
mov    $0xc,%r10d
mov    $0xd,%r11d
mov    $0xe,%r13d
mov    $0xf,%r15d
xor    %ebp,%ebp
mov    $0xffffffff,%ebx
cs nopw 0x0(%rax,%rax,1)
mov    -0x3c(%rdx),%esi
cmp    %eax,%esi
mov    $0x0,%r14d
cmovl  %r14d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x38(%rdx),%esi
cmp    %eax,%esi
mov    $0x1,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x34(%rdx),%esi
cmp    %eax,%esi
mov    $0x2,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x30(%rdx),%esi
cmp    %eax,%esi
mov    $0x3,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x2c(%rdx),%esi
cmp    %eax,%esi
mov    $0x4,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x28(%rdx),%esi
cmp    %eax,%esi
mov    $0x5,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x24(%rdx),%esi
cmp    %eax,%esi
mov    $0x6,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x20(%rdx),%esi
cmp    %eax,%esi
mov    $0x7,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x1c(%rdx),%esi
cmp    %eax,%esi
mov    $0x8,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x18(%rdx),%esi
cmp    %eax,%esi
mov    $0x9,%edi
cmovl  %edi,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x14(%rdx),%esi
cmp    %eax,%esi
cmovl  %r8d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x10(%rdx),%esi
cmp    %eax,%esi
cmovl  %r9d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0xc(%rdx),%esi
cmp    %eax,%esi
cmovl  %r10d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x8(%rdx),%esi
cmp    %eax,%esi
cmovl  %r11d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    -0x4(%rdx),%esi
cmp    %eax,%esi
cmovl  %r13d,%ecx
cmovl  %esi,%eax
cmovl  %ebp,%ebx
mov    (%rdx),%esi
cmp    %eax,%esi
cmovl  %esi,%eax
cmovl  %ebp,%ebx
cmovl  %r15d,%ecx
add    $0x1,%rbp
add    $0x40,%rdx
cmp    $0x10,%rbp
jne    1170 <reducerankLB+0x60>
movslq %ecx,%rdx
movslq %ebx,%r15
mov    0x8(%rsp),%rbx
lea    0x40(%rbx),%rsi
lea    0x40(%r12),%rbp
shl    $0x6,%r15
mov    (%rsp),%rcx
lea    (%rcx,%r15,1),%rdi
cmp    %rbx,%rbp
seta   0x10(%rsp)
lea    (%rcx,%r15,1),%r9
add    $0x40,%r9
cmp    %r12,%rsi
seta   %r10b
lea    (%rcx,%rdx,4),%r11
cmp    %rbx,%r9
seta   %r13b
lea    (%rcx,%rdx,4),%r14
add    $0x3c4,%r14
cmp    %rsi,%rdi
setb   0x18(%rsp)
cmp    %rbx,%r14
seta   %r8b
cmp    %rsi,%r11
setb   %bl
cmp    %r12,%r9
seta   %r9b
cmp    %rbp,%rdi
setb   %cl
cmp    %r12,%r14
seta   %sil
cmp    %rbp,%r11
setb   %dil
test   %r10b,0x10(%rsp)
jne    1462 <reducerankLB+0x352>
and    0x18(%rsp),%r13b
jne    1462 <reducerankLB+0x352>
and    %bl,%r8b
jne    1462 <reducerankLB+0x352>
and    %cl,%r9b
jne    1462 <reducerankLB+0x352>
and    %dil,%sil
jne    1462 <reducerankLB+0x352>
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
mov    (%rsp),%rcx
movss  0xc0(%rcx,%rdx,4),%xmm1
movss  0x80(%rcx,%rdx,4),%xmm2
unpcklps %xmm1,%xmm2
movss  0x40(%rcx,%rdx,4),%xmm1
movss  (%rcx,%rdx,4),%xmm3
unpcklps %xmm1,%xmm3
movlhps %xmm2,%xmm3
mov    0x8(%rsp),%rax
movups %xmm3,(%rax)
movdqu (%rcx,%r15,1),%xmm1
psubd  %xmm0,%xmm1
movdqu %xmm1,(%r12)
movss  0x1c0(%rcx,%rdx,4),%xmm1
movss  0x180(%rcx,%rdx,4),%xmm2
unpcklps %xmm1,%xmm2
movss  0x140(%rcx,%rdx,4),%xmm1
movss  0x100(%rcx,%rdx,4),%xmm3
unpcklps %xmm1,%xmm3
movlhps %xmm2,%xmm3
movups %xmm3,0x10(%rax)
movdqu 0x10(%rcx,%r15,1),%xmm1
psubd  %xmm0,%xmm1
movdqu %xmm1,0x10(%r12)
movss  0x2c0(%rcx,%rdx,4),%xmm1
movss  0x280(%rcx,%rdx,4),%xmm2
unpcklps %xmm1,%xmm2
movss  0x240(%rcx,%rdx,4),%xmm1
movss  0x200(%rcx,%rdx,4),%xmm3
unpcklps %xmm1,%xmm3
movlhps %xmm2,%xmm3
movups %xmm3,0x20(%rax)
movdqu 0x20(%rcx,%r15,1),%xmm1
psubd  %xmm0,%xmm1
movdqu %xmm1,0x20(%r12)
movss  0x3c0(%rcx,%rdx,4),%xmm1
movss  0x380(%rcx,%rdx,4),%xmm2
unpcklps %xmm1,%xmm2
movss  0x340(%rcx,%rdx,4),%xmm1
movss  0x300(%rcx,%rdx,4),%xmm3
unpcklps %xmm1,%xmm3
movlhps %xmm2,%xmm3
movups %xmm3,0x30(%rax)
movdqu 0x30(%rcx,%r15,1),%xmm1
mov    %rax,%r15
psubd  %xmm0,%xmm1
movdqu %xmm1,0x30(%r12)
jmp    14b0 <reducerankLB+0x3a0>
mov    (%rsp),%rcx
lea    (%rcx,%rdx,4),%rdx
add    $0x40,%rdx
add    %r15,%rcx
add    $0x4,%rcx
xor    %esi,%esi
mov    0x8(%rsp),%r15
nopl   0x0(%rax)
mov    -0x40(%rdx),%edi
mov    %edi,(%r15,%rsi,4)
mov    -0x4(%rcx,%rsi,4),%edi
sub    %eax,%edi
mov    %edi,(%r12,%rsi,4)
mov    (%rdx),%edi
mov    %edi,0x4(%r15,%rsi,4)
mov    (%rcx,%rsi,4),%edi
sub    %eax,%edi
mov    %edi,0x4(%r12,%rsi,4)
add    $0x2,%rsi
sub    $0xffffffffffffff80,%rdx
cmp    $0x10,%rsi
jne    1480 <reducerankLB+0x370>
pxor   %xmm0,%xmm0
movdqa %xmm0,0x60(%rsp)
movdqa %xmm0,0x50(%rsp)
movdqa %xmm0,0x40(%rsp)
movdqa %xmm0,0x30(%rsp)
movdqa %xmm0,0x70(%rsp)
movdqa %xmm0,0x80(%rsp)
movdqa %xmm0,0x90(%rsp)
movdqa %xmm0,0xa0(%rsp)
xor    %eax,%eax
mov    (%rsp),%rcx
xor    %r14d,%r14d
jmp    150e <reducerankLB+0x3fe>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
add    $0x40,%rcx
cmp    $0x10,%rax
je     1545 <reducerankLB+0x435>
mov    (%r15,%rax,4),%edx
xor    %esi,%esi
jmp    152a <reducerankLB+0x41a>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rsi
cmp    $0x10,%rsi
je     1500 <reducerankLB+0x3f0>
mov    (%r12,%rsi,4),%edi
add    %edx,%edi
cmp    (%rcx,%rsi,4),%edi
jle    1520 <reducerankLB+0x410>
addl   $0x1,0x70(%rsp,%rax,4)
addl   $0x1,0x30(%rsp,%rsi,4)
add    $0x1,%r14d
jmp    1520 <reducerankLB+0x410>
test   %r14d,%r14d
jle    1841 <reducerankLB+0x731>
mov    (%rsp),%rax
lea    0x40(%rax),%rcx
mov    %rcx,0x28(%rsp)
add    $0x4,%rax
mov    %rax,0x20(%rsp)
jmp    1579 <reducerankLB+0x469>
cs nopw 0x0(%rax,%rax,1)
test   %r14d,%r14d
jle    1841 <reducerankLB+0x731>
mov    $0xffffffff,%r13d
xor    %eax,%eax
xor    %ecx,%ecx
jmp    159c <reducerankLB+0x48c>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %esi,%ecx
add    $0x2,%rax
cmp    $0x10,%rax
je     15f0 <reducerankLB+0x4e0>
mov    0x70(%rsp,%rax,4),%edx
cmp    %ecx,%edx
cmovg  %eax,%r13d
cmovg  %edx,%ecx
mov    0x30(%rsp,%rax,4),%edx
cmp    %ecx,%edx
jg     15c0 <reducerankLB+0x4b0>
mov    %ecx,%edx
jmp    15c4 <reducerankLB+0x4b4>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x10(%rax),%r13d
mov    0x74(%rsp,%rax,4),%esi
cmp    %edx,%esi
jg     15d0 <reducerankLB+0x4c0>
mov    %edx,%esi
jmp    15d4 <reducerankLB+0x4c4>
lea    0x1(%rax),%r13d
mov    0x34(%rsp,%rax,4),%ecx
cmp    %esi,%ecx
jle    1590 <reducerankLB+0x480>
lea    0x11(%rax),%r13d
jmp    1592 <reducerankLB+0x482>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0xf,%r13d
jg     1690 <reducerankLB+0x580>
movslq %r13d,%rcx
mov    (%r15,%rcx,4),%r8d
mov    %rcx,0x10(%rsp)
shl    $0x6,%rcx
mov    0x20(%rsp),%rax
mov    %rcx,0x18(%rsp)
lea    (%rax,%rcx,1),%rbp
mov    $0xffffffff,%edi
mov    $0x3b9aca00,%r15d
xor    %edx,%edx
jmp    1643 <reducerankLB+0x533>
nopw   0x0(%rax,%rax,1)
mov    %ebx,%edi
mov    %esi,%r15d
add    $0x2,%rdx
cmp    $0x10,%rdx
je     1710 <reducerankLB+0x600>
mov    (%r12,%rdx,4),%esi
add    %r8d,%esi
sub    -0x4(%rbp,%rdx,4),%esi
test   %esi,%esi
setg   %al
cmp    %r15d,%esi
setl   %cl
mov    %edx,%ebx
test   %cl,%al
jne    1664 <reducerankLB+0x554>
mov    %edi,%ebx
mov    %r15d,%esi
mov    0x4(%r12,%rdx,4),%r15d
add    %r8d,%r15d
sub    0x0(%rbp,%rdx,4),%r15d
test   %r15d,%r15d
setg   %al
cmp    %esi,%r15d
setl   %cl
test   %cl,%al
je     1630 <reducerankLB+0x520>
lea    0x1(%rdx),%edi
jmp    1635 <reducerankLB+0x525>
cs nopw 0x0(%rax,%rax,1)
add    $0xfffffff0,%r13d
mov    (%r12,%r13,4),%r8d
mov    0x28(%rsp),%rax
lea    (%rax,%r13,4),%rcx
mov    $0xffffffff,%edi
mov    $0x3b9aca00,%ebp
xor    %edx,%edx
jmp    16c7 <reducerankLB+0x5b7>
nop
mov    %r9d,%edi
mov    %esi,%ebp
sub    $0xffffffffffffff80,%rcx
add    $0x2,%rdx
cmp    $0x10,%rdx
je     17c0 <reducerankLB+0x6b0>
mov    (%r15,%rdx,4),%esi
add    %r8d,%esi
sub    -0x40(%rcx),%esi
test   %esi,%esi
setg   %al
cmp    %ebp,%esi
setl   %bl
mov    %edx,%r9d
test   %bl,%al
jne    16e7 <reducerankLB+0x5d7>
mov    %edi,%r9d
mov    %ebp,%esi
mov    0x4(%r15,%rdx,4),%ebp
add    %r8d,%ebp
sub    (%rcx),%ebp
test   %ebp,%ebp
setg   %al
cmp    %esi,%ebp
setl   %bl
test   %bl,%al
je     16b0 <reducerankLB+0x5a0>
lea    0x1(%rdx),%edi
jmp    16b5 <reducerankLB+0x5a5>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
not    %edi
shr    $0x1f,%edi
call   1030 <assert@plt>
mov    0x8(%rsp),%rcx
mov    0x10(%rsp),%rdx
mov    (%rcx,%rdx,4),%eax
sub    %r15d,%eax
mov    %rcx,%r15
mov    %eax,(%rcx,%rdx,4)
mov    0x18(%rsp),%rcx
add    (%rsp),%rcx
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
add    (%r12,%rbx,4),%eax
cmp    (%rcx,%rbx,4),%eax
jne    1799 <reducerankLB+0x689>
mov    0x10(%rsp),%rdx
mov    0x70(%rsp,%rdx,4),%eax
mov    %r15,%r13
mov    %r12,%r15
mov    %rcx,%r12
lea    -0x1(%rax),%ecx
mov    %ecx,0x70(%rsp,%rdx,4)
mov    0x30(%rsp,%rbx,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,0x30(%rsp,%rbx,4)
lea    -0x1(%r14),%ebp
test   %eax,%eax
setg   %al
test   %ecx,%ecx
setg   %cl
and    %al,%cl
test   %r14d,%r14d
setg   %al
and    %cl,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    %r12,%rcx
mov    %r15,%r12
mov    %r13,%r15
mov    %ebp,%r14d
cmp    $0xf,%rbx
je     1570 <reducerankLB+0x460>
mov    0x10(%rsp),%rax
mov    (%r15,%rax,4),%eax
add    $0x1,%rbx
jmp    1740 <reducerankLB+0x630>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
not    %edi
shr    $0x1f,%edi
call   1030 <assert@plt>
mov    (%r12,%r13,4),%eax
sub    %ebp,%eax
mov    %eax,(%r12,%r13,4)
mov    (%rsp),%rcx
lea    (%rcx,%r13,4),%rbp
xor    %ebx,%ebx
xchg   %ax,%ax
add    (%r15,%rbx,4),%eax
cmp    0x0(%rbp),%eax
jne    1829 <reducerankLB+0x719>
mov    0x70(%rsp,%rbx,4),%eax
lea    -0x1(%rax),%ecx
mov    %ecx,0x70(%rsp,%rbx,4)
mov    0x30(%rsp,%r13,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,0x30(%rsp,%r13,4)
lea    -0x1(%r14),%r15d
test   %eax,%eax
setg   %al
test   %ecx,%ecx
setg   %cl
and    %al,%cl
test   %r14d,%r14d
setg   %al
and    %cl,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    %r15d,%r14d
mov    0x8(%rsp),%r15
cmp    $0xf,%rbx
je     1570 <reducerankLB+0x460>
mov    (%r12,%r13,4),%eax
add    $0x40,%rbp
add    $0x1,%rbx
jmp    17e0 <reducerankLB+0x6d0>
add    $0xb8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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