int jerasure_invertible_bitmatrix(int *mat, int rows) {
  int cols, i, j, k;
  int tmp;
  cols = rows;
  for (i = 0; i < cols; i++) {
    if ((mat[i * cols + i]) == 0) {
      for (j = i + 1; j < rows && (mat[j * cols + i]) == 0; j++)
        ;
      if (j == rows)
        return 0;
      for (k = 0; k < cols; k++) {
        tmp = mat[i * cols + k];
        mat[i * cols + k] = mat[j * cols + k];
        mat[j * cols + k] = tmp;
      }
    }
    for (j = i + 1; j != rows; j++) {
      if (mat[j * cols + i] != 0) {
        for (k = 0; k < cols; k++) {
          mat[j * cols + k] ^= mat[i * cols + k];
        }
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<jerasure_invertible_bitmatrix>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12d2 <jerasure_invertible_bitmatrix+0x1d2>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    122b <jerasure_invertible_bitmatrix+0x12b>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x29(%rbp)
jge    1174 <jerasure_invertible_bitmatrix+0x74>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
sete   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1184 <jerasure_invertible_bitmatrix+0x84>
jmp    1197 <jerasure_invertible_bitmatrix+0x97>
jmp    1189 <jerasure_invertible_bitmatrix+0x89>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1148 <jerasure_invertible_bitmatrix+0x48>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11af <jerasure_invertible_bitmatrix+0xaf>
movl   $0x0,-0x4(%rbp)
jmp    12d9 <jerasure_invertible_bitmatrix+0x1d9>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1226 <jerasure_invertible_bitmatrix+0x126>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b6 <jerasure_invertible_bitmatrix+0xb6>
jmp    122b <jerasure_invertible_bitmatrix+0x12b>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     12bf <jerasure_invertible_bitmatrix+0x1bf>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12ac <jerasure_invertible_bitmatrix+0x1ac>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12a7 <jerasure_invertible_bitmatrix+0x1a7>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1262 <jerasure_invertible_bitmatrix+0x162>
jmp    12ac <jerasure_invertible_bitmatrix+0x1ac>
jmp    12b1 <jerasure_invertible_bitmatrix+0x1b1>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1234 <jerasure_invertible_bitmatrix+0x134>
jmp    12c4 <jerasure_invertible_bitmatrix+0x1c4>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1118 <jerasure_invertible_bitmatrix+0x18>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<jerasure_invertible_bitmatrix>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x30,%rsp
mov    $0x1,%eax
test   %esi,%esi
jle    15db <jerasure_invertible_bitmatrix+0x4db>
mov    %esi,%r14d
mov    %rdi,%r8
mov    %esi,%ecx
lea    (%rcx,%rcx,1),%rax
mov    %rax,(%rsp)
lea    (%rdi,%rcx,4),%rax
mov    %ecx,%edx
and    $0xfffffff8,%edx
mov    %rdx,-0x38(%rsp)
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x40(%rsp)
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %rsi,%rdx
mov    %rsi,-0x48(%rsp)
and    $0xfffffffffffffffe,%rsi
mov    %rsi,-0x58(%rsp)
mov    %rcx,%r11
neg    %r11
lea    0x0(,%rcx,4),%r10
lea    0x4(,%rcx,4),%rdx
mov    %rdx,0x8(%rsp)
lea    0x30(%rdi),%r12
lea    0x4(%rdi),%r9
lea    0x30(%rdi,%rcx,4),%rdx
mov    %rdx,-0x60(%rsp)
lea    (%rdi,%rcx,4),%rdx
add    $0x4,%rdx
mov    %rdx,-0x68(%rsp)
mov    $0x1,%r15d
xor    %ebp,%ebp
mov    %r9,-0x10(%rsp)
mov    %r12,-0x18(%rsp)
mov    %rax,-0x8(%rsp)
mov    %rax,%r13
mov    %r14d,-0x6c(%rsp)
mov    %r11,-0x78(%rsp)
jmp    11f4 <jerasure_invertible_bitmatrix+0xf4>
xchg   %ax,%ax
mov    -0x50(%rsp),%r15
add    $0x1,%r15
mov    0x18(%rsp),%r13
add    0x8(%rsp),%r13
add    %r10,%r12
add    %r10,%r9
add    %r10,-0x60(%rsp)
add    %r10,-0x68(%rsp)
add    %r10,%rdi
mov    0x10(%rsp),%rbp
cmp    %rcx,%rbp
je     15d2 <jerasure_invertible_bitmatrix+0x4d2>
mov    %rbp,%rax
imul   %rcx,%rax
lea    (%r8,%rax,4),%rdx
mov    %rdx,-0x30(%rsp)
mov    %rax,-0x80(%rsp)
add    %rcx,%rax
mov    %rax,0x28(%rsp)
lea    (%r8,%rax,4),%rax
mov    %rax,-0x28(%rsp)
cmp    %r15d,%r14d
mov    %r15d,%eax
cmovg  %r14d,%eax
mov    %ebp,%edx
imul   %r14d,%edx
movslq %edx,%rdx
mov    %rbp,%rsi
mov    %rbp,-0x20(%rsp)
add    %rbp,%rdx
cmpl   $0x0,(%r8,%rdx,4)
jne    13e0 <jerasure_invertible_bitmatrix+0x2e0>
mov    %r13,%rsi
mov    %r15,%rdx
nopl   0x0(%rax)
cmp    %rcx,%rdx
jae    1267 <jerasure_invertible_bitmatrix+0x167>
add    $0x1,%rdx
cmpl   $0x0,(%rsi)
lea    (%rsi,%r10,1),%rsi
je     1250 <jerasure_invertible_bitmatrix+0x150>
add    $0xffffffff,%edx
mov    %edx,%eax
cmp    %r14d,%eax
je     15d9 <jerasure_invertible_bitmatrix+0x4d9>
imul   %r14d,%eax
movslq %eax,%r11
cmp    $0x8,%r14d
jb     129c <jerasure_invertible_bitmatrix+0x19c>
mov    -0x8(%rsp),%rax
lea    (%rax,%r11,4),%rax
cmp    %rax,-0x30(%rsp)
jae    130e <jerasure_invertible_bitmatrix+0x20e>
lea    (%r8,%r11,4),%rax
cmp    -0x28(%rsp),%rax
jae    130e <jerasure_invertible_bitmatrix+0x20e>
xor    %eax,%eax
mov    %rax,%rbp
test   $0x1,%cl
je     12c9 <jerasure_invertible_bitmatrix+0x1c9>
mov    -0x80(%rsp),%rdx
add    %rax,%rdx
mov    (%r8,%rdx,4),%esi
lea    (%rax,%r11,1),%rbx
mov    (%r8,%rbx,4),%ebp
mov    %ebp,(%r8,%rdx,4)
mov    %esi,(%r8,%rbx,4)
mov    %rax,%rbp
or     $0x1,%rbp
not    %rax
cmp    -0x78(%rsp),%rax
je     13e0 <jerasure_invertible_bitmatrix+0x2e0>
mov    -0x10(%rsp),%rax
lea    (%rax,%r11,4),%rax
mov    -0x4(%r9,%rbp,4),%edx
mov    -0x4(%rax,%rbp,4),%esi
mov    %esi,-0x4(%r9,%rbp,4)
mov    %edx,-0x4(%rax,%rbp,4)
mov    (%r9,%rbp,4),%edx
mov    (%rax,%rbp,4),%esi
mov    %esi,(%r9,%rbp,4)
mov    %edx,(%rax,%rbp,4)
add    $0x2,%rbp
cmp    %rbp,%rcx
jne    12e0 <jerasure_invertible_bitmatrix+0x1e0>
jmp    13e0 <jerasure_invertible_bitmatrix+0x2e0>
cmpq   $0x0,-0x40(%rsp)
je     15c0 <jerasure_invertible_bitmatrix+0x4c0>
mov    -0x18(%rsp),%rax
lea    (%rax,%r11,4),%rbp
mov    -0x58(%rsp),%rax
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movups -0x30(%r12,%rbx,4),%xmm0
movups -0x20(%r12,%rbx,4),%xmm1
movups -0x30(%rbp,%rbx,4),%xmm2
movups -0x20(%rbp,%rbx,4),%xmm3
movups %xmm2,-0x30(%r12,%rbx,4)
movups %xmm3,-0x20(%r12,%rbx,4)
movups %xmm0,-0x30(%rbp,%rbx,4)
movups %xmm1,-0x20(%rbp,%rbx,4)
movups -0x10(%r12,%rbx,4),%xmm0
movups (%r12,%rbx,4),%xmm1
movups -0x10(%rbp,%rbx,4),%xmm2
movups 0x0(%rbp,%rbx,4),%xmm3
movups %xmm2,-0x10(%r12,%rbx,4)
movups %xmm3,(%r12,%rbx,4)
movups %xmm0,-0x10(%rbp,%rbx,4)
movups %xmm1,0x0(%rbp,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rax
jne    1330 <jerasure_invertible_bitmatrix+0x230>
testb  $0x1,-0x48(%rsp)
je     13ce <jerasure_invertible_bitmatrix+0x2ce>
mov    -0x80(%rsp),%rax
add    %rbx,%rax
movups (%r8,%rax,4),%xmm0
movups 0x10(%r8,%rax,4),%xmm1
add    %r11,%rbx
movups (%r8,%rbx,4),%xmm2
movups 0x10(%r8,%rbx,4),%xmm3
movups %xmm2,(%r8,%rax,4)
movups %xmm3,0x10(%r8,%rax,4)
movups %xmm0,(%r8,%rbx,4)
movups %xmm1,0x10(%r8,%rbx,4)
mov    -0x38(%rsp),%rdx
mov    %rdx,%rax
cmp    %rcx,%rdx
jne    129e <jerasure_invertible_bitmatrix+0x19e>
nop
mov    %r13,0x18(%rsp)
mov    %r15,-0x50(%rsp)
mov    -0x20(%rsp),%rax
add    $0x1,%rax
mov    %rax,0x10(%rsp)
cmp    %rcx,%rax
mov    -0x78(%rsp),%r11
je     11c0 <jerasure_invertible_bitmatrix+0xc0>
mov    (%rsp),%rax
mov    -0x80(%rsp),%rdx
add    %rdx,%rax
mov    %rax,0x20(%rsp)
mov    -0x68(%rsp),%r13
mov    -0x60(%rsp),%rax
xor    %r15d,%r15d
mov    -0x50(%rsp),%rbp
jmp    1447 <jerasure_invertible_bitmatrix+0x347>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
add    $0x1,%r15
add    %r10,%rax
add    %r10,%r13
cmp    %rcx,%rbp
je     11c0 <jerasure_invertible_bitmatrix+0xc0>
mov    %rbp,%rbx
imul   %rcx,%rbx
mov    -0x20(%rsp),%rdx
add    %rbx,%rdx
cmpl   $0x0,(%r8,%rdx,4)
je     1430 <jerasure_invertible_bitmatrix+0x330>
cmp    $0x8,%r14d
jb     148d <jerasure_invertible_bitmatrix+0x38d>
mov    %r15,%rdx
imul   %rcx,%rdx
mov    0x28(%rsp),%rsi
add    %rdx,%rsi
lea    (%r8,%rsi,4),%rsi
cmp    -0x28(%rsp),%rsi
jae    14df <jerasure_invertible_bitmatrix+0x3df>
add    0x20(%rsp),%rdx
lea    (%r8,%rdx,4),%rdx
cmp    %rdx,-0x30(%rsp)
jae    14df <jerasure_invertible_bitmatrix+0x3df>
xor    %esi,%esi
mov    %rsi,%rdx
test   $0x1,%cl
je     14b1 <jerasure_invertible_bitmatrix+0x3b1>
mov    -0x80(%rsp),%rdx
add    %rsi,%rdx
mov    (%r8,%rdx,4),%edx
add    %rsi,%rbx
xor    %edx,(%r8,%rbx,4)
mov    %rsi,%rdx
or     $0x1,%rdx
not    %rsi
cmp    %r11,%rsi
je     1430 <jerasure_invertible_bitmatrix+0x330>
nopl   (%rax)
mov    (%rdi,%rdx,4),%esi
xor    %esi,-0x4(%r13,%rdx,4)
mov    0x4(%rdi,%rdx,4),%esi
xor    %esi,0x0(%r13,%rdx,4)
add    $0x2,%rdx
cmp    %rdx,%rcx
jne    14c0 <jerasure_invertible_bitmatrix+0x3c0>
jmp    1430 <jerasure_invertible_bitmatrix+0x330>
cmpq   $0x0,-0x40(%rsp)
je     15b4 <jerasure_invertible_bitmatrix+0x4b4>
mov    -0x58(%rsp),%r11
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%r12,%r14,4),%xmm0
movups -0x20(%r12,%r14,4),%xmm1
movups -0x30(%rax,%r14,4),%xmm2
xorps  %xmm0,%xmm2
movups -0x20(%rax,%r14,4),%xmm0
xorps  %xmm1,%xmm0
movups -0x10(%rax,%r14,4),%xmm1
movups (%rax,%r14,4),%xmm3
movups %xmm2,-0x30(%rax,%r14,4)
movups %xmm0,-0x20(%rax,%r14,4)
movups -0x10(%r12,%r14,4),%xmm0
xorps  %xmm1,%xmm0
movups (%r12,%r14,4),%xmm1
xorps  %xmm3,%xmm1
movups %xmm0,-0x10(%rax,%r14,4)
movups %xmm1,(%rax,%r14,4)
add    $0x10,%r14
add    $0xfffffffffffffffe,%r11
jne    1500 <jerasure_invertible_bitmatrix+0x400>
testb  $0x1,-0x48(%rsp)
je     1594 <jerasure_invertible_bitmatrix+0x494>
mov    -0x80(%rsp),%rdx
add    %r14,%rdx
movups (%r8,%rdx,4),%xmm0
movups 0x10(%r8,%rdx,4),%xmm1
add    %rbx,%r14
movups (%r8,%r14,4),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r8,%r14,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r8,%r14,4)
movups %xmm0,0x10(%r8,%r14,4)
mov    -0x38(%rsp),%rdx
mov    %rdx,%rsi
cmp    %rcx,%rdx
mov    -0x6c(%rsp),%r14d
mov    -0x78(%rsp),%r11
je     1430 <jerasure_invertible_bitmatrix+0x330>
jmp    148f <jerasure_invertible_bitmatrix+0x38f>
xor    %r14d,%r14d
testb  $0x1,-0x48(%rsp)
jne    1562 <jerasure_invertible_bitmatrix+0x462>
jmp    1594 <jerasure_invertible_bitmatrix+0x494>
xor    %ebx,%ebx
testb  $0x1,-0x48(%rsp)
jne    1397 <jerasure_invertible_bitmatrix+0x297>
jmp    13ce <jerasure_invertible_bitmatrix+0x2ce>
mov    $0x1,%eax
jmp    15db <jerasure_invertible_bitmatrix+0x4db>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @jerasure_invertible_bitmatrix(i32* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
%11 = load i32, i32* %5
store i32 %11, i32* %6
store i32 0, i32* %7
br label %12
12: ; preds = %153, %2
%13 = load i32, i32* %7
%14 = load i32, i32* %6
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %156
16: ; preds = %12
%17 = load i32*, i32** %4
%18 = load i32, i32* %7
%19 = load i32, i32* %6
%20 = mul nsw i32 %18, %19
%21 = load i32, i32* %7
%22 = add nsw i32 %20, %21
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %17, i64 %23
%25 = load i32, i32* %24
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %101
27: ; preds = %16
%28 = load i32, i32* %7
%29 = add nsw i32 %28, 1
store i32 %29, i32* %8
br label %30
30: ; preds = %48, %27
%31 = load i32, i32* %8
%32 = load i32, i32* %5
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %45
34: ; preds = %30
%35 = load i32*, i32** %4
%36 = load i32, i32* %8
%37 = load i32, i32* %6
%38 = mul nsw i32 %36, %37
%39 = load i32, i32* %7
%40 = add nsw i32 %38, %39
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %35, i64 %41
%43 = load i32, i32* %42
%44 = icmp eq i32 %43, 0
br label %45
45: ; preds = %34, %30
%46 = phi i1 [ false, %30 ], [ %44, %34 ]
br i1 %46, label %47, label %51
47: ; preds = %45
br label %48
48: ; preds = %47
%49 = load i32, i32* %8
%50 = add nsw i32 %49, 1
store i32 %50, i32* %8
br label %30
51: ; preds = %45
%52 = load i32, i32* %8
%53 = load i32, i32* %5
%54 = icmp eq i32 %52, %53
br i1 %54, label %55, label %56
55: ; preds = %51
store i32 0, i32* %3
br label %157
56: ; preds = %51
store i32 0, i32* %9
br label %57
57: ; preds = %97, %56
%58 = load i32, i32* %9
%59 = load i32, i32* %6
%60 = icmp slt i32 %58, %59
br i1 %60, label %61, label %100
61: ; preds = %57
%62 = load i32*, i32** %4
%63 = load i32, i32* %7
%64 = load i32, i32* %6
%65 = mul nsw i32 %63, %64
%66 = load i32, i32* %9
%67 = add nsw i32 %65, %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %62, i64 %68
%70 = load i32, i32* %69
store i32 %70, i32* %10
%71 = load i32*, i32** %4
%72 = load i32, i32* %8
%73 = load i32, i32* %6
%74 = mul nsw i32 %72, %73
%75 = load i32, i32* %9
%76 = add nsw i32 %74, %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %71, i64 %77
%79 = load i32, i32* %78
%80 = load i32*, i32** %4
%81 = load i32, i32* %7
%82 = load i32, i32* %6
%83 = mul nsw i32 %81, %82
%84 = load i32, i32* %9
%85 = add nsw i32 %83, %84
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %80, i64 %86
store i32 %79, i32* %87
%88 = load i32, i32* %10
%89 = load i32*, i32** %4
%90 = load i32, i32* %8
%91 = load i32, i32* %6
%92 = mul nsw i32 %90, %91
%93 = load i32, i32* %9
%94 = add nsw i32 %92, %93
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %89, i64 %95
store i32 %88, i32* %96
br label %97
97: ; preds = %61
%98 = load i32, i32* %9
%99 = add nsw i32 %98, 1
store i32 %99, i32* %9
br label %57
100: ; preds = %57
br label %101
101: ; preds = %100, %16
%102 = load i32, i32* %7
%103 = add nsw i32 %102, 1
store i32 %103, i32* %8
br label %104
104: ; preds = %149, %101
%105 = load i32, i32* %8
%106 = load i32, i32* %5
%107 = icmp ne i32 %105, %106
br i1 %107, label %108, label %152
108: ; preds = %104
%109 = load i32*, i32** %4
%110 = load i32, i32* %8
%111 = load i32, i32* %6
%112 = mul nsw i32 %110, %111
%113 = load i32, i32* %7
%114 = add nsw i32 %112, %113
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %109, i64 %115
%117 = load i32, i32* %116
%118 = icmp ne i32 %117, 0
br i1 %118, label %119, label %148
119: ; preds = %108
store i32 0, i32* %9
br label %120
120: ; preds = %144, %119
%121 = load i32, i32* %9
%122 = load i32, i32* %6
%123 = icmp slt i32 %121, %122
br i1 %123, label %124, label %147
124: ; preds = %120
%125 = load i32*, i32** %4
%126 = load i32, i32* %7
%127 = load i32, i32* %6
%128 = mul nsw i32 %126, %127
%129 = load i32, i32* %9
%130 = add nsw i32 %128, %129
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %125, i64 %131
%133 = load i32, i32* %132
%134 = load i32*, i32** %4
%135 = load i32, i32* %8
%136 = load i32, i32* %6
%137 = mul nsw i32 %135, %136
%138 = load i32, i32* %9
%139 = add nsw i32 %137, %138
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %134, i64 %140
%142 = load i32, i32* %141
%143 = xor i32 %142, %133
store i32 %143, i32* %141
br label %144
144: ; preds = %124
%145 = load i32, i32* %9
%146 = add nsw i32 %145, 1
store i32 %146, i32* %9
br label %120
147: ; preds = %120
br label %148
148: ; preds = %147, %108
br label %149
149: ; preds = %148
%150 = load i32, i32* %8
%151 = add nsw i32 %150, 1
store i32 %151, i32* %8
br label %104
152: ; preds = %104
br label %153
153: ; preds = %152
%154 = load i32, i32* %7
%155 = add nsw i32 %154, 1
store i32 %155, i32* %7
br label %12
156: ; preds = %12
store i32 1, i32* %3
br label %157
157: ; preds = %156, %55
%158 = load i32, i32* %3
ret i32 %158
}

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