int BFS(int n, int rG[n][n], int parent[n], int S, int T) {
  int visited[n], Queue[n], front = -1, rear = -1;
  for (int i = 0; i < n; i++) {
    visited[i] = 1;
  }
  Queue[++rear] = S;
  visited[S] = 0;
  parent[S] = -1;
  while (front < rear) {
    int u = Queue[++front];
    for (int v = 0; v < n; v++) {
      if (visited[v] && rG[u][v] > 0) {
        Queue[++rear] = v;
        visited[v] = 0;
        parent[v] = u;
      }
    }
  }
  return !visited[T];
}


x86 assembly (clang, -O0):
<BFS>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x68(%rbp)
mov    %rsp,%rcx
mov    %rcx,-0x28(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
movl   $0xffffffff,-0x3c(%rbp)
movl   $0xffffffff,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11a3 <BFS+0xa3>
mov    -0x60(%rbp),%rax
movslq -0x44(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    117a <BFS+0x7a>
mov    -0x60(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    -0x1c(%rbp),%esi
mov    -0x40(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp)
movslq %edx,%rdx
mov    %esi,(%rcx,%rdx,4)
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    128e <BFS+0x18e>
mov    -0x58(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x3c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1289 <BFS+0x189>
mov    -0x60(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1276 <BFS+0x176>
mov    -0x68(%rbp),%rdx
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    1276 <BFS+0x176>
mov    -0x60(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    -0x4c(%rbp),%esi
mov    -0x40(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp)
movslq %edx,%rdx
mov    %esi,(%rcx,%rdx,4)
movslq -0x4c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x48(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    127b <BFS+0x17b>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1200 <BFS+0x100>
jmp    11d7 <BFS+0xd7>
mov    -0x60(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BFS>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edi,%r12d
mov    %rsp,%r9
lea    0xf(,%r12,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r9
mov    %r9,%rsp
mov    %rsp,%r10
sub    %rax,%r10
mov    %r10,%rsp
test   %edi,%edi
jle    1251 <BFS+0x151>
cmp    $0x8,%edi
jae    1141 <BFS+0x41>
xor    %r11d,%r11d
jmp    1240 <BFS+0x140>
mov    %r12d,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%rax
mov    %rax,%r15
shr    $0x3,%r15
add    $0x1,%r15
mov    %r15d,%r14d
and    $0x7,%r14d
cmp    $0x38,%rax
jae    116b <BFS+0x6b>
xor    %ebx,%ebx
jmp    1205 <BFS+0x105>
and    $0xfffffffffffffff8,%r15
xor    %ebx,%ebx
movaps 0xe88(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movaps %xmm0,(%r9,%rbx,4)
movaps %xmm0,0x10(%r9,%rbx,4)
movaps %xmm0,0x20(%r9,%rbx,4)
movaps %xmm0,0x30(%r9,%rbx,4)
movaps %xmm0,0x40(%r9,%rbx,4)
movaps %xmm0,0x50(%r9,%rbx,4)
movaps %xmm0,0x60(%r9,%rbx,4)
movaps %xmm0,0x70(%r9,%rbx,4)
movaps %xmm0,0x80(%r9,%rbx,4)
movaps %xmm0,0x90(%r9,%rbx,4)
movaps %xmm0,0xa0(%r9,%rbx,4)
movaps %xmm0,0xb0(%r9,%rbx,4)
movaps %xmm0,0xc0(%r9,%rbx,4)
movaps %xmm0,0xd0(%r9,%rbx,4)
movaps %xmm0,0xe0(%r9,%rbx,4)
movaps %xmm0,0xf0(%r9,%rbx,4)
add    $0x40,%rbx
add    $0xfffffffffffffff8,%r15
jne    1180 <BFS+0x80>
test   %r14,%r14
je     1232 <BFS+0x132>
lea    (%r9,%rbx,4),%rax
add    $0x10,%rax
shl    $0x5,%r14
xor    %ebx,%ebx
movaps 0xde1(%rip),%xmm0
nop
movaps %xmm0,-0x10(%rax,%rbx,1)
movaps %xmm0,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r14
jne    1220 <BFS+0x120>
cmp    %r12,%r11
je     1251 <BFS+0x151>
nopw   0x0(%rax,%rax,1)
movl   $0x1,(%r9,%r11,4)
add    $0x1,%r11
cmp    %r11,%r12
jne    1240 <BFS+0x140>
mov    %ecx,(%r10)
movslq %ecx,%rax
movl   $0x0,(%r9,%rax,4)
movl   $0xffffffff,(%rdx,%rax,4)
xor    %ecx,%ecx
mov    $0xffffffffffffffff,%r11
jmp    1288 <BFS+0x188>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movslq %ecx,%rax
cmp    %rax,%r11
jge    12e0 <BFS+0x1e0>
mov    %r11,%rax
add    $0x1,%r11
test   %edi,%edi
jle    1280 <BFS+0x180>
mov    0x4(%r10,%rax,4),%r14d
movslq %r14d,%rax
imul   %r12,%rax
lea    (%rsi,%rax,4),%r15
xor    %ebx,%ebx
jmp    12b9 <BFS+0x1b9>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbx
cmp    %rbx,%r12
je     1280 <BFS+0x180>
cmpl   $0x0,(%r9,%rbx,4)
je     12b0 <BFS+0x1b0>
cmpl   $0x0,(%r15,%rbx,4)
jle    12b0 <BFS+0x1b0>
movslq %ecx,%rax
add    $0x1,%ecx
mov    %ebx,0x4(%r10,%rax,4)
movl   $0x0,(%r9,%rbx,4)
mov    %r14d,(%rdx,%rbx,4)
jmp    12b0 <BFS+0x1b0>
movslq %r8d,%rcx
xor    %eax,%eax
cmpl   $0x0,(%r9,%rcx,4)
sete   %al
lea    -0x20(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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