int notdone(char *board) {
  return (board[1] || board[2] || board[3] || board[4] || board[5] ||
          board[6]) &&
         (board[8] || board[9] || board[10] || board[11] || board[12] ||
          board[13]);
}


x86 assembly (clang, -O0):
<notdone>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1173 <notdone+0x73>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x0,%eax
jne    1173 <notdone+0x73>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x0,%eax
jne    1173 <notdone+0x73>
mov    -0x8(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x0,%eax
jne    1173 <notdone+0x73>
mov    -0x8(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x0,%eax
jne    1173 <notdone+0x73>
mov    -0x8(%rbp),%rax
movsbl 0x6(%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x9(%rbp)
je     11f8 <notdone+0xf8>
mov    -0x8(%rbp),%rax
movsbl 0x8(%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    11f2 <notdone+0xf2>
mov    -0x8(%rbp),%rax
movsbl 0x9(%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    11f2 <notdone+0xf2>
mov    -0x8(%rbp),%rax
movsbl 0xa(%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    11f2 <notdone+0xf2>
mov    -0x8(%rbp),%rax
movsbl 0xb(%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    11f2 <notdone+0xf2>
mov    -0x8(%rbp),%rax
movsbl 0xc(%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    11f2 <notdone+0xf2>
mov    -0x8(%rbp),%rax
movsbl 0xd(%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0xa(%rbp)
mov    -0xa(%rbp),%al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<notdone>:
cmpb   $0x0,0x1(%rdi)
jne    1124 <notdone+0x24>
cmpb   $0x0,0x2(%rdi)
jne    1124 <notdone+0x24>
cmpb   $0x0,0x3(%rdi)
jne    1124 <notdone+0x24>
cmpb   $0x0,0x4(%rdi)
jne    1124 <notdone+0x24>
cmpb   $0x0,0x5(%rdi)
jne    1124 <notdone+0x24>
cmpb   $0x0,0x6(%rdi)
je     1152 <notdone+0x52>
mov    $0x1,%eax
cmpb   $0x0,0x8(%rdi)
je     1130 <notdone+0x30>
ret
cmpb   $0x0,0x9(%rdi)
jne    112f <notdone+0x2f>
cmpb   $0x0,0xa(%rdi)
jne    112f <notdone+0x2f>
cmpb   $0x0,0xb(%rdi)
jne    112f <notdone+0x2f>
cmpb   $0x0,0xc(%rdi)
jne    112f <notdone+0x2f>
xor    %eax,%eax
cmpb   $0x0,0xd(%rdi)
setne  %al
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @notdone(i8* nocapture %0) {
%2 = getelementptr inbounds i8, i8* %0, i64 1
%3 = load i8, i8* %2
%4 = icmp eq i8 %3, 0
br i1 %4, label %5, label %25
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 2
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 0
br i1 %8, label %9, label %25
9: ; preds = %5
%10 = getelementptr inbounds i8, i8* %0, i64 3
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 0
br i1 %12, label %13, label %25
13: ; preds = %9
%14 = getelementptr inbounds i8, i8* %0, i64 4
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 0
br i1 %16, label %17, label %25
17: ; preds = %13
%18 = getelementptr inbounds i8, i8* %0, i64 5
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 0
br i1 %20, label %21, label %25
21: ; preds = %17
%22 = getelementptr inbounds i8, i8* %0, i64 6
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 0
br i1 %24, label %50, label %25
25: ; preds = %21, %17, %13, %9, %5, %1
%26 = getelementptr inbounds i8, i8* %0, i64 8
%27 = load i8, i8* %26
%28 = icmp eq i8 %27, 0
br i1 %28, label %29, label %50
29: ; preds = %25
%30 = getelementptr inbounds i8, i8* %0, i64 9
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 0
br i1 %32, label %33, label %50
33: ; preds = %29
%34 = getelementptr inbounds i8, i8* %0, i64 10
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 0
br i1 %36, label %37, label %50
37: ; preds = %33
%38 = getelementptr inbounds i8, i8* %0, i64 11
%39 = load i8, i8* %38
%40 = icmp eq i8 %39, 0
br i1 %40, label %41, label %50
41: ; preds = %37
%42 = getelementptr inbounds i8, i8* %0, i64 12
%43 = load i8, i8* %42
%44 = icmp eq i8 %43, 0
br i1 %44, label %45, label %50
45: ; preds = %41
%46 = getelementptr inbounds i8, i8* %0, i64 13
%47 = load i8, i8* %46
%48 = icmp ne i8 %47, 0
%49 = zext i1 %48 to i32
br label %50
50: ; preds = %25, %29, %33, %37, %41, %45, %21
%51 = phi i32 [ 0, %21 ], [ 1, %41 ], [ 1, %37 ], [ 1, %33 ], [ 1, %29 ], [ 1, %25 ], [ %49, %45 ]
ret i32 %51
}