#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*/ exit(int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, int, int, int);
int galois_single_divide(int, int, int);
int galois_single_multiply(int, int, int);
int *reed_sol_extended_vandermonde_matrix(int, int, int);
int /*<<< orphan*/ stderr;
int *reed_sol_big_vandermonde_distribution_matrix(int rows, int cols, int w) {
  int *dist;
  int i, j, k;
  int sindex, srindex, siindex, tmp;
  if (cols >= rows)
    return NULL;
  dist = reed_sol_extended_vandermonde_matrix(rows, cols, w);
  if (dist == NULL)
    return NULL;
  sindex = 0;
  for (i = 1; i < cols; i++) {
    sindex += cols;
    srindex = sindex + i;
    for (j = i; j < rows && dist[srindex] == 0; j++)
      srindex += cols;
    if (j >= rows) {
      fprintf(stderr,
              "reed_sol_big_vandermonde_distribution_matrix(%d,%d,%d) - "
              "couldn't make matrix\n",
              rows, cols, w);
      exit(1);
    }
    if (j != i) {
      srindex -= i;
      for (k = 0; k < cols; k++) {
        tmp = dist[srindex + k];
        dist[srindex + k] = dist[sindex + k];
        dist[sindex + k] = tmp;
      }
    }
    if (dist[sindex + i] != 1) {
      tmp = galois_single_divide(1, dist[sindex + i], w);
      srindex = i;
      for (j = 0; j < rows; j++) {
        dist[srindex] = galois_single_multiply(tmp, dist[srindex], w);
        srindex += cols;
      }
    }
    for (j = 0; j < cols; j++) {
      tmp = dist[sindex + j];
      if (j != i && tmp != 0) {
        srindex = j;
        siindex = i;
        for (k = 0; k < rows; k++) {
          dist[srindex] =
              dist[srindex] ^ galois_single_multiply(tmp, dist[siindex], w);
          srindex += cols;
          siindex += cols;
        }
      }
    }
  }
  sindex = cols * cols;
  for (j = 0; j < cols; j++) {
    tmp = dist[sindex];
    if (tmp != 1) {
      tmp = galois_single_divide(1, tmp, w);
      srindex = sindex;
      for (i = cols; i < rows; i++) {
        dist[srindex] = galois_single_multiply(tmp, dist[srindex], w);
        srindex += cols;
      }
    }
    sindex++;
  }
  sindex = cols * (cols + 1);
  for (i = cols + 1; i < rows; i++) {
    tmp = dist[sindex];
    if (tmp != 1) {
      tmp = galois_single_divide(1, tmp, w);
      for (j = 0; j < cols; j++)
        dist[sindex + j] = galois_single_multiply(dist[sindex + j], tmp, w);
    }
    sindex += cols;
  }
  return dist;
}


x86 assembly (clang, -O0):
<reed_sol_big_vandermonde_distribution_matrix>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     117a <reed_sol_big_vandermonde_distribution_matrix+0x2a>
movq   $0x0,-0x8(%rbp)
jmp    15b8 <reed_sol_big_vandermonde_distribution_matrix+0x468>
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
call   1040 <reed_sol_extended_vandermonde_matrix@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    11a4 <reed_sol_big_vandermonde_distribution_matrix+0x54>
movq   $0x0,-0x8(%rbp)
jmp    15b8 <reed_sol_big_vandermonde_distribution_matrix+0x468>
movl   $0x0,-0x30(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1441 <reed_sol_big_vandermonde_distribution_matrix+0x2f1>
mov    -0x10(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x3d(%rbp)
jge    11f9 <reed_sol_big_vandermonde_distribution_matrix+0xa9>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    1209 <reed_sol_big_vandermonde_distribution_matrix+0xb9>
jmp    1220 <reed_sol_big_vandermonde_distribution_matrix+0xd0>
mov    -0x10(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11d6 <reed_sol_big_vandermonde_distribution_matrix+0x86>
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1255 <reed_sol_big_vandermonde_distribution_matrix+0x105>
mov    0x2dad(%rip),%rax
mov    (%rax),%edi
mov    -0xc(%rbp),%edx
mov    -0x10(%rbp),%ecx
mov    -0x14(%rbp),%r8d
lea    0xdba(%rip),%rsi
call   1050 <fprintf@plt>
mov    $0x1,%edi
call   1060 <exit@plt>
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     12d8 <reed_sol_big_vandermonde_distribution_matrix+0x188>
mov    -0x24(%rbp),%ecx
mov    -0x34(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    12d3 <reed_sol_big_vandermonde_distribution_matrix+0x183>
mov    -0x20(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1273 <reed_sol_big_vandermonde_distribution_matrix+0x123>
jmp    12d8 <reed_sol_big_vandermonde_distribution_matrix+0x188>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
je     1367 <reed_sol_big_vandermonde_distribution_matrix+0x217>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x14(%rbp),%edx
mov    $0x1,%edi
call   1030 <galois_single_divide@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1362 <reed_sol_big_vandermonde_distribution_matrix+0x212>
mov    -0x3c(%rbp),%edi
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x14(%rbp),%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    131c <reed_sol_big_vandermonde_distribution_matrix+0x1cc>
jmp    1367 <reed_sol_big_vandermonde_distribution_matrix+0x217>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    142e <reed_sol_big_vandermonde_distribution_matrix+0x2de>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     141b <reed_sol_big_vandermonde_distribution_matrix+0x2cb>
cmpl   $0x0,-0x3c(%rbp)
je     141b <reed_sol_big_vandermonde_distribution_matrix+0x2cb>
mov    -0x28(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1416 <reed_sol_big_vandermonde_distribution_matrix+0x2c6>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%edi
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x14(%rbp),%edx
call   1070 <galois_single_multiply@plt>
mov    -0x44(%rbp),%edx
xor    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13b6 <reed_sol_big_vandermonde_distribution_matrix+0x266>
jmp    141b <reed_sol_big_vandermonde_distribution_matrix+0x2cb>
jmp    1420 <reed_sol_big_vandermonde_distribution_matrix+0x2d0>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    136e <reed_sol_big_vandermonde_distribution_matrix+0x21e>
jmp    1433 <reed_sol_big_vandermonde_distribution_matrix+0x2e3>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b2 <reed_sol_big_vandermonde_distribution_matrix+0x62>
mov    -0x10(%rbp),%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    14f7 <reed_sol_big_vandermonde_distribution_matrix+0x3a7>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x1,-0x3c(%rbp)
je     14e0 <reed_sol_big_vandermonde_distribution_matrix+0x390>
mov    -0x3c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    $0x1,%edi
call   1030 <galois_single_divide@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    14db <reed_sol_big_vandermonde_distribution_matrix+0x38b>
mov    -0x3c(%rbp),%edi
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x14(%rbp),%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1495 <reed_sol_big_vandermonde_distribution_matrix+0x345>
jmp    14e0 <reed_sol_big_vandermonde_distribution_matrix+0x390>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1452 <reed_sol_big_vandermonde_distribution_matrix+0x302>
mov    -0x10(%rbp),%eax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    15b0 <reed_sol_big_vandermonde_distribution_matrix+0x460>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x1,-0x3c(%rbp)
je     1599 <reed_sol_big_vandermonde_distribution_matrix+0x449>
mov    -0x3c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    $0x1,%edi
call   1030 <galois_single_divide@plt>
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1594 <reed_sol_big_vandermonde_distribution_matrix+0x444>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x3c(%rbp),%esi
mov    -0x14(%rbp),%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    154d <reed_sol_big_vandermonde_distribution_matrix+0x3fd>
jmp    1599 <reed_sol_big_vandermonde_distribution_matrix+0x449>
mov    -0x10(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    150f <reed_sol_big_vandermonde_distribution_matrix+0x3bf>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reed_sol_big_vandermonde_distribution_matrix>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xe8,%rsp
cmp    %edi,%esi
jge    1632 <reed_sol_big_vandermonde_distribution_matrix+0x4e2>
mov    %edx,%r15d
mov    %esi,%r14d
mov    %edi,%ebp
call   1040 <reed_sol_extended_vandermonde_matrix@plt>
test   %rax,%rax
je     1632 <reed_sol_big_vandermonde_distribution_matrix+0x4e2>
mov    %rax,%r12
mov    %ebp,(%rsp)
mov    %r14d,%ebx
cmp    $0x2,%r14d
mov    %r15d,0x4(%rsp)
mov    %r14,0x40(%rsp)
mov    %rax,0x8(%rsp)
mov    %rbx,0x50(%rsp)
jl     1646 <reed_sol_big_vandermonde_distribution_matrix+0x4f6>
lea    0x1(%r14),%ecx
mov    (%rsp),%eax
cmp    $0x2,%eax
mov    $0x1,%r9d
mov    $0x1,%edx
cmovge %eax,%edx
mov    %rdx,0xd0(%rsp)
lea    (%r12,%rbx,4),%rdx
mov    %rdx,0xa8(%rsp)
lea    (%rbx,%rbx,1),%rdx
mov    %rdx,0xc8(%rsp)
mov    %ebx,%edx
and    $0xfffffff8,%edx
mov    %rdx,0xa0(%rsp)
add    $0xfffffffffffffff8,%rdx
mov    %rdx,0x98(%rsp)
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %rsi,%rdx
mov    %rsi,0x90(%rsp)
and    $0xfffffffffffffffe,%rsi
mov    %rsi,0x88(%rsp)
mov    %rbx,%rdx
neg    %rdx
mov    %rdx,0xb8(%rsp)
mov    %rbx,%r10
shl    $0x20,%r10
lea    0x0(,%rbx,4),%r13
sub    %eax,%r9d
lea    0x30(%r12),%rax
mov    %rax,0x80(%rsp)
lea    (%r12,%rbx,4),%r11
add    $0x30,%r11
lea    0x4(%r12,%rbx,4),%rdx
lea    0x4(%r12),%rsi
mov    $0x1,%edi
movq   $0xffffffffffffffff,0x70(%rsp)
ff ff
xor    %eax,%eax
mov    %rsi,0xb0(%rsp)
mov    %r14d,%ebp
mov    %r14d,0x34(%rsp)
mov    %ecx,0x6c(%rsp)
mov    %ecx,0x14(%rsp)
mov    %r10,0xc0(%rsp)
mov    %r13,0x78(%rsp)
jmp    1302 <reed_sol_big_vandermonde_distribution_matrix+0x1b2>
nop
mov    0x60(%rsp),%rdi
add    $0x1,%rdi
mov    0x14(%rsp),%eax
add    0x6c(%rsp),%eax
mov    %eax,0x14(%rsp)
addq   $0xffffffffffffffff,0x70(%rsp)
mov    0xe0(%rsp),%r9
add    $0x1,%r9
mov    0x40(%rsp),%r14
add    %r14d,0x34(%rsp)
mov    0x78(%rsp),%r13
mov    0xd8(%rsp),%r11
add    %r13,%r11
mov    0x48(%rsp),%rdx
add    %r13,%rdx
mov    0x58(%rsp),%rsi
add    $0x4,%rsi
mov    0x38(%rsp),%rax
cmp    %rbx,%rdi
mov    0x4(%rsp),%r15d
mov    0x8(%rsp),%r12
mov    0xc0(%rsp),%r10
je     1646 <reed_sol_big_vandermonde_distribution_matrix+0x4f6>
mov    %rsi,0x58(%rsp)
mov    %rdx,0x48(%rsp)
mov    %rdi,%rcx
mov    %rdi,0x60(%rsp)
cmp    0xd0(%rsp),%rdi
je     17b8 <reed_sol_big_vandermonde_distribution_matrix+0x668>
movslq 0x14(%rsp),%rcx
mov    0x70(%rsp),%rdx
add    %ecx,%edx
shl    $0x20,%rdx
lea    (%r12,%rcx,4),%rbp
lea    (%rax,%rbx,1),%rcx
lea    (%r12,%rcx,4),%rsi
add    0xc8(%rsp),%rax
lea    (%r12,%rax,4),%rdi
mov    0x60(%rsp),%rax
mov    %rcx,0x38(%rsp)
lea    (%rcx,%rax,1),%r8
mov    0x34(%rsp),%ecx
xor    %eax,%eax
xchg   %ax,%ax
cmpl   $0x0,0x0(%rbp)
jne    1380 <reed_sol_big_vandermonde_distribution_matrix+0x230>
add    %r10,%rdx
add    %r13,%rbp
add    $0xffffffffffffffff,%rax
add    %r14d,%ecx
cmp    %eax,%r9d
jne    1360 <reed_sol_big_vandermonde_distribution_matrix+0x210>
jmp    17b8 <reed_sol_big_vandermonde_distribution_matrix+0x668>
nopl   (%rax)
test   %rax,%rax
mov    0x48(%rsp),%rbp
je     1530 <reed_sol_big_vandermonde_distribution_matrix+0x3e0>
sar    $0x20,%rdx
cmp    $0x8,%r14d
jb     13ba <reed_sol_big_vandermonde_distribution_matrix+0x26a>
lea    (%r12,%rdx,4),%rax
cmp    %rdi,%rax
jae    143c <reed_sol_big_vandermonde_distribution_matrix+0x2ec>
mov    0xa8(%rsp),%rax
lea    (%rax,%rdx,4),%rax
cmp    %rax,%rsi
jae    143c <reed_sol_big_vandermonde_distribution_matrix+0x2ec>
xor    %eax,%eax
mov    %rax,%rsi
test   $0x1,%bl
je     13eb <reed_sol_big_vandermonde_distribution_matrix+0x29b>
add    %rax,%rdx
mov    (%r12,%rdx,4),%esi
mov    0x38(%rsp),%rdi
add    %rax,%rdi
mov    (%r12,%rdi,4),%ebp
mov    %ebp,(%r12,%rdx,4)
mov    0x48(%rsp),%rbp
mov    %esi,(%r12,%rdi,4)
mov    %rax,%rsi
or     $0x1,%rsi
not    %rax
cmp    0xb8(%rsp),%rax
je     1530 <reed_sol_big_vandermonde_distribution_matrix+0x3e0>
movslq %ecx,%rax
mov    0xb0(%rsp),%rcx
lea    (%rcx,%rax,4),%rax
nopl   0x0(%rax,%rax,1)
mov    -0x4(%rax,%rsi,4),%ecx
mov    -0x4(%rbp,%rsi,4),%edx
mov    %edx,-0x4(%rax,%rsi,4)
mov    %ecx,-0x4(%rbp,%rsi,4)
mov    (%rax,%rsi,4),%ecx
mov    0x0(%rbp,%rsi,4),%edx
mov    %edx,(%rax,%rsi,4)
mov    %ecx,0x0(%rbp,%rsi,4)
add    $0x2,%rsi
cmp    %rsi,%rbx
jne    1410 <reed_sol_big_vandermonde_distribution_matrix+0x2c0>
jmp    1530 <reed_sol_big_vandermonde_distribution_matrix+0x3e0>
cmpq   $0x0,0x98(%rsp)
je     161d <reed_sol_big_vandermonde_distribution_matrix+0x4cd>
movslq %ecx,%rax
mov    0x80(%rsp),%rsi
lea    (%rsi,%rax,4),%rdi
mov    0x88(%rsp),%rax
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x30(%rdi,%rsi,4),%xmm0
movups -0x20(%rdi,%rsi,4),%xmm1
movups -0x30(%r11,%rsi,4),%xmm2
movups -0x20(%r11,%rsi,4),%xmm3
movups %xmm2,-0x30(%rdi,%rsi,4)
movups %xmm3,-0x20(%rdi,%rsi,4)
movups %xmm0,-0x30(%r11,%rsi,4)
movups %xmm1,-0x20(%r11,%rsi,4)
movups -0x10(%rdi,%rsi,4),%xmm0
movups (%rdi,%rsi,4),%xmm1
movups -0x10(%r11,%rsi,4),%xmm2
movups (%r11,%rsi,4),%xmm3
movups %xmm2,-0x10(%rdi,%rsi,4)
movups %xmm3,(%rdi,%rsi,4)
movups %xmm0,-0x10(%r11,%rsi,4)
movups %xmm1,(%r11,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rax
jne    1470 <reed_sol_big_vandermonde_distribution_matrix+0x320>
testb  $0x1,0x90(%rsp)
01
je     150d <reed_sol_big_vandermonde_distribution_matrix+0x3bd>
lea    (%rdx,%rsi,1),%rax
movups (%r12,%rax,4),%xmm0
movups 0x10(%r12,%rax,4),%xmm1
add    0x38(%rsp),%rsi
movups (%r12,%rsi,4),%xmm2
movups 0x10(%r12,%rsi,4),%xmm3
movups %xmm2,(%r12,%rax,4)
movups %xmm3,0x10(%r12,%rax,4)
movups %xmm0,(%r12,%rsi,4)
movups %xmm1,0x10(%r12,%rsi,4)
mov    0xa0(%rsp),%rsi
mov    %rsi,%rax
cmp    %rbx,%rsi
jne    13bc <reed_sol_big_vandermonde_distribution_matrix+0x26c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r11,0xd8(%rsp)
mov    %r9,0xe0(%rsp)
mov    (%r12,%r8,4),%esi
cmp    $0x1,%esi
je     1589 <reed_sol_big_vandermonde_distribution_matrix+0x439>
mov    $0x1,%edi
mov    %r15d,%edx
call   1030 <galois_single_divide@plt>
cmpl   $0x0,(%rsp)
jle    1589 <reed_sol_big_vandermonde_distribution_matrix+0x439>
mov    %eax,%r14d
mov    (%rsp),%ebx
mov    0x58(%rsp),%rbp
nopw   0x0(%rax,%rax,1)
mov    0x0(%rbp),%esi
mov    %r14d,%edi
mov    %r15d,%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,0x0(%rbp)
add    %r13,%rbp
add    $0xffffffff,%ebx
jne    1570 <reed_sol_big_vandermonde_distribution_matrix+0x420>
xor    %eax,%eax
jmp    15ab <reed_sol_big_vandermonde_distribution_matrix+0x45b>
nopl   (%rax)
mov    0x18(%rsp),%rax
add    $0x1,%rax
add    $0x4,%r12
mov    0x50(%rsp),%rbx
cmp    %rbx,%rax
je     1290 <reed_sol_big_vandermonde_distribution_matrix+0x140>
mov    %rax,0x18(%rsp)
cmp    0x60(%rsp),%rax
mov    0x4(%rsp),%r14d
mov    0x78(%rsp),%rbp
mov    0x58(%rsp),%r15
je     1590 <reed_sol_big_vandermonde_distribution_matrix+0x440>
mov    0x38(%rsp),%rax
mov    0x18(%rsp),%rcx
add    %rcx,%rax
mov    0x8(%rsp),%rcx
mov    (%rcx,%rax,4),%edi
test   %edi,%edi
je     1590 <reed_sol_big_vandermonde_distribution_matrix+0x440>
cmpl   $0x0,(%rsp)
jle    1590 <reed_sol_big_vandermonde_distribution_matrix+0x440>
mov    (%rsp),%ebx
xor    %r13d,%r13d
mov    %edi,0x20(%rsp)
nop
mov    (%r12,%r13,1),%eax
mov    %eax,0x28(%rsp)
mov    (%r15,%r13,1),%esi
mov    %r14d,%edx
call   1070 <galois_single_multiply@plt>
xor    0x28(%rsp),%eax
mov    %eax,(%r12,%r13,1)
mov    0x20(%rsp),%edi
add    %rbp,%r13
add    $0xffffffff,%ebx
jne    15f0 <reed_sol_big_vandermonde_distribution_matrix+0x4a0>
jmp    1590 <reed_sol_big_vandermonde_distribution_matrix+0x440>
xor    %esi,%esi
testb  $0x1,0x90(%rsp)
01
jne    14d8 <reed_sol_big_vandermonde_distribution_matrix+0x388>
jmp    150d <reed_sol_big_vandermonde_distribution_matrix+0x3bd>
xor    %eax,%eax
add    $0xe8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r14d,%r14d
jle    16fa <reed_sol_big_vandermonde_distribution_matrix+0x5aa>
mov    %r14d,%edx
imul   %edx,%edx
movslq %edx,%rax
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,4),%rax
mov    %rax,0x20(%rsp)
mov    0x50(%rsp),%rax
lea    0x0(,%rax,4),%r12
mov    (%rsp),%eax
sub    %r14d,%eax
mov    %eax,0x18(%rsp)
xor    %r13d,%r13d
jmp    16ad <reed_sol_big_vandermonde_distribution_matrix+0x55d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x28(%rsp),%rdx
add    $0x1,%rdx
add    $0x1,%r13d
addq   $0x4,0x20(%rsp)
mov    0x40(%rsp),%r14
cmp    %r14d,%r13d
je     16fa <reed_sol_big_vandermonde_distribution_matrix+0x5aa>
mov    0x8(%rsp),%rax
mov    %rdx,0x28(%rsp)
mov    (%rax,%rdx,4),%esi
cmp    $0x1,%esi
mov    0x4(%rsp),%r14d
je     1690 <reed_sol_big_vandermonde_distribution_matrix+0x540>
mov    $0x1,%edi
mov    %r14d,%edx
call   1030 <galois_single_divide@plt>
mov    %eax,%ebp
mov    0x18(%rsp),%ebx
mov    0x20(%rsp),%r15
nopl   0x0(%rax)
mov    (%r15),%esi
mov    %ebp,%edi
mov    %r14d,%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,(%r15)
add    %r12,%r15
add    $0xffffffff,%ebx
jne    16e0 <reed_sol_big_vandermonde_distribution_matrix+0x590>
jmp    1690 <reed_sol_big_vandermonde_distribution_matrix+0x540>
lea    0x1(%r14),%ecx
cmp    (%rsp),%ecx
jge    17ae <reed_sol_big_vandermonde_distribution_matrix+0x65e>
mov    %ecx,%eax
imul   %r14d,%eax
movslq %eax,%r15
movslq %r14d,%rdx
mov    0x8(%rsp),%rax
lea    (%rax,%r15,4),%rbp
mov    %rdx,0x20(%rsp)
lea    0x0(,%rdx,4),%rdx
mov    %rdx,0x18(%rsp)
mov    0x4(%rsp),%r12d
mov    0x50(%rsp),%r14
jmp    175f <reed_sol_big_vandermonde_distribution_matrix+0x60f>
nopw   0x0(%rax,%rax,1)
add    0x20(%rsp),%r15
mov    0x28(%rsp),%ecx
add    $0x1,%ecx
add    0x18(%rsp),%rbp
cmp    (%rsp),%ecx
mov    0x8(%rsp),%rax
je     1634 <reed_sol_big_vandermonde_distribution_matrix+0x4e4>
mov    %ecx,0x28(%rsp)
mov    (%rax,%r15,4),%esi
cmp    $0x1,%esi
je     1740 <reed_sol_big_vandermonde_distribution_matrix+0x5f0>
mov    $0x1,%edi
mov    %r12d,%edx
call   1030 <galois_single_divide@plt>
cmpl   $0x0,0x40(%rsp)
jle    1740 <reed_sol_big_vandermonde_distribution_matrix+0x5f0>
mov    %eax,%r13d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x0(%rbp,%rbx,4),%edi
mov    %r13d,%esi
mov    %r12d,%edx
call   1070 <galois_single_multiply@plt>
mov    %eax,0x0(%rbp,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%r14
jne    1790 <reed_sol_big_vandermonde_distribution_matrix+0x640>
jmp    1740 <reed_sol_big_vandermonde_distribution_matrix+0x5f0>
mov    0x8(%rsp),%rax
jmp    1634 <reed_sol_big_vandermonde_distribution_matrix+0x4e4>
mov    0x2821(%rip),%rax
mov    (%rax),%edi
lea    0x838(%rip),%rsi
mov    (%rsp),%edx
mov    %r14d,%ecx
mov    %r15d,%r8d
call   1050 <fprintf@plt>
mov    $0x1,%edi
call   1060 <exit@plt>

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

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