#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*/ printAllShortestPath(int *, int *, int *, int);
int /*<<< orphan*/ printIntermediateData(int *, int *, int *, int);
int /*<<< orphan*/ printf(char *, int);
void dijkstra(int *pdata, int size, int startVertex) {
  int checkedVertex[size];
  int vertexWeight[size];
  int vertexParent[size];
  int checkedVertexCount = 0;
  int i, selectedVertex;
  int tempWeight;
  for (i = 0; i < size; i++) {
    checkedVertex[i] = 0;
    vertexWeight[i] = 32768;
    vertexParent[i] = -1;
  }
  selectedVertex = startVertex;
  vertexWeight[selectedVertex] = 0;
  printf("---------- Start vertex %2d ----------\n", startVertex);
  printIntermediateData(checkedVertex, vertexWeight, vertexParent, size);
  printf("Selected: %2d\n", selectedVertex);
  while (checkedVertexCount < size) {
    checkedVertex[selectedVertex] = 1;
    checkedVertexCount++;
    for (i = 0; i < size; i++) {
      if (checkedVertex[i] != 1) {
        tempWeight = *(pdata + selectedVertex * size + i);
        if ((tempWeight < 32768) &&
            (vertexWeight[selectedVertex] + tempWeight < vertexWeight[i])) {
          vertexWeight[i] = vertexWeight[selectedVertex] + tempWeight;
          vertexParent[i] = selectedVertex;
        }
      }
    }
    printIntermediateData(checkedVertex, vertexWeight, vertexParent, size);
    selectedVertex = -1;
    tempWeight = 32768;
    for (i = 0; i < size; i++) {
      if (checkedVertex[i] != 1) {
        if (vertexWeight[i] < tempWeight) {
          selectedVertex = i;
          tempWeight = vertexWeight[i];
        }
      }
    }
    printf("Selected: %2d\n", selectedVertex);
  }
  printAllShortestPath(checkedVertex, vertexWeight, vertexParent, size);
}


x86 assembly (clang, -O0):
<dijkstra>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x18(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11fe <dijkstra+0xce>
mov    -0x48(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    -0x58(%rbp),%rdx
movslq -0x38(%rbp),%rsi
movl   $0x0,(%rdx,%rsi,4)
movslq -0x38(%rbp),%rdx
movl   $0x8000,(%rcx,%rdx,4)
movslq -0x38(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11b7 <dijkstra+0x87>
mov    -0x50(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,-0x3c(%rbp)
movslq -0x3c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x10(%rbp),%esi
lea    0xde3(%rip),%rdi
call   1030 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x48(%rbp),%rdx
mov    -0xc(%rbp),%ecx
call   1050 <printIntermediateData@plt>
mov    -0x3c(%rbp),%esi
lea    0xde8(%rip),%rdi
call   1030 <printf@plt>
mov    -0x34(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    13ab <dijkstra+0x27b>
mov    -0x58(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1310 <dijkstra+0x1e0>
mov    -0x58(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
je     12fd <dijkstra+0x1cd>
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
imul   -0xc(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x8000,-0x40(%rbp)
jge    12f8 <dijkstra+0x1c8>
mov    -0x50(%rbp),%rcx
movslq -0x3c(%rbp),%rax
mov    (%rcx,%rax,4),%eax
add    -0x40(%rbp),%eax
movslq -0x38(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12f8 <dijkstra+0x1c8>
mov    -0x48(%rbp),%rax
mov    -0x50(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,4),%esi
add    -0x40(%rbp),%esi
movslq -0x38(%rbp),%rdx
mov    %esi,(%rcx,%rdx,4)
mov    -0x3c(%rbp),%edx
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12fd <dijkstra+0x1cd>
jmp    1302 <dijkstra+0x1d2>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1270 <dijkstra+0x140>
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    -0xc(%rbp),%ecx
call   1050 <printIntermediateData@plt>
movl   $0xffffffff,-0x3c(%rbp)
movl   $0x8000,-0x40(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1397 <dijkstra+0x267>
mov    -0x58(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
je     1384 <dijkstra+0x254>
mov    -0x50(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x40(%rbp),%eax
jge    137f <dijkstra+0x24f>
mov    -0x50(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,-0x3c(%rbp)
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
jmp    1384 <dijkstra+0x254>
jmp    1389 <dijkstra+0x259>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1339 <dijkstra+0x209>
mov    -0x3c(%rbp),%esi
lea    0xc87(%rip),%rdi
call   1030 <printf@plt>
jmp    1245 <dijkstra+0x115>
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rsi
mov    -0x58(%rbp),%rdi
mov    -0xc(%rbp),%ecx
call   1040 <printAllShortestPath@plt>
mov    -0x18(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dijkstra>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %edx,%r13d
mov    %esi,-0x2c(%rbp)
mov    %rdi,-0x48(%rbp)
mov    %esi,%r14d
mov    %rsp,%rbx
lea    0xf(,%r14,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
mov    %rsp,%r15
sub    %rax,%r15
mov    %r15,%rsp
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,%rsp
test   %esi,%esi
mov    %rcx,-0x38(%rbp)
jle    11eb <dijkstra+0xab>
lea    0x0(,%r14,4),%rdx
mov    %rdx,-0x40(%rbp)
xor    %r12d,%r12d
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    -0x38(%rbp),%rdi
mov    $0xff,%esi
mov    -0x40(%rbp),%rdx
call   1040 <memset@plt>
cmpl   $0x8,-0x2c(%rbp)
jb     1300 <dijkstra+0x1c0>
mov    %r14d,%r12d
and    $0xfffffff8,%r12d
lea    -0x8(%r12),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%eax
and    $0x7,%eax
cmp    $0x38,%rdx
jae    1232 <dijkstra+0xf2>
xor    %edx,%edx
jmp    12c5 <dijkstra+0x185>
movslq %r13d,%r13
movl   $0x0,(%r15,%r13,4)
lea    0xe13(%rip),%rdi
mov    %r13d,%esi
call   1030 <printf@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    -0x38(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
call   1060 <printIntermediateData@plt>
lea    0xe1a(%rip),%rdi
mov    %r13d,%esi
call   1030 <printf@plt>
mov    -0x38(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
jmp    1476 <dijkstra+0x336>
and    $0xfffffffffffffff8,%rcx
xor    %edx,%edx
movaps 0xdc1(%rip),%xmm0
nop
movaps %xmm0,(%r15,%rdx,4)
movaps %xmm0,0x10(%r15,%rdx,4)
movaps %xmm0,0x20(%r15,%rdx,4)
movaps %xmm0,0x30(%r15,%rdx,4)
movaps %xmm0,0x40(%r15,%rdx,4)
movaps %xmm0,0x50(%r15,%rdx,4)
movaps %xmm0,0x60(%r15,%rdx,4)
movaps %xmm0,0x70(%r15,%rdx,4)
movaps %xmm0,0x80(%r15,%rdx,4)
movaps %xmm0,0x90(%r15,%rdx,4)
movaps %xmm0,0xa0(%r15,%rdx,4)
movaps %xmm0,0xb0(%r15,%rdx,4)
movaps %xmm0,0xc0(%r15,%rdx,4)
movaps %xmm0,0xd0(%r15,%rdx,4)
movaps %xmm0,0xe0(%r15,%rdx,4)
movaps %xmm0,0xf0(%r15,%rdx,4)
add    $0x40,%rdx
add    $0xfffffffffffffff8,%rcx
jne    1240 <dijkstra+0x100>
test   %rax,%rax
je     12f2 <dijkstra+0x1b2>
lea    (%r15,%rdx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%rax
xor    %edx,%edx
movaps 0xd21(%rip),%xmm0
nop
movaps %xmm0,-0x10(%rcx,%rdx,1)
movaps %xmm0,(%rcx,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%rax
jne    12e0 <dijkstra+0x1a0>
cmp    %r14,%r12
je     1311 <dijkstra+0x1d1>
nopw   0x0(%rax,%rax,1)
movl   $0x8000,(%r15,%r12,4)
add    $0x1,%r12
cmp    %r12,%r14
jne    1300 <dijkstra+0x1c0>
movslq %r13d,%rax
movl   $0x0,(%r15,%rax,4)
lea    0xced(%rip),%rdi
mov    %r13d,%esi
call   1030 <printf@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    -0x38(%rbp),%rdx
mov    -0x2c(%rbp),%r12d
mov    %r12d,%ecx
call   1060 <printIntermediateData@plt>
lea    0xcf0(%rip),%rdi
mov    %r13d,%esi
call   1030 <printf@plt>
mov    -0x38(%rbp),%rdx
mov    %r12d,%ecx
test   %r12d,%r12d
jle    1476 <dijkstra+0x336>
mov    %r14d,%r12d
and    $0xfffffffe,%r12d
xor    %eax,%eax
jmp    1392 <dijkstra+0x252>
nopl   0x0(%rax,%rax,1)
lea    0xcc1(%rip),%rdi
mov    %r13d,%esi
call   1030 <printf@plt>
mov    -0x2c(%rbp),%ecx
mov    -0x40(%rbp),%rax
cmp    %ecx,%eax
mov    -0x38(%rbp),%rdx
je     1476 <dijkstra+0x336>
movslq %r13d,%r8
movl   $0x1,(%rbx,%r8,4)
add    $0x1,%eax
mov    %rax,-0x40(%rbp)
mov    %r13d,%esi
imul   %ecx,%esi
movslq %esi,%rax
mov    -0x48(%rbp),%rsi
lea    (%rsi,%rax,4),%rdi
xor    %eax,%eax
jmp    13c9 <dijkstra+0x289>
nopl   0x0(%rax)
add    $0x1,%rax
cmp    %rax,%r14
je     13f0 <dijkstra+0x2b0>
cmpl   $0x1,(%rbx,%rax,4)
je     13c0 <dijkstra+0x280>
mov    (%rdi,%rax,4),%esi
cmp    $0x7fff,%esi
jg     13c0 <dijkstra+0x280>
add    (%r15,%r8,4),%esi
cmp    (%r15,%rax,4),%esi
jge    13c0 <dijkstra+0x280>
mov    %esi,(%r15,%rax,4)
mov    %r13d,(%rdx,%rax,4)
jmp    13c0 <dijkstra+0x280>
xchg   %ax,%ax
mov    %rbx,%rdi
mov    %r15,%rsi
call   1060 <printIntermediateData@plt>
cmpl   $0x1,-0x2c(%rbp)
jne    1430 <dijkstra+0x2f0>
mov    $0xffffffff,%r13d
mov    $0x8000,%eax
xor    %ecx,%ecx
test   $0x1,%r14b
je     1370 <dijkstra+0x230>
cmpl   $0x1,(%rbx,%rcx,4)
je     1370 <dijkstra+0x230>
cmp    %eax,(%r15,%rcx,4)
cmovl  %ecx,%r13d
jmp    1370 <dijkstra+0x230>
nop
mov    $0xffffffff,%r13d
mov    $0x8000,%eax
xor    %ecx,%ecx
jmp    1449 <dijkstra+0x309>
nop
add    $0x2,%rcx
cmp    %rcx,%r12
je     140e <dijkstra+0x2ce>
cmpl   $0x1,(%rbx,%rcx,4)
je     145c <dijkstra+0x31c>
mov    (%r15,%rcx,4),%edx
cmp    %eax,%edx
cmovl  %ecx,%r13d
cmovl  %edx,%eax
cmpl   $0x1,0x4(%rbx,%rcx,4)
je     1440 <dijkstra+0x300>
mov    0x4(%r15,%rcx,4),%edx
lea    0x1(%rcx),%esi
cmp    %eax,%edx
cmovl  %esi,%r13d
cmovl  %edx,%eax
jmp    1440 <dijkstra+0x300>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1050 <printAllShortestPath@plt>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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