#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 minim(int, int, int);
int /*<<< orphan*/ printf(char *, ...);
void Floyd(int **adj_mat, int sizegr, int **tablesequence) {
  int i, j, k, value = 0;
  for (i = 0; i < sizegr; i++) {
    adj_mat[i][i] = 0;
  }
  for (i = 0; i < sizegr; i++) {
    for (j = 0; j < sizegr; j++) {
      if (adj_mat[i][j] < adj_mat[j][i] && adj_mat[i][j] != 9999 &&
          adj_mat[j][i] != 9999) {
        adj_mat[j][i] = adj_mat[i][j];
      } else if (adj_mat[j][i] < adj_mat[i][j] && adj_mat[i][j] != 9999 &&
                 adj_mat[j][i] != 9999) {
        adj_mat[i][j] = adj_mat[j][i];
      } else {
        if ((adj_mat[i][j] == 9999) || (adj_mat[j][i] == 9999)) {
          adj_mat[i][j] = adj_mat[j][i] = 9999;
        }
      }
    }
  }
  for (k = 0; k < sizegr - 1; k++) {
    for (i = 0; i < sizegr; i++) {
      for (j = 0; j < sizegr; j++) {
        if (i != j && i != k && j != k) {
          value = minim(adj_mat[i][j], adj_mat[i][k], adj_mat[k][j]);
          if (value != adj_mat[i][j]) {
            tablesequence[i][j] = k;
          }
          adj_mat[i][j] = value;
        }
      }
    }
  }
  for (i = 0; i < sizegr; i++) {
    printf("\n");
    for (j = 0; j < sizegr; j++) {
      printf("%d ", adj_mat[i][j]);
    }
  }
  for (i = 0; i < sizegr; i++) {
    printf("\n");
    for (j = 0; j < sizegr; j++) {
      printf("%d ", tablesequence[i][j]);
    }
  }
}


x86 assembly (clang, -O0):
<Floyd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1172 <Floyd+0x52>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1141 <Floyd+0x21>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1352 <Floyd+0x232>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    133f <Floyd+0x21f>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1229 <Floyd+0x109>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
je     1229 <Floyd+0x109>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
je     1229 <Floyd+0x109>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    132c <Floyd+0x20c>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12ba <Floyd+0x19a>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
je     12ba <Floyd+0x19a>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
je     12ba <Floyd+0x19a>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1327 <Floyd+0x207>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
je     12f4 <Floyd+0x1d4>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x270f,(%rax,%rcx,4)
jne    1322 <Floyd+0x202>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x270f,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movl   $0x270f,(%rax,%rcx,4)
jmp    1327 <Floyd+0x207>
jmp    132c <Floyd+0x20c>
jmp    1331 <Floyd+0x211>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    118c <Floyd+0x6c>
jmp    1344 <Floyd+0x224>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1179 <Floyd+0x59>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1476 <Floyd+0x356>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1463 <Floyd+0x343>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1450 <Floyd+0x330>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     143d <Floyd+0x31d>
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     143d <Floyd+0x31d>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     143d <Floyd+0x31d>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
call   1040 <minim@plt>
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
je     1427 <Floyd+0x307>
mov    -0x24(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1442 <Floyd+0x322>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1384 <Floyd+0x264>
jmp    1455 <Floyd+0x335>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1371 <Floyd+0x251>
jmp    1468 <Floyd+0x348>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1359 <Floyd+0x239>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    14ec <Floyd+0x3cc>
lea    0xb70(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    14d9 <Floyd+0x3b9>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xb3e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    149e <Floyd+0x37e>
jmp    14de <Floyd+0x3be>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    147d <Floyd+0x35d>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1562 <Floyd+0x442>
lea    0xafa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    154f <Floyd+0x42f>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xac8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1514 <Floyd+0x3f4>
jmp    1554 <Floyd+0x434>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14f3 <Floyd+0x3d3>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Floyd>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %esi,%esi
jle    1383 <Floyd+0x253>
mov    %rdx,%r15
mov    %rdi,%rbx
mov    %esi,%r13d
lea    -0x1(%r13),%rcx
mov    %r13d,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1163 <Floyd+0x33>
xor    %ecx,%ecx
jmp    11ab <Floyd+0x7b>
mov    %r13d,%edx
and    $0xfffffffc,%edx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
mov    (%rbx,%rcx,8),%rdi
movl   $0x0,(%rdi,%rcx,4)
mov    0x8(%rbx,%rcx,8),%rdi
movl   $0x0,0x4(%rdi,%rcx,4)
mov    0x10(%rbx,%rcx,8),%rdi
movl   $0x0,0x8(%rdi,%rcx,4)
mov    0x18(%rbx,%rcx,8),%rdi
movl   $0x0,0xc(%rdi,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    1170 <Floyd+0x40>
test   %rax,%rax
je     11c5 <Floyd+0x95>
mov    (%rbx,%rcx,8),%rdx
movl   $0x0,(%rdx,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
jne    11b0 <Floyd+0x80>
test   %esi,%esi
jle    1383 <Floyd+0x253>
xor    %eax,%eax
jmp    11e9 <Floyd+0xb9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    %r13,%rax
je     1262 <Floyd+0x132>
mov    (%rbx,%rax,8),%r8
xor    %edx,%edx
jmp    1209 <Floyd+0xd9>
movl   $0x270f,(%rcx,%rax,4)
movl   $0x270f,(%r8,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%r13
je     11e0 <Floyd+0xb0>
mov    (%r8,%rdx,4),%ebp
mov    (%rbx,%rdx,8),%rcx
mov    (%rcx,%rax,4),%edi
cmp    $0x270f,%edi
je     1230 <Floyd+0x100>
cmp    $0x270f,%ebp
je     1230 <Floyd+0x100>
cmp    %edi,%ebp
jge    1230 <Floyd+0x100>
mov    %ebp,(%rcx,%rax,4)
jmp    1200 <Floyd+0xd0>
nopl   (%rax)
cmp    $0x270f,%edi
je     1250 <Floyd+0x120>
cmp    $0x270f,%ebp
je     1250 <Floyd+0x120>
cmp    %ebp,%edi
jge    1250 <Floyd+0x120>
mov    %edi,(%r8,%rdx,4)
jmp    1200 <Floyd+0xd0>
nopw   0x0(%rax,%rax,1)
cmp    $0x270f,%ebp
je     11f1 <Floyd+0xc1>
cmp    $0x270f,%edi
jne    1200 <Floyd+0xd0>
jmp    11f1 <Floyd+0xc1>
mov    %rsi,0x8(%rsp)
cmp    $0x2,%esi
jl     12e8 <Floyd+0x1b8>
mov    0x8(%rsp),%rax
add    $0xffffffff,%eax
mov    %rax,0x10(%rsp)
xor    %ebp,%ebp
jmp    128b <Floyd+0x15b>
nopl   (%rax)
add    $0x1,%rbp
cmp    0x10(%rsp),%rbp
je     12e8 <Floyd+0x1b8>
xor    %r14d,%r14d
jmp    1299 <Floyd+0x169>
add    $0x1,%r14
cmp    %r13,%r14
je     1280 <Floyd+0x150>
xor    %r12d,%r12d
jmp    12ad <Floyd+0x17d>
xchg   %ax,%ax
mov    %eax,(%rcx,%r12,4)
add    $0x1,%r12
cmp    %r12,%r13
je     1290 <Floyd+0x160>
cmp    %r12,%r14
je     12a4 <Floyd+0x174>
cmp    %rbp,%r14
je     12a4 <Floyd+0x174>
cmp    %r12,%rbp
je     12a4 <Floyd+0x174>
mov    (%rbx,%r14,8),%rax
mov    (%rax,%r12,4),%edi
mov    (%rax,%rbp,4),%esi
mov    (%rbx,%rbp,8),%rax
mov    (%rax,%r12,4),%edx
call   1050 <minim@plt>
mov    (%rbx,%r14,8),%rcx
cmp    (%rcx,%r12,4),%eax
je     12a0 <Floyd+0x170>
mov    (%r15,%r14,8),%rdx
mov    %ebp,(%rdx,%r12,4)
jmp    12a0 <Floyd+0x170>
cmpl   $0x0,0x8(%rsp)
jle    1383 <Floyd+0x253>
lea    0xd06(%rip),%r12
xor    %r14d,%r14d
nopl   (%rax)
mov    $0xa,%edi
call   1030 <putchar@plt>
xor    %ebp,%ebp
nopl   0x0(%rax)
mov    (%rbx,%r14,8),%rax
mov    (%rax,%rbp,4),%esi
mov    %r12,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%r13
jne    1310 <Floyd+0x1e0>
add    $0x1,%r14
cmp    %r13,%r14
jne    1300 <Floyd+0x1d0>
cmpl   $0x0,0x8(%rsp)
jle    1383 <Floyd+0x253>
lea    0xcbf(%rip),%r14
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    $0xa,%edi
call   1030 <putchar@plt>
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    (%r15,%rbp,8),%rax
mov    (%rax,%rbx,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r13
jne    1360 <Floyd+0x230>
add    $0x1,%rbp
cmp    %r13,%rbp
jne    1350 <Floyd+0x220>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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