#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 */
scalar_t__ abs(int);
int getcol(int);
int feasible(int row, int col) {
  int i, j;
  for (i = 0; i < 8; i++) {
    j = getcol(i);
    if (col == j || abs(row - i) == abs(col - j))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<feasible>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x8,-0x10(%rbp)
jge    119f <feasible+0x7f>
mov    -0x10(%rbp),%edi
call   1040 <getcol@plt>
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     1180 <feasible+0x60>
mov    -0x8(%rbp),%edi
sub    -0x10(%rbp),%edi
call   1030 <abs@plt>
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <abs@plt>
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
cmp    %rcx,%rax
jne    118c <feasible+0x6c>
movl   $0x0,-0x4(%rbp)
jmp    11a6 <feasible+0x86>
jmp    1191 <feasible+0x71>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1135 <feasible+0x15>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<feasible>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r13d
mov    %edi,%r14d
xor    %r12d,%r12d
xor    %edi,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
mov    %r14d,%edi
call   1030 <abs@plt>
mov    %rax,%rbp
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%rbp
je     12c2 <feasible+0x1a2>
mov    $0x1,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x1(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x2,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x2(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x3,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x3(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x4,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x4(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x5,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x5(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x6,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%ebx
lea    -0x6(%r14),%edi
call   1030 <abs@plt>
mov    %rax,%r15
mov    %r13d,%edi
sub    %ebx,%edi
call   1030 <abs@plt>
cmp    %rax,%r15
je     12c2 <feasible+0x1a2>
mov    $0x7,%edi
call   1040 <getcol@plt>
cmp    %r13d,%eax
je     12c2 <feasible+0x1a2>
mov    %eax,%r15d
add    $0xfffffff9,%r14d
mov    %r14d,%edi
call   1030 <abs@plt>
mov    %rax,%rbx
sub    %r15d,%r13d
mov    %r13d,%edi
call   1030 <abs@plt>
xor    %r12d,%r12d
cmp    %rax,%rbx
setne  %r12b
mov    %r12d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @feasible(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 0, i32* %6
br label %8
8: ; preds = %29, %2
%9 = load i32, i32* %6
%10 = icmp slt i32 %9, 8
br i1 %10, label %11, label %32
11: ; preds = %8
%12 = load i32, i32* %6
%13 = call i32 @getcol(i32 %12)
store i32 %13, i32* %7
%14 = load i32, i32* %5
%15 = load i32, i32* %7
%16 = icmp eq i32 %14, %15
br i1 %16, label %27, label %17
17: ; preds = %11
%18 = load i32, i32* %4
%19 = load i32, i32* %6
%20 = sub nsw i32 %18, %19
%21 = call i64 @abs(i32 %20)
%22 = load i32, i32* %5
%23 = load i32, i32* %7
%24 = sub nsw i32 %22, %23
%25 = call i64 @abs(i32 %24)
%26 = icmp eq i64 %21, %25
br i1 %26, label %27, label %28
27: ; preds = %17, %11
store i32 0, i32* %3
br label %33
28: ; preds = %17
br label %29
29: ; preds = %28
%30 = load i32, i32* %6
%31 = add nsw i32 %30, 1
store i32 %31, i32* %6
br label %8
32: ; preds = %8
store i32 1, i32* %3
br label %33
33: ; preds = %32, %27
%34 = load i32, i32* %3
ret i32 %34
}

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