_Bool F8(_Bool B1, _Bool B2, _Bool B3, _Bool B4, _Bool B5, _Bool B6, _Bool B7,
         _Bool B8) {
  _Bool R;
  if ((B1 || B2) && B3 && !(B4 || B5) && (B6 || (B7 && B8)))
    R = 1;
  else
    R = 0;
  return R;
}


x86 assembly (clang, -O0):
<F8>:
push   %rbp
mov    %rsp,%rbp
mov    %r8d,-0x14(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %edx,%r8d
mov    %esi,%ecx
mov    -0x14(%rbp),%esi
mov    %edi,%eax
mov    -0x10(%rbp),%edi
mov    %r9b,%dl
mov    %cl,%r9b
mov    %al,%r10b
mov    0x18(%rbp),%al
mov    0x10(%rbp),%cl
and    $0x1,%r10b
mov    %r10b,-0x1(%rbp)
and    $0x1,%r9b
mov    %r9b,-0x2(%rbp)
and    $0x1,%r8b
mov    %r8b,-0x3(%rbp)
and    $0x1,%dil
mov    %dil,-0x4(%rbp)
and    $0x1,%sil
mov    %sil,-0x5(%rbp)
and    $0x1,%dl
mov    %dl,-0x6(%rbp)
and    $0x1,%cl
mov    %cl,-0x7(%rbp)
and    $0x1,%al
mov    %al,-0x8(%rbp)
testb  $0x1,-0x1(%rbp)
jne    1174 <F8+0x74>
testb  $0x1,-0x2(%rbp)
je     11b9 <F8+0xb9>
testb  $0x1,-0x3(%rbp)
je     11b9 <F8+0xb9>
testb  $0x1,-0x4(%rbp)
jne    11b9 <F8+0xb9>
testb  $0x1,-0x5(%rbp)
jne    11b9 <F8+0xb9>
testb  $0x1,-0x6(%rbp)
jne    11b0 <F8+0xb0>
testb  $0x1,-0x7(%rbp)
je     11b9 <F8+0xb9>
testb  $0x1,-0x8(%rbp)
je     11b9 <F8+0xb9>
movb   $0x1,-0x9(%rbp)
jmp    11bd <F8+0xbd>
movb   $0x0,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<F8>:
mov    0x10(%rsp),%al
or     %esi,%edi
and    %edx,%edi
xor    $0x1,%dil
or     %r8b,%cl
or     %dil,%cl
xor    $0x1,%cl
and    0x8(%rsp),%al
or     %r9b,%al
and    %cl,%al
ret

LLVM IR (-O0):
define zeroext i1 @F8(i1 zeroext %0, i1 zeroext %1, i1 zeroext %2, i1 zeroext %3, i1 zeroext %4, i1 zeroext %5, i1 zeroext %6, i1 zeroext %7) {
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
%12 = alloca i8
%13 = alloca i8
%14 = alloca i8
%15 = alloca i8
%16 = alloca i8
%17 = alloca i8
%18 = zext i1 %0 to i8
store i8 %18, i8* %9
%19 = zext i1 %1 to i8
store i8 %19, i8* %10
%20 = zext i1 %2 to i8
store i8 %20, i8* %11
%21 = zext i1 %3 to i8
store i8 %21, i8* %12
%22 = zext i1 %4 to i8
store i8 %22, i8* %13
%23 = zext i1 %5 to i8
store i8 %23, i8* %14
%24 = zext i1 %6 to i8
store i8 %24, i8* %15
%25 = zext i1 %7 to i8
store i8 %25, i8* %16
%26 = load i8, i8* %9
%27 = trunc i8 %26 to i1
br i1 %27, label %31, label %28
28: ; preds = %8
%29 = load i8, i8* %10
%30 = trunc i8 %29 to i1
br i1 %30, label %31, label %50
31: ; preds = %28, %8
%32 = load i8, i8* %11
%33 = trunc i8 %32 to i1
br i1 %33, label %34, label %50
34: ; preds = %31
%35 = load i8, i8* %12
%36 = trunc i8 %35 to i1
br i1 %36, label %50, label %37
37: ; preds = %34
%38 = load i8, i8* %13
%39 = trunc i8 %38 to i1
br i1 %39, label %50, label %40
40: ; preds = %37
%41 = load i8, i8* %14
%42 = trunc i8 %41 to i1
br i1 %42, label %49, label %43
43: ; preds = %40
%44 = load i8, i8* %15
%45 = trunc i8 %44 to i1
br i1 %45, label %46, label %50
46: ; preds = %43
%47 = load i8, i8* %16
%48 = trunc i8 %47 to i1
br i1 %48, label %49, label %50
49: ; preds = %46, %40
store i8 1, i8* %17
br label %51
50: ; preds = %46, %43, %37, %34, %31, %28
store i8 0, i8* %17
br label %51
51: ; preds = %50, %49
%52 = load i8, i8* %17
%53 = trunc i8 %52 to i1
ret i1 %53
}

LLVM IR (-O2):
define zeroext i1 @F8(i1 zeroext %0, i1 zeroext %1, i1 zeroext %2, i1 zeroext %3, i1 zeroext %4, i1 zeroext %5, i1 zeroext %6, i1 zeroext %7) {
%9 = or i1 %0, %1
%10 = and i1 %9, %2
%11 = xor i1 %10, true
%12 = or i1 %11, %3
%13 = or i1 %12, %4
%14 = xor i1 %13, true
%15 = and i1 %6, %7
%16 = or i1 %15, %5
%17 = and i1 %16, %14
ret i1 %17
}