#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 */
struct Graph {
  int dummy;
};

/* Variables and functions */
int INT_MAX;
int INT_MIN;
int askGraph(struct Graph *, int, int, int);
int minDistance(int *, int *, int);
int *Dijsktra(struct Graph *graph, int V, int E, int src, int *dist) {
  bool visited[V];
  for (int i = 0; i < V; i++) {
    dist[i] = INT_MAX;
    visited[i] = false;
  }
  dist[src] = 0;
  for (int i = 0; i < V - 1; i++) {
    int u = minDistance(dist, visited, V);
    visited[u] = true;
    for (int v = 0; v < V; v++) {
      int temp = askGraph(graph, u, v, E);
      if (!visited[v] && dist[u] != INT_MAX && temp != INT_MIN &&
          dist[v] > dist[u] + temp) {
        dist[v] = dist[u] + temp;
      }
    }
  }
  return dist;
}


x86 assembly (clang, -O0):
<Dijsktra>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0xc(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x28(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11a4 <Dijsktra+0x84>
mov    -0x50(%rbp),%rax
mov    0x2e6a(%rip),%rcx
mov    (%rcx),%esi
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
mov    %esi,(%rcx,%rdx,4)
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1167 <Dijsktra+0x47>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12b7 <Dijsktra+0x197>
mov    -0x50(%rbp),%rsi
mov    -0x20(%rbp),%rdi
mov    -0xc(%rbp),%edx
call   1040 <minDistance@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%rax
mov    %ecx,-0x3c(%rbp)
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12a4 <Dijsktra+0x184>
mov    -0x8(%rbp),%rdi
mov    -0x3c(%rbp),%esi
mov    -0x40(%rbp),%edx
mov    -0x10(%rbp),%ecx
call   1030 <askGraph@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%rax
mov    %ecx,-0x44(%rbp)
movslq -0x40(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1291 <Dijsktra+0x171>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    0x2dab(%rip),%rcx
cmp    (%rcx),%eax
je     1291 <Dijsktra+0x171>
mov    -0x44(%rbp),%eax
mov    0x2d91(%rip),%rcx
cmp    (%rcx),%eax
je     1291 <Dijsktra+0x171>
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
add    -0x44(%rbp),%ecx
cmp    %ecx,%eax
jle    1291 <Dijsktra+0x171>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    -0x44(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1296 <Dijsktra+0x176>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11f6 <Dijsktra+0xd6>
jmp    12a9 <Dijsktra+0x189>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11ba <Dijsktra+0x9a>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Dijsktra>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r8,%r15
mov    %edx,-0x38(%rbp)
mov    %rdi,-0x50(%rbp)
mov    %esi,%r12d
mov    %rsp,%r13
lea    0xf(,%r12,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
test   %esi,%esi
jle    1192 <Dijsktra+0x62>
mov    %esi,%ebx
mov    %ecx,-0x30(%rbp)
lea    0x0(,%r12,4),%rdx
xor    %r14d,%r14d
mov    %r13,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    %rbx,%rdx
cmp    $0x8,%edx
jae    11a2 <Dijsktra+0x72>
mov    -0x30(%rbp),%r8d
jmp    1245 <Dijsktra+0x115>
movslq %ecx,%rax
movl   $0x0,(%r15,%rax,4)
jmp    1361 <Dijsktra+0x231>
mov    0x2e3f(%rip),%rax
lea    0x4(%rax),%rcx
cmp    %rcx,%r15
jae    11cb <Dijsktra+0x9b>
lea    (%r15,%r12,4),%rcx
cmp    0x2e2b(%rip),%rcx
jbe    11cb <Dijsktra+0x9b>
xor    %r14d,%r14d
mov    -0x30(%rbp),%r8d
jmp    1245 <Dijsktra+0x115>
mov    %r12d,%r14d
and    $0xfffffff8,%r14d
lea    -0x8(%r14),%rsi
mov    %rsi,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rsi,%rsi
mov    -0x30(%rbp),%r8d
je     1373 <Dijsktra+0x243>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
movd   (%rax),%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %edi,%edi
movdqu %xmm0,(%r15,%rdi,4)
movdqu %xmm0,0x10(%r15,%rdi,4)
movdqu %xmm0,0x20(%r15,%rdi,4)
movdqu %xmm0,0x30(%r15,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rsi
jne    1200 <Dijsktra+0xd0>
test   $0x1,%cl
je     1240 <Dijsktra+0x110>
movd   (%rax),%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqu %xmm0,(%r15,%rdi,4)
movdqu %xmm0,0x10(%r15,%rdi,4)
cmp    %r12,%r14
je     12a4 <Dijsktra+0x174>
mov    %r14,%rax
not    %rax
add    %r12,%rax
mov    %r12,%rcx
and    $0x3,%rcx
je     1270 <Dijsktra+0x140>
mov    0x2d8a(%rip),%rdi
xchg   %ax,%ax
mov    (%rdi),%esi
mov    %esi,(%r15,%r14,4)
add    $0x1,%r14
add    $0xffffffffffffffff,%rcx
jne    1260 <Dijsktra+0x130>
cmp    $0x3,%rax
jb     12a4 <Dijsktra+0x174>
mov    0x2d6b(%rip),%rax
nopl   (%rax)
mov    (%rax),%ecx
mov    %ecx,(%r15,%r14,4)
mov    (%rax),%ecx
mov    %ecx,0x4(%r15,%r14,4)
mov    (%rax),%ecx
mov    %ecx,0x8(%r15,%r14,4)
mov    (%rax),%ecx
mov    %ecx,0xc(%r15,%r14,4)
add    $0x4,%r14
cmp    %r14,%r12
jne    1280 <Dijsktra+0x150>
movslq %r8d,%rax
movl   $0x0,(%r15,%rax,4)
cmp    $0x2,%edx
jl     1361 <Dijsktra+0x231>
mov    %r13,%rbx
lea    -0x1(%rdx),%eax
mov    %eax,-0x34(%rbp)
xor    %eax,%eax
mov    %rdx,-0x40(%rbp)
jmp    12e3 <Dijsktra+0x1b3>
nopl   0x0(%rax)
mov    -0x48(%rbp),%rax
add    $0x1,%eax
cmp    -0x34(%rbp),%eax
mov    %r13,%r15
mov    -0x40(%rbp),%rdx
je     1361 <Dijsktra+0x231>
mov    %rax,-0x48(%rbp)
mov    %r15,%r13
mov    %r15,%rdi
mov    %rbx,%r14
mov    %rbx,%rsi
call   1050 <minDistance@plt>
mov    %eax,%r15d
cltq
mov    %rax,-0x30(%rbp)
movl   $0x1,(%rbx,%rax,4)
xor    %r14d,%r14d
jmp    1319 <Dijsktra+0x1e9>
nopl   (%rax)
add    $0x1,%r14
cmp    %r14,%r12
je     12d0 <Dijsktra+0x1a0>
mov    -0x50(%rbp),%rdi
mov    %r15d,%esi
mov    %r14d,%edx
mov    -0x38(%rbp),%ecx
call   1030 <askGraph@plt>
cmpl   $0x0,(%rbx,%r14,4)
jne    1310 <Dijsktra+0x1e0>
mov    -0x30(%rbp),%rcx
mov    0x0(%r13,%rcx,4),%ecx
mov    0x2ca6(%rip),%rdx
cmp    (%rdx),%ecx
je     1310 <Dijsktra+0x1e0>
mov    0x2c93(%rip),%rdx
cmp    (%rdx),%eax
je     1310 <Dijsktra+0x1e0>
add    %eax,%ecx
cmp    %ecx,0x0(%r13,%r14,4)
jle    1310 <Dijsktra+0x1e0>
mov    %ecx,0x0(%r13,%r14,4)
jmp    1310 <Dijsktra+0x1e0>
mov    %r15,%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%cl
jne    122a <Dijsktra+0xfa>
jmp    1240 <Dijsktra+0x110>

LLVM IR (-O0):
%struct.Graph = type { i32 }
@INT_MAX = global i32 0
@INT_MIN = global i32 0
define i32* @Dijsktra(%struct.Graph* %0, i32 %1, i32 %2, i32 %3, i32* %4) {
%6 = alloca %struct.Graph*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store %struct.Graph* %0, %struct.Graph** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32* %4, i32** %10
%18 = load i32, i32* %7
%19 = zext i32 %18 to i64
%20 = call i8* @llvm.stacksave()
store i8* %20, i8** %11
%21 = alloca i32, i64 %19
store i64 %19, i64* %12
store i32 0, i32* %13
br label %22
22: ; preds = %35, %5
%23 = load i32, i32* %13
%24 = load i32, i32* %7
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %38
26: ; preds = %22
%27 = load i32, i32* @INT_MAX
%28 = load i32*, i32** %10
%29 = load i32, i32* %13
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
store i32 %27, i32* %31
%32 = load i32, i32* %13
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %21, i64 %33
store i32 0, i32* %34
br label %35
35: ; preds = %26
%36 = load i32, i32* %13
%37 = add nsw i32 %36, 1
store i32 %37, i32* %13
br label %22
38: ; preds = %22
%39 = load i32*, i32** %10
%40 = load i32, i32* %9
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
store i32 0, i32* %42
store i32 0, i32* %14
br label %43
43: ; preds = %113, %38
%44 = load i32, i32* %14
%45 = load i32, i32* %7
%46 = sub nsw i32 %45, 1
%47 = icmp slt i32 %44, %46
br i1 %47, label %48, label %116
48: ; preds = %43
%49 = load i32*, i32** %10
%50 = load i32, i32* %7
%51 = call i32 @minDistance(i32* %49, i32* %21, i32 %50)
store i32 %51, i32* %15
%52 = load i32, i32* %15
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %21, i64 %53
store i32 1, i32* %54
store i32 0, i32* %16
br label %55
55: ; preds = %109, %48
%56 = load i32, i32* %16
%57 = load i32, i32* %7
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %112
59: ; preds = %55
%60 = load %struct.Graph*, %struct.Graph** %6
%61 = load i32, i32* %15
%62 = load i32, i32* %16
%63 = load i32, i32* %8
%64 = call i32 @askGraph(%struct.Graph* %60, i32 %61, i32 %62, i32 %63)
store i32 %64, i32* %17
%65 = load i32, i32* %16
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %21, i64 %66
%68 = load i32, i32* %67
%69 = icmp ne i32 %68, 0
br i1 %69, label %108, label %70
70: ; preds = %59
%71 = load i32*, i32** %10
%72 = load i32, i32* %15
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
%75 = load i32, i32* %74
%76 = load i32, i32* @INT_MAX
%77 = icmp ne i32 %75, %76
br i1 %77, label %78, label %108
78: ; preds = %70
%79 = load i32, i32* %17
%80 = load i32, i32* @INT_MIN
%81 = icmp ne i32 %79, %80
br i1 %81, label %82, label %108
82: ; preds = %78
%83 = load i32*, i32** %10
%84 = load i32, i32* %16
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i32, i32* %83, i64 %85
%87 = load i32, i32* %86
%88 = load i32*, i32** %10
%89 = load i32, i32* %15
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %88, i64 %90
%92 = load i32, i32* %91
%93 = load i32, i32* %17
%94 = add nsw i32 %92, %93
%95 = icmp sgt i32 %87, %94
br i1 %95, label %96, label %108
96: ; preds = %82
%97 = load i32*, i32** %10
%98 = load i32, i32* %15
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
%101 = load i32, i32* %100
%102 = load i32, i32* %17
%103 = add nsw i32 %101, %102
%104 = load i32*, i32** %10
%105 = load i32, i32* %16
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
store i32 %103, i32* %107
br label %108
108: ; preds = %96, %82, %78, %70, %59
br label %109
109: ; preds = %108
%110 = load i32, i32* %16
%111 = add nsw i32 %110, 1
store i32 %111, i32* %16
br label %55
112: ; preds = %55
br label %113
113: ; preds = %112
%114 = load i32, i32* %14
%115 = add nsw i32 %114, 1
store i32 %115, i32* %14
br label %43
116: ; preds = %43
%117 = load i32*, i32** %10
%118 = load i8*, i8** %11
ret i32* %117
}

LLVM IR (-O2):
%struct.Graph = type { i32 }
@INT_MAX = global i32 0
@INT_MIN = global i32 0
define i32* @Dijsktra(%struct.Graph* %0, i32 %1, i32 %2, i32 %3, i32* returned %4) {
%6 = zext i32 %1 to i64
%7 = alloca i32, i64 %6
%8 = icmp sgt i32 %1, 0
br i1 %8, label %12, label %9
9: ; preds = %5
%10 = sext i32 %3 to i64
%11 = getelementptr inbounds i32, i32* %4, i64 %10
store i32 0, i32* %11
br label %107
12: ; preds = %5
%13 = bitcast i32* %7 to i8*
%14 = shl nuw nsw i64 %6, 2
%15 = icmp ult i32 %1, 8
br i1 %15, label %70, label %16
16: ; preds = %12
%17 = getelementptr i32, i32* %4, i64 %6
%18 = icmp ult i32* %4, getelementptr inbounds (i32, i32* @INT_MAX, i64 1)
%19 = icmp ugt i32* %17, @INT_MAX
%20 = and i1 %18, %19
br i1 %20, label %70, label %21
21: ; preds = %16
%22 = and i64 %6, 4294967288
%23 = add nsw i64 %22, -8
%24 = lshr exact i64 %23, 3
%25 = add nuw nsw i64 %24, 1
%26 = and i64 %25, 1
%27 = icmp eq i64 %23, 0
br i1 %27, label %55, label %28
28: ; preds = %21
%29 = and i64 %25, 4611686018427387902
%30 = load i32, i32* @INT_MAX
%31 = insertelement <4 x i32> poison, i32 %30, i64 0
%32 = shufflevector <4 x i32> %31, <4 x i32> poison, <4 x i32> zeroinitializer
%33 = insertelement <4 x i32> poison, i32 %30, i64 0
%34 = shufflevector <4 x i32> %33, <4 x i32> poison, <4 x i32> zeroinitializer
%35 = load i32, i32* @INT_MAX
%36 = insertelement <4 x i32> poison, i32 %35, i64 0
%37 = shufflevector <4 x i32> %36, <4 x i32> poison, <4 x i32> zeroinitializer
%38 = insertelement <4 x i32> poison, i32 %35, i64 0
%39 = shufflevector <4 x i32> %38, <4 x i32> poison, <4 x i32> zeroinitializer
br label %40
40: ; preds = %40, %28
%41 = phi i64 [ 0, %28 ], [ %52, %40 ]
%42 = phi i64 [ 0, %28 ], [ %53, %40 ]
%43 = getelementptr inbounds i32, i32* %4, i64 %41
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %43, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %46
%47 = or i64 %41, 8
%48 = getelementptr inbounds i32, i32* %4, i64 %47
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %37, <4 x i32>* %49
%50 = getelementptr inbounds i32, i32* %48, i64 4
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %39, <4 x i32>* %51
%52 = add nuw i64 %41, 16
%53 = add i64 %42, 2
%54 = icmp eq i64 %53, %29
br i1 %54, label %55, label %40
55: ; preds = %40, %21
%56 = phi i64 [ 0, %21 ], [ %52, %40 ]
%57 = icmp eq i64 %26, 0
br i1 %57, label %68, label %58
58: ; preds = %55
%59 = load i32, i32* @INT_MAX
%60 = insertelement <4 x i32> poison, i32 %59, i64 0
%61 = shufflevector <4 x i32> %60, <4 x i32> poison, <4 x i32> zeroinitializer
%62 = insertelement <4 x i32> poison, i32 %59, i64 0
%63 = shufflevector <4 x i32> %62, <4 x i32> poison, <4 x i32> zeroinitializer
%64 = getelementptr inbounds i32, i32* %4, i64 %56
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %61, <4 x i32>* %65
%66 = getelementptr inbounds i32, i32* %64, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %63, <4 x i32>* %67
br label %68
68: ; preds = %55, %58
%69 = icmp eq i64 %22, %6
br i1 %69, label %87, label %70
70: ; preds = %16, %12, %68
%71 = phi i64 [ 0, %16 ], [ 0, %12 ], [ %22, %68 ]
%72 = xor i64 %71, -1
%73 = add nsw i64 %72, %6
%74 = and i64 %6, 3
%75 = icmp eq i64 %74, 0
br i1 %75, label %84, label %76
76: ; preds = %70, %76
%77 = phi i64 [ %81, %76 ], [ %71, %70 ]
%78 = phi i64 [ %82, %76 ], [ 0, %70 ]
%79 = load i32, i32* @INT_MAX
%80 = getelementptr inbounds i32, i32* %4, i64 %77
store i32 %79, i32* %80
%81 = add nuw nsw i64 %77, 1
%82 = add i64 %78, 1
%83 = icmp eq i64 %82, %74
br i1 %83, label %84, label %76
84: ; preds = %76, %70
%85 = phi i64 [ %71, %70 ], [ %81, %76 ]
%86 = icmp ult i64 %73, 3
br i1 %86, label %87, label %92
87: ; preds = %84, %92, %68
%88 = sext i32 %3 to i64
%89 = getelementptr inbounds i32, i32* %4, i64 %88
store i32 0, i32* %89
%90 = add i32 %1, -1
%91 = icmp sgt i32 %1, 1
br i1 %91, label %108, label %107
92: ; preds = %84, %92
%93 = phi i64 [ %105, %92 ], [ %85, %84 ]
%94 = load i32, i32* @INT_MAX
%95 = getelementptr inbounds i32, i32* %4, i64 %93
store i32 %94, i32* %95
%96 = add nuw nsw i64 %93, 1
%97 = load i32, i32* @INT_MAX
%98 = getelementptr inbounds i32, i32* %4, i64 %96
store i32 %97, i32* %98
%99 = add nuw nsw i64 %93, 2
%100 = load i32, i32* @INT_MAX
%101 = getelementptr inbounds i32, i32* %4, i64 %99
store i32 %100, i32* %101
%102 = add nuw nsw i64 %93, 3
%103 = load i32, i32* @INT_MAX
%104 = getelementptr inbounds i32, i32* %4, i64 %102
store i32 %103, i32* %104
%105 = add nuw nsw i64 %93, 4
%106 = icmp eq i64 %105, %6
br i1 %106, label %87, label %92
107: ; preds = %114, %9, %87
ret i32* %4
108: ; preds = %87, %114
%109 = phi i32 [ %115, %114 ], [ 0, %87 ]
%110 = call i32 @minDistance(i32* %4, i32* %7, i32 %1)
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %7, i64 %111
store i32 1, i32* %112
%113 = getelementptr inbounds i32, i32* %4, i64 %111
br label %117
114: ; preds = %137
%115 = add nuw nsw i32 %109, 1
%116 = icmp eq i32 %115, %90
br i1 %116, label %107, label %108
117: ; preds = %108, %137
%118 = phi i64 [ 0, %108 ], [ %138, %137 ]
%119 = trunc i64 %118 to i32
%120 = call i32 @askGraph(%struct.Graph* %0, i32 %110, i32 %119, i32 %2)
%121 = getelementptr inbounds i32, i32* %7, i64 %118
%122 = load i32, i32* %121
%123 = icmp eq i32 %122, 0
br i1 %123, label %124, label %137
124: ; preds = %117
%125 = load i32, i32* %113
%126 = load i32, i32* @INT_MAX
%127 = icmp eq i32 %125, %126
%128 = load i32, i32* @INT_MIN
%129 = icmp eq i32 %120, %128
%130 = select i1 %127, i1 true, i1 %129
br i1 %130, label %137, label %131
131: ; preds = %124
%132 = getelementptr inbounds i32, i32* %4, i64 %118
%133 = load i32, i32* %132
%134 = add nsw i32 %125, %120
%135 = icmp sgt i32 %133, %134
br i1 %135, label %136, label %137
136: ; preds = %131
store i32 %134, i32* %132
br label %137
137: ; preds = %136, %131, %124, %117
%138 = add nuw nsw i64 %118, 1
%139 = icmp eq i64 %138, %6
br i1 %139, label %114, label %117
}