#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__ contains(char *, char, char);
int check_diagonals(char *board) {
  char i, x, y;
  for (i = 0; i < 8; i++) {
    char counter = 0;
    x = 0;
    y = i;
    while (x < 8 && y < 8) {
      if (contains(board, x, y))
        counter++;
      if (counter > 1)
        return 0;
      x++;
      y++;
    }
    counter = 0;
    x = 0;
    y = i;
    while (x < 8 && y >= 0) {
      if (contains(board, x, y))
        counter++;
      if (counter > 1)
        return 0;
      x++;
      y--;
    }
    counter = 0;
    x = 7;
    y = i;
    while (x >= 0 && y >= 0) {
      if (contains(board, x, y))
        counter++;
      if (counter > 1)
        return 0;
      x--;
      y--;
    }
    counter = 0;
    x = 7;
    y = i;
    while (x >= 0 && y < 8) {
      if (contains(board, x, y))
        counter++;
      if (counter > 1)
        return 0;
      x--;
      y++;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_diagonals>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x8,%eax
jge    137f <check_diagonals+0x26f>
movb   $0x0,-0x14(%rbp)
movb   $0x0,-0x12(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x13(%rbp)
movsbl -0x12(%rbp),%ecx
xor    %eax,%eax
cmp    $0x8,%ecx
mov    %al,-0x15(%rbp)
jge    115a <check_diagonals+0x4a>
movsbl -0x13(%rbp),%eax
cmp    $0x8,%eax
setl   %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    116a <check_diagonals+0x5a>
jmp    11bd <check_diagonals+0xad>
mov    -0x10(%rbp),%rdi
mov    -0x12(%rbp),%al
movsbl %al,%esi
movsbl -0x13(%rbp),%edx
call   1030 <contains@plt>
cmp    $0x0,%rax
je     118f <check_diagonals+0x7f>
mov    -0x14(%rbp),%al
add    $0x1,%al
mov    %al,-0x14(%rbp)
movsbl -0x14(%rbp),%eax
cmp    $0x1,%eax
jle    11a8 <check_diagonals+0x98>
movl   $0x0,-0x4(%rbp)
jmp    1386 <check_diagonals+0x276>
mov    -0x12(%rbp),%al
add    $0x1,%al
mov    %al,-0x12(%rbp)
mov    -0x13(%rbp),%al
add    $0x1,%al
mov    %al,-0x13(%rbp)
jmp    113b <check_diagonals+0x2b>
movb   $0x0,-0x14(%rbp)
movb   $0x0,-0x12(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x13(%rbp)
movsbl -0x12(%rbp),%ecx
xor    %eax,%eax
cmp    $0x8,%ecx
mov    %al,-0x16(%rbp)
jge    11ea <check_diagonals+0xda>
movsbl -0x13(%rbp),%eax
cmp    $0x0,%eax
setge  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
test   $0x1,%al
jne    11fa <check_diagonals+0xea>
jmp    124d <check_diagonals+0x13d>
mov    -0x10(%rbp),%rdi
mov    -0x12(%rbp),%al
movsbl %al,%esi
movsbl -0x13(%rbp),%edx
call   1030 <contains@plt>
cmp    $0x0,%rax
je     121f <check_diagonals+0x10f>
mov    -0x14(%rbp),%al
add    $0x1,%al
mov    %al,-0x14(%rbp)
movsbl -0x14(%rbp),%eax
cmp    $0x1,%eax
jle    1238 <check_diagonals+0x128>
movl   $0x0,-0x4(%rbp)
jmp    1386 <check_diagonals+0x276>
mov    -0x12(%rbp),%al
add    $0x1,%al
mov    %al,-0x12(%rbp)
mov    -0x13(%rbp),%al
add    $0xff,%al
mov    %al,-0x13(%rbp)
jmp    11cb <check_diagonals+0xbb>
movb   $0x0,-0x14(%rbp)
movb   $0x7,-0x12(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x13(%rbp)
movsbl -0x12(%rbp),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x17(%rbp)
jl     127a <check_diagonals+0x16a>
movsbl -0x13(%rbp),%eax
cmp    $0x0,%eax
setge  %al
mov    %al,-0x17(%rbp)
mov    -0x17(%rbp),%al
test   $0x1,%al
jne    128a <check_diagonals+0x17a>
jmp    12dd <check_diagonals+0x1cd>
mov    -0x10(%rbp),%rdi
mov    -0x12(%rbp),%al
movsbl %al,%esi
movsbl -0x13(%rbp),%edx
call   1030 <contains@plt>
cmp    $0x0,%rax
je     12af <check_diagonals+0x19f>
mov    -0x14(%rbp),%al
add    $0x1,%al
mov    %al,-0x14(%rbp)
movsbl -0x14(%rbp),%eax
cmp    $0x1,%eax
jle    12c8 <check_diagonals+0x1b8>
movl   $0x0,-0x4(%rbp)
jmp    1386 <check_diagonals+0x276>
mov    -0x12(%rbp),%al
add    $0xff,%al
mov    %al,-0x12(%rbp)
mov    -0x13(%rbp),%al
add    $0xff,%al
mov    %al,-0x13(%rbp)
jmp    125b <check_diagonals+0x14b>
movb   $0x0,-0x14(%rbp)
movb   $0x7,-0x12(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x13(%rbp)
movsbl -0x12(%rbp),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x18(%rbp)
jl     130a <check_diagonals+0x1fa>
movsbl -0x13(%rbp),%eax
cmp    $0x8,%eax
setl   %al
mov    %al,-0x18(%rbp)
mov    -0x18(%rbp),%al
test   $0x1,%al
jne    131a <check_diagonals+0x20a>
jmp    136d <check_diagonals+0x25d>
mov    -0x10(%rbp),%rdi
mov    -0x12(%rbp),%al
movsbl %al,%esi
movsbl -0x13(%rbp),%edx
call   1030 <contains@plt>
cmp    $0x0,%rax
je     133f <check_diagonals+0x22f>
mov    -0x14(%rbp),%al
add    $0x1,%al
mov    %al,-0x14(%rbp)
movsbl -0x14(%rbp),%eax
cmp    $0x1,%eax
jle    1358 <check_diagonals+0x248>
movl   $0x0,-0x4(%rbp)
jmp    1386 <check_diagonals+0x276>
mov    -0x12(%rbp),%al
add    $0xff,%al
mov    %al,-0x12(%rbp)
mov    -0x13(%rbp),%al
add    $0x1,%al
mov    %al,-0x13(%rbp)
jmp    12eb <check_diagonals+0x1db>
jmp    1372 <check_diagonals+0x262>
mov    -0x11(%rbp),%al
add    $0x1,%al
mov    %al,-0x11(%rbp)
jmp    1120 <check_diagonals+0x10>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_diagonals>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r15
xor    %r12d,%r12d
xor    %r14d,%r14d
xor    %ebx,%ebx
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
lea    (%r12,%rbp,1),%eax
movsbl %al,%edx
movsbl %bpl,%esi
mov    %r15,%rdi
call   1030 <contains@plt>
cmp    $0x1,%rax
sbb    $0xff,%bl
cmp    $0x1,%bl
ja     122d <check_diagonals+0x11d>
add    $0x1,%bpl
lea    (%r12,%rbp,1),%eax
cmp    $0x8,%al
jne    1130 <check_diagonals+0x20>
xor    %r14d,%r14d
xor    %ebx,%ebx
mov    %r12d,%r13d
xor    %ebp,%ebp
nopl   0x0(%rax)
movsbl %bpl,%esi
movsbl %r13b,%edx
mov    %r15,%rdi
call   1030 <contains@plt>
cmp    $0x1,%rax
sbb    $0xff,%bl
cmp    $0x1,%bl
ja     122d <check_diagonals+0x11d>
add    $0x1,%bpl
add    $0xff,%r13b
jb     1170 <check_diagonals+0x60>
mov    $0x7,%bl
xor    %r14d,%r14d
xor    %ebp,%ebp
mov    %r12d,%r13d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl %bl,%esi
movsbl %r13b,%edx
mov    %r15,%rdi
call   1030 <contains@plt>
cmp    $0x1,%rax
sbb    $0xff,%bpl
cmp    $0x1,%bpl
ja     122d <check_diagonals+0x11d>
add    $0xff,%bl
jae    11de <check_diagonals+0xce>
lea    -0x1(%r13),%eax
test   %r13b,%r13b
mov    %eax,%r13d
jg     11b0 <check_diagonals+0xa0>
mov    $0x7,%r13b
xor    %r14d,%r14d
xor    %ebp,%ebp
mov    %r12d,%ebx
nopl   0x0(%rax)
movsbl %r13b,%esi
movsbl %bl,%edx
mov    %r15,%rdi
call   1030 <contains@plt>
cmp    $0x1,%rax
sbb    $0xff,%bpl
cmp    $0x1,%bpl
ja     122d <check_diagonals+0x11d>
add    $0xff,%r13b
add    $0x1,%bl
cmp    $0x8,%bl
jne    11f0 <check_diagonals+0xe0>
add    $0x1,%r12b
cmp    $0x8,%r12b
jne    1121 <check_diagonals+0x11>
mov    $0x1,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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