#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*/ mat_write(int **, int, int);
int /*<<< orphan*/ puts(char *);
void sp_add(int sp1[][80], int sp2[][80]) {
  int i, j, k, c;
  int sp[80][80];
  if (sp1[0][0] != sp2[0][0] || sp1[0][1] != sp1[0][1]) {
    puts("Not Possible");
    return;
  }
  sp[0][0] = sp1[0][0];
  sp[0][1] = sp1[0][1];
  i = j = k = 1;
  while (i <= sp1[0][2] && j <= sp2[0][2])
    if (sp1[i][0] == sp2[j][0] && sp1[i][1] == sp2[j][1]) {
      for (c = 0; c < 3 - 1; ++c)
        sp[k][c] = sp1[i][c];
      sp[k][2] = sp1[i][2] + sp2[j][2];
      ++i, ++j, ++k;
    } else if (sp1[i][0] < sp2[j][0] ||
               (sp1[i][0] == sp2[j][0] && sp1[i][1] < sp2[j][1])) {
      for (c = 0; c < 3; ++c)
        sp[k][c] = sp1[i][c];
      ++i, ++k;
    } else if (sp1[i][0] > sp2[j][0] ||
               (sp1[i][0] == sp2[j][0] && sp1[i][1] > sp2[j][1])) {
      for (c = 0; c < 3; ++c)
        sp[k][c] = sp2[j][c];
      ++j, ++k;
    }
  while (i <= sp1[0][2]) {
    for (c = 0; c < 3; ++c)
      sp[k][c] = sp1[i][c];
    ++i, ++k;
  }
  while (j <= sp2[0][2]) {
    for (c = 0; c < 3; ++c)
      sp[k][c] = sp2[j][c];
    ++j, ++k;
  }
  sp[0][2] = k - 1;
  mat_write(sp, k, 3);
}


x86 assembly (clang, -O0):
<sp_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x6430,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jne    1159 <sp_add+0x39>
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
je     116a <sp_add+0x4a>
lea    0xea0(%rip),%rdi
call   1030 <puts@plt>
jmp    1602 <sp_add+0x4e2>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x6420(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x641c(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rdx
xor    %eax,%eax
cmp    0x8(%rdx),%ecx
mov    %al,-0x6421(%rbp)
jg     11c3 <sp_add+0xa3>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
setle  %al
mov    %al,-0x6421(%rbp)
mov    -0x6421(%rbp),%al
test   $0x1,%al
jne    11d6 <sp_add+0xb6>
jmp    14e2 <sp_add+0x3c2>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jne    12ea <sp_add+0x1ca>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    0x4(%rcx),%eax
jne    12ea <sp_add+0x1ca>
movl   $0x0,-0x20(%rbp)
cmpl   $0x2,-0x20(%rbp)
jge    1288 <sp_add+0x168>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    123b <sp_add+0x11b>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rax
add    0x8(%rax),%ecx
movslq -0x1c(%rbp),%rdx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,0x8(%rax)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14dd <sp_add+0x3bd>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jl     1376 <sp_add+0x256>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jne    13e1 <sp_add+0x2c1>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    0x4(%rcx),%eax
jge    13e1 <sp_add+0x2c1>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    13ca <sp_add+0x2aa>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    137d <sp_add+0x25d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14d8 <sp_add+0x3b8>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jg     146d <sp_add+0x34d>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jne    14d3 <sp_add+0x3b3>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
imul   $0x140,%rdx,%rdx
add    %rdx,%rcx
cmp    0x4(%rcx),%eax
jle    14d3 <sp_add+0x3b3>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    14c1 <sp_add+0x3a1>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1474 <sp_add+0x354>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14d8 <sp_add+0x3b8>
jmp    14dd <sp_add+0x3bd>
jmp    1198 <sp_add+0x78>
jmp    14e7 <sp_add+0x3c7>
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%eax
jg     1562 <sp_add+0x442>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    154b <sp_add+0x42b>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    14fe <sp_add+0x3de>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14e7 <sp_add+0x3c7>
jmp    1567 <sp_add+0x447>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
jg     15e2 <sp_add+0x4c2>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    15cb <sp_add+0x4ab>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x6420(%rbp),%rax
imul   $0x140,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    157e <sp_add+0x45e>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1567 <sp_add+0x447>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x6418(%rbp)
lea    -0x6420(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    $0x3,%edx
call   1040 <mat_write@plt>
add    $0x6430,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sp_add>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x6400,%rsp
mov    (%rdi),%eax
cmp    (%rsi),%eax
jne    122d <sp_add+0x10d>
mov    %eax,(%rsp)
mov    0x4(%rdi),%eax
mov    %eax,0x4(%rsp)
mov    0x8(%rdi),%r8d
test   %r8d,%r8d
jle    1248 <sp_add+0x128>
mov    0x8(%rsi),%r9d
mov    $0x1,%r12d
mov    $0x1,%r14d
mov    $0x1,%r15d
jmp    119a <sp_add+0x7a>
nopl   0x0(%rax,%rax,1)
movslq %r12d,%rax
lea    (%rax,%rax,4),%rax
shl    $0x6,%rax
mov    0x8(%rcx),%edx
mov    %edx,0x8(%rsp,%rax,1)
mov    (%rcx),%rcx
mov    %rcx,(%rsp,%rax,1)
add    $0x1,%r15d
add    $0x1,%r12d
cmp    %r8d,%r15d
jg     125a <sp_add+0x13a>
cmp    %r9d,%r14d
jg     125a <sp_add+0x13a>
movslq %r15d,%rcx
lea    (%rcx,%rcx,4),%rbp
shl    $0x6,%rbp
lea    (%rdi,%rbp,1),%rcx
mov    (%rdi,%rbp,1),%edx
movslq %r14d,%rbx
lea    (%rbx,%rbx,4),%rbx
shl    $0x6,%rbx
mov    (%rsi,%rbx,1),%eax
cmp    %eax,%edx
jne    1200 <sp_add+0xe0>
mov    0x4(%rdi,%rbp,1),%eax
mov    0x4(%rsi,%rbx,1),%edx
cmp    %edx,%eax
jne    1200 <sp_add+0xe0>
movslq %r12d,%rax
lea    (%rax,%rax,4),%rax
shl    $0x6,%rax
mov    (%rcx),%rcx
mov    %rcx,(%rsp,%rax,1)
mov    0x8(%rsi,%rbx,1),%ecx
add    0x8(%rdi,%rbp,1),%ecx
mov    %ecx,0x8(%rsp,%rax,1)
add    $0x1,%r15d
jmp    1224 <sp_add+0x104>
nopw   0x0(%rax,%rax,1)
jl     1170 <sp_add+0x50>
jle    1191 <sp_add+0x71>
add    %rsi,%rbx
movslq %r12d,%r12
lea    (%r12,%r12,4),%rax
shl    $0x6,%rax
mov    0x8(%rbx),%ecx
mov    %ecx,0x8(%rsp,%rax,1)
mov    (%rbx),%rcx
mov    %rcx,(%rsp,%rax,1)
add    $0x1,%r14d
jmp    118d <sp_add+0x6d>
lea    0xdcc(%rip),%rdi
add    $0x6400,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <puts@plt>
mov    $0x1,%r15d
mov    $0x1,%r14d
mov    $0x1,%r12d
mov    %r8d,%r10d
sub    %r15d,%r10d
jl     1315 <sp_add+0x1f5>
add    $0x1,%r10d
movslq %r12d,%r11
movslq %r15d,%r9
cmp    %r15d,%r8d
jne    1279 <sp_add+0x159>
xor    %ebx,%ebx
jmp    12de <sp_add+0x1be>
lea    (%r11,%r11,4),%rax
shl    $0x6,%rax
add    %rsp,%rax
lea    (%r9,%r9,4),%rcx
shl    $0x6,%rcx
add    %rdi,%rcx
mov    %r10d,%r12d
and    $0xfffffffe,%r12d
mov    $0x140,%edx
xor    %ebx,%ebx
nopl   (%rax)
mov    -0x138(%rcx,%rdx,1),%ebp
mov    %ebp,-0x138(%rax,%rdx,1)
mov    -0x140(%rcx,%rdx,1),%rbp
ff
mov    %rbp,-0x140(%rax,%rdx,1)
ff
mov    (%rcx,%rdx,1),%rbp
mov    %rbp,(%rax,%rdx,1)
mov    0x8(%rcx,%rdx,1),%ebp
mov    %ebp,0x8(%rax,%rdx,1)
add    $0x2,%rbx
add    $0x280,%rdx
cmp    %ebx,%r12d
jne    12a0 <sp_add+0x180>
lea    (%r11,%r8,1),%r12d
add    $0x1,%r12d
test   $0x1,%r10b
je     1312 <sp_add+0x1f2>
add    %rbx,%r11
lea    (%r11,%r11,4),%rax
shl    $0x6,%rax
add    %rbx,%r9
lea    (%r9,%r9,4),%rcx
shl    $0x6,%rcx
mov    0x8(%rdi,%rcx,1),%edx
mov    %edx,0x8(%rsp,%rax,1)
mov    (%rdi,%rcx,1),%rcx
mov    %rcx,(%rsp,%rax,1)
sub    %r15d,%r12d
mov    0x8(%rsi),%r10d
mov    %r10d,%r11d
sub    %r14d,%r11d
jl     13d4 <sp_add+0x2b4>
add    $0x1,%r11d
movslq %r12d,%r9
movslq %r14d,%r8
cmp    %r14d,%r10d
jne    1338 <sp_add+0x218>
xor    %ebx,%ebx
jmp    139d <sp_add+0x27d>
lea    (%r9,%r9,4),%rax
shl    $0x6,%rax
add    %rsp,%rax
lea    (%r8,%r8,4),%rcx
shl    $0x6,%rcx
add    %rsi,%rcx
mov    %r11d,%edi
and    $0xfffffffe,%edi
mov    $0x140,%ebp
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    -0x138(%rcx,%rbp,1),%edx
mov    %edx,-0x138(%rax,%rbp,1)
mov    -0x140(%rcx,%rbp,1),%rdx
ff
mov    %rdx,-0x140(%rax,%rbp,1)
ff
mov    (%rcx,%rbp,1),%rdx
mov    %rdx,(%rax,%rbp,1)
mov    0x8(%rcx,%rbp,1),%edx
mov    %edx,0x8(%rax,%rbp,1)
add    $0x2,%rbx
add    $0x280,%rbp
cmp    %ebx,%edi
jne    1360 <sp_add+0x240>
lea    (%r9,%r10,1),%r12d
add    $0x1,%r12d
test   $0x1,%r11b
je     13d1 <sp_add+0x2b1>
add    %rbx,%r9
lea    (%r9,%r9,4),%rax
shl    $0x6,%rax
add    %rbx,%r8
lea    (%r8,%r8,4),%rcx
shl    $0x6,%rcx
mov    0x8(%rsi,%rcx,1),%edx
mov    %edx,0x8(%rsp,%rax,1)
mov    (%rsi,%rcx,1),%rcx
mov    %rcx,(%rsp,%rax,1)
sub    %r14d,%r12d
lea    -0x1(%r12),%eax
mov    %eax,0x8(%rsp)
mov    %rsp,%rdi
mov    %r12d,%esi
mov    $0x3,%edx
call   1040 <mat_write@plt>
add    $0x6400,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [13 x i8] c"Not Possible\00"
define void @sp_add([80 x i32]* nocapture %0, [80 x i32]* nocapture %1) {
%3 = alloca [80 x [80 x i32]]
%4 = bitcast [80 x [80 x i32]]* %3 to i8*
%5 = getelementptr inbounds [80 x i32], [80 x i32]* %0, i64 0, i64 0
%6 = load i32, i32* %5
%7 = getelementptr inbounds [80 x i32], [80 x i32]* %1, i64 0, i64 0
%8 = load i32, i32* %7
%9 = icmp eq i32 %6, %8
br i1 %9, label %12, label %10
10: ; preds = %2
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0))
br label %184
12: ; preds = %2
%13 = getelementptr inbounds [80 x i32], [80 x i32]* %0, i64 0, i64 1
%14 = getelementptr inbounds [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 0, i64 0
store i32 %6, i32* %14
%15 = load i32, i32* %13
%16 = getelementptr inbounds [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 0, i64 1
store i32 %15, i32* %16
%17 = getelementptr inbounds [80 x i32], [80 x i32]* %0, i64 0, i64 2
%18 = load i32, i32* %17
%19 = icmp slt i32 %18, 1
br i1 %19, label %84, label %20
20: ; preds = %12
%21 = getelementptr inbounds [80 x i32], [80 x i32]* %1, i64 0, i64 2
%22 = load i32, i32* %21
br label %23
23: ; preds = %20, %79
%24 = phi i32 [ 1, %20 ], [ %82, %79 ]
%25 = phi i32 [ 1, %20 ], [ %81, %79 ]
%26 = phi i32 [ 1, %20 ], [ %80, %79 ]
%27 = icmp sgt i32 %25, %22
br i1 %27, label %84, label %28
28: ; preds = %23
%29 = sext i32 %26 to i64
%30 = getelementptr [80 x i32], [80 x i32]* %0, i64 %29, i64 0
%31 = load i32, i32* %30
%32 = sext i32 %25 to i64
%33 = getelementptr [80 x i32], [80 x i32]* %1, i64 %32, i64 0
%34 = load i32, i32* %33
%35 = icmp eq i32 %31, %34
br i1 %35, label %36, label %57
36: ; preds = %28
%37 = getelementptr inbounds [80 x i32], [80 x i32]* %0, i64 %29, i64 1
%38 = load i32, i32* %37
%39 = getelementptr inbounds [80 x i32], [80 x i32]* %1, i64 %32, i64 1
%40 = load i32, i32* %39
%41 = icmp eq i32 %38, %40
br i1 %41, label %42, label %59
42: ; preds = %36
%43 = sext i32 %24 to i64
%44 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %43, i64 0
%45 = bitcast i32* %30 to i64*
%46 = bitcast i32* %44 to i64*
%47 = load i64, i64* %45
store i64 %47, i64* %46
%48 = getelementptr inbounds [80 x i32], [80 x i32]* %0, i64 %29, i64 2
%49 = load i32, i32* %48
%50 = getelementptr inbounds [80 x i32], [80 x i32]* %1, i64 %32, i64 2
%51 = load i32, i32* %50
%52 = add nsw i32 %51, %49
%53 = getelementptr inbounds [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %43, i64 2
store i32 %52, i32* %53
%54 = add nsw i32 %26, 1
%55 = add nsw i32 %25, 1
%56 = add nsw i32 %24, 1
br label %79
57: ; preds = %28
%58 = icmp slt i32 %31, %34
br i1 %58, label %61, label %68
59: ; preds = %36
%60 = icmp slt i32 %38, %40
br i1 %60, label %61, label %70
61: ; preds = %57, %59
%62 = sext i32 %24 to i64
%63 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %62, i64 0
%64 = bitcast i32* %63 to i8*
%65 = bitcast i32* %30 to i8*
%66 = add nsw i32 %26, 1
%67 = add nsw i32 %24, 1
br label %79
68: ; preds = %57
%69 = icmp sgt i32 %31, %34
br i1 %69, label %72, label %79
70: ; preds = %59
%71 = icmp sgt i32 %38, %40
br i1 %71, label %72, label %79
72: ; preds = %68, %70
%73 = sext i32 %24 to i64
%74 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %73, i64 0
%75 = bitcast i32* %74 to i8*
%76 = bitcast i32* %33 to i8*
%77 = add nsw i32 %25, 1
%78 = add nsw i32 %24, 1
br label %79
79: ; preds = %68, %61, %72, %70, %42
%80 = phi i32 [ %54, %42 ], [ %66, %61 ], [ %26, %72 ], [ %26, %70 ], [ %26, %68 ]
%81 = phi i32 [ %55, %42 ], [ %25, %61 ], [ %77, %72 ], [ %25, %70 ], [ %25, %68 ]
%82 = phi i32 [ %56, %42 ], [ %67, %61 ], [ %78, %72 ], [ %24, %70 ], [ %24, %68 ]
%83 = icmp sgt i32 %80, %18
br i1 %83, label %84, label %23
84: ; preds = %23, %79, %12
%85 = phi i32 [ 1, %12 ], [ %80, %79 ], [ %26, %23 ]
%86 = phi i32 [ 1, %12 ], [ %81, %79 ], [ %25, %23 ]
%87 = phi i32 [ 1, %12 ], [ %82, %79 ], [ %24, %23 ]
%88 = icmp slt i32 %18, %85
br i1 %88, label %131, label %89
89: ; preds = %84
%90 = sext i32 %87 to i64
%91 = sext i32 %85 to i64
%92 = add i32 %87, %18
%93 = add i32 %92, 1
%94 = add i32 %18, 1
%95 = sub i32 %94, %85
%96 = and i32 %95, 1
%97 = icmp eq i32 %18, %85
br i1 %97, label %119, label %98
98: ; preds = %89
%99 = and i32 %95, -2
br label %100
100: ; preds = %100, %98
%101 = phi i64 [ 0, %98 ], [ %116, %100 ]
%102 = phi i32 [ 0, %98 ], [ %117, %100 ]
%103 = add nsw i64 %101, %90
%104 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %103, i64 0
%105 = bitcast i32* %104 to i8*
%106 = add nsw i64 %101, %91
%107 = getelementptr [80 x i32], [80 x i32]* %0, i64 %106, i64 0
%108 = bitcast i32* %107 to i8*
%109 = or i64 %101, 1
%110 = add nsw i64 %109, %90
%111 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %110, i64 0
%112 = bitcast i32* %111 to i8*
%113 = add nsw i64 %109, %91
%114 = getelementptr [80 x i32], [80 x i32]* %0, i64 %113, i64 0
%115 = bitcast i32* %114 to i8*
%116 = add nuw nsw i64 %101, 2
%117 = add i32 %102, 2
%118 = icmp eq i32 %117, %99
br i1 %118, label %119, label %100
119: ; preds = %100, %89
%120 = phi i64 [ 0, %89 ], [ %116, %100 ]
%121 = icmp eq i32 %96, 0
br i1 %121, label %129, label %122
122: ; preds = %119
%123 = add nsw i64 %120, %90
%124 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %123, i64 0
%125 = bitcast i32* %124 to i8*
%126 = add nsw i64 %120, %91
%127 = getelementptr [80 x i32], [80 x i32]* %0, i64 %126, i64 0
%128 = bitcast i32* %127 to i8*
br label %129
129: ; preds = %119, %122
%130 = sub i32 %93, %85
br label %131
131: ; preds = %129, %84
%132 = phi i32 [ %87, %84 ], [ %130, %129 ]
%133 = getelementptr inbounds [80 x i32], [80 x i32]* %1, i64 0, i64 2
%134 = load i32, i32* %133
%135 = icmp slt i32 %134, %86
br i1 %135, label %178, label %136
136: ; preds = %131
%137 = sext i32 %132 to i64
%138 = sext i32 %86 to i64
%139 = add i32 %132, %134
%140 = add i32 %139, 1
%141 = add i32 %134, 1
%142 = sub i32 %141, %86
%143 = and i32 %142, 1
%144 = icmp eq i32 %134, %86
br i1 %144, label %166, label %145
145: ; preds = %136
%146 = and i32 %142, -2
br label %147
147: ; preds = %147, %145
%148 = phi i64 [ 0, %145 ], [ %163, %147 ]
%149 = phi i32 [ 0, %145 ], [ %164, %147 ]
%150 = add nsw i64 %148, %137
%151 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %150, i64 0
%152 = bitcast i32* %151 to i8*
%153 = add nsw i64 %148, %138
%154 = getelementptr [80 x i32], [80 x i32]* %1, i64 %153, i64 0
%155 = bitcast i32* %154 to i8*
%156 = or i64 %148, 1
%157 = add nsw i64 %156, %137
%158 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %157, i64 0
%159 = bitcast i32* %158 to i8*
%160 = add nsw i64 %156, %138
%161 = getelementptr [80 x i32], [80 x i32]* %1, i64 %160, i64 0
%162 = bitcast i32* %161 to i8*
%163 = add nuw nsw i64 %148, 2
%164 = add i32 %149, 2
%165 = icmp eq i32 %164, %146
br i1 %165, label %166, label %147
166: ; preds = %147, %136
%167 = phi i64 [ 0, %136 ], [ %163, %147 ]
%168 = icmp eq i32 %143, 0
br i1 %168, label %176, label %169
169: ; preds = %166
%170 = add nsw i64 %167, %137
%171 = getelementptr [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 %170, i64 0
%172 = bitcast i32* %171 to i8*
%173 = add nsw i64 %167, %138
%174 = getelementptr [80 x i32], [80 x i32]* %1, i64 %173, i64 0
%175 = bitcast i32* %174 to i8*
br label %176
176: ; preds = %166, %169
%177 = sub i32 %140, %86
br label %178
178: ; preds = %176, %131
%179 = phi i32 [ %132, %131 ], [ %177, %176 ]
%180 = add nsw i32 %179, -1
%181 = getelementptr inbounds [80 x [80 x i32]], [80 x [80 x i32]]* %3, i64 0, i64 0, i64 2
store i32 %180, i32* %181
%182 = bitcast [80 x [80 x i32]]* %3 to i32**
%183 = call i32 @mat_write(i32** %182, i32 %179, i32 3)
br label %184
184: ; preds = %178, %10
ret void
}