int makes_safe_go(float *b, int *lib, int p, int r, int c) {
  if (r < 0 || r >= 19 || c < 0 || c >= 19)
    return 0;
  if (b[r * 19 + c] == -p) {
    if (lib[r * 19 + c] > 1)
      return 0;
    else
      return 1;
  }
  if (b[r * 19 + c] == 0)
    return 1;
  if (lib[r * 19 + c] > 1)
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<makes_safe_go>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     113e <makes_safe_go+0x3e>
cmpl   $0x13,-0x20(%rbp)
jge    113e <makes_safe_go+0x3e>
cmpl   $0x0,-0x24(%rbp)
jl     113e <makes_safe_go+0x3e>
cmpl   $0x13,-0x24(%rbp)
jl     114a <makes_safe_go+0x4a>
movl   $0x0,-0x4(%rbp)
jmp    1201 <makes_safe_go+0x101>
mov    -0x10(%rbp),%rax
imul   $0x13,-0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
xor    %eax,%eax
sub    -0x1c(%rbp),%eax
cvtsi2ss %eax,%xmm1
ucomiss %xmm1,%xmm0
jne    11a5 <makes_safe_go+0xa5>
jp     11a5 <makes_safe_go+0xa5>
mov    -0x18(%rbp),%rax
imul   $0x13,-0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
jle    1199 <makes_safe_go+0x99>
movl   $0x0,-0x4(%rbp)
jmp    1201 <makes_safe_go+0x101>
movl   $0x1,-0x4(%rbp)
jmp    1201 <makes_safe_go+0x101>
mov    -0x10(%rbp),%rax
imul   $0x13,-0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    11d6 <makes_safe_go+0xd6>
jp     11d6 <makes_safe_go+0xd6>
movl   $0x1,-0x4(%rbp)
jmp    1201 <makes_safe_go+0x101>
mov    -0x18(%rbp),%rax
imul   $0x13,-0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
jle    11fa <makes_safe_go+0xfa>
movl   $0x1,-0x4(%rbp)
jmp    1201 <makes_safe_go+0x101>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<makes_safe_go>:
xor    %eax,%eax
cmp    $0x12,%ecx
ja     113f <makes_safe_go+0x3f>
cmp    $0x12,%r8d
ja     113f <makes_safe_go+0x3f>
lea    (%rcx,%rcx,8),%eax
lea    (%rcx,%rax,2),%ecx
neg    %edx
cvtsi2ss %edx,%xmm1
add    %r8d,%ecx
movss  (%rdi,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jne    1133 <makes_safe_go+0x33>
jp     1133 <makes_safe_go+0x33>
cmpl   $0x2,(%rsi,%rcx,4)
setl   %al
movzbl %al,%eax
ret
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1143 <makes_safe_go+0x43>
jp     1143 <makes_safe_go+0x43>
movzbl %al,%eax
ret
cmpl   $0x2,(%rsi,%rcx,4)
setge  %al
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @makes_safe_go(float* %0, i32* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca float*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store float* %0, float** %7
store i32* %1, i32** %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%12 = load i32, i32* %10
%13 = icmp slt i32 %12, 0
br i1 %13, label %23, label %14
14: ; preds = %5
%15 = load i32, i32* %10
%16 = icmp sge i32 %15, 19
br i1 %16, label %23, label %17
17: ; preds = %14
%18 = load i32, i32* %11
%19 = icmp slt i32 %18, 0
br i1 %19, label %23, label %20
20: ; preds = %17
%21 = load i32, i32* %11
%22 = icmp sge i32 %21, 19
br i1 %22, label %23, label %24
23: ; preds = %20, %17, %14, %5
store i32 0, i32* %6
br label %72
24: ; preds = %20
%25 = load float*, float** %7
%26 = load i32, i32* %10
%27 = mul nsw i32 %26, 19
%28 = load i32, i32* %11
%29 = add nsw i32 %27, %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds float, float* %25, i64 %30
%32 = load float, float* %31
%33 = load i32, i32* %9
%34 = sub nsw i32 0, %33
%35 = sitofp i32 %34 to float
%36 = fcmp oeq float %32, %35
br i1 %36, label %37, label %49
37: ; preds = %24
%38 = load i32*, i32** %8
%39 = load i32, i32* %10
%40 = mul nsw i32 %39, 19
%41 = load i32, i32* %11
%42 = add nsw i32 %40, %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %38, i64 %43
%45 = load i32, i32* %44
%46 = icmp sgt i32 %45, 1
br i1 %46, label %47, label %48
47: ; preds = %37
store i32 0, i32* %6
br label %72
48: ; preds = %37
store i32 1, i32* %6
br label %72
49: ; preds = %24
%50 = load float*, float** %7
%51 = load i32, i32* %10
%52 = mul nsw i32 %51, 19
%53 = load i32, i32* %11
%54 = add nsw i32 %52, %53
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %50, i64 %55
%57 = load float, float* %56
%58 = fcmp oeq float %57, 0.000000e+00
br i1 %58, label %59, label %60
59: ; preds = %49
store i32 1, i32* %6
br label %72
60: ; preds = %49
%61 = load i32*, i32** %8
%62 = load i32, i32* %10
%63 = mul nsw i32 %62, 19
%64 = load i32, i32* %11
%65 = add nsw i32 %63, %64
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %61, i64 %66
%68 = load i32, i32* %67
%69 = icmp sgt i32 %68, 1
br i1 %69, label %70, label %71
70: ; preds = %60
store i32 1, i32* %6
br label %72
71: ; preds = %60
store i32 0, i32* %6
br label %72
72: ; preds = %71, %70, %59, %48, %47, %23
%73 = load i32, i32* %6
ret i32 %73
}

LLVM IR (-O2):
define i32 @makes_safe_go(float* nocapture %0, i32* nocapture %1, i32 %2, i32 %3, i32 %4) {
%6 = icmp ugt i32 %3, 18
%7 = icmp ugt i32 %4, 18
%8 = or i1 %6, %7
br i1 %8, label %28, label %9
9: ; preds = %5
%10 = mul nuw nsw i32 %3, 19
%11 = add nuw nsw i32 %10, %4
%12 = zext i32 %11 to i64
%13 = getelementptr inbounds float, float* %0, i64 %12
%14 = load float, float* %13
%15 = sub nsw i32 0, %2
%16 = sitofp i32 %15 to float
%17 = fcmp oeq float %14, %16
br i1 %17, label %18, label %22
18: ; preds = %9
%19 = getelementptr inbounds i32, i32* %1, i64 %12
%20 = load i32, i32* %19
%21 = icmp slt i32 %20, 2
br label %28
22: ; preds = %9
%23 = fcmp oeq float %14, 0.000000e+00
br i1 %23, label %28, label %24
24: ; preds = %22
%25 = getelementptr inbounds i32, i32* %1, i64 %12
%26 = load i32, i32* %25
%27 = icmp sgt i32 %26, 1
br label %28
28: ; preds = %24, %22, %18, %5
%29 = phi i1 [ false, %5 ], [ %21, %18 ], [ true, %22 ], [ %27, %24 ]
%30 = zext i1 %29 to i32
ret i32 %30
}