#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*/ printf(char *, ...);
void floyd_warshall(int graph[4][4]) {
  int dist[4][4];
  for (int i = 0; i < 4; i++) {
    for (int j = 0; j < 4; j++) {
      dist[i][j] = graph[i][j];
    }
  }
  for (int k = 0; k < 4; k++) {
    for (int i = 0; i < 4; i++) {
      for (int j = 0; j < 4; j++) {
        if (dist[i][j] > (dist[i][k] + dist[k][j])) {
          dist[i][j] = dist[i][k] + dist[k][j];
        }
      }
    }
  }
  for (int i = 0; i < 4; i++) {
    for (int j = 0; j < 4; j++) {
      printf("%d ", dist[i][j]);
    }
    printf("\n");
  }
}


x86 assembly (clang, -O0):
<floyd_warshall>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x4,-0x54(%rbp)
jge    118b <floyd_warshall+0x7b>
movl   $0x0,-0x58(%rbp)
cmpl   $0x4,-0x58(%rbp)
jge    1178 <floyd_warshall+0x68>
mov    -0x8(%rbp),%rax
movslq -0x54(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x54(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x58(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1134 <floyd_warshall+0x24>
jmp    117d <floyd_warshall+0x6d>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1123 <floyd_warshall+0x13>
movl   $0x0,-0x5c(%rbp)
cmpl   $0x4,-0x5c(%rbp)
jge    1283 <floyd_warshall+0x173>
movl   $0x0,-0x60(%rbp)
cmpl   $0x4,-0x60(%rbp)
jge    1270 <floyd_warshall+0x160>
movl   $0x0,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    125d <floyd_warshall+0x14d>
movslq -0x60(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x64(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x60(%rbp),%rdx
lea    -0x50(%rbp),%rcx
shl    $0x4,%rdx
add    %rdx,%rcx
movslq -0x5c(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
movslq -0x5c(%rbp),%rsi
lea    -0x50(%rbp),%rdx
shl    $0x4,%rsi
add    %rsi,%rdx
movslq -0x64(%rbp),%rsi
add    (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jle    124a <floyd_warshall+0x13a>
movslq -0x60(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x5c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x5c(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x64(%rbp),%rcx
add    (%rax,%rcx,4),%edx
movslq -0x60(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x64(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    124f <floyd_warshall+0x13f>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    11b4 <floyd_warshall+0xa4>
jmp    1262 <floyd_warshall+0x152>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    11a3 <floyd_warshall+0x93>
jmp    1275 <floyd_warshall+0x165>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1192 <floyd_warshall+0x82>
movl   $0x0,-0x68(%rbp)
cmpl   $0x4,-0x68(%rbp)
jge    12f3 <floyd_warshall+0x1e3>
movl   $0x0,-0x6c(%rbp)
cmpl   $0x4,-0x6c(%rbp)
jge    12d7 <floyd_warshall+0x1c7>
movslq -0x68(%rbp),%rcx
lea    -0x50(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xd3e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    129b <floyd_warshall+0x18b>
lea    0xd26(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    128a <floyd_warshall+0x17a>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<floyd_warshall>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
movups (%rdi),%xmm0
movups 0x10(%rdi),%xmm1
movups 0x20(%rdi),%xmm2
movups 0x30(%rdi),%xmm3
movaps %xmm1,0x10(%rsp)
movaps %xmm2,0x20(%rsp)
movaps %xmm0,(%rsp)
movaps %xmm3,0x30(%rsp)
mov    0x10(%rsp),%edx
mov    0x14(%rsp),%r12d
mov    0x18(%rsp),%r14d
mov    0x1c(%rsp),%r10d
mov    0x20(%rsp),%ecx
mov    0x24(%rsp),%r9d
mov    0x28(%rsp),%r8d
mov    0x2c(%rsp),%ebx
mov    0xc(%rsp),%esi
mov    $0xfffffffffffffff4,%rax
mov    %edx,%r15d
mov    %esi,%r13d
mov    %ecx,%r11d
nopl   0x0(%rax)
mov    0x30(%rsp,%rax,4),%edi
add    0xc(%rsp,%rax,1),%edi
mov    (%rsp),%ebp
cmp    %edi,%ebp
cmovle %ebp,%edi
mov    0x4(%rsp),%ebp
mov    %edi,(%rsp)
mov    0x34(%rsp,%rax,4),%edi
add    0xc(%rsp,%rax,1),%edi
cmp    %edi,%ebp
cmovle %ebp,%edi
mov    %edi,0x4(%rsp)
mov    0x38(%rsp,%rax,4),%edi
add    0xc(%rsp,%rax,1),%edi
mov    0x8(%rsp),%ebp
cmp    %edi,%ebp
cmovle %ebp,%edi
mov    %edi,0x8(%rsp)
add    0xc(%rsp,%rax,1),%esi
mov    %r13d,%edi
cmp    %esi,%r13d
cmovle %r13d,%esi
mov    %esi,0x48(%rsp)
mov    %esi,0xc(%rsp)
add    0x30(%rsp,%rax,4),%edx
mov    %r12d,%esi
mov    %r15d,%edi
cmp    %edx,%r15d
cmovle %r15d,%edx
mov    %edx,0x4c(%rsp)
mov    %edx,0x10(%rsp)
mov    0x34(%rsp,%rax,4),%r12d
add    0x1c(%rsp,%rax,1),%r12d
mov    %r14d,%edx
cmp    %r12d,%esi
cmovle %esi,%r12d
mov    %r12d,0x14(%rsp)
mov    0x38(%rsp,%rax,4),%edi
add    0x1c(%rsp,%rax,1),%edi
mov    %r10d,%esi
cmp    %edi,%r14d
cmovle %r14d,%edi
mov    %edi,0x50(%rsp)
mov    %edi,0x18(%rsp)
mov    0x3c(%rsp,%rax,4),%r10d
add    0x1c(%rsp,%rax,1),%r10d
cmp    %r10d,%esi
cmovle %esi,%r10d
mov    %r10d,0x1c(%rsp)
add    0x30(%rsp,%rax,4),%ecx
mov    %r11d,%edx
mov    %r9d,%esi
cmp    %ecx,%r11d
mov    %ecx,%r11d
cmovle %edx,%r11d
mov    %r11d,0x20(%rsp)
mov    0x34(%rsp,%rax,4),%r9d
add    0x2c(%rsp,%rax,1),%r9d
mov    %r8d,%ecx
mov    %ebx,%edx
cmp    %r9d,%esi
cmovle %esi,%r9d
mov    %r9d,0x24(%rsp)
mov    0x38(%rsp,%rax,4),%r8d
add    0x2c(%rsp,%rax,1),%r8d
cmp    %r8d,%ecx
cmovle %ecx,%r8d
mov    %r8d,0x28(%rsp)
mov    0x3c(%rsp,%rax,4),%ebx
add    0x2c(%rsp,%rax,1),%ebx
cmp    %ebx,%edx
cmovle %edx,%ebx
mov    %ebx,0x2c(%rsp)
mov    0x30(%rsp),%ecx
mov    0x30(%rsp,%rax,4),%r14d
add    0x3c(%rsp,%rax,1),%r14d
cmp    %r14d,%ecx
cmovle %ecx,%r14d
mov    %r14d,0x30(%rsp)
mov    0x34(%rsp),%ecx
mov    0x34(%rsp,%rax,4),%r15d
add    0x3c(%rsp,%rax,1),%r15d
cmp    %r15d,%ecx
cmovle %ecx,%r15d
mov    %r15d,0x34(%rsp)
mov    0x38(%rsp),%ecx
mov    0x38(%rsp,%rax,4),%r13d
add    0x3c(%rsp,%rax,1),%r13d
cmp    %r13d,%ecx
cmovle %ecx,%r13d
mov    %r13d,0x38(%rsp)
mov    0x3c(%rsp),%ecx
mov    0x3c(%rsp,%rax,4),%ebp
add    0x3c(%rsp,%rax,1),%ebp
cmp    %ebp,%ecx
cmovle %ecx,%ebp
mov    %ebp,0x3c(%rsp)
test   %rax,%rax
je     132c <floyd_warshall+0x20c>
mov    0x20(%rsp,%rax,1),%edx
mov    0x30(%rsp,%rax,1),%ecx
mov    0x4c(%rsp,%rax,4),%esi
add    $0x4,%rax
mov    0x50(%rsp),%r14d
mov    0x4c(%rsp),%r15d
mov    0x48(%rsp),%r13d
jmp    1190 <floyd_warshall+0x70>
mov    (%rsp),%esi
lea    0xcca(%rip),%rdi
xor    %eax,%eax
mov    %r8d,0x60(%rsp)
mov    %ebx,0x64(%rsp)
mov    %r9d,0x5c(%rsp)
mov    %r10d,0x54(%rsp)
mov    %r11d,0x58(%rsp)
call   1040 <printf@plt>
mov    0x4(%rsp),%esi
lea    0xca0(%rip),%rbx
mov    %rbx,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x8(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x48(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
mov    0x4c(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    %r12d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x50(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x54(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
mov    0x58(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x5c(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x60(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    0x64(%rsp),%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    %r15d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0xa,%edi
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <putchar@plt>

LLVM IR (-O0):
@.str = [4 x i8] c"%d \00"
@.str.1 = [2 x i8] c"\0A\00"
define void @floyd_warshall([4 x i32]* %0) {
%2 = alloca [4 x i32]*
%3 = alloca [4 x [4 x i32]]
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store [4 x i32]* %0, [4 x i32]** %2
store i32 0, i32* %4
br label %11
11: ; preds = %37, %1
%12 = load i32, i32* %4
%13 = icmp slt i32 %12, 4
br i1 %13, label %14, label %40
14: ; preds = %11
store i32 0, i32* %5
br label %15
15: ; preds = %33, %14
%16 = load i32, i32* %5
%17 = icmp slt i32 %16, 4
br i1 %17, label %18, label %36
18: ; preds = %15
%19 = load [4 x i32]*, [4 x i32]** %2
%20 = load i32, i32* %4
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds [4 x i32], [4 x i32]* %19, i64 %21
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [4 x i32], [4 x i32]* %22, i64 0, i64 %24
%26 = load i32, i32* %25
%27 = load i32, i32* %4
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %28
%30 = load i32, i32* %5
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [4 x i32], [4 x i32]* %29, i64 0, i64 %31
store i32 %26, i32* %32
br label %33
33: ; preds = %18
%34 = load i32, i32* %5
%35 = add nsw i32 %34, 1
store i32 %35, i32* %5
br label %15
36: ; preds = %15
br label %37
37: ; preds = %36
%38 = load i32, i32* %4
%39 = add nsw i32 %38, 1
store i32 %39, i32* %4
br label %11
40: ; preds = %11
store i32 0, i32* %6
br label %41
41: ; preds = %107, %40
%42 = load i32, i32* %6
%43 = icmp slt i32 %42, 4
br i1 %43, label %44, label %110
44: ; preds = %41
store i32 0, i32* %7
br label %45
45: ; preds = %103, %44
%46 = load i32, i32* %7
%47 = icmp slt i32 %46, 4
br i1 %47, label %48, label %106
48: ; preds = %45
store i32 0, i32* %8
br label %49
49: ; preds = %99, %48
%50 = load i32, i32* %8
%51 = icmp slt i32 %50, 4
br i1 %51, label %52, label %102
52: ; preds = %49
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %54
%56 = load i32, i32* %8
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [4 x i32], [4 x i32]* %55, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = load i32, i32* %7
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %61
%63 = load i32, i32* %6
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [4 x i32], [4 x i32]* %62, i64 0, i64 %64
%66 = load i32, i32* %65
%67 = load i32, i32* %6
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %68
%70 = load i32, i32* %8
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [4 x i32], [4 x i32]* %69, i64 0, i64 %71
%73 = load i32, i32* %72
%74 = add nsw i32 %66, %73
%75 = icmp sgt i32 %59, %74
br i1 %75, label %76, label %98
76: ; preds = %52
%77 = load i32, i32* %7
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %78
%80 = load i32, i32* %6
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [4 x i32], [4 x i32]* %79, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = load i32, i32* %6
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %85
%87 = load i32, i32* %8
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds [4 x i32], [4 x i32]* %86, i64 0, i64 %88
%90 = load i32, i32* %89
%91 = add nsw i32 %83, %90
%92 = load i32, i32* %7
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %93
%95 = load i32, i32* %8
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [4 x i32], [4 x i32]* %94, i64 0, i64 %96
store i32 %91, i32* %97
br label %98
98: ; preds = %76, %52
br label %99
99: ; preds = %98
%100 = load i32, i32* %8
%101 = add nsw i32 %100, 1
store i32 %101, i32* %8
br label %49
102: ; preds = %49
br label %103
103: ; preds = %102
%104 = load i32, i32* %7
%105 = add nsw i32 %104, 1
store i32 %105, i32* %7
br label %45
106: ; preds = %45
br label %107
107: ; preds = %106
%108 = load i32, i32* %6
%109 = add nsw i32 %108, 1
store i32 %109, i32* %6
br label %41
110: ; preds = %41
store i32 0, i32* %9
br label %111
111: ; preds = %132, %110
%112 = load i32, i32* %9
%113 = icmp slt i32 %112, 4
br i1 %113, label %114, label %135
114: ; preds = %111
store i32 0, i32* %10
br label %115
115: ; preds = %127, %114
%116 = load i32, i32* %10
%117 = icmp slt i32 %116, 4
br i1 %117, label %118, label %130
118: ; preds = %115
%119 = load i32, i32* %9
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds [4 x [4 x i32]], [4 x [4 x i32]]* %3, i64 0, i64 %120
%122 = load i32, i32* %10
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds [4 x i32], [4 x i32]* %121, i64 0, i64 %123
%125 = load i32, i32* %124
%126 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %125)
br label %127
127: ; preds = %118
%128 = load i32, i32* %10
%129 = add nsw i32 %128, 1
store i32 %129, i32* %10
br label %115
130: ; preds = %115
%131 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
br label %132
132: ; preds = %130
%133 = load i32, i32* %9
%134 = add nsw i32 %133, 1
store i32 %134, i32* %9
br label %111
135: ; preds = %111
ret void
}

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