int checkWinOrLose(int grid[][7], int result, int rowNum) {
  int move = grid[rowNum][result];
  if (rowNum <= 2 && grid[rowNum + 1][result] == move &&
      grid[rowNum + 2][result] == move && grid[rowNum + 3][result] == move)
    return 1;
  else {
    int count = 1, i, j;
    for (i = result + 1; i < 7; i++) {
      if (grid[rowNum][i] != move)
        break;
      count++;
    }
    for (i = result - 1; i >= 0; i--) {
      if (grid[rowNum][i] != move)
        break;
      count++;
    }
    if (count >= 4)
      return 1;
    count = 1;
    for (i = result + 1, j = rowNum + 1; i < 7 && j < 6; i++, j++) {
      if (grid[j][i] != move)
        break;
      count++;
    }
    for (i = result - 1, j = rowNum - 1; i >= 0 && j >= 0; i--, j--) {
      if (grid[j][i] != move)
        break;
      count++;
    }
    if (count >= 4)
      return 1;
    count = 1;
    for (i = result + 1, j = rowNum - 1; i < 7 && j >= 0; i++, j--) {
      if (grid[j][i] != move)
        break;
      count++;
    }
    for (i = result - 1, j = rowNum + 1; i >= 0 && j < 6; i--, j++) {
      if (grid[j][i] != move)
        break;
      count++;
    }
    if (count >= 4)
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<checkWinOrLose>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x2,-0x18(%rbp)
jg     11a9 <checkWinOrLose+0xa9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    11a9 <checkWinOrLose+0xa9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    11a9 <checkWinOrLose+0xa9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    11a9 <checkWinOrLose+0xa9>
movl   $0x1,-0x4(%rbp)
jmp    14a4 <checkWinOrLose+0x3a4>
movl   $0x1,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x7,-0x24(%rbp)
jge    11fe <checkWinOrLose+0xfe>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     11e7 <checkWinOrLose+0xe7>
jmp    11fe <checkWinOrLose+0xfe>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b9 <checkWinOrLose+0xb9>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     124c <checkWinOrLose+0x14c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     1235 <checkWinOrLose+0x135>
jmp    124c <checkWinOrLose+0x14c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1207 <checkWinOrLose+0x107>
cmpl   $0x4,-0x20(%rbp)
jl     1262 <checkWinOrLose+0x162>
movl   $0x1,-0x4(%rbp)
jmp    14a4 <checkWinOrLose+0x3a4>
movl   $0x1,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x7,-0x24(%rbp)
mov    %al,-0x29(%rbp)
jge    1294 <checkWinOrLose+0x194>
cmpl   $0x6,-0x28(%rbp)
setl   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    12a4 <checkWinOrLose+0x1a4>
jmp    12e8 <checkWinOrLose+0x1e8>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     12c8 <checkWinOrLose+0x1c8>
jmp    12e8 <checkWinOrLose+0x1e8>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    127b <checkWinOrLose+0x17b>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x2a(%rbp)
jl     1313 <checkWinOrLose+0x213>
cmpl   $0x0,-0x28(%rbp)
setge  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    1323 <checkWinOrLose+0x223>
jmp    1367 <checkWinOrLose+0x267>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     1347 <checkWinOrLose+0x247>
jmp    1367 <checkWinOrLose+0x267>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    12fa <checkWinOrLose+0x1fa>
cmpl   $0x4,-0x20(%rbp)
jl     137d <checkWinOrLose+0x27d>
movl   $0x1,-0x4(%rbp)
jmp    14a4 <checkWinOrLose+0x3a4>
movl   $0x1,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x7,-0x24(%rbp)
mov    %al,-0x2b(%rbp)
jge    13af <checkWinOrLose+0x2af>
cmpl   $0x0,-0x28(%rbp)
setge  %al
mov    %al,-0x2b(%rbp)
mov    -0x2b(%rbp),%al
test   $0x1,%al
jne    13bf <checkWinOrLose+0x2bf>
jmp    1403 <checkWinOrLose+0x303>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     13e3 <checkWinOrLose+0x2e3>
jmp    1403 <checkWinOrLose+0x303>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1396 <checkWinOrLose+0x296>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x2c(%rbp)
jl     142e <checkWinOrLose+0x32e>
cmpl   $0x6,-0x28(%rbp)
setl   %al
mov    %al,-0x2c(%rbp)
mov    -0x2c(%rbp),%al
test   $0x1,%al
jne    143e <checkWinOrLose+0x33e>
jmp    1482 <checkWinOrLose+0x382>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
je     1462 <checkWinOrLose+0x362>
jmp    1482 <checkWinOrLose+0x382>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1415 <checkWinOrLose+0x315>
cmpl   $0x4,-0x20(%rbp)
jl     1498 <checkWinOrLose+0x398>
movl   $0x1,-0x4(%rbp)
jmp    14a4 <checkWinOrLose+0x3a4>
jmp    149d <checkWinOrLose+0x39d>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkWinOrLose>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movslq %edx,%r8
movslq %esi,%r10
lea    (%r8,%r8,8),%rax
lea    (%rax,%rax,2),%r9
add    %r8,%r9
lea    (%rdi,%r9,1),%r14
mov    (%r14,%r10,4),%r15d
cmp    $0x2,%r8d
jg     1189 <checkWinOrLose+0x89>
movslq %edx,%rax
lea    (%rax,%rax,8),%rcx
add    $0x9,%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
add    $0x1,%rcx
add    %rdi,%rcx
cmp    %r15d,(%rcx,%r10,4)
jne    1189 <checkWinOrLose+0x89>
lea    (%rax,%rax,8),%rcx
add    $0x12,%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
add    $0x2,%rcx
add    %rdi,%rcx
cmp    %r15d,(%rcx,%r10,4)
jne    1189 <checkWinOrLose+0x89>
lea    (%rax,%rax,8),%rcx
add    $0x1b,%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
add    $0x3,%rcx
add    %rdi,%rcx
mov    $0x1,%eax
cmp    %r15d,(%rcx,%r10,4)
je     139e <checkWinOrLose+0x29e>
cmp    $0x6,%esi
jge    11c6 <checkWinOrLose+0xc6>
mov    %r10d,%r12d
mov    $0x7,%ebx
sub    %esi,%ebx
lea    (%r14,%r10,4),%rbp
add    $0x4,%rbp
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    %r15d,0x0(%rbp,%rcx,4)
jne    11d1 <checkWinOrLose+0xd1>
add    $0x1,%rcx
lea    (%r12,%rcx,1),%eax
cmp    $0x6,%eax
jne    11b0 <checkWinOrLose+0xb0>
jmp    11d6 <checkWinOrLose+0xd6>
lea    -0x1(%rsi),%r11d
mov    $0x1,%ebx
jmp    11df <checkWinOrLose+0xdf>
add    $0x1,%ecx
mov    %ecx,%ebx
lea    -0x1(%rsi),%r11d
test   %r12d,%r12d
jle    120b <checkWinOrLose+0x10b>
lea    (%rbx,%rsi,1),%eax
mov    %r11d,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%ebp
mov    $0x1,%r13b
cmp    %r15d,(%r14,%rbp,4)
jne    120e <checkWinOrLose+0x10e>
add    $0x1,%ebx
lea    -0x1(%rcx),%ebp
test   %ecx,%ecx
mov    %ebp,%ecx
jg     11f0 <checkWinOrLose+0xf0>
mov    %eax,%ebx
jmp    120e <checkWinOrLose+0x10e>
xor    %r13d,%r13d
mov    $0x1,%eax
cmp    $0x3,%ebx
ja     139e <checkWinOrLose+0x29e>
mov    $0x1,%ecx
cmp    $0x5,%esi
jg     1263 <checkWinOrLose+0x163>
cmp    $0x4,%edx
jg     1263 <checkWinOrLose+0x163>
lea    (%r14,%r10,4),%rax
add    $0x20,%rax
mov    $0x1,%ecx
mov    %r10,%rbx
mov    %r8,%rbp
xchg   %ax,%ax
cmp    %r15d,(%rax)
jne    1263 <checkWinOrLose+0x163>
add    $0x1,%ecx
cmp    $0x4,%rbx
jg     1263 <checkWinOrLose+0x163>
add    $0x20,%rax
add    $0x1,%rbx
lea    0x1(%rbp),%r14
cmp    $0x4,%rbp
mov    %r14,%rbp
jl     1240 <checkWinOrLose+0x140>
lea    -0x1(%rdx),%r12d
test   %edx,%edx
setle  %al
xor    $0x1,%r13b
or     %r13b,%al
jne    12ed <checkWinOrLose+0x1ed>
mov    %r10,-0x18(%rsp)
mov    %rdx,-0x10(%rsp)
mov    %r9,-0x8(%rsp)
cmp    %r11d,%r12d
mov    %r11d,%eax
cmovb  %r12d,%eax
test   %r11d,%r11d
cmove  %r11d,%eax
lea    (%rcx,%rax,1),%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rsp)
add    $0x1,%eax
mov    %r12d,%ebp
mov    %r11d,%ebx
nopl   0x0(%rax,%rax,1)
mov    %ebp,%r14d
mov    %ebx,%r9d
lea    (%r14,%r14,8),%r10
lea    (%r10,%r10,2),%rdx
add    %r14,%rdx
add    %rdi,%rdx
cmp    %r15d,(%rdx,%r9,4)
jne    12de <checkWinOrLose+0x1de>
add    $0x1,%ecx
add    $0xffffffff,%ebx
add    $0xffffffff,%ebp
add    $0xffffffff,%eax
jne    12b0 <checkWinOrLose+0x1b0>
mov    -0x1c(%rsp),%eax
mov    %eax,%ecx
mov    -0x8(%rsp),%r9
mov    -0x10(%rsp),%rdx
mov    -0x18(%rsp),%r10
mov    $0x1,%eax
cmp    $0x3,%ecx
ja     139e <checkWinOrLose+0x29e>
mov    $0x1,%ecx
cmp    $0x5,%esi
jg     135c <checkWinOrLose+0x25c>
test   %edx,%edx
jle    135c <checkWinOrLose+0x25c>
lea    (%rdi,%r10,4),%rax
add    $0x4,%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r12d,%ebp
lea    0x0(,%rbp,8),%rsi
add    %rbp,%rsi
lea    (%rsi,%rsi,2),%rsi
add    %rbp,%rsi
add    %rax,%rsi
cmp    %r15d,(%rsi,%rcx,4)
jne    1359 <checkWinOrLose+0x259>
lea    (%r10,%rcx,1),%rsi
add    $0x1,%rcx
cmp    $0x4,%rsi
jg     1359 <checkWinOrLose+0x259>
lea    -0x1(%r12),%esi
test   %r12d,%r12d
mov    %esi,%r12d
jg     1320 <checkWinOrLose+0x220>
add    $0x1,%ecx
cmp    $0x5,%edx
setge  %al
or     %al,%r13b
jne    1396 <checkWinOrLose+0x296>
lea    (%rdi,%r9,1),%rax
add    $0x1c,%rax
nop
mov    %r11d,%edx
cmp    %r15d,(%rax,%rdx,4)
jne    1396 <checkWinOrLose+0x296>
add    $0x1,%ecx
test   %r11d,%r11d
jle    1396 <checkWinOrLose+0x296>
add    $0xffffffff,%r11d
add    $0x1c,%rax
lea    0x1(%r8),%rdx
cmp    $0x4,%r8
mov    %rdx,%r8
jl     1370 <checkWinOrLose+0x270>
xor    %eax,%eax
cmp    $0x4,%ecx
setae  %al
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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