#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 next_vertex(int **connection, float **weights, int *degree, int kor_ek,
                 int n, int *T, float sum_weight) {
  int i, j, sum = 0, counter = 0, temp;
  float min_weight = 1000000;
  for (j = 0; j < degree[kor_ek]; j++) {
    if (connection[kor_ek][j] != -1) {
      if (weights[kor_ek][j] < min_weight) {
        min_weight = weights[kor_ek][j];
        temp = connection[kor_ek][j];
      }
    }
  }
  sum_weight += min_weight;
  for (i = 0; i < n; i++) {
    for (j = 0; j < degree[i]; j++) {
      if (connection[i][j] == kor_ek) {
        connection[i][j] = -1;
      }
    }
  }
  T[temp] = 1;
  kor_ek = temp;
  printf("%d ", kor_ek);
  for (j = 0; j < degree[kor_ek]; j++) {
    sum += connection[kor_ek][j];
  }
  for (i = 0; i < n; i++) {
    if (T[i] == 1) {
      counter++;
    }
  }
  if (counter == n) {
    printf(". Cost %f. ", sum_weight);
    printf("Path completed.\n");
  } else if (sum == (-1) * degree[kor_ek]) {
    printf(". Cost %f. ", sum_weight);
    printf("Path didn't completed.\n");
  } else
    next_vertex(connection, weights, degree, kor_ek, n, T, sum_weight);
}


x86 assembly (clang, -O0):
<next_vertex>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movss  %xmm0,-0x2c(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movss  0xea6(%rip),%xmm0
movss  %xmm0,-0x44(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11ff <next_vertex+0xdf>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
je     11ec <next_vertex+0xcc>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x44(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    11e7 <next_vertex+0xc7>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x44(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
jmp    11ec <next_vertex+0xcc>
jmp    11f1 <next_vertex+0xd1>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1166 <next_vertex+0x46>
movss  -0x44(%rbp),%xmm0
addss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1295 <next_vertex+0x175>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1282 <next_vertex+0x162>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    126f <next_vertex+0x14f>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
jmp    1274 <next_vertex+0x154>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1228 <next_vertex+0x108>
jmp    1287 <next_vertex+0x167>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1215 <next_vertex+0xf5>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x40(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%esi
lea    0xd50(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12fd <next_vertex+0x1dd>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12c2 <next_vertex+0x1a2>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    133e <next_vertex+0x21e>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    132b <next_vertex+0x20b>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1330 <next_vertex+0x210>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1304 <next_vertex+0x1e4>
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1374 <next_vertex+0x254>
movss  -0x2c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xcae(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
lea    0xcac(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13de <next_vertex+0x2be>
mov    -0x38(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
imul   $0xffffffff,(%rcx,%rdx,4),%ecx
cmp    %ecx,%eax
jne    13b8 <next_vertex+0x298>
movss  -0x2c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xc6a(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
lea    0xc79(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13d9 <next_vertex+0x2b9>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x28(%rbp),%r9
movss  -0x2c(%rbp),%xmm0
call   1040 <next_vertex@plt>
jmp    13de <next_vertex+0x2be>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<next_vertex>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,%r12
mov    %rdx,%r14
mov    %rsi,0x18(%rsp)
movabs $0x3ffffffffffffffc,%rdx
ff ff 3f
movslq %ecx,%rax
mov    (%r14,%rax,4),%r9d
mov    %r8d,%r13d
mov    %r13d,%eax
and    $0xfffffff8,%eax
mov    %rax,0x40(%rsp)
add    $0xfffffffffffffff8,%rax
mov    %rax,0x38(%rsp)
shr    $0x3,%rax
add    $0x1,%rax
lea    0x2(%rdx),%rsi
mov    %rax,%rdx
mov    %rax,0x30(%rsp)
and    %rax,%rsi
mov    %rsi,0x28(%rsp)
mov    %rdi,0x20(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  0xe68(%rip),%xmm2
test   %r9d,%r9d
jle    11f0 <next_vertex+0xd0>
movslq %ecx,%r10
mov    (%rdi,%r10,8),%rsi
mov    %r9d,%r11d
cmp    $0x1,%r9d
jne    12c0 <next_vertex+0x1a0>
xor    %eax,%eax
movss  0xe45(%rip),%xmm2
mov    0x18(%rsp),%r15
test   $0x1,%r11b
je     11f0 <next_vertex+0xd0>
mov    (%rsi,%rax,4),%esi
cmp    $0xffffffff,%esi
je     11f0 <next_vertex+0xd0>
mov    (%r15,%r10,8),%rdx
movss  (%rdx,%rax,4),%xmm1
ucomiss %xmm1,%xmm2
jbe    11f0 <next_vertex+0xd0>
mov    %esi,%ebp
movaps %xmm1,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebp,0xc(%rsp)
movss  %xmm0,0x14(%rsp)
test   %r8d,%r8d
jle    1250 <next_vertex+0x130>
xor    %eax,%eax
jmp    1219 <next_vertex+0xf9>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rax
cmp    %r13,%rax
je     1250 <next_vertex+0x130>
mov    (%r14,%rax,4),%edx
test   %edx,%edx
jle    1210 <next_vertex+0xf0>
mov    (%rdi,%rax,8),%rsi
xor    %ebp,%ebp
jmp    123c <next_vertex+0x11c>
nopl   0x0(%rax)
add    $0x1,%rbp
movslq %edx,%rbx
cmp    %rbx,%rbp
jge    1210 <next_vertex+0xf0>
cmp    %ecx,(%rsi,%rbp,4)
jne    1230 <next_vertex+0x110>
movl   $0xffffffff,(%rsi,%rbp,4)
mov    (%r14,%rax,4),%edx
jmp    1230 <next_vertex+0x110>
xchg   %ax,%ax
movss  %xmm2,0x10(%rsp)
mov    %r13,%rbp
movslq 0xc(%rsp),%r13
movl   $0x1,(%r12,%r13,4)
xor    %r15d,%r15d
lea    0xdb0(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
mov    %r8d,%ebx
call   1040 <printf@plt>
movdqa 0xd8b(%rip),%xmm7
mov    %ebx,%r8d
mov    (%r14,%r13,4),%r9d
mov    $0x0,%edx
test   %r9d,%r9d
movss  0x14(%rsp),%xmm0
jle    143c <next_vertex+0x31c>
mov    0x20(%rsp),%rax
mov    (%rax,%r13,8),%rcx
cmp    $0x8,%r9d
jae    1330 <next_vertex+0x210>
xor    %esi,%esi
xor    %edx,%edx
jmp    1430 <next_vertex+0x310>
nopl   0x0(%rax)
mov    %r11d,%r9d
and    $0xfffffffe,%r9d
xor    %eax,%eax
movss  0xd2f(%rip),%xmm2
mov    0x18(%rsp),%r15
jmp    12ed <next_vertex+0x1cd>
nopl   0x0(%rax,%rax,1)
add    $0x2,%rax
cmp    %rax,%r9
je     11c0 <next_vertex+0xa0>
mov    (%rsi,%rax,4),%ebx
cmp    $0xffffffff,%ebx
je     1308 <next_vertex+0x1e8>
mov    (%r15,%r10,8),%rdx
movss  (%rdx,%rax,4),%xmm1
ucomiss %xmm1,%xmm2
jbe    1308 <next_vertex+0x1e8>
mov    %ebx,%ebp
movaps %xmm1,%xmm2
mov    0x4(%rsi,%rax,4),%ebx
cmp    $0xffffffff,%ebx
je     12e0 <next_vertex+0x1c0>
mov    (%r15,%r10,8),%rdx
movss  0x4(%rdx,%rax,4),%xmm1
ucomiss %xmm1,%xmm2
jbe    12e0 <next_vertex+0x1c0>
mov    %ebx,%ebp
movaps %xmm1,%xmm2
jmp    12e0 <next_vertex+0x1c0>
nopw   0x0(%rax,%rax,1)
mov    %r9d,%esi
and    $0xfffffff8,%esi
lea    -0x8(%rsi),%rdi
mov    %rdi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x18,%rdi
jae    135b <next_vertex+0x23b>
pxor   %xmm3,%xmm3
xor    %edi,%edi
xorps  %xmm1,%xmm1
jmp    13d9 <next_vertex+0x2b9>
movabs $0x3ffffffffffffffc,%rdi
ff ff 3f
and    %rdi,%rdx
pxor   %xmm3,%xmm3
xor    %edi,%edi
xorps  %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu (%rcx,%rdi,4),%xmm2
paddd  %xmm3,%xmm2
movdqu 0x10(%rcx,%rdi,4),%xmm5
paddd  %xmm1,%xmm5
movdqu 0x20(%rcx,%rdi,4),%xmm1
movdqu 0x30(%rcx,%rdi,4),%xmm3
movdqu 0x40(%rcx,%rdi,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x50(%rcx,%rdi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm5,%xmm2
movdqu 0x60(%rcx,%rdi,4),%xmm3
paddd  %xmm4,%xmm3
movdqu 0x70(%rcx,%rdi,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rdx
jne    1380 <next_vertex+0x260>
test   %rax,%rax
je     140c <next_vertex+0x2ec>
lea    (%rcx,%rdi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rax
xor    %edi,%edi
nopl   0x0(%rax)
movdqu -0x10(%rdx,%rdi,1),%xmm2
paddd  %xmm2,%xmm3
movdqu (%rdx,%rdi,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rdi
cmp    %rdi,%rax
jne    13f0 <next_vertex+0x2d0>
paddd  %xmm1,%xmm3
pshufd $0xee,%xmm3,%xmm1
paddd  %xmm3,%xmm1
pshufd $0x55,%xmm1,%xmm2
paddd  %xmm1,%xmm2
movd   %xmm2,%edx
cmp    %r9,%rsi
je     143c <next_vertex+0x31c>
nopl   0x0(%rax,%rax,1)
add    (%rcx,%rsi,4),%edx
add    $0x1,%rsi
cmp    %rsi,%r9
jne    1430 <next_vertex+0x310>
test   %r8d,%r8d
mov    %rbp,%r13
mov    0xc(%rsp),%esi
jle    1536 <next_vertex+0x416>
cmp    $0x8,%r8d
jae    1460 <next_vertex+0x340>
xor    %eax,%eax
xor    %r15d,%r15d
jmp    1520 <next_vertex+0x400>
nopl   0x0(%rax)
cmpq   $0x0,0x38(%rsp)
je     1553 <next_vertex+0x433>
pxor   %xmm6,%xmm6
mov    0x28(%rsp),%rcx
xor    %eax,%eax
xorps  %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%r12,%rax,4),%xmm2
movdqu 0x10(%r12,%rax,4),%xmm3
movdqu 0x20(%r12,%rax,4),%xmm4
movdqu 0x30(%r12,%rax,4),%xmm5
pcmpeqd %xmm7,%xmm2
psubd  %xmm2,%xmm6
pcmpeqd %xmm7,%xmm3
psubd  %xmm3,%xmm1
pcmpeqd %xmm7,%xmm4
psubd  %xmm4,%xmm6
pcmpeqd %xmm7,%xmm5
psubd  %xmm5,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%rcx
jne    1480 <next_vertex+0x360>
testb  $0x1,0x30(%rsp)
je     14e9 <next_vertex+0x3c9>
movdqu (%r12,%rax,4),%xmm2
movdqu 0x10(%r12,%rax,4),%xmm3
pcmpeqd %xmm7,%xmm2
psubd  %xmm2,%xmm6
pcmpeqd %xmm7,%xmm3
psubd  %xmm3,%xmm1
paddd  %xmm1,%xmm6
pshufd $0xee,%xmm6,%xmm1
paddd  %xmm6,%xmm1
pshufd $0x55,%xmm1,%xmm2
paddd  %xmm1,%xmm2
movd   %xmm2,%r15d
mov    0x40(%rsp),%rcx
mov    %rcx,%rax
cmp    %r13,%rcx
je     1536 <next_vertex+0x416>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %ecx,%ecx
cmpl   $0x1,(%r12,%rax,4)
sete   %cl
add    %ecx,%r15d
add    $0x1,%rax
cmp    %rax,%r13
jne    1520 <next_vertex+0x400>
addss  0x10(%rsp),%xmm0
cmp    %r8d,%r15d
je     1569 <next_vertex+0x449>
mov    %esi,%ecx
add    %r9d,%edx
mov    0x20(%rsp),%rdi
jne    1190 <next_vertex+0x70>
jmp    1572 <next_vertex+0x452>
pxor   %xmm6,%xmm6
xor    %eax,%eax
xorps  %xmm1,%xmm1
testb  $0x1,0x30(%rsp)
jne    14cc <next_vertex+0x3ac>
jmp    14e9 <next_vertex+0x3c9>
lea    0xad7(%rip),%rbx
jmp    1579 <next_vertex+0x459>
lea    0xab7(%rip),%rbx
cvtss2sd %xmm0,%xmm0
lea    0xaa0(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
mov    %rbx,%rdi
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <puts@plt>

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

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