char checkWinAV(int mygrid[6][7], int *lastX, int *lastY) {
  int width = 7, height = 6, x1, y1, x2, y2;
  int player = mygrid[*lastY][*lastX];
  x1 = x2 = *lastX;
  while (x1 < width && mygrid[*lastY][x1] == player)
    ++x1;
  while (x2 >= 0 && mygrid[*lastY][x2] == player)
    --x2;
  if (x1 - x2 > 4)
    return player;
  y1 = y2 = *lastY;
  while (y1 < height && mygrid[y1][*lastX] == player)
    ++y1;
  while (y2 >= 0 && mygrid[y2][*lastX] == player)
    --y2;
  if (y1 - y2 > 4)
    return player;
  x1 = x2 = *lastX;
  y1 = y2 = *lastY;
  while (y1 >= 0 && x1 < width && mygrid[y1][x1] == player) {
    ++x1;
    --y1;
  }
  while (y2 < height && x2 >= 0 && mygrid[y2][x2] == player) {
    --x2;
    ++y2;
  }
  if (x1 - x2 > 4)
    return player;
  x1 = x2 = *lastX;
  y1 = y2 = *lastY;
  while (y1 >= 0 && x1 >= 0 && mygrid[y1][x1] == player) {
    --x1;
    --y1;
  }
  while (y2 < height && x2 < width && mygrid[y2][x2] == player) {
    ++x2;
    ++y2;
  }
  if (x2 - x1 > 4)
    return player;
  return 2;
}


x86 assembly (clang, -O0):
<checkWinAV>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x7,-0x24(%rbp)
movl   $0x6,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x3d(%rbp)
jge    117c <checkWinAV+0x7c>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    118c <checkWinAV+0x8c>
jmp    119a <checkWinAV+0x9a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1149 <checkWinAV+0x49>
jmp    119f <checkWinAV+0x9f>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x3e(%rbp)
jl     11d0 <checkWinAV+0xd0>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x3e(%rbp)
mov    -0x3e(%rbp),%al
test   $0x1,%al
jne    11e0 <checkWinAV+0xe0>
jmp    11ee <checkWinAV+0xee>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    119f <checkWinAV+0x9f>
mov    -0x2c(%rbp),%eax
sub    -0x34(%rbp),%eax
cmp    $0x4,%eax
jle    1208 <checkWinAV+0x108>
mov    -0x3c(%rbp),%eax
mov    %al,-0x1(%rbp)
jmp    14dd <checkWinAV+0x3dd>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
xor    %eax,%eax
cmp    -0x28(%rbp),%ecx
mov    %al,-0x3f(%rbp)
jge    1247 <checkWinAV+0x147>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x3f(%rbp)
mov    -0x3f(%rbp),%al
test   $0x1,%al
jne    1257 <checkWinAV+0x157>
jmp    1265 <checkWinAV+0x165>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1214 <checkWinAV+0x114>
jmp    126a <checkWinAV+0x16a>
xor    %eax,%eax
cmpl   $0x0,-0x38(%rbp)
mov    %al,-0x40(%rbp)
jl     129b <checkWinAV+0x19b>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x40(%rbp)
mov    -0x40(%rbp),%al
test   $0x1,%al
jne    12ab <checkWinAV+0x1ab>
jmp    12b9 <checkWinAV+0x1b9>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
jmp    126a <checkWinAV+0x16a>
mov    -0x30(%rbp),%eax
sub    -0x38(%rbp),%eax
cmp    $0x4,%eax
jle    12d3 <checkWinAV+0x1d3>
mov    -0x3c(%rbp),%eax
mov    %al,-0x1(%rbp)
jmp    14dd <checkWinAV+0x3dd>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    %eax,-0x30(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x41(%rbp)
jl     132a <checkWinAV+0x22a>
mov    -0x2c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x41(%rbp)
jge    132a <checkWinAV+0x22a>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    133a <checkWinAV+0x23a>
jmp    1351 <checkWinAV+0x251>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    12eb <checkWinAV+0x1eb>
jmp    1356 <checkWinAV+0x256>
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x28(%rbp),%ecx
mov    %al,-0x42(%rbp)
jge    1395 <checkWinAV+0x295>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x42(%rbp)
jl     1395 <checkWinAV+0x295>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
test   $0x1,%al
jne    13a5 <checkWinAV+0x2a5>
jmp    13bc <checkWinAV+0x2bc>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1356 <checkWinAV+0x256>
mov    -0x2c(%rbp),%eax
sub    -0x34(%rbp),%eax
cmp    $0x4,%eax
jle    13d6 <checkWinAV+0x2d6>
mov    -0x3c(%rbp),%eax
mov    %al,-0x1(%rbp)
jmp    14dd <checkWinAV+0x3dd>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    %eax,-0x30(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x43(%rbp)
jl     142b <checkWinAV+0x32b>
xor    %eax,%eax
cmpl   $0x0,-0x2c(%rbp)
mov    %al,-0x43(%rbp)
jl     142b <checkWinAV+0x32b>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x43(%rbp)
mov    -0x43(%rbp),%al
test   $0x1,%al
jne    143b <checkWinAV+0x33b>
jmp    1452 <checkWinAV+0x352>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    13ee <checkWinAV+0x2ee>
jmp    1457 <checkWinAV+0x357>
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x28(%rbp),%ecx
mov    %al,-0x44(%rbp)
jge    1498 <checkWinAV+0x398>
mov    -0x34(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x44(%rbp)
jge    1498 <checkWinAV+0x398>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
sete   %al
mov    %al,-0x44(%rbp)
mov    -0x44(%rbp),%al
test   $0x1,%al
jne    14a8 <checkWinAV+0x3a8>
jmp    14bf <checkWinAV+0x3bf>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1457 <checkWinAV+0x357>
mov    -0x34(%rbp),%eax
sub    -0x2c(%rbp),%eax
cmp    $0x4,%eax
jle    14d9 <checkWinAV+0x3d9>
mov    -0x3c(%rbp),%eax
mov    %al,-0x1(%rbp)
jmp    14dd <checkWinAV+0x3dd>
movb   $0x2,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkWinAV>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    (%rdx),%r8d
movslq %r8d,%r9
movslq (%rsi),%r14
lea    (%r9,%r9,8),%rax
lea    (%rax,%rax,2),%r11
add    %r9,%r11
add    %rdi,%r11
mov    %r14d,%r10d
mov    (%r11,%r14,4),%r12d
mov    %r14d,%esi
cmp    $0x6,%r14
jg     116f <checkWinAV+0x6f>
lea    (%r11,%r14,4),%rax
add    $0x4,%rax
xor    %ecx,%ecx
nopl   0x0(%rax)
lea    (%r10,%rcx,1),%edx
cmp    $0x6,%edx
je     1165 <checkWinAV+0x65>
lea    0x1(%rcx),%rsi
cmp    %r12d,(%rax,%rcx,4)
mov    %rsi,%rcx
je     1140 <checkWinAV+0x40>
add    %r10d,%esi
test   %r14d,%r14d
jns    116f <checkWinAV+0x6f>
xor    %edx,%edx
mov    %r10d,%eax
jmp    1198 <checkWinAV+0x98>
mov    $0x7,%esi
test   %r14d,%r14d
js     115e <checkWinAV+0x5e>
mov    %r14d,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %eax,%ecx
mov    $0x1,%dl
cmp    %r12d,(%r11,%rcx,4)
jne    1198 <checkWinAV+0x98>
lea    -0x1(%rax),%ecx
test   %eax,%eax
mov    %ecx,%eax
jg     1180 <checkWinAV+0x80>
mov    $0xffffffff,%eax
sub    %eax,%esi
cmp    $0x4,%esi
jg     12b9 <checkWinAV+0x1b9>
mov    %r8d,%ebx
cmp    $0x5,%r8d
jg     11d9 <checkWinAV+0xd9>
lea    (%r11,%r14,4),%rax
add    $0x1c,%rax
mov    %r8d,%ebx
nopw   0x0(%rax,%rax,1)
cmp    $0x5,%ebx
je     120a <checkWinAV+0x10a>
add    $0x1,%ebx
lea    0x1c(%rax),%rcx
cmp    %r12d,(%rax)
mov    %rcx,%rax
je     11c0 <checkWinAV+0xc0>
test   %r8d,%r8d
js     1214 <checkWinAV+0x114>
mov    %r8d,%eax
nopl   0x0(%rax)
mov    %eax,%ecx
lea    (%rcx,%rcx,8),%rsi
lea    (%rsi,%rsi,2),%rbp
add    %rcx,%rbp
add    %rdi,%rbp
mov    $0x1,%sil
cmp    %r12d,0x0(%rbp,%r14,4)
jne    1219 <checkWinAV+0x119>
lea    -0x1(%rax),%ecx
test   %eax,%eax
mov    %ecx,%eax
jg     11e0 <checkWinAV+0xe0>
mov    $0xffffffff,%eax
jmp    1219 <checkWinAV+0x119>
mov    $0x6,%ebx
test   %r8d,%r8d
jns    11d9 <checkWinAV+0xd9>
xor    %esi,%esi
mov    %r8d,%eax
sub    %eax,%ebx
cmp    $0x4,%ebx
jg     12b9 <checkWinAV+0x1b9>
cmp    $0x7,%r14d
setl   %al
and    %sil,%al
mov    %r14d,%r15d
cmp    $0x1,%al
jne    1272 <checkWinAV+0x172>
lea    (%r8,%r8,8),%rax
lea    (%rax,%rax,2),%rax
add    %r8,%rax
add    %rdi,%rax
lea    (%rax,%r14,4),%rax
mov    %r14,%rbx
mov    %r8d,%ebp
nopl   (%rax)
cmp    %r12d,(%rax)
jne    126f <checkWinAV+0x16f>
lea    0x1(%rbx),%r15
test   %ebp,%ebp
jle    1272 <checkWinAV+0x172>
add    $0xffffffff,%ebp
add    $0xffffffffffffffe8,%rax
cmp    $0x6,%rbx
mov    %r15,%rbx
jl     1250 <checkWinAV+0x150>
jmp    1272 <checkWinAV+0x172>
mov    %rbx,%r15
cmp    $0x6,%r8d
setge  %al
mov    %edx,%ecx
xor    $0x1,%cl
or     %al,%cl
mov    %r14d,%ebp
jne    12b0 <checkWinAV+0x1b0>
lea    (%r11,%r10,4),%rax
mov    %r9,%rbx
mov    %r14d,%ecx
nop
cmp    %r12d,(%rax)
jne    12ae <checkWinAV+0x1ae>
lea    -0x1(%rcx),%ebp
cmp    $0x4,%rbx
jg     12b0 <checkWinAV+0x1b0>
add    $0x1,%rbx
add    $0x18,%rax
test   %ecx,%ecx
mov    %ebp,%ecx
jg     1290 <checkWinAV+0x190>
jmp    12b0 <checkWinAV+0x1b0>
mov    %ecx,%ebp
sub    %ebp,%r15d
cmp    $0x4,%r15d
jle    12c5 <checkWinAV+0x1c5>
mov    %r12d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
and    %dl,%sil
mov    %r14d,%edx
cmp    $0x1,%sil
jne    130e <checkWinAV+0x20e>
mov    %r8d,%eax
mov    %r14d,%esi
nopw   0x0(%rax,%rax,1)
mov    %eax,%ecx
mov    %esi,%edx
lea    (%rcx,%rcx,8),%rbp
lea    0x0(%rbp,%rbp,2),%rbp
add    %rcx,%rbp
add    %rdi,%rbp
cmp    %r12d,0x0(%rbp,%rdx,4)
jne    130c <checkWinAV+0x20c>
lea    -0x1(%rsi),%edx
test   %eax,%eax
jle    130e <checkWinAV+0x20e>
add    $0xffffffff,%eax
test   %esi,%esi
mov    %edx,%esi
jg     12e0 <checkWinAV+0x1e0>
jmp    130e <checkWinAV+0x20e>
mov    %esi,%edx
cmp    $0x5,%r8d
jg     1357 <checkWinAV+0x257>
cmp    $0x6,%r14d
jg     1357 <checkWinAV+0x257>
lea    (%r11,%r14,4),%rax
add    $0x20,%rax
lea    0x1(%r14),%ecx
cs nopw 0x0(%rax,%rax,1)
mov    %ecx,%esi
cmp    $0x4,%r9
jg     135a <checkWinAV+0x25a>
cmp    $0x5,%r14
jg     135a <checkWinAV+0x25a>
lea    0x20(%rax),%rdi
lea    0x1(%rsi),%ecx
add    $0x1,%r9
add    $0x1,%r14
cmp    %r12d,(%rax)
mov    %rdi,%rax
je     1330 <checkWinAV+0x230>
jmp    135a <checkWinAV+0x25a>
mov    %r14d,%esi
sub    %edx,%esi
cmp    $0x5,%esi
mov    $0x2,%eax
cmovge %r12d,%eax
jmp    12bc <checkWinAV+0x1bc>

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

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