#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 */
unsigned char divs(unsigned char, unsigned char);
int /*<<< orphan*/ mul(unsigned char, unsigned char);
unsigned char sub(unsigned char, int /*<<< orphan*/);
int echelonform(unsigned char M[], int nrows, int ncols) {
  int lead = 0, rix = 0, iix = 0, j, k;
  unsigned char temp, de, sb;
  for (rix = 0; rix < nrows; rix++) {
    if (lead >= ncols) {
      return 0;
    }
    iix = rix;
    while (M[iix * ncols + lead] == 0) {
      iix++;
      if (iix == nrows) {
        iix = rix;
        lead++;
        if (ncols == lead) {
          return 0;
        }
      }
    }
    for (j = 0; j < ncols; j++) {
      temp = M[rix * ncols + j];
      M[rix * ncols + j] = M[iix * ncols + j];
      M[iix * ncols + j] = temp;
    }
    de = M[rix * ncols + lead];
    if (de != 0) {
      for (j = 0; j < ncols; j++) {
        M[rix * ncols + j] = divs(M[rix * ncols + j], de);
      }
    }
    for (j = 0; j < nrows; j++) {
      if (j != rix) {
        sb = M[j * ncols + lead];
        for (k = 0; k < ncols; k++) {
          M[j * ncols + k] = sub(M[j * ncols + k], mul(sb, M[rix * ncols + k]));
        }
      }
    }
    lead++;
  }
  return 1;
}


x86 assembly (clang, -O0):
<echelonform>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13c3 <echelonform+0x293>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jl     1182 <echelonform+0x52>
movl   $0x0,-0x4(%rbp)
jmp    13ca <echelonform+0x29a>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    11ec <echelonform+0xbc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11e7 <echelonform+0xb7>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    11e2 <echelonform+0xb2>
movl   $0x0,-0x4(%rbp)
jmp    13ca <echelonform+0x29a>
jmp    11e7 <echelonform+0xb7>
jmp    1188 <echelonform+0x58>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1263 <echelonform+0x133>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2d(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2d(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11f3 <echelonform+0xc3>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2e(%rbp)
movzbl -0x2e(%rbp),%eax
cmp    $0x0,%eax
je     12e3 <echelonform+0x1b3>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12de <echelonform+0x1ae>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
movzbl %al,%edi
movzbl -0x2e(%rbp),%esi
call   1030 <divs@plt>
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    128e <echelonform+0x15e>
jmp    12e3 <echelonform+0x1b3>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13ac <echelonform+0x27c>
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1399 <echelonform+0x269>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2f(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1394 <echelonform+0x264>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x30(%rbp)
mov    -0x2f(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movzbl %dl,%edi
movzbl (%rax,%rcx,1),%esi
call   1040 <mul@plt>
mov    %eax,%esi
mov    -0x30(%rbp),%al
movzbl %al,%edi
call   1050 <sub@plt>
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1320 <echelonform+0x1f0>
jmp    1399 <echelonform+0x269>
jmp    139e <echelonform+0x26e>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12ea <echelonform+0x1ba>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    115e <echelonform+0x2e>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<echelonform>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    $0x1,%eax
test   %esi,%esi
jle    156b <echelonform+0x43b>
mov    %edx,%r15d
mov    %rdi,%r12
movslq %edx,%rax
mov    %esi,%ecx
mov    %rcx,0x40(%rsp)
mov    %rax,0x10(%rsp)
mov    %eax,%r13d
lea    (%rdi,%r13,1),%rax
mov    %rax,0x78(%rsp)
mov    %r13d,%eax
and    $0xffffffe0,%eax
mov    %rax,0x20(%rsp)
add    $0xffffffffffffffe0,%rax
mov    %rax,0x68(%rsp)
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %rcx,%rax
mov    %rcx,0x60(%rsp)
and    $0xfffffffffffffffe,%rcx
mov    %rcx,0x58(%rsp)
mov    %r13d,%r10d
and    $0xfffffff8,%r10d
mov    %r13,%rax
neg    %rax
mov    %rax,0x80(%rsp)
lea    0x30(%rdi),%rax
lea    0x1(%rdi),%rcx
mov    %rcx,0x70(%rsp)
xor    %r14d,%r14d
mov    %rdi,%rdx
mov    %rax,0x50(%rsp)
mov    %rax,%r11
xor    %r8d,%r8d
mov    %r15d,0xc(%rsp)
mov    %esi,0x1c(%rsp)
mov    %rdi,0x30(%rsp)
mov    %r13,0x38(%rsp)
mov    %r10,0x88(%rsp)
jmp    1236 <echelonform+0x106>
nop
mov    0x28(%rsp),%r8
add    $0x1,%r8d
add    $0x1,%r14
mov    0x10(%rsp),%rax
mov    0x90(%rsp),%r11
add    %rax,%r11
add    %rax,%rdx
cmp    0x40(%rsp),%r14
mov    0xc(%rsp),%r15d
mov    0x1c(%rsp),%esi
mov    0x30(%rsp),%r12
mov    0x38(%rsp),%r13
mov    0x88(%rsp),%r10
je     157d <echelonform+0x44d>
cmp    %r15d,%r8d
jge    1569 <echelonform+0x439>
mov    %r14,%r9
imul   0x10(%rsp),%r9
movslq %r8d,%rcx
add    %r9,%rcx
cmpb   $0x0,(%r12,%rcx,1)
je     1400 <echelonform+0x2d0>
mov    %r9d,%edi
test   %r15d,%r15d
mov    %r8,0x28(%rsp)
jle    1309 <echelonform+0x1d9>
movslq %edi,%rcx
cmp    $0x8,%r15d
jb     129c <echelonform+0x16c>
lea    (%r12,%r9,1),%rax
lea    (%r12,%rcx,1),%rbx
mov    0x78(%rsp),%rdi
add    %rcx,%rdi
cmp    %rdi,%rax
jae    143f <echelonform+0x30f>
lea    (%r9,%r13,1),%rax
add    %r12,%rax
cmp    %rax,%rbx
jae    143f <echelonform+0x30f>
xor    %eax,%eax
mov    %rax,%rdi
test   $0x1,%r13b
je     12cb <echelonform+0x19b>
lea    (%rax,%r9,1),%rbp
mov    (%r12,%rbp,1),%r8b
lea    (%rax,%rcx,1),%rdi
mov    (%r12,%rdi,1),%bl
mov    %bl,(%r12,%rbp,1)
mov    %r8b,(%r12,%rdi,1)
mov    0x28(%rsp),%r8
mov    %rax,%rdi
or     $0x1,%rdi
not    %rax
cmp    0x80(%rsp),%rax
je     1309 <echelonform+0x1d9>
add    0x70(%rsp),%rcx
nopl   (%rax)
movzbl (%rdx,%rdi,1),%ebx
movzbl -0x1(%rcx,%rdi,1),%eax
mov    %al,(%rdx,%rdi,1)
mov    %bl,-0x1(%rcx,%rdi,1)
movzbl 0x1(%rdx,%rdi,1),%eax
movzbl (%rcx,%rdi,1),%ebx
mov    %bl,0x1(%rdx,%rdi,1)
mov    %al,(%rcx,%rdi,1)
add    $0x2,%rdi
cmp    %rdi,%r13
jne    12e0 <echelonform+0x1b0>
mov    %r11,0x90(%rsp)
movslq %r8d,%rax
mov    %rax,0x98(%rsp)
add    %rax,%r9
mov    (%r12,%r9,1),%bl
test   %bl,%bl
mov    %rdx,0x48(%rsp)
je     135d <echelonform+0x22d>
test   %r15d,%r15d
jle    135d <echelonform+0x22d>
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdx,%rbp,1),%edi
movzbl %bl,%esi
call   1030 <divs@plt>
mov    0x48(%rsp),%rdx
mov    %al,(%rdx,%rbp,1)
add    $0x1,%rbp
cmp    %rbp,%r13
jne    1340 <echelonform+0x210>
mov    %r12,%rbp
xor    %r12d,%r12d
mov    %r14,0xa0(%rsp)
jmp    138c <echelonform+0x25c>
nopl   (%rax)
add    $0x1,%r12
add    0x10(%rsp),%rbp
cmp    0x40(%rsp),%r12
mov    0xa0(%rsp),%r14
je     11f0 <echelonform+0xc0>
cmp    %r14,%r12
mov    0x38(%rsp),%r14
je     1370 <echelonform+0x240>
cmpl   $0x0,0xc(%rsp)
jle    1370 <echelonform+0x240>
mov    %r12,%rax
imul   0x10(%rsp),%rax
add    0x98(%rsp),%rax
mov    0x30(%rsp),%rcx
mov    (%rcx,%rax,1),%r13b
xor    %r15d,%r15d
nopw   0x0(%rax,%rax,1)
movzbl 0x0(%rbp,%r15,1),%ebx
movzbl (%rdx,%r15,1),%esi
movzbl %r13b,%edi
call   1040 <mul@plt>
mov    %ebx,%edi
mov    %eax,%esi
call   1050 <sub@plt>
mov    0x48(%rsp),%rdx
mov    %al,0x0(%rbp,%r15,1)
add    $0x1,%r15
cmp    %r15,%r14
jne    13c0 <echelonform+0x290>
jmp    1370 <echelonform+0x240>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r14d,%ecx
jmp    1427 <echelonform+0x2f7>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%edi
imul   %r15d,%edi
lea    (%rdi,%r8,1),%eax
cltq
cmpb   $0x0,(%r12,%rax,1)
jne    125c <echelonform+0x12c>
add    $0x1,%ecx
cmp    %esi,%ecx
jne    1410 <echelonform+0x2e0>
add    $0x1,%r8d
mov    %r14d,%ecx
cmp    %r15d,%r8d
jne    1410 <echelonform+0x2e0>
jmp    1569 <echelonform+0x439>
cmp    $0x20,%r15d
jae    144c <echelonform+0x31c>
xor    %edi,%edi
jmp    1530 <echelonform+0x400>
cmpq   $0x0,0x68(%rsp)
je     155a <echelonform+0x42a>
mov    0x50(%rsp),%rax
lea    (%rax,%rcx,1),%rdi
mov    0x58(%rsp),%rbp
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movups -0x30(%r11,%rax,1),%xmm0
movups -0x20(%r11,%rax,1),%xmm1
movups -0x30(%rdi,%rax,1),%xmm2
movups -0x20(%rdi,%rax,1),%xmm3
movups %xmm2,-0x30(%r11,%rax,1)
movups %xmm3,-0x20(%r11,%rax,1)
movups %xmm0,-0x30(%rdi,%rax,1)
movups %xmm1,-0x20(%rdi,%rax,1)
movups -0x10(%r11,%rax,1),%xmm0
movups (%r11,%rax,1),%xmm1
movups -0x10(%rdi,%rax,1),%xmm2
movups (%rdi,%rax,1),%xmm3
movups %xmm2,-0x10(%r11,%rax,1)
movups %xmm3,(%r11,%rax,1)
movups %xmm0,-0x10(%rdi,%rax,1)
movups %xmm1,(%rdi,%rax,1)
add    $0x40,%rax
add    $0xfffffffffffffffe,%rbp
jne    1470 <echelonform+0x340>
testb  $0x1,0x60(%rsp)
je     1508 <echelonform+0x3d8>
lea    (%rax,%r9,1),%rdi
movups (%r12,%rdi,1),%xmm0
movups 0x10(%r12,%rdi,1),%xmm1
add    %rcx,%rax
movups (%r12,%rax,1),%xmm2
movups 0x10(%r12,%rax,1),%xmm3
movups %xmm2,(%r12,%rdi,1)
movups %xmm3,0x10(%r12,%rdi,1)
movups %xmm0,(%r12,%rax,1)
movups %xmm1,0x10(%r12,%rax,1)
cmp    %r13,0x20(%rsp)
je     1309 <echelonform+0x1d9>
mov    0x20(%rsp),%rax
mov    %rax,%rdi
test   $0x18,%r13b
je     129e <echelonform+0x16e>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdx,%rdi,1),%rax
mov    (%rbx,%rdi,1),%rbp
mov    %rbp,(%rdx,%rdi,1)
mov    %rax,(%rbx,%rdi,1)
add    $0x8,%rdi
cmp    %rdi,%r10
jne    1530 <echelonform+0x400>
mov    %r10,%rax
cmp    %r13,%r10
je     1309 <echelonform+0x1d9>
jmp    129e <echelonform+0x16e>
xor    %eax,%eax
testb  $0x1,0x60(%rsp)
jne    14d5 <echelonform+0x3a5>
jmp    1508 <echelonform+0x3d8>
xor    %eax,%eax
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%eax
jmp    156b <echelonform+0x43b>

LLVM IR (-O0):
define i32 @echelonform(i8* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i8
%14 = alloca i8
%15 = alloca i8
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %10
store i32 0, i32* %9
br label %16
16: ; preds = %205, %3
%17 = load i32, i32* %9
%18 = load i32, i32* %6
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %208
20: ; preds = %16
%21 = load i32, i32* %8
%22 = load i32, i32* %7
%23 = icmp sge i32 %21, %22
br i1 %23, label %24, label %25
24: ; preds = %20
store i32 0, i32* %4
br label %209
25: ; preds = %20
%26 = load i32, i32* %9
store i32 %26, i32* %10
br label %27
27: ; preds = %54, %25
%28 = load i8*, i8** %5
%29 = load i32, i32* %10
%30 = load i32, i32* %7
%31 = mul nsw i32 %29, %30
%32 = load i32, i32* %8
%33 = add nsw i32 %31, %32
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %28, i64 %34
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %55
39: ; preds = %27
%40 = load i32, i32* %10
%41 = add nsw i32 %40, 1
store i32 %41, i32* %10
%42 = load i32, i32* %10
%43 = load i32, i32* %6
%44 = icmp eq i32 %42, %43
br i1 %44, label %45, label %54
45: ; preds = %39
%46 = load i32, i32* %9
store i32 %46, i32* %10
%47 = load i32, i32* %8
%48 = add nsw i32 %47, 1
store i32 %48, i32* %8
%49 = load i32, i32* %7
%50 = load i32, i32* %8
%51 = icmp eq i32 %49, %50
br i1 %51, label %52, label %53
52: ; preds = %45
store i32 0, i32* %4
br label %209
53: ; preds = %45
br label %54
54: ; preds = %53, %39
br label %27
55: ; preds = %27
store i32 0, i32* %11
br label %56
56: ; preds = %96, %55
%57 = load i32, i32* %11
%58 = load i32, i32* %7
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %99
60: ; preds = %56
%61 = load i8*, i8** %5
%62 = load i32, i32* %9
%63 = load i32, i32* %7
%64 = mul nsw i32 %62, %63
%65 = load i32, i32* %11
%66 = add nsw i32 %64, %65
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %61, i64 %67
%69 = load i8, i8* %68
store i8 %69, i8* %13
%70 = load i8*, i8** %5
%71 = load i32, i32* %10
%72 = load i32, i32* %7
%73 = mul nsw i32 %71, %72
%74 = load i32, i32* %11
%75 = add nsw i32 %73, %74
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %70, i64 %76
%78 = load i8, i8* %77
%79 = load i8*, i8** %5
%80 = load i32, i32* %9
%81 = load i32, i32* %7
%82 = mul nsw i32 %80, %81
%83 = load i32, i32* %11
%84 = add nsw i32 %82, %83
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %79, i64 %85
store i8 %78, i8* %86
%87 = load i8, i8* %13
%88 = load i8*, i8** %5
%89 = load i32, i32* %10
%90 = load i32, i32* %7
%91 = mul nsw i32 %89, %90
%92 = load i32, i32* %11
%93 = add nsw i32 %91, %92
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %88, i64 %94
store i8 %87, i8* %95
br label %96
96: ; preds = %60
%97 = load i32, i32* %11
%98 = add nsw i32 %97, 1
store i32 %98, i32* %11
br label %56
99: ; preds = %56
%100 = load i8*, i8** %5
%101 = load i32, i32* %9
%102 = load i32, i32* %7
%103 = mul nsw i32 %101, %102
%104 = load i32, i32* %8
%105 = add nsw i32 %103, %104
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %100, i64 %106
%108 = load i8, i8* %107
store i8 %108, i8* %14
%109 = load i8, i8* %14
%110 = zext i8 %109 to i32
%111 = icmp ne i32 %110, 0
br i1 %111, label %112, label %141
112: ; preds = %99
store i32 0, i32* %11
br label %113
113: ; preds = %137, %112
%114 = load i32, i32* %11
%115 = load i32, i32* %7
%116 = icmp slt i32 %114, %115
br i1 %116, label %117, label %140
117: ; preds = %113
%118 = load i8*, i8** %5
%119 = load i32, i32* %9
%120 = load i32, i32* %7
%121 = mul nsw i32 %119, %120
%122 = load i32, i32* %11
%123 = add nsw i32 %121, %122
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %118, i64 %124
%126 = load i8, i8* %125
%127 = load i8, i8* %14
%128 = call zeroext i8 @divs(i8 zeroext %126, i8 zeroext %127)
%129 = load i8*, i8** %5
%130 = load i32, i32* %9
%131 = load i32, i32* %7
%132 = mul nsw i32 %130, %131
%133 = load i32, i32* %11
%134 = add nsw i32 %132, %133
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8, i8* %129, i64 %135
store i8 %128, i8* %136
br label %137
137: ; preds = %117
%138 = load i32, i32* %11
%139 = add nsw i32 %138, 1
store i32 %139, i32* %11
br label %113
140: ; preds = %113
br label %141
141: ; preds = %140, %99
store i32 0, i32* %11
br label %142
142: ; preds = %199, %141
%143 = load i32, i32* %11
%144 = load i32, i32* %6
%145 = icmp slt i32 %143, %144
br i1 %145, label %146, label %202
146: ; preds = %142
%147 = load i32, i32* %11
%148 = load i32, i32* %9
%149 = icmp ne i32 %147, %148
br i1 %149, label %150, label %198
150: ; preds = %146
%151 = load i8*, i8** %5
%152 = load i32, i32* %11
%153 = load i32, i32* %7
%154 = mul nsw i32 %152, %153
%155 = load i32, i32* %8
%156 = add nsw i32 %154, %155
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds i8, i8* %151, i64 %157
%159 = load i8, i8* %158
store i8 %159, i8* %15
store i32 0, i32* %12
br label %160
160: ; preds = %194, %150
%161 = load i32, i32* %12
%162 = load i32, i32* %7
%163 = icmp slt i32 %161, %162
br i1 %163, label %164, label %197
164: ; preds = %160
%165 = load i8*, i8** %5
%166 = load i32, i32* %11
%167 = load i32, i32* %7
%168 = mul nsw i32 %166, %167
%169 = load i32, i32* %12
%170 = add nsw i32 %168, %169
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds i8, i8* %165, i64 %171
%173 = load i8, i8* %172
%174 = load i8, i8* %15
%175 = load i8*, i8** %5
%176 = load i32, i32* %9
%177 = load i32, i32* %7
%178 = mul nsw i32 %176, %177
%179 = load i32, i32* %12
%180 = add nsw i32 %178, %179
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i8, i8* %175, i64 %181
%183 = load i8, i8* %182
%184 = call i32 @mul(i8 zeroext %174, i8 zeroext %183)
%185 = call zeroext i8 @sub(i8 zeroext %173, i32 %184)
%186 = load i8*, i8** %5
%187 = load i32, i32* %11
%188 = load i32, i32* %7
%189 = mul nsw i32 %187, %188
%190 = load i32, i32* %12
%191 = add nsw i32 %189, %190
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i8, i8* %186, i64 %192
store i8 %185, i8* %193
br label %194
194: ; preds = %164
%195 = load i32, i32* %12
%196 = add nsw i32 %195, 1
store i32 %196, i32* %12
br label %160
197: ; preds = %160
br label %198
198: ; preds = %197, %146
br label %199
199: ; preds = %198
%200 = load i32, i32* %11
%201 = add nsw i32 %200, 1
store i32 %201, i32* %11
br label %142
202: ; preds = %142
%203 = load i32, i32* %8
%204 = add nsw i32 %203, 1
store i32 %204, i32* %8
br label %205
205: ; preds = %202
%206 = load i32, i32* %9
%207 = add nsw i32 %206, 1
store i32 %207, i32* %9
br label %16
208: ; preds = %16
store i32 1, i32* %4
br label %209
209: ; preds = %208, %52, %24
%210 = load i32, i32* %4
ret i32 %210
}

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