#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 */
typedef int uint32_t;

/* Variables and functions */
char checkVerticalWin(char board[5 + 1][5 + 1]) {
  uint32_t countPlayer1 = 0;
  uint32_t countPlayer2 = 0;
  char column;
  char row;
  char win = 0;
  for (column = 0; column <= 5; column++) {
    for (row = 0; row <= 5; row++) {
      if ((board[row][column]) == 1) {
        countPlayer1++;
        countPlayer2 = 0;
      } else if ((board[row][column]) == 2) {
        countPlayer2++;
        countPlayer1 = 0;
      } else {
        countPlayer1 = 0;
        countPlayer2 = 0;
      }
      if (countPlayer1 >= 4) {
        win = 1;
        goto won;
      } else if (countPlayer2 >= 4) {
        win = 2;
        goto won;
      }
    }
  }
won:
  return (win);
}


x86 assembly (clang, -O0):
<checkVerticalWin>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movb   $0x0,-0x13(%rbp)
movb   $0x0,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x5,%eax
jg     120c <checkVerticalWin+0x10c>
movb   $0x0,-0x12(%rbp)
movsbl -0x12(%rbp),%eax
cmp    $0x5,%eax
jg     11fa <checkVerticalWin+0xfa>
mov    -0x8(%rbp),%rax
movsbq -0x12(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movsbq -0x11(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jne    1173 <checkVerticalWin+0x73>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
jmp    11bd <checkVerticalWin+0xbd>
mov    -0x8(%rbp),%rax
movsbq -0x12(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movsbq -0x11(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2,%eax
jne    11aa <checkVerticalWin+0xaa>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
jmp    11b8 <checkVerticalWin+0xb8>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
jmp    11bd <checkVerticalWin+0xbd>
cmpl   $0x4,-0xc(%rbp)
jl     11d0 <checkVerticalWin+0xd0>
movb   $0x1,-0x13(%rbp)
jmp    1211 <checkVerticalWin+0x111>
cmpl   $0x4,-0x10(%rbp)
jl     11e3 <checkVerticalWin+0xe3>
movb   $0x2,-0x13(%rbp)
jmp    1211 <checkVerticalWin+0x111>
jmp    11e8 <checkVerticalWin+0xe8>
jmp    11ed <checkVerticalWin+0xed>
mov    -0x12(%rbp),%al
add    $0x1,%al
mov    %al,-0x12(%rbp)
jmp    112f <checkVerticalWin+0x2f>
jmp    11ff <checkVerticalWin+0xff>
mov    -0x11(%rbp),%al
add    $0x1,%al
mov    %al,-0x11(%rbp)
jmp    111e <checkVerticalWin+0x1e>
jmp    1211 <checkVerticalWin+0x111>
movsbl -0x13(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkVerticalWin>:
xor    %esi,%esi
mov    $0xfffffffffffffffa,%rax
xor    %r9d,%r9d
jmp    111c <checkVerticalWin+0x1c>
xchg   %ax,%ax
xor    %r9d,%r9d
inc    %rax
je     12a6 <checkVerticalWin+0x1a6>
movzbl 0x6(%rdi,%rax,1),%edx
cmp    $0x2,%dl
je     1150 <checkVerticalWin+0x50>
mov    $0x0,%ecx
mov    $0x0,%esi
cmp    $0x1,%dl
jne    115e <checkVerticalWin+0x5e>
cmp    $0x2,%r9d
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%r9d
mov    %r9d,%ecx
xor    %esi,%esi
jmp    115e <checkVerticalWin+0x5e>
nopw   0x0(%rax,%rax,1)
cmp    $0x2,%esi
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%esi
xor    %ecx,%ecx
movzbl 0xc(%rdi,%rax,1),%edx
xor    %r8d,%r8d
cmp    $0x1,%dl
je     1190 <checkVerticalWin+0x90>
cmp    $0x2,%dl
jne    11a0 <checkVerticalWin+0xa0>
cmp    $0x2,%esi
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%esi
xor    %ecx,%ecx
mov    %esi,%r8d
jmp    11a2 <checkVerticalWin+0xa2>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    $0x2,%ecx
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%ecx
jmp    11a2 <checkVerticalWin+0xa2>
xchg   %ax,%ax
xor    %ecx,%ecx
movzbl 0x12(%rdi,%rax,1),%edx
xor    %esi,%esi
cmp    $0x1,%dl
je     11d0 <checkVerticalWin+0xd0>
cmp    $0x2,%dl
jne    11e0 <checkVerticalWin+0xe0>
cmp    $0x2,%r8d
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%r8d
xor    %ecx,%ecx
mov    %r8d,%esi
jmp    11e2 <checkVerticalWin+0xe2>
nopl   0x0(%rax,%rax,1)
cmp    $0x2,%ecx
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%ecx
jmp    11e2 <checkVerticalWin+0xe2>
xchg   %ax,%ax
xor    %ecx,%ecx
movzbl 0x18(%rdi,%rax,1),%edx
xor    %r9d,%r9d
cmp    $0x1,%dl
je     1210 <checkVerticalWin+0x110>
cmp    $0x2,%dl
jne    1220 <checkVerticalWin+0x120>
cmp    $0x2,%esi
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%esi
xor    %ecx,%ecx
mov    %esi,%r9d
jmp    1222 <checkVerticalWin+0x122>
nopw   0x0(%rax,%rax,1)
cmp    $0x2,%ecx
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%ecx
jmp    1222 <checkVerticalWin+0x122>
xchg   %ax,%ax
xor    %ecx,%ecx
movzbl 0x1e(%rdi,%rax,1),%edx
xor    %r8d,%r8d
cmp    $0x1,%dl
je     1250 <checkVerticalWin+0x150>
cmp    $0x2,%dl
jne    1260 <checkVerticalWin+0x160>
cmp    $0x2,%r9d
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%r9d
xor    %ecx,%ecx
mov    %r9d,%r8d
jmp    1262 <checkVerticalWin+0x162>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x2,%ecx
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%ecx
jmp    1262 <checkVerticalWin+0x162>
nopw   0x0(%rax,%rax,1)
xor    %ecx,%ecx
movzbl 0x24(%rdi,%rax,1),%edx
xor    %esi,%esi
cmp    $0x1,%dl
je     1290 <checkVerticalWin+0x190>
cmp    $0x2,%dl
jne    1110 <checkVerticalWin+0x10>
cmp    $0x2,%r8d
jg     12a3 <checkVerticalWin+0x1a3>
add    $0x1,%r8d
xor    %r9d,%r9d
mov    %r8d,%esi
jmp    1113 <checkVerticalWin+0x13>
nopl   0x0(%rax)
cmp    $0x2,%ecx
jg     12a0 <checkVerticalWin+0x1a0>
add    $0x1,%ecx
mov    %ecx,%r9d
jmp    1113 <checkVerticalWin+0x13>
mov    $0x1,%al
ret
mov    $0x2,%al
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define signext i8 @checkVerticalWin([6 x i8]* %0) {
%2 = alloca [6 x i8]*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
store [6 x i8]* %0, [6 x i8]** %2
store i32 0, i32* %3
store i32 0, i32* %4
store i8 0, i8* %7
store i8 0, i8* %5
br label %8
8: ; preds = %61, %1
%9 = load i8, i8* %5
%10 = sext i8 %9 to i32
%11 = icmp sle i32 %10, 5
br i1 %11, label %12, label %64
12: ; preds = %8
store i8 0, i8* %6
br label %13
13: ; preds = %57, %12
%14 = load i8, i8* %6
%15 = sext i8 %14 to i32
%16 = icmp sle i32 %15, 5
br i1 %16, label %17, label %60
17: ; preds = %13
%18 = load [6 x i8]*, [6 x i8]** %2
%19 = load i8, i8* %6
%20 = sext i8 %19 to i64
%21 = getelementptr inbounds [6 x i8], [6 x i8]* %18, i64 %20
%22 = load i8, i8* %5
%23 = sext i8 %22 to i64
%24 = getelementptr inbounds [6 x i8], [6 x i8]* %21, i64 0, i64 %23
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 1
br i1 %27, label %28, label %31
28: ; preds = %17
%29 = load i32, i32* %3
%30 = add nsw i32 %29, 1
store i32 %30, i32* %3
store i32 0, i32* %4
br label %47
31: ; preds = %17
%32 = load [6 x i8]*, [6 x i8]** %2
%33 = load i8, i8* %6
%34 = sext i8 %33 to i64
%35 = getelementptr inbounds [6 x i8], [6 x i8]* %32, i64 %34
%36 = load i8, i8* %5
%37 = sext i8 %36 to i64
%38 = getelementptr inbounds [6 x i8], [6 x i8]* %35, i64 0, i64 %37
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %40, 2
br i1 %41, label %42, label %45
42: ; preds = %31
%43 = load i32, i32* %4
%44 = add nsw i32 %43, 1
store i32 %44, i32* %4
store i32 0, i32* %3
br label %46
45: ; preds = %31
store i32 0, i32* %3
store i32 0, i32* %4
br label %46
46: ; preds = %45, %42
br label %47
47: ; preds = %46, %28
%48 = load i32, i32* %3
%49 = icmp sge i32 %48, 4
br i1 %49, label %50, label %51
50: ; preds = %47
store i8 1, i8* %7
br label %65
51: ; preds = %47
%52 = load i32, i32* %4
%53 = icmp sge i32 %52, 4
br i1 %53, label %54, label %55
54: ; preds = %51
store i8 2, i8* %7
br label %65
55: ; preds = %51
br label %56
56: ; preds = %55
br label %57
57: ; preds = %56
%58 = load i8, i8* %6
%59 = add i8 %58, 1
store i8 %59, i8* %6
br label %13
60: ; preds = %13
br label %61
61: ; preds = %60
%62 = load i8, i8* %5
%63 = add i8 %62, 1
store i8 %63, i8* %5
br label %8
64: ; preds = %8
br label %65
65: ; preds = %64, %54, %50
%66 = load i8, i8* %7
ret i8 %66
}

LLVM IR (-O2):
define signext i8 @checkVerticalWin([6 x i8]* nocapture %0) {
br label %2
2: ; preds = %1, %69
%3 = phi i64 [ 0, %1 ], [ %72, %69 ]
%4 = phi i32 [ 0, %1 ], [ %71, %69 ]
%5 = phi i32 [ 0, %1 ], [ %70, %69 ]
%6 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 0, i64 %3
%7 = load i8, i8* %6
switch i8 %7, label %14 [
i8 1, label %8
i8 2, label %11
]
8: ; preds = %2
%9 = add nsw i32 %5, 1
%10 = icmp sgt i32 %5, 2
br i1 %10, label %74, label %14
11: ; preds = %2
%12 = add nsw i32 %4, 1
%13 = icmp sgt i32 %4, 2
br i1 %13, label %74, label %14
14: ; preds = %8, %2, %11
%15 = phi i32 [ 0, %11 ], [ 0, %2 ], [ %9, %8 ]
%16 = phi i32 [ %12, %11 ], [ 0, %2 ], [ 0, %8 ]
%17 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 1, i64 %3
%18 = load i8, i8* %17
switch i8 %18, label %25 [
i8 1, label %22
i8 2, label %19
]
19: ; preds = %14
%20 = add nsw i32 %16, 1
%21 = icmp sgt i32 %16, 2
br i1 %21, label %74, label %25
22: ; preds = %14
%23 = add nsw i32 %15, 1
%24 = icmp sgt i32 %15, 2
br i1 %24, label %74, label %25
25: ; preds = %22, %19, %14
%26 = phi i32 [ 0, %19 ], [ 0, %14 ], [ %23, %22 ]
%27 = phi i32 [ %20, %19 ], [ 0, %14 ], [ 0, %22 ]
%28 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 2, i64 %3
%29 = load i8, i8* %28
switch i8 %29, label %36 [
i8 1, label %33
i8 2, label %30
]
30: ; preds = %25
%31 = add nsw i32 %27, 1
%32 = icmp sgt i32 %27, 2
br i1 %32, label %74, label %36
33: ; preds = %25
%34 = add nsw i32 %26, 1
%35 = icmp sgt i32 %26, 2
br i1 %35, label %74, label %36
36: ; preds = %33, %30, %25
%37 = phi i32 [ 0, %30 ], [ 0, %25 ], [ %34, %33 ]
%38 = phi i32 [ %31, %30 ], [ 0, %25 ], [ 0, %33 ]
%39 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 3, i64 %3
%40 = load i8, i8* %39
switch i8 %40, label %47 [
i8 1, label %44
i8 2, label %41
]
41: ; preds = %36
%42 = add nsw i32 %38, 1
%43 = icmp sgt i32 %38, 2
br i1 %43, label %74, label %47
44: ; preds = %36
%45 = add nsw i32 %37, 1
%46 = icmp sgt i32 %37, 2
br i1 %46, label %74, label %47
47: ; preds = %44, %41, %36
%48 = phi i32 [ 0, %41 ], [ 0, %36 ], [ %45, %44 ]
%49 = phi i32 [ %42, %41 ], [ 0, %36 ], [ 0, %44 ]
%50 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 4, i64 %3
%51 = load i8, i8* %50
switch i8 %51, label %58 [
i8 1, label %55
i8 2, label %52
]
52: ; preds = %47
%53 = add nsw i32 %49, 1
%54 = icmp sgt i32 %49, 2
br i1 %54, label %74, label %58
55: ; preds = %47
%56 = add nsw i32 %48, 1
%57 = icmp sgt i32 %48, 2
br i1 %57, label %74, label %58
58: ; preds = %55, %52, %47
%59 = phi i32 [ 0, %52 ], [ 0, %47 ], [ %56, %55 ]
%60 = phi i32 [ %53, %52 ], [ 0, %47 ], [ 0, %55 ]
%61 = getelementptr inbounds [6 x i8], [6 x i8]* %0, i64 5, i64 %3
%62 = load i8, i8* %61
switch i8 %62, label %69 [
i8 1, label %66
i8 2, label %63
]
63: ; preds = %58
%64 = add nsw i32 %60, 1
%65 = icmp sgt i32 %60, 2
br i1 %65, label %74, label %69
66: ; preds = %58
%67 = add nsw i32 %59, 1
%68 = icmp sgt i32 %59, 2
br i1 %68, label %74, label %69
69: ; preds = %66, %63, %58
%70 = phi i32 [ 0, %63 ], [ 0, %58 ], [ %67, %66 ]
%71 = phi i32 [ %64, %63 ], [ 0, %58 ], [ 0, %66 ]
%72 = add nuw nsw i64 %3, 1
%73 = icmp eq i64 %72, 6
br i1 %73, label %74, label %2
74: ; preds = %69, %11, %8, %19, %22, %30, %33, %41, %44, %52, %55, %63, %66
%75 = phi i8 [ 1, %8 ], [ 2, %11 ], [ 2, %19 ], [ 1, %22 ], [ 2, %30 ], [ 1, %33 ], [ 2, %41 ], [ 1, %44 ], [ 2, %52 ], [ 1, %55 ], [ 2, %63 ], [ 1, %66 ], [ 0, %69 ]
ret i8 %75
}