#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 */

/* Variables and functions */
int /*<<< orphan*/ printf(char *, char, int, ...);
int tower_check(int row, int col, char board[8][8]) {
  printf("row %i, col %i\n", row, col);
  for (int p = row - 1; p >= 0; p--) {
    if (board[p][col] != ' ') {
      printf("1. Te puedes comer la ficha %c de la posición %i, %i\n",
             board[p][col], p, col);
      p = -1;
    }
  }
  for (int p = row + 1; p < 8; p++) {
    if (board[p][col] != ' ') {
      printf("2. Te puedes comer la ficha %c de la posición %i, %i\n",
             board[p][col], p, col);
      p = 8;
    }
  }
  for (int p = col + 1; p < 8; p++) {
    if (board[row][p] != ' ') {
      printf("3. Te puedes comer la ficha %c de la posición %i, %i\n",
             board[row][p], row, p);
      p = 8;
    }
  }
  for (int p = col - 1; p >= 0; p--) {
    if (board[row][p] != ' ') {
      printf("4. Te puedes comer la ficha %c de la posición %i, %i\n",
             board[row][p], row, p);
      p = -1;
    }
  }
}


x86 assembly (clang, -O0):
<tower_check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%eax
mov    -0xc(%rbp),%edx
lea    0xed1(%rip),%rdi
movsbl %al,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     11b3 <tower_check+0xa3>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     11a0 <tower_check+0x90>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    -0x1c(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    0xe81(%rip),%rdi
movsbl %al,%esi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0xffffffff,-0x1c(%rbp)
jmp    11a5 <tower_check+0x95>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1142 <tower_check+0x32>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x8,-0x20(%rbp)
jge    122d <tower_check+0x11d>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     121a <tower_check+0x10a>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    -0x20(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    0xe3e(%rip),%rdi
movsbl %al,%esi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x8,-0x20(%rbp)
jmp    121f <tower_check+0x10f>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11bc <tower_check+0xac>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    12a7 <tower_check+0x197>
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     1294 <tower_check+0x184>
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    -0x8(%rbp),%edx
mov    -0x24(%rbp),%ecx
lea    0xdfb(%rip),%rdi
movsbl %al,%esi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x8,-0x24(%rbp)
jmp    1299 <tower_check+0x189>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1236 <tower_check+0x126>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     1321 <tower_check+0x211>
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     130e <tower_check+0x1fe>
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    -0x8(%rbp),%edx
mov    -0x28(%rbp),%ecx
lea    0xdb8(%rip),%rdi
movsbl %al,%esi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0xffffffff,-0x28(%rbp)
jmp    1313 <tower_check+0x203>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    12b0 <tower_check+0x1a0>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tower_check>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdx,%r15
mov    %esi,%ebx
mov    %edi,%r14d
movsbl %r14b,%esi
lea    0xed4(%rip),%rdi
mov    %ebx,%edx
xor    %eax,%eax
call   1030 <printf@plt>
movslq %ebx,%r12
test   %r14d,%r14d
jle    1185 <tower_check+0x75>
lea    -0x1(%r14),%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %edx,%eax
lea    (%r15,%rax,8),%rax
movzbl (%r12,%rax,1),%eax
cmp    $0x20,%al
jne    116c <tower_check+0x5c>
add    $0xffffffff,%edx
jb     1150 <tower_check+0x40>
cmp    $0x6,%r14d
jle    1185 <tower_check+0x75>
jmp    11cc <tower_check+0xbc>
movsbl %al,%esi
lea    0xe9a(%rip),%rdi
mov    %ebx,%ecx
xor    %eax,%eax
call   1030 <printf@plt>
cmp    $0x6,%r14d
jg     11cc <tower_check+0xbc>
lea    -0x1(%r14),%edx
lea    0x1(%r14),%eax
cltq
lea    (%r15,%rax,8),%rax
add    %r12,%rax
cs nopw 0x0(%rax,%rax,1)
movzbl (%rax),%ecx
cmp    $0x20,%cl
jne    11b6 <tower_check+0xa6>
add    $0x1,%edx
add    $0x8,%rax
cmp    $0x6,%edx
jl     11a0 <tower_check+0x90>
jmp    11cc <tower_check+0xbc>
add    $0x2,%edx
movsbl %cl,%esi
lea    0xe84(%rip),%rdi
mov    %ebx,%ecx
xor    %eax,%eax
call   1030 <printf@plt>
movslq %r14d,%r13
cmp    $0x6,%ebx
jg     1225 <tower_check+0x115>
lea    -0x1(%rbx),%ecx
lea    (%r15,%r13,8),%rax
add    %r12,%rax
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rax),%edx
cmp    $0x20,%dl
jne    120a <tower_check+0xfa>
add    $0x1,%ecx
add    $0x1,%rax
cmp    $0x6,%ecx
jl     11f0 <tower_check+0xe0>
test   %ebx,%ebx
jg     1225 <tower_check+0x115>
jmp    1258 <tower_check+0x148>
add    $0x2,%ecx
movsbl %dl,%esi
lea    0xe67(%rip),%rdi
mov    %r14d,%edx
xor    %eax,%eax
call   1030 <printf@plt>
test   %ebx,%ebx
jle    1258 <tower_check+0x148>
add    $0xffffffff,%ebx
lea    (%r15,%r13,8),%rax
nopl   0x0(%rax)
mov    %ebx,%ecx
movzbl (%rcx,%rax,1),%ecx
cmp    $0x20,%cl
jne    1242 <tower_check+0x132>
add    $0xffffffff,%ebx
jb     1230 <tower_check+0x120>
jmp    1258 <tower_check+0x148>
movsbl %cl,%esi
lea    0xe69(%rip),%rdi
mov    %r14d,%edx
mov    %ebx,%ecx
xor    %eax,%eax
call   1030 <printf@plt>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [16 x i8] c"row %i, col %i\0A\00"
@.str.1 = [55 x i8] c"1. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.2 = [55 x i8] c"2. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.3 = [55 x i8] c"3. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.4 = [55 x i8] c"4. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
define i32 @tower_check(i32 %0, i32 %1, [8 x i8]* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca [8 x i8]*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store [8 x i8]* %2, [8 x i8]** %7
%12 = load i32, i32* %5
%13 = trunc i32 %12 to i8
%14 = load i32, i32* %6
%15 = call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i8 signext %13, i32 %14)
%16 = load i32, i32* %5
%17 = sub nsw i32 %16, 1
store i32 %17, i32* %8
br label %18
18: ; preds = %45, %3
%19 = load i32, i32* %8
%20 = icmp sge i32 %19, 0
br i1 %20, label %21, label %48
21: ; preds = %18
%22 = load [8 x i8]*, [8 x i8]** %7
%23 = load i32, i32* %8
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [8 x i8], [8 x i8]* %22, i64 %24
%26 = load i32, i32* %6
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [8 x i8], [8 x i8]* %25, i64 0, i64 %27
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp ne i32 %30, 32
br i1 %31, label %32, label %44
32: ; preds = %21
%33 = load [8 x i8]*, [8 x i8]** %7
%34 = load i32, i32* %8
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [8 x i8], [8 x i8]* %33, i64 %35
%37 = load i32, i32* %6
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [8 x i8], [8 x i8]* %36, i64 0, i64 %38
%40 = load i8, i8* %39
%41 = load i32, i32* %8
%42 = load i32, i32* %6
%43 = call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.1, i64 0, i64 0), i8 signext %40, i32 %41, i32 %42)
store i32 -1, i32* %8
br label %44
44: ; preds = %32, %21
br label %45
45: ; preds = %44
%46 = load i32, i32* %8
%47 = add nsw i32 %46, -1
store i32 %47, i32* %8
br label %18
48: ; preds = %18
%49 = load i32, i32* %5
%50 = add nsw i32 %49, 1
store i32 %50, i32* %9
br label %51
51: ; preds = %78, %48
%52 = load i32, i32* %9
%53 = icmp slt i32 %52, 8
br i1 %53, label %54, label %81
54: ; preds = %51
%55 = load [8 x i8]*, [8 x i8]** %7
%56 = load i32, i32* %9
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [8 x i8], [8 x i8]* %55, i64 %57
%59 = load i32, i32* %6
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [8 x i8], [8 x i8]* %58, i64 0, i64 %60
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp ne i32 %63, 32
br i1 %64, label %65, label %77
65: ; preds = %54
%66 = load [8 x i8]*, [8 x i8]** %7
%67 = load i32, i32* %9
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [8 x i8], [8 x i8]* %66, i64 %68
%70 = load i32, i32* %6
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [8 x i8], [8 x i8]* %69, i64 0, i64 %71
%73 = load i8, i8* %72
%74 = load i32, i32* %9
%75 = load i32, i32* %6
%76 = call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.2, i64 0, i64 0), i8 signext %73, i32 %74, i32 %75)
store i32 8, i32* %9
br label %77
77: ; preds = %65, %54
br label %78
78: ; preds = %77
%79 = load i32, i32* %9
%80 = add nsw i32 %79, 1
store i32 %80, i32* %9
br label %51
81: ; preds = %51
%82 = load i32, i32* %6
%83 = add nsw i32 %82, 1
store i32 %83, i32* %10
br label %84
84: ; preds = %111, %81
%85 = load i32, i32* %10
%86 = icmp slt i32 %85, 8
br i1 %86, label %87, label %114
87: ; preds = %84
%88 = load [8 x i8]*, [8 x i8]** %7
%89 = load i32, i32* %5
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [8 x i8], [8 x i8]* %88, i64 %90
%92 = load i32, i32* %10
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [8 x i8], [8 x i8]* %91, i64 0, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp ne i32 %96, 32
br i1 %97, label %98, label %110
98: ; preds = %87
%99 = load [8 x i8]*, [8 x i8]** %7
%100 = load i32, i32* %5
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [8 x i8], [8 x i8]* %99, i64 %101
%103 = load i32, i32* %10
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds [8 x i8], [8 x i8]* %102, i64 0, i64 %104
%106 = load i8, i8* %105
%107 = load i32, i32* %5
%108 = load i32, i32* %10
%109 = call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.3, i64 0, i64 0), i8 signext %106, i32 %107, i32 %108)
store i32 8, i32* %10
br label %110
110: ; preds = %98, %87
br label %111
111: ; preds = %110
%112 = load i32, i32* %10
%113 = add nsw i32 %112, 1
store i32 %113, i32* %10
br label %84
114: ; preds = %84
%115 = load i32, i32* %6
%116 = sub nsw i32 %115, 1
store i32 %116, i32* %11
br label %117
117: ; preds = %144, %114
%118 = load i32, i32* %11
%119 = icmp sge i32 %118, 0
br i1 %119, label %120, label %147
120: ; preds = %117
%121 = load [8 x i8]*, [8 x i8]** %7
%122 = load i32, i32* %5
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds [8 x i8], [8 x i8]* %121, i64 %123
%125 = load i32, i32* %11
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds [8 x i8], [8 x i8]* %124, i64 0, i64 %126
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp ne i32 %129, 32
br i1 %130, label %131, label %143
131: ; preds = %120
%132 = load [8 x i8]*, [8 x i8]** %7
%133 = load i32, i32* %5
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds [8 x i8], [8 x i8]* %132, i64 %134
%136 = load i32, i32* %11
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [8 x i8], [8 x i8]* %135, i64 0, i64 %137
%139 = load i8, i8* %138
%140 = load i32, i32* %5
%141 = load i32, i32* %11
%142 = call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.4, i64 0, i64 0), i8 signext %139, i32 %140, i32 %141)
store i32 -1, i32* %11
br label %143
143: ; preds = %131, %120
br label %144
144: ; preds = %143
%145 = load i32, i32* %11
%146 = add nsw i32 %145, -1
store i32 %146, i32* %11
br label %117
147: ; preds = %117
%148 = load i32, i32* %4
ret i32 %148
}

LLVM IR (-O2):
@.str = [16 x i8] c"row %i, col %i\0A\00"
@.str.1 = [55 x i8] c"1. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.2 = [55 x i8] c"2. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.3 = [55 x i8] c"3. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
@.str.4 = [55 x i8] c"4. Te puedes comer la ficha %c de la posici\C3\B3n %i, %i\0A\00"
define i32 @tower_check(i32 %0, i32 %1, [8 x i8]* nocapture %2) {
%4 = trunc i32 %0 to i8
%5 = tail call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i8 signext %4, i32 %1)
%6 = icmp sgt i32 %0, 0
br i1 %6, label %7, label %11
7: ; preds = %3
%8 = sext i32 %1 to i64
br label %13
9: ; preds = %22, %20
%10 = icmp slt i32 %0, 7
br i1 %10, label %11, label %24
11: ; preds = %3, %9
%12 = sext i32 %1 to i64
br label %28
13: ; preds = %7, %22
%14 = phi i32 [ %0, %7 ], [ %15, %22 ]
%15 = add nsw i32 %14, -1
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 %16, i64 %8
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 32
br i1 %19, label %22, label %20
20: ; preds = %13
%21 = tail call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.1, i64 0, i64 0), i8 signext %18, i32 %15, i32 %1)
br label %9
22: ; preds = %13
%23 = icmp eq i32 %15, 0
br i1 %23, label %9, label %13
24: ; preds = %37, %35, %9
%25 = icmp slt i32 %1, 7
br i1 %25, label %26, label %41
26: ; preds = %24
%27 = sext i32 %0 to i64
br label %43
28: ; preds = %11, %37
%29 = phi i32 [ %0, %11 ], [ %30, %37 ]
%30 = add nsw i32 %29, 1
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 %31, i64 %12
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 32
br i1 %34, label %37, label %35
35: ; preds = %28
%36 = tail call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.2, i64 0, i64 0), i8 signext %33, i32 %30, i32 %1)
br label %24
37: ; preds = %28
%38 = icmp slt i32 %29, 6
br i1 %38, label %28, label %24
39: ; preds = %52, %50
%40 = icmp sgt i32 %1, 0
br i1 %40, label %41, label %54
41: ; preds = %24, %39
%42 = sext i32 %0 to i64
br label %55
43: ; preds = %26, %52
%44 = phi i32 [ %1, %26 ], [ %45, %52 ]
%45 = add nsw i32 %44, 1
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 %27, i64 %46
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 32
br i1 %49, label %52, label %50
50: ; preds = %43
%51 = tail call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.3, i64 0, i64 0), i8 signext %48, i32 %0, i32 %45)
br label %39
52: ; preds = %43
%53 = icmp slt i32 %44, 6
br i1 %53, label %43, label %39
54: ; preds = %64, %62, %39
ret i32 undef
55: ; preds = %41, %64
%56 = phi i32 [ %1, %41 ], [ %57, %64 ]
%57 = add nsw i32 %56, -1
%58 = zext i32 %57 to i64
%59 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 %42, i64 %58
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 32
br i1 %61, label %64, label %62
62: ; preds = %55
%63 = tail call i32 (i8*, i8, i32, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.4, i64 0, i64 0), i8 signext %60, i32 %0, i32 %57)
br label %54
64: ; preds = %55
%65 = icmp eq i32 %57, 0
br i1 %65, label %54, label %55
}