int check_vertical(int x, int y, int **tab) {
  int i;
  int counter;
  int player;
  counter = 0;
  i = 0;
  player = tab[y][x];
  while (i < 3 && tab[y][x] > -1 && y > 0) {
    y--;
    i++;
  }
  i = 0;
  while (i < 7 && x >= 0 && tab[y][x] > -1 && counter < 4) {
    i++;
    if (tab[y++][x] == player)
      counter++;
    else
      counter = 0;
  }
  if (counter == 4)
    return (player);
  return (0);
}


x86 assembly (clang, -O0):
<check_vertical>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
xor    %eax,%eax
cmpl   $0x3,-0x1c(%rbp)
mov    %al,-0x25(%rbp)
jge    116a <check_vertical+0x6a>
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
movslq -0x8(%rbp),%rdx
xor    %eax,%eax
cmpl   $0xffffffff,(%rcx,%rdx,4)
mov    %al,-0x25(%rbp)
jle    116a <check_vertical+0x6a>
cmpl   $0x0,-0xc(%rbp)
setg   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    117a <check_vertical+0x7a>
jmp    1191 <check_vertical+0x91>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1132 <check_vertical+0x32>
movl   $0x0,-0x1c(%rbp)
xor    %eax,%eax
cmpl   $0x7,-0x1c(%rbp)
mov    %al,-0x26(%rbp)
jge    11df <check_vertical+0xdf>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x26(%rbp)
jl     11df <check_vertical+0xdf>
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
movslq -0x8(%rbp),%rdx
xor    %eax,%eax
cmpl   $0xffffffff,(%rcx,%rdx,4)
mov    %al,-0x26(%rbp)
jle    11df <check_vertical+0xdf>
cmpl   $0x4,-0x20(%rbp)
setl   %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
test   $0x1,%al
jne    11ef <check_vertical+0xef>
jmp    1238 <check_vertical+0x138>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0xc(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jne    122c <check_vertical+0x12c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1233 <check_vertical+0x133>
movl   $0x0,-0x20(%rbp)
jmp    1198 <check_vertical+0x98>
cmpl   $0x4,-0x20(%rbp)
jne    124d <check_vertical+0x14d>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1254 <check_vertical+0x154>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_vertical>:
movslq %esi,%rcx
mov    (%rdx,%rcx,8),%rax
movslq %edi,%r9
mov    (%rax,%r9,4),%r8d
test   %r8d,%r8d
js     1154 <check_vertical+0x54>
test   %esi,%esi
jle    123b <check_vertical+0x13b>
lea    -0x1(%rcx),%r10
mov    -0x8(%rdx,%rcx,8),%rax
cmpl   $0x0,(%rax,%r9,4)
js     1157 <check_vertical+0x57>
cmp    $0x2,%esi
jb     1157 <check_vertical+0x57>
lea    -0x3(%rcx),%r10d
mov    -0x10(%rdx,%rcx,8),%rax
add    $0xfffffffffffffffe,%rcx
cmp    $0x3,%esi
cmovb  %ecx,%r10d
cmpl   $0x0,(%rax,%r9,4)
cmovs  %ecx,%r10d
test   %edi,%edi
jns    115b <check_vertical+0x5b>
xor    %eax,%eax
ret
mov    %esi,%r10d
test   %edi,%edi
js     1151 <check_vertical+0x51>
movslq %r10d,%r10
mov    (%rdx,%r10,8),%rax
mov    (%rax,%r9,4),%ecx
xor    %eax,%eax
mov    $0x0,%esi
test   %ecx,%ecx
js     1252 <check_vertical+0x152>
xor    %esi,%esi
cmp    %r8d,%ecx
sete   %r11b
mov    0x8(%rdx,%r10,8),%rdi
mov    (%rdi,%r9,4),%edi
test   %edi,%edi
js     124b <check_vertical+0x14b>
xor    %esi,%esi
cmp    %r8d,%ecx
sete   %sil
add    $0x1,%esi
xor    %ecx,%ecx
cmp    %r8d,%edi
cmovne %ecx,%esi
mov    0x10(%rdx,%r10,8),%rdi
mov    (%rdi,%r9,4),%edi
test   %edi,%edi
js     1252 <check_vertical+0x152>
add    $0x1,%esi
cmp    %r8d,%edi
cmove  %esi,%ecx
mov    0x18(%rdx,%r10,8),%rsi
mov    (%rsi,%r9,4),%edi
test   %edi,%edi
js     1250 <check_vertical+0x150>
cmp    $0x3,%ecx
ja     1250 <check_vertical+0x150>
add    $0x1,%ecx
xor    %esi,%esi
cmp    %r8d,%edi
cmove  %ecx,%esi
mov    0x20(%rdx,%r10,8),%rcx
mov    (%rcx,%r9,4),%ecx
test   %ecx,%ecx
js     1252 <check_vertical+0x152>
cmp    $0x3,%esi
ja     1252 <check_vertical+0x152>
mov    %esi,%edi
add    $0x1,%edi
xor    %esi,%esi
cmp    %r8d,%ecx
cmove  %edi,%esi
mov    0x28(%rdx,%r10,8),%rcx
mov    (%rcx,%r9,4),%ecx
test   %ecx,%ecx
js     1252 <check_vertical+0x152>
cmp    $0x3,%esi
jg     1252 <check_vertical+0x152>
mov    %esi,%edi
add    $0x1,%edi
xor    %esi,%esi
cmp    %r8d,%ecx
cmove  %edi,%esi
mov    0x30(%rdx,%r10,8),%rcx
mov    (%rcx,%r9,4),%ecx
test   %ecx,%ecx
js     1252 <check_vertical+0x152>
cmp    $0x3,%esi
jg     1252 <check_vertical+0x152>
add    $0x1,%esi
xor    %edx,%edx
cmp    %r8d,%ecx
cmovne %edx,%esi
jmp    1252 <check_vertical+0x152>
mov    %esi,%r10d
test   %edi,%edi
jns    115b <check_vertical+0x5b>
jmp    1151 <check_vertical+0x51>
mov    %r11b,%sil
jmp    1252 <check_vertical+0x152>
mov    %ecx,%esi
cmp    $0x4,%esi
cmove  %r8d,%eax
ret

LLVM IR (-O0):
define i32 @check_vertical(i32 %0, i32 %1, i32** %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32**
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32** %2, i32*** %7
store i32 0, i32* %9
store i32 0, i32* %8
%11 = load i32**, i32*** %7
%12 = load i32, i32* %6
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i32*, i32** %11, i64 %13
%15 = load i32*, i32** %14
%16 = load i32, i32* %5
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
store i32 %19, i32* %10
br label %20
20: ; preds = %39, %3
%21 = load i32, i32* %8
%22 = icmp slt i32 %21, 3
br i1 %22, label %23, label %37
23: ; preds = %20
%24 = load i32**, i32*** %7
%25 = load i32, i32* %6
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32*, i32** %24, i64 %26
%28 = load i32*, i32** %27
%29 = load i32, i32* %5
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
%33 = icmp sgt i32 %32, -1
br i1 %33, label %34, label %37
34: ; preds = %23
%35 = load i32, i32* %6
%36 = icmp sgt i32 %35, 0
br label %37
37: ; preds = %34, %23, %20
%38 = phi i1 [ false, %23 ], [ false, %20 ], [ %36, %34 ]
br i1 %38, label %39, label %44
39: ; preds = %37
%40 = load i32, i32* %6
%41 = add nsw i32 %40, -1
store i32 %41, i32* %6
%42 = load i32, i32* %8
%43 = add nsw i32 %42, 1
store i32 %43, i32* %8
br label %20
44: ; preds = %37
store i32 0, i32* %8
br label %45
45: ; preds = %86, %44
%46 = load i32, i32* %8
%47 = icmp slt i32 %46, 7
br i1 %47, label %48, label %65
48: ; preds = %45
%49 = load i32, i32* %5
%50 = icmp sge i32 %49, 0
br i1 %50, label %51, label %65
51: ; preds = %48
%52 = load i32**, i32*** %7
%53 = load i32, i32* %6
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32*, i32** %52, i64 %54
%56 = load i32*, i32** %55
%57 = load i32, i32* %5
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %56, i64 %58
%60 = load i32, i32* %59
%61 = icmp sgt i32 %60, -1
br i1 %61, label %62, label %65
62: ; preds = %51
%63 = load i32, i32* %9
%64 = icmp slt i32 %63, 4
br label %65
65: ; preds = %62, %51, %48, %45
%66 = phi i1 [ false, %51 ], [ false, %48 ], [ false, %45 ], [ %64, %62 ]
br i1 %66, label %67, label %87
67: ; preds = %65
%68 = load i32, i32* %8
%69 = add nsw i32 %68, 1
store i32 %69, i32* %8
%70 = load i32**, i32*** %7
%71 = load i32, i32* %6
%72 = add nsw i32 %71, 1
store i32 %72, i32* %6
%73 = sext i32 %71 to i64
%74 = getelementptr inbounds i32*, i32** %70, i64 %73
%75 = load i32*, i32** %74
%76 = load i32, i32* %5
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
%79 = load i32, i32* %78
%80 = load i32, i32* %10
%81 = icmp eq i32 %79, %80
br i1 %81, label %82, label %85
82: ; preds = %67
%83 = load i32, i32* %9
%84 = add nsw i32 %83, 1
store i32 %84, i32* %9
br label %86
85: ; preds = %67
store i32 0, i32* %9
br label %86
86: ; preds = %85, %82
br label %45
87: ; preds = %65
%88 = load i32, i32* %9
%89 = icmp eq i32 %88, 4
br i1 %89, label %90, label %92
90: ; preds = %87
%91 = load i32, i32* %10
store i32 %91, i32* %4
br label %93
92: ; preds = %87
store i32 0, i32* %4
br label %93
93: ; preds = %92, %90
%94 = load i32, i32* %4
ret i32 %94
}

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