#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 abs(int);
int vacio_en_medio(char *ptablero, int fi, int ci, int ff, int cf) {
  register int i = 0;
  int inc = 0;
  if (fi == ff) {
    inc = (abs(cf - ci) == (cf - ci)) ? 1 : -1;
    for (i = ci + inc; i < cf || i > cf; i += inc)
      if (ptablero[fi * 8 + i] != ' ')
        return 0;
  }
  if (ci == cf) {
    inc = (abs(ff - fi) == (ff - fi)) ? 1 : -1;
    for (i = fi + inc; i < ff || i > ff; i += inc)
      if (ptablero[i * 8 + ci] != ' ')
        return 0;
  }
  if (fi != ff && ci != cf) {
    int lim = abs(ff - fi), mul1 = (lim == (ff - fi)) ? 1 : -1,
        mul2 = (abs(cf - ci) == (cf - ci)) ? 1 : -1;
    for (i = 1; i < lim; i++)
      if (ptablero[(fi + i * mul1) * 8 + ci + i * mul2] != ' ')
        return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<vacio_en_medio>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    11df <vacio_en_medio+0xcf>
mov    -0x20(%rbp),%edi
sub    -0x18(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%esi
sub    -0x18(%rbp),%esi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
mov    $0x1,%al
cmp    -0x20(%rbp),%ecx
mov    %al,-0x35(%rbp)
jl     118e <vacio_en_medio+0x7e>
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
setg   %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    119e <vacio_en_medio+0x8e>
jmp    11da <vacio_en_medio+0xca>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x3,%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     11c7 <vacio_en_medio+0xb7>
movl   $0x0,-0x4(%rbp)
jmp    135a <vacio_en_medio+0x24a>
jmp    11cc <vacio_en_medio+0xbc>
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1171 <vacio_en_medio+0x61>
jmp    11df <vacio_en_medio+0xcf>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1287 <vacio_en_medio+0x177>
mov    -0x1c(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,%edx
mov    -0x1c(%rbp),%esi
sub    -0x14(%rbp),%esi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
mov    $0x1,%al
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x36(%rbp)
jl     1236 <vacio_en_medio+0x126>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setg   %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
test   $0x1,%al
jne    1246 <vacio_en_medio+0x136>
jmp    1282 <vacio_en_medio+0x172>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x3,%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     126f <vacio_en_medio+0x15f>
movl   $0x0,-0x4(%rbp)
jmp    135a <vacio_en_medio+0x24a>
jmp    1274 <vacio_en_medio+0x164>
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1219 <vacio_en_medio+0x109>
jmp    1287 <vacio_en_medio+0x177>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1353 <vacio_en_medio+0x243>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1353 <vacio_en_medio+0x243>
mov    -0x1c(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%edx
mov    -0x1c(%rbp),%esi
sub    -0x14(%rbp),%esi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%edi
sub    -0x18(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,%edx
mov    -0x20(%rbp),%esi
sub    -0x18(%rbp),%esi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %esi,%edx
cmove  %ecx,%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    134e <vacio_en_medio+0x23e>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    -0x24(%rbp),%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
shl    $0x3,%ecx
add    -0x18(%rbp),%ecx
mov    -0x24(%rbp),%edx
imul   -0x34(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     133b <vacio_en_medio+0x22b>
movl   $0x0,-0x4(%rbp)
jmp    135a <vacio_en_medio+0x24a>
jmp    1340 <vacio_en_medio+0x230>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12f4 <vacio_en_medio+0x1e4>
jmp    1353 <vacio_en_medio+0x243>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vacio_en_medio>:
push   %rbp
push   %r14
push   %rbx
mov    %ecx,%r9d
sub    %esi,%r9d
jne    1161 <vacio_en_medio+0x61>
mov    %r8d,%eax
sub    %edx,%eax
mov    %eax,%ebx
neg    %ebx
cmovs  %eax,%ebx
xor    %r10d,%r10d
cmp    %eax,%ebx
sete   %r10b
lea    (%rdx,%r10,2),%ebx
add    $0xffffffff,%ebx
cmp    %r8d,%ebx
je     1161 <vacio_en_medio+0x61>
add    %r10d,%r10d
add    $0xffffffff,%r10d
lea    0x0(,%rcx,8),%eax
movslq %ebx,%r11
movslq %r10d,%r10
cltq
add    %r11,%rax
add    %rdi,%rax
mov    %r8d,%r11d
sub    %ebx,%r11d
nop
cmpb   $0x20,(%rax)
jne    1234 <vacio_en_medio+0x134>
add    %r10,%rax
sub    %r10d,%r11d
jne    1150 <vacio_en_medio+0x50>
cmp    %edx,%r8d
jne    11c1 <vacio_en_medio+0xc1>
mov    %r9d,%eax
neg    %eax
cmovs  %r9d,%eax
xor    %ebx,%ebx
cmp    %r9d,%eax
sete   %bl
lea    (%rsi,%rbx,2),%r14d
add    $0xffffffff,%r14d
mov    $0x1,%eax
cmp    %ecx,%r14d
je     1236 <vacio_en_medio+0x136>
lea    (%rbx,%rbx,1),%r9d
add    $0xffffffff,%r9d
lea    (%r8,%r14,8),%eax
lea    0x0(,%r9,8),%r10d
mov    %ecx,%r11d
sub    %r14d,%r11d
nopw   0x0(%rax,%rax,1)
movslq %eax,%rbx
cmpb   $0x20,(%rdi,%rbx,1)
jne    1234 <vacio_en_medio+0x134>
add    %r10d,%eax
sub    %r9d,%r11d
jne    11b0 <vacio_en_medio+0xb0>
mov    $0x1,%eax
sub    %esi,%ecx
je     1236 <vacio_en_medio+0x136>
sub    %edx,%r8d
je     1236 <vacio_en_medio+0x136>
mov    %ecx,%r9d
neg    %r9d
cmovs  %ecx,%r9d
mov    %r8d,%r10d
neg    %r10d
cmovs  %r8d,%r10d
cmp    $0x2,%r9d
jb     1236 <vacio_en_medio+0x136>
mov    $0x1,%ebp
mov    $0xffffffff,%r11d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %ecx,%r9d
mov    %r11d,%ebx
cmove  %ebp,%ebx
add    %esi,%ebx
cmp    %r8d,%r10d
mov    %r11d,%eax
cmove  %ebp,%eax
add    %edx,%eax
lea    (%rax,%rbx,8),%eax
cltq
cmpb   $0x20,(%rdi,%rax,1)
jne    1234 <vacio_en_medio+0x134>
add    $0x1,%ebp
add    $0xffffffff,%r11d
cmp    %ebp,%r9d
jne    1200 <vacio_en_medio+0x100>
mov    $0x1,%eax
jmp    1236 <vacio_en_medio+0x136>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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