#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*/ assert(int);
int /*<<< orphan*/ dijkstra_shortest(int, int /*<<< orphan*/, int *, int *,
                                     int *, int *);
int /*<<< orphan*/ free(int *);
scalar_t__ malloc(int);
int run_test(void) {
  int i;
  int max = -1;
  int all = 1;
  int n = 5;
  int adjMtx[25] = {
      0,          50, 30, 100,        10,         50,         0,   5,  20,
      0x7fffffff, 30, 5,  0,          50,         0x7fffffff, 100, 20, 50,
      0,          10, 10, 0x7fffffff, 0x7fffffff, 10,         0,
  };
  int *dist = (int *)malloc(n * sizeof(int));
  int *setv = (int *)malloc(n * sizeof(int));
  int *path = (int *)malloc(n * sizeof(int));
  if (dist == NULL || setv == NULL || path == NULL) {
    assert(0 && "not enough memory");
    if (dist)
      free(dist);
    if (setv)
      free(setv);
    if (path)
      free(path);
    return 0;
  }
  dijkstra_shortest(n, 0, adjMtx, dist, setv, path);
  for (i = 0; i < n; ++i) {
    if (setv[i] == 0) {
      all = 0;
      break;
    }
  }
  for (i = 0; i < n; ++i) {
    if (max < dist[i])
      max = dist[i];
  }
  assert(max == 35 && all == 1 && "algorithm wrong, can't pass the test!");
  free(dist);
  free(setv);
  free(path);
  return (max == 35 && all == 1) ? 1 : 0;
}


x86 assembly (clang, -O0):
<run_test>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movl   $0xffffffff,-0xc(%rbp)
movl   $0x1,-0x10(%rbp)
movl   $0x5,-0x14(%rbp)
lea    -0x80(%rbp),%rdi
lea    0xe85(%rip),%rsi
mov    $0x64,%edx
call   1050 <memcpy@plt>
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x88(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x90(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x98(%rbp)
cmpq   $0x0,-0x88(%rbp)
je     11f1 <run_test+0xa1>
cmpq   $0x0,-0x90(%rbp)
je     11f1 <run_test+0xa1>
cmpq   $0x0,-0x98(%rbp)
jne    1252 <run_test+0x102>
xor    %edi,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x88(%rbp)
je     1212 <run_test+0xc2>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
cmpq   $0x0,-0x90(%rbp)
je     122c <run_test+0xdc>
mov    -0x90(%rbp),%rdi
call   1030 <free@plt>
cmpq   $0x0,-0x98(%rbp)
je     1246 <run_test+0xf6>
mov    -0x98(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    13a4 <run_test+0x254>
mov    -0x14(%rbp),%edi
lea    -0x80(%rbp),%rdx
mov    -0x88(%rbp),%rcx
mov    -0x90(%rbp),%r8
mov    -0x98(%rbp),%r9
xor    %esi,%esi
call   1070 <dijkstra_shortest@plt>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12bc <run_test+0x16c>
mov    -0x90(%rbp),%rax
movslq -0x8(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12a9 <run_test+0x159>
movl   $0x0,-0x10(%rbp)
jmp    12bc <run_test+0x16c>
jmp    12ae <run_test+0x15e>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    127c <run_test+0x12c>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    130a <run_test+0x1ba>
mov    -0xc(%rbp),%eax
mov    -0x88(%rbp),%rcx
movslq -0x8(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12f7 <run_test+0x1a7>
mov    -0x88(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0xc(%rbp)
jmp    12fc <run_test+0x1ac>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12c3 <run_test+0x173>
xor    %eax,%eax
cmpl   $0x23,-0xc(%rbp)
mov    %al,-0x99(%rbp)
jne    133b <run_test+0x1eb>
xor    %eax,%eax
cmpl   $0x1,-0x10(%rbp)
mov    %al,-0x99(%rbp)
jne    133b <run_test+0x1eb>
mov    $0x1,%al
mov    %al,-0x99(%rbp)
jmp    133b <run_test+0x1eb>
mov    -0x99(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
mov    -0x90(%rbp),%rdi
call   1030 <free@plt>
mov    -0x98(%rbp),%rdi
call   1030 <free@plt>
xor    %eax,%eax
cmpl   $0x23,-0xc(%rbp)
mov    %al,-0x9a(%rbp)
jne    138e <run_test+0x23e>
cmpl   $0x1,-0x10(%rbp)
sete   %al
mov    %al,-0x9a(%rbp)
mov    -0x9a(%rbp),%dl
xor    %eax,%eax
mov    $0x1,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<run_test>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x68,%rsp
mov    0xf10(%rip),%eax
mov    %eax,0x60(%rsp)
movaps 0xef5(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xed9(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xebd(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xea1(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xe85(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0xe69(%rip),%xmm0
movaps %xmm0,(%rsp)
mov    $0x14,%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
mov    $0x14,%edi
call   1050 <malloc@plt>
mov    %rax,%r15
mov    $0x14,%edi
call   1050 <malloc@plt>
mov    %rax,%r14
test   %rbx,%rbx
je     1211 <run_test+0xd1>
test   %r15,%r15
je     1211 <run_test+0xd1>
test   %r14,%r14
je     1211 <run_test+0xd1>
xor    %ebp,%ebp
mov    %rsp,%rdx
mov    $0x5,%edi
xor    %esi,%esi
mov    %rbx,%rcx
mov    %r15,%r8
mov    %r14,%r9
call   1060 <dijkstra_shortest@plt>
cmpl   $0x0,(%r15)
je     123d <run_test+0xfd>
cmpl   $0x0,0x4(%r15)
je     123b <run_test+0xfb>
cmpl   $0x0,0x8(%r15)
je     123b <run_test+0xfb>
cmpl   $0x0,0xc(%r15)
je     123b <run_test+0xfb>
cmpl   $0x0,0x10(%r15)
setne  %bpl
jmp    123d <run_test+0xfd>
xor    %edi,%edi
call   1040 <assert@plt>
test   %rbx,%rbx
je     1225 <run_test+0xe5>
mov    %rbx,%rdi
call   1030 <free@plt>
test   %r15,%r15
je     1232 <run_test+0xf2>
mov    %r15,%rdi
call   1030 <free@plt>
xor    %ebp,%ebp
test   %r14,%r14
jne    128c <run_test+0x14c>
jmp    1294 <run_test+0x154>
xor    %ebp,%ebp
mov    (%rbx),%eax
test   %eax,%eax
mov    $0xffffffff,%ecx
cmovns %eax,%ecx
mov    0x4(%rbx),%eax
cmp    %eax,%ecx
cmovl  %eax,%ecx
mov    0x8(%rbx),%eax
cmp    %eax,%ecx
cmovl  %eax,%ecx
mov    0xc(%rbx),%eax
cmp    %eax,%ecx
cmovl  %eax,%ecx
mov    0x10(%rbx),%eax
cmp    %eax,%ecx
cmovl  %eax,%ecx
cmp    $0x23,%ecx
sete   %al
and    %bpl,%al
movzbl %al,%ebp
mov    %ebp,%edi
call   1040 <assert@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.run_test.adjMtx = [25 x i32] [i32 0, i32 50, i32 30, i32 100, i32 10, i32 50, i32 0, i32 5, i32 20, i32 2147483647, i32 30, i32 5, i32 0, i32 50, i32 2147483647, i32 100, i32 20, i32 50, i32 0, i32 10, i32 10, i32 2147483647, i32 2147483647, i32 10, i32 0]
@.str = [38 x i8] c"algorithm wrong, can't pass the test!\00"
define i32 @run_test() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [25 x i32]
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
store i32 -1, i32* %3
store i32 1, i32* %4
store i32 5, i32* %5
%10 = bitcast [25 x i32]* %6 to i8*
%11 = load i32, i32* %5
%12 = sext i32 %11 to i64
%13 = mul i64 %12, 4
%14 = trunc i64 %13 to i32
%15 = call i64 @malloc(i32 %14)
%16 = inttoptr i64 %15 to i32*
store i32* %16, i32** %7
%17 = load i32, i32* %5
%18 = sext i32 %17 to i64
%19 = mul i64 %18, 4
%20 = trunc i64 %19 to i32
%21 = call i64 @malloc(i32 %20)
%22 = inttoptr i64 %21 to i32*
store i32* %22, i32** %8
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = mul i64 %24, 4
%26 = trunc i64 %25 to i32
%27 = call i64 @malloc(i32 %26)
%28 = inttoptr i64 %27 to i32*
store i32* %28, i32** %9
%29 = load i32*, i32** %7
%30 = icmp eq i32* %29, null
br i1 %30, label %37, label %31
31: ; preds = %0
%32 = load i32*, i32** %8
%33 = icmp eq i32* %32, null
br i1 %33, label %37, label %34
34: ; preds = %31
%35 = load i32*, i32** %9
%36 = icmp eq i32* %35, null
br i1 %36, label %37, label %57
37: ; preds = %34, %31, %0
%38 = call i32 @assert(i32 0)
%39 = load i32*, i32** %7
%40 = icmp ne i32* %39, null
br i1 %40, label %41, label %44
41: ; preds = %37
%42 = load i32*, i32** %7
%43 = call i32 @free(i32* %42)
br label %44
44: ; preds = %41, %37
%45 = load i32*, i32** %8
%46 = icmp ne i32* %45, null
br i1 %46, label %47, label %50
47: ; preds = %44
%48 = load i32*, i32** %8
%49 = call i32 @free(i32* %48)
br label %50
50: ; preds = %47, %44
%51 = load i32*, i32** %9
%52 = icmp ne i32* %51, null
br i1 %52, label %53, label %56
53: ; preds = %50
%54 = load i32*, i32** %9
%55 = call i32 @free(i32* %54)
br label %56
56: ; preds = %53, %50
store i32 0, i32* %1
br label %129
57: ; preds = %34
%58 = load i32, i32* %5
%59 = getelementptr inbounds [25 x i32], [25 x i32]* %6, i64 0, i64 0
%60 = load i32*, i32** %7
%61 = load i32*, i32** %8
%62 = load i32*, i32** %9
%63 = call i32 @dijkstra_shortest(i32 %58, i32 0, i32* %59, i32* %60, i32* %61, i32* %62)
store i32 0, i32* %2
br label %64
64: ; preds = %77, %57
%65 = load i32, i32* %2
%66 = load i32, i32* %5
%67 = icmp slt i32 %65, %66
br i1 %67, label %68, label %80
68: ; preds = %64
%69 = load i32*, i32** %8
%70 = load i32, i32* %2
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
%73 = load i32, i32* %72
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %76
75: ; preds = %68
store i32 0, i32* %4
br label %80
76: ; preds = %68
br label %77
77: ; preds = %76
%78 = load i32, i32* %2
%79 = add nsw i32 %78, 1
store i32 %79, i32* %2
br label %64
80: ; preds = %75, %64
store i32 0, i32* %2
br label %81
81: ; preds = %100, %80
%82 = load i32, i32* %2
%83 = load i32, i32* %5
%84 = icmp slt i32 %82, %83
br i1 %84, label %85, label %103
85: ; preds = %81
%86 = load i32, i32* %3
%87 = load i32*, i32** %7
%88 = load i32, i32* %2
%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 %99
93: ; preds = %85
%94 = load i32*, i32** %7
%95 = load i32, i32* %2
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i32, i32* %94, i64 %96
%98 = load i32, i32* %97
store i32 %98, i32* %3
br label %99
99: ; preds = %93, %85
br label %100
100: ; preds = %99
%101 = load i32, i32* %2
%102 = add nsw i32 %101, 1
store i32 %102, i32* %2
br label %81
103: ; preds = %81
%104 = load i32, i32* %3
%105 = icmp eq i32 %104, 35
br i1 %105, label %106, label %110
106: ; preds = %103
%107 = load i32, i32* %4
%108 = icmp eq i32 %107, 1
br i1 %108, label %109, label %110
109: ; preds = %106
br label %110
110: ; preds = %109, %106, %103
%111 = phi i1 [ false, %106 ], [ false, %103 ], [ true, %109 ]
%112 = zext i1 %111 to i32
%113 = call i32 @assert(i32 %112)
%114 = load i32*, i32** %7
%115 = call i32 @free(i32* %114)
%116 = load i32*, i32** %8
%117 = call i32 @free(i32* %116)
%118 = load i32*, i32** %9
%119 = call i32 @free(i32* %118)
%120 = load i32, i32* %3
%121 = icmp eq i32 %120, 35
br i1 %121, label %122, label %125
122: ; preds = %110
%123 = load i32, i32* %4
%124 = icmp eq i32 %123, 1
br label %125
125: ; preds = %122, %110
%126 = phi i1 [ false, %110 ], [ %124, %122 ]
%127 = zext i1 %126 to i64
%128 = select i1 %126, i32 1, i32 0
store i32 %128, i32* %1
br label %129
129: ; preds = %125, %56
%130 = load i32, i32* %1
ret i32 %130
}

LLVM IR (-O2):
@__const.run_test.adjMtx = [25 x i32] [i32 0, i32 50, i32 30, i32 100, i32 10, i32 50, i32 0, i32 5, i32 20, i32 2147483647, i32 30, i32 5, i32 0, i32 50, i32 2147483647, i32 100, i32 20, i32 50, i32 0, i32 10, i32 10, i32 2147483647, i32 2147483647, i32 10, i32 0]
define i32 @run_test() {
%1 = alloca [25 x i32]
%2 = bitcast [25 x i32]* %1 to i8*
%3 = tail call i64 @malloc(i32 20)
%4 = inttoptr i64 %3 to i32*
%5 = tail call i64 @malloc(i32 20)
%6 = inttoptr i64 %5 to i32*
%7 = tail call i64 @malloc(i32 20)
%8 = inttoptr i64 %7 to i32*
%9 = icmp eq i64 %3, 0
%10 = icmp eq i64 %5, 0
%11 = select i1 %9, i1 true, i1 %10
%12 = icmp eq i64 %7, 0
%13 = select i1 %11, i1 true, i1 %12
br i1 %13, label %14, label %24
14: ; preds = %0
%15 = tail call i32 @assert(i32 0)
br i1 %9, label %18, label %16
16: ; preds = %14
%17 = tail call i32 @free(i32* %4)
br label %18
18: ; preds = %16, %14
br i1 %10, label %21, label %19
19: ; preds = %18
%20 = tail call i32 @free(i32* %6)
br label %21
21: ; preds = %19, %18
br i1 %12, label %73, label %22
22: ; preds = %21
%23 = tail call i32 @free(i32* %8)
br label %73
24: ; preds = %0
%25 = getelementptr inbounds [25 x i32], [25 x i32]* %1, i64 0, i64 0
%26 = call i32 @dijkstra_shortest(i32 5, i32 0, i32* %25, i32* %4, i32* %6, i32* %8)
%27 = load i32, i32* %6
%28 = icmp eq i32 %27, 0
br i1 %28, label %45, label %29
29: ; preds = %24
%30 = getelementptr inbounds i32, i32* %6, i64 1
%31 = load i32, i32* %30
%32 = icmp eq i32 %31, 0
br i1 %32, label %45, label %33
33: ; preds = %29
%34 = getelementptr inbounds i32, i32* %6, i64 2
%35 = load i32, i32* %34
%36 = icmp eq i32 %35, 0
br i1 %36, label %45, label %37
37: ; preds = %33
%38 = getelementptr inbounds i32, i32* %6, i64 3
%39 = load i32, i32* %38
%40 = icmp eq i32 %39, 0
br i1 %40, label %45, label %41
41: ; preds = %37
%42 = getelementptr inbounds i32, i32* %6, i64 4
%43 = load i32, i32* %42
%44 = icmp ne i32 %43, 0
br label %45
45: ; preds = %41, %37, %33, %29, %24
%46 = phi i1 [ false, %24 ], [ false, %29 ], [ false, %33 ], [ false, %37 ], [ %44, %41 ]
%47 = load i32, i32* %4
%48 = icmp sgt i32 %47, -1
%49 = select i1 %48, i32 %47, i32 -1
%50 = getelementptr inbounds i32, i32* %4, i64 1
%51 = load i32, i32* %50
%52 = icmp slt i32 %49, %51
%53 = select i1 %52, i32 %51, i32 %49
%54 = getelementptr inbounds i32, i32* %4, i64 2
%55 = load i32, i32* %54
%56 = icmp slt i32 %53, %55
%57 = select i1 %56, i32 %55, i32 %53
%58 = getelementptr inbounds i32, i32* %4, i64 3
%59 = load i32, i32* %58
%60 = icmp slt i32 %57, %59
%61 = select i1 %60, i32 %59, i32 %57
%62 = getelementptr inbounds i32, i32* %4, i64 4
%63 = load i32, i32* %62
%64 = icmp slt i32 %61, %63
%65 = select i1 %64, i32 %63, i32 %61
%66 = icmp eq i32 %65, 35
%67 = and i1 %66, %46
%68 = zext i1 %67 to i32
%69 = call i32 @assert(i32 %68)
%70 = call i32 @free(i32* %4)
%71 = call i32 @free(i32* %6)
%72 = call i32 @free(i32* %8)
br label %73
73: ; preds = %21, %22, %45
%74 = phi i32 [ %68, %45 ], [ 0, %22 ], [ 0, %21 ]
ret i32 %74
}