#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 INT_MAX;
int minim(int, int, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, int *);
void Djikstra(int **adj_mat, int *visited, int *minvalues, int sizegr) {
  int initval, minimum = INT_MAX, i, j, col;
  printf("\nPlease specify the vertex from which to start the algorithm: ");
  scanf("%d", &initval);
  minvalues[initval] = 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[j][i] = adj_mat[i][j];
      } else if (adj_mat[j][i] < adj_mat[i][j]) {
        adj_mat[i][j] = adj_mat[j][i];
      } else {
        if ((adj_mat[i][j] == 0) || (adj_mat[j][i] == 0)) {
          adj_mat[i][j] = adj_mat[j][i] = 0;
        }
      }
    }
  }
  for (i = 0; i < sizegr; i++) {
    for (j = 0; j < sizegr; j++) {
      if ((adj_mat[i][j] != 0) && (visited[j] == 0)) {
        minvalues[j] = minim(minvalues[j], minvalues[i], adj_mat[i][j]);
      }
    }
    for (j = 0; j < sizegr; j++) {
      if ((visited[j] == 0) && (minvalues[j] < minimum)) {
        minimum = minvalues[j];
        col = j;
      }
    }
    visited[col] = 1;
    printf("\nThe dist of element %d is: %d", col, minimum);
    minimum = INT_MAX;
  }
}


x86 assembly (clang, -O0):
<Djikstra>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    0x2e9a(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
lea    0xea6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xef3(%rip),%rdi
lea    -0x20(%rbp),%rsi
call   1050 <scanf@plt>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11b8 <Djikstra+0x88>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1187 <Djikstra+0x57>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    131e <Djikstra+0x1ee>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    130b <Djikstra+0x1db>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1235 <Djikstra+0x105>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f8 <Djikstra+0x1c8>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x28(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    128c <Djikstra+0x15c>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f3 <Djikstra+0x1c3>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12c0 <Djikstra+0x190>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12ee <Djikstra+0x1be>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    12f3 <Djikstra+0x1c3>
jmp    12f8 <Djikstra+0x1c8>
jmp    12fd <Djikstra+0x1cd>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11d2 <Djikstra+0xa2>
jmp    1310 <Djikstra+0x1e0>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11bf <Djikstra+0x8f>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    145b <Djikstra+0x32b>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13be <Djikstra+0x28e>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     13ab <Djikstra+0x27b>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13ab <Djikstra+0x27b>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
call   1040 <minim@plt>
mov    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13b0 <Djikstra+0x280>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1338 <Djikstra+0x208>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    141e <Djikstra+0x2ee>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    140b <Djikstra+0x2db>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jge    140b <Djikstra+0x2db>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    1410 <Djikstra+0x2e0>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13c5 <Djikstra+0x295>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x30(%rbp),%esi
mov    -0x24(%rbp),%edx
lea    0xc05(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2ba0(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1325 <Djikstra+0x1f5>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Djikstra>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %ecx,%ebx
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
mov    0x2e98(%rip),%rax
mov    (%rax),%ebp
lea    0xea7(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xef4(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1050 <scanf@plt>
movslq 0x4(%rsp),%rax
movl   $0x0,(%r14,%rax,4)
test   %ebx,%ebx
jle    13db <Djikstra+0x2ab>
mov    %ebp,%r9d
mov    %r14,%r8
mov    %ebx,%r13d
lea    -0x1(%r13),%rcx
mov    %r13d,%eax
and    $0x3,%eax
mov    %rcx,0x18(%rsp)
cmp    $0x3,%rcx
jae    11a8 <Djikstra+0x78>
xor    %ecx,%ecx
jmp    11eb <Djikstra+0xbb>
mov    %r13d,%edx
and    $0xfffffffc,%edx
xor    %ecx,%ecx
mov    (%r12,%rcx,8),%rsi
movl   $0x0,(%rsi,%rcx,4)
mov    0x8(%r12,%rcx,8),%rsi
movl   $0x0,0x4(%rsi,%rcx,4)
mov    0x10(%r12,%rcx,8),%rsi
movl   $0x0,0x8(%rsi,%rcx,4)
mov    0x18(%r12,%rcx,8),%rsi
movl   $0x0,0xc(%rsi,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    11b0 <Djikstra+0x80>
test   %rax,%rax
je     1205 <Djikstra+0xd5>
mov    (%r12,%rcx,8),%rdx
movl   $0x0,(%rdx,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
jne    11f0 <Djikstra+0xc0>
test   %ebx,%ebx
jle    13db <Djikstra+0x2ab>
xor    %eax,%eax
jmp    1229 <Djikstra+0xf9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    %r13,%rax
je     1288 <Djikstra+0x158>
mov    (%r12,%rax,8),%rcx
xor    %edx,%edx
jmp    124c <Djikstra+0x11c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebp,(%rsi,%rax,4)
add    $0x1,%rdx
cmp    %rdx,%r13
je     1220 <Djikstra+0xf0>
mov    (%rcx,%rdx,4),%ebp
mov    (%r12,%rdx,8),%rsi
mov    (%rsi,%rax,4),%edi
cmp    %edi,%ebp
jl     1240 <Djikstra+0x110>
jle    1270 <Djikstra+0x140>
mov    %edi,(%rcx,%rdx,4)
jmp    1243 <Djikstra+0x113>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
test   %ebp,%ebp
je     1278 <Djikstra+0x148>
test   %edi,%edi
jne    1243 <Djikstra+0x113>
movl   $0x0,(%rsi,%rax,4)
movl   $0x0,(%rcx,%rdx,4)
jmp    1243 <Djikstra+0x113>
test   %ebx,%ebx
jle    13db <Djikstra+0x2ab>
mov    %r13d,%ebp
and    $0xfffffffe,%ebp
xor    %ebx,%ebx
mov    %r8,0x8(%rsp)
mov    %rbp,0x10(%rsp)
mov    %r13,0x20(%rsp)
jmp    12e8 <Djikstra+0x1b8>
nopl   0x0(%rax)
movslq %r14d,%rsi
movl   $0x1,(%r15,%rsi,4)
lea    0xd7d(%rip),%rdi
mov    %r9d,%edx
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x8(%rsp),%r8
mov    0x2d10(%rip),%rax
mov    (%rax),%r9d
add    $0x1,%rbx
cmp    %r13,%rbx
je     13db <Djikstra+0x2ab>
xor    %ebp,%ebp
jmp    12f9 <Djikstra+0x1c9>
nopl   0x0(%rax)
add    $0x1,%rbp
cmp    %rbp,%r13
je     1340 <Djikstra+0x210>
mov    (%r12,%rbx,8),%rax
mov    (%rax,%rbp,4),%edx
test   %edx,%edx
je     12f0 <Djikstra+0x1c0>
cmpl   $0x0,(%r15,%rbp,4)
jne    12f0 <Djikstra+0x1c0>
mov    (%r8,%rbp,4),%edi
mov    (%r8,%rbx,4),%esi
mov    %r12,%r13
mov    %r15,%r12
mov    %r14d,%r15d
mov    %r9d,%r14d
call   1040 <minim@plt>
mov    %r14d,%r9d
mov    %r15d,%r14d
mov    %r12,%r15
mov    %r13,%r12
mov    0x20(%rsp),%r13
mov    0x8(%rsp),%r8
mov    %eax,(%r8,%rbp,4)
jmp    12f0 <Djikstra+0x1c0>
cmpq   $0x0,0x18(%rsp)
je     13b0 <Djikstra+0x280>
xor    %eax,%eax
mov    0x10(%rsp),%rbp
jmp    1369 <Djikstra+0x239>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x2,%rax
cmp    %rax,%rbp
je     13b2 <Djikstra+0x282>
cmpl   $0x0,(%r15,%rax,4)
je     1380 <Djikstra+0x250>
cmpl   $0x0,0x4(%r15,%rax,4)
jne    1360 <Djikstra+0x230>
jmp    1397 <Djikstra+0x267>
nopw   0x0(%rax,%rax,1)
mov    (%r8,%rax,4),%ecx
cmp    %r9d,%ecx
cmovl  %ecx,%r9d
cmovl  %eax,%r14d
cmpl   $0x0,0x4(%r15,%rax,4)
jne    1360 <Djikstra+0x230>
mov    0x4(%r8,%rax,4),%ecx
lea    0x1(%rax),%edx
cmp    %r9d,%ecx
cmovl  %ecx,%r9d
cmovl  %edx,%r14d
jmp    1360 <Djikstra+0x230>
nopl   0x0(%rax)
xor    %eax,%eax
test   $0x1,%r13b
je     12b0 <Djikstra+0x180>
cmpl   $0x0,(%r15,%rax,4)
jne    12b0 <Djikstra+0x180>
mov    (%r8,%rax,4),%ecx
cmp    %r9d,%ecx
cmovl  %ecx,%r9d
cmovl  %eax,%r14d
jmp    12b0 <Djikstra+0x180>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@INT_MAX = global i32 0
@.str = [63 x i8] c"\0APlease specify the vertex from which to start the algorithm: \00"
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [31 x i8] c"\0AThe dist of element %d is: %d\00"
define void @Djikstra(i32** %0, i32* %1, i32* %2, i32 %3) {
%5 = alloca i32**
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32** %0, i32*** %5
store i32* %1, i32** %6
store i32* %2, i32** %7
store i32 %3, i32* %8
%14 = load i32, i32* @INT_MAX
store i32 %14, i32* %10
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str, i64 0, i64 0))
%16 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %9)
%17 = load i32*, i32** %7
%18 = load i32, i32* %9
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
store i32 0, i32* %20
store i32 0, i32* %11
br label %21
21: ; preds = %34, %4
%22 = load i32, i32* %11
%23 = load i32, i32* %8
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %37
25: ; preds = %21
%26 = load i32**, i32*** %5
%27 = load i32, i32* %11
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32*, i32** %26, i64 %28
%30 = load i32*, i32** %29
%31 = load i32, i32* %11
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
store i32 0, i32* %33
br label %34
34: ; preds = %25
%35 = load i32, i32* %11
%36 = add nsw i32 %35, 1
store i32 %36, i32* %11
br label %21
37: ; preds = %21
store i32 0, i32* %11
br label %38
38: ; preds = %169, %37
%39 = load i32, i32* %11
%40 = load i32, i32* %8
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %172
42: ; preds = %38
store i32 0, i32* %12
br label %43
43: ; preds = %165, %42
%44 = load i32, i32* %12
%45 = load i32, i32* %8
%46 = icmp slt i32 %44, %45
br i1 %46, label %47, label %168
47: ; preds = %43
%48 = load i32**, i32*** %5
%49 = load i32, i32* %11
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32*, i32** %48, i64 %50
%52 = load i32*, i32** %51
%53 = load i32, i32* %12
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = load i32**, i32*** %5
%58 = load i32, i32* %12
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32*, i32** %57, i64 %59
%61 = load i32*, i32** %60
%62 = load i32, i32* %11
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %61, i64 %63
%65 = load i32, i32* %64
%66 = icmp slt i32 %56, %65
br i1 %66, label %67, label %85
67: ; preds = %47
%68 = load i32**, i32*** %5
%69 = load i32, i32* %11
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32*, i32** %68, i64 %70
%72 = load i32*, i32** %71
%73 = load i32, i32* %12
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
%77 = load i32**, i32*** %5
%78 = load i32, i32* %12
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32*, i32** %77, i64 %79
%81 = load i32*, i32** %80
%82 = load i32, i32* %11
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %81, i64 %83
store i32 %76, i32* %84
br label %164
85: ; preds = %47
%86 = load i32**, i32*** %5
%87 = load i32, i32* %12
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32*, i32** %86, i64 %88
%90 = load i32*, i32** %89
%91 = load i32, i32* %11
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %93
%95 = load i32**, i32*** %5
%96 = load i32, i32* %11
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32*, i32** %95, i64 %97
%99 = load i32*, i32** %98
%100 = load i32, i32* %12
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32, i32* %102
%104 = icmp slt i32 %94, %103
br i1 %104, label %105, label %123
105: ; preds = %85
%106 = load i32**, i32*** %5
%107 = load i32, i32* %12
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32*, i32** %106, i64 %108
%110 = load i32*, i32** %109
%111 = load i32, i32* %11
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %110, i64 %112
%114 = load i32, i32* %113
%115 = load i32**, i32*** %5
%116 = load i32, i32* %11
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i32*, i32** %115, i64 %117
%119 = load i32*, i32** %118
%120 = load i32, i32* %12
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %119, i64 %121
store i32 %114, i32* %122
br label %163
123: ; preds = %85
%124 = load i32**, i32*** %5
%125 = load i32, i32* %11
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i32*, i32** %124, i64 %126
%128 = load i32*, i32** %127
%129 = load i32, i32* %12
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
%132 = load i32, i32* %131
%133 = icmp eq i32 %132, 0
br i1 %133, label %145, label %134
134: ; preds = %123
%135 = load i32**, i32*** %5
%136 = load i32, i32* %12
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32*, i32** %135, i64 %137
%139 = load i32*, i32** %138
%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 = icmp eq i32 %143, 0
br i1 %144, label %145, label %162
145: ; preds = %134, %123
%146 = load i32**, i32*** %5
%147 = load i32, i32* %12
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i32*, i32** %146, i64 %148
%150 = load i32*, i32** %149
%151 = load i32, i32* %11
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i32, i32* %150, i64 %152
store i32 0, i32* %153
%154 = load i32**, i32*** %5
%155 = load i32, i32* %11
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32*, i32** %154, i64 %156
%158 = load i32*, i32** %157
%159 = load i32, i32* %12
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i32, i32* %158, i64 %160
store i32 0, i32* %161
br label %162
162: ; preds = %145, %134
br label %163
163: ; preds = %162, %105
br label %164
164: ; preds = %163, %67
br label %165
165: ; preds = %164
%166 = load i32, i32* %12
%167 = add nsw i32 %166, 1
store i32 %167, i32* %12
br label %43
168: ; preds = %43
br label %169
169: ; preds = %168
%170 = load i32, i32* %11
%171 = add nsw i32 %170, 1
store i32 %171, i32* %11
br label %38
172: ; preds = %38
store i32 0, i32* %11
br label %173
173: ; preds = %269, %172
%174 = load i32, i32* %11
%175 = load i32, i32* %8
%176 = icmp slt i32 %174, %175
br i1 %176, label %177, label %272
177: ; preds = %173
store i32 0, i32* %12
br label %178
178: ; preds = %226, %177
%179 = load i32, i32* %12
%180 = load i32, i32* %8
%181 = icmp slt i32 %179, %180
br i1 %181, label %182, label %229
182: ; preds = %178
%183 = load i32**, i32*** %5
%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 = load i32, i32* %12
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i32, i32* %187, i64 %189
%191 = load i32, i32* %190
%192 = icmp ne i32 %191, 0
br i1 %192, label %193, label %225
193: ; preds = %182
%194 = load i32*, i32** %6
%195 = load i32, i32* %12
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds i32, i32* %194, i64 %196
%198 = load i32, i32* %197
%199 = icmp eq i32 %198, 0
br i1 %199, label %200, label %225
200: ; preds = %193
%201 = load i32*, i32** %7
%202 = load i32, i32* %12
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i32, i32* %201, i64 %203
%205 = load i32, i32* %204
%206 = load i32*, i32** %7
%207 = load i32, i32* %11
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds i32, i32* %206, i64 %208
%210 = load i32, i32* %209
%211 = load i32**, i32*** %5
%212 = load i32, i32* %11
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i32*, i32** %211, i64 %213
%215 = load i32*, i32** %214
%216 = load i32, i32* %12
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i32, i32* %215, i64 %217
%219 = load i32, i32* %218
%220 = call i32 @minim(i32 %205, i32 %210, i32 %219)
%221 = load i32*, i32** %7
%222 = load i32, i32* %12
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds i32, i32* %221, i64 %223
store i32 %220, i32* %224
br label %225
225: ; preds = %200, %193, %182
br label %226
226: ; preds = %225
%227 = load i32, i32* %12
%228 = add nsw i32 %227, 1
store i32 %228, i32* %12
br label %178
229: ; preds = %178
store i32 0, i32* %12
br label %230
230: ; preds = %257, %229
%231 = load i32, i32* %12
%232 = load i32, i32* %8
%233 = icmp slt i32 %231, %232
br i1 %233, label %234, label %260
234: ; preds = %230
%235 = load i32*, i32** %6
%236 = load i32, i32* %12
%237 = sext i32 %236 to i64
%238 = getelementptr inbounds i32, i32* %235, i64 %237
%239 = load i32, i32* %238
%240 = icmp eq i32 %239, 0
br i1 %240, label %241, label %256
241: ; preds = %234
%242 = load i32*, i32** %7
%243 = load i32, i32* %12
%244 = sext i32 %243 to i64
%245 = getelementptr inbounds i32, i32* %242, i64 %244
%246 = load i32, i32* %245
%247 = load i32, i32* %10
%248 = icmp slt i32 %246, %247
br i1 %248, label %249, label %256
249: ; preds = %241
%250 = load i32*, i32** %7
%251 = load i32, i32* %12
%252 = sext i32 %251 to i64
%253 = getelementptr inbounds i32, i32* %250, i64 %252
%254 = load i32, i32* %253
store i32 %254, i32* %10
%255 = load i32, i32* %12
store i32 %255, i32* %13
br label %256
256: ; preds = %249, %241, %234
br label %257
257: ; preds = %256
%258 = load i32, i32* %12
%259 = add nsw i32 %258, 1
store i32 %259, i32* %12
br label %230
260: ; preds = %230
%261 = load i32*, i32** %6
%262 = load i32, i32* %13
%263 = sext i32 %262 to i64
%264 = getelementptr inbounds i32, i32* %261, i64 %263
store i32 1, i32* %264
%265 = load i32, i32* %13
%266 = load i32, i32* %10
%267 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.2, i64 0, i64 0), i32 %265, i32 %266)
%268 = load i32, i32* @INT_MAX
store i32 %268, i32* %10
br label %269
269: ; preds = %260
%270 = load i32, i32* %11
%271 = add nsw i32 %270, 1
store i32 %271, i32* %11
br label %173
272: ; preds = %173
ret void
}

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