#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 */
typedef int uint32_t;
typedef scalar_t__ int32_t;

/* Variables and functions */
bool check_cnf(int32_t b[8], uint32_t m[8]) {
  uint32_t i, j;
  for (i = 0; i < 8; i++) {
    for (j = 0; j < 8; j++) {
      if (m[j] != 0 && ((i ^ j) & m[j]) == 0) {
        if (b[j] != b[i])
          return false;
      }
    }
  }
  return true;
}


x86 assembly (clang, -O0):
<check_cnf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    11af <check_cnf+0xaf>
movl   $0x0,-0x20(%rbp)
cmpl   $0x8,-0x20(%rbp)
jge    119c <check_cnf+0x9c>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1189 <check_cnf+0x89>
mov    -0x1c(%rbp),%eax
xor    -0x20(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
and    (%rcx,%rdx,4),%eax
cmp    $0x0,%eax
jne    1189 <check_cnf+0x89>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     1184 <check_cnf+0x84>
movl   $0x0,-0x4(%rbp)
jmp    11b6 <check_cnf+0xb6>
jmp    1189 <check_cnf+0x89>
jmp    118e <check_cnf+0x8e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1124 <check_cnf+0x24>
jmp    11a1 <check_cnf+0xa1>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1113 <check_cnf+0x13>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_cnf>:
mov    (%rsi),%r8d
xor    %ecx,%ecx
jmp    111e <check_cnf+0x1e>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rcx
cmp    $0x8,%rcx
je     1204 <check_cnf+0x104>
test   %r8d,%r8d
je     1137 <check_cnf+0x37>
mov    %r8d,%edx
and    %ecx,%edx
jne    1137 <check_cnf+0x37>
mov    (%rdi),%rdx
cmp    (%rdi,%rcx,8),%rdx
jne    1201 <check_cnf+0x101>
mov    0x4(%rsi),%edx
test   %edx,%edx
je     1155 <check_cnf+0x55>
mov    %ecx,%eax
xor    $0x1,%eax
test   %eax,%edx
jne    1155 <check_cnf+0x55>
mov    0x8(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0x8(%rsi),%edx
test   %edx,%edx
je     1173 <check_cnf+0x73>
mov    %ecx,%eax
xor    $0x2,%eax
test   %eax,%edx
jne    1173 <check_cnf+0x73>
mov    0x10(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0xc(%rsi),%edx
test   %edx,%edx
je     118d <check_cnf+0x8d>
mov    %ecx,%eax
xor    $0x3,%eax
test   %eax,%edx
jne    118d <check_cnf+0x8d>
mov    0x18(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0x10(%rsi),%edx
test   %edx,%edx
je     11a7 <check_cnf+0xa7>
mov    %ecx,%eax
xor    $0x4,%eax
test   %eax,%edx
jne    11a7 <check_cnf+0xa7>
mov    0x20(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0x14(%rsi),%edx
test   %edx,%edx
je     11c1 <check_cnf+0xc1>
mov    %ecx,%eax
xor    $0x5,%eax
test   %eax,%edx
jne    11c1 <check_cnf+0xc1>
mov    0x28(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0x18(%rsi),%edx
test   %edx,%edx
je     11db <check_cnf+0xdb>
mov    %ecx,%eax
xor    $0x6,%eax
test   %eax,%edx
jne    11db <check_cnf+0xdb>
mov    0x30(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
jne    1201 <check_cnf+0x101>
mov    0x1c(%rsi),%edx
test   %edx,%edx
je     1110 <check_cnf+0x10>
mov    %ecx,%eax
xor    $0x7,%eax
test   %eax,%edx
jne    1110 <check_cnf+0x10>
mov    0x38(%rdi),%rax
cmp    (%rdi,%rcx,8),%rax
je     1110 <check_cnf+0x10>
xor    %eax,%eax
ret
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @check_cnf(i64* %0, i32* %1) {
%3 = alloca i32
%4 = alloca i64*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
store i64* %0, i64** %4
store i32* %1, i32** %5
store i32 0, i32* %6
br label %8
8: ; preds = %52, %2
%9 = load i32, i32* %6
%10 = icmp slt i32 %9, 8
br i1 %10, label %11, label %55
11: ; preds = %8
store i32 0, i32* %7
br label %12
12: ; preds = %48, %11
%13 = load i32, i32* %7
%14 = icmp slt i32 %13, 8
br i1 %14, label %15, label %51
15: ; preds = %12
%16 = load i32*, i32** %5
%17 = load i32, i32* %7
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %16, i64 %18
%20 = load i32, i32* %19
%21 = icmp ne i32 %20, 0
br i1 %21, label %22, label %47
22: ; preds = %15
%23 = load i32, i32* %6
%24 = load i32, i32* %7
%25 = xor i32 %23, %24
%26 = load i32*, i32** %5
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = and i32 %25, %30
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %47
33: ; preds = %22
%34 = load i64*, i64** %4
%35 = load i32, i32* %7
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i64, i64* %34, i64 %36
%38 = load i64, i64* %37
%39 = load i64*, i64** %4
%40 = load i32, i32* %6
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i64, i64* %39, i64 %41
%43 = load i64, i64* %42
%44 = icmp ne i64 %38, %43
br i1 %44, label %45, label %46
45: ; preds = %33
store i32 0, i32* %3
br label %56
46: ; preds = %33
br label %47
47: ; preds = %46, %22, %15
br label %48
48: ; preds = %47
%49 = load i32, i32* %7
%50 = add nsw i32 %49, 1
store i32 %50, i32* %7
br label %12
51: ; preds = %12
br label %52
52: ; preds = %51
%53 = load i32, i32* %6
%54 = add nsw i32 %53, 1
store i32 %54, i32* %6
br label %8
55: ; preds = %8
store i32 1, i32* %3
br label %56
56: ; preds = %55, %45
%57 = load i32, i32* %3
ret i32 %57
}

LLVM IR (-O2):
define i32 @check_cnf(i64* nocapture %0, i32* nocapture %1) {
%3 = load i32, i32* %1
%4 = getelementptr inbounds i64, i64* %0, i64 1
%5 = getelementptr inbounds i64, i64* %0, i64 2
%6 = getelementptr inbounds i64, i64* %0, i64 3
%7 = getelementptr inbounds i64, i64* %0, i64 4
%8 = getelementptr inbounds i64, i64* %0, i64 5
%9 = getelementptr inbounds i64, i64* %0, i64 6
%10 = getelementptr inbounds i64, i64* %0, i64 7
%11 = icmp ne i32 %3, 0
%12 = getelementptr inbounds i32, i32* %1, i64 1
%13 = getelementptr inbounds i32, i32* %1, i64 2
%14 = getelementptr inbounds i32, i32* %1, i64 3
%15 = getelementptr inbounds i32, i32* %1, i64 4
%16 = getelementptr inbounds i32, i32* %1, i64 5
%17 = getelementptr inbounds i32, i32* %1, i64 6
%18 = getelementptr inbounds i32, i32* %1, i64 7
br label %19
19: ; preds = %2, %114
%20 = phi i64 [ 0, %2 ], [ %115, %114 ]
%21 = getelementptr inbounds i64, i64* %0, i64 %20
%22 = trunc i64 %20 to i32
%23 = and i32 %3, %22
%24 = icmp eq i32 %23, 0
%25 = select i1 %11, i1 %24, i1 false
br i1 %25, label %26, label %30
26: ; preds = %19
%27 = load i64, i64* %0
%28 = load i64, i64* %21
%29 = icmp eq i64 %27, %28
br i1 %29, label %30, label %117
30: ; preds = %19, %26
%31 = load i32, i32* %12
%32 = icmp eq i32 %31, 0
br i1 %32, label %42, label %33
33: ; preds = %30
%34 = trunc i64 %20 to i32
%35 = xor i32 %34, 1
%36 = and i32 %31, %35
%37 = icmp eq i32 %36, 0
br i1 %37, label %38, label %42
38: ; preds = %33
%39 = load i64, i64* %4
%40 = load i64, i64* %21
%41 = icmp eq i64 %39, %40
br i1 %41, label %42, label %117
42: ; preds = %38, %33, %30
%43 = load i32, i32* %13
%44 = icmp eq i32 %43, 0
br i1 %44, label %54, label %45
45: ; preds = %42
%46 = trunc i64 %20 to i32
%47 = xor i32 %46, 2
%48 = and i32 %43, %47
%49 = icmp eq i32 %48, 0
br i1 %49, label %50, label %54
50: ; preds = %45
%51 = load i64, i64* %5
%52 = load i64, i64* %21
%53 = icmp eq i64 %51, %52
br i1 %53, label %54, label %117
54: ; preds = %50, %45, %42
%55 = load i32, i32* %14
%56 = icmp eq i32 %55, 0
br i1 %56, label %66, label %57
57: ; preds = %54
%58 = trunc i64 %20 to i32
%59 = xor i32 %58, 3
%60 = and i32 %55, %59
%61 = icmp eq i32 %60, 0
br i1 %61, label %62, label %66
62: ; preds = %57
%63 = load i64, i64* %6
%64 = load i64, i64* %21
%65 = icmp eq i64 %63, %64
br i1 %65, label %66, label %117
66: ; preds = %62, %57, %54
%67 = load i32, i32* %15
%68 = icmp eq i32 %67, 0
br i1 %68, label %78, label %69
69: ; preds = %66
%70 = trunc i64 %20 to i32
%71 = xor i32 %70, 4
%72 = and i32 %67, %71
%73 = icmp eq i32 %72, 0
br i1 %73, label %74, label %78
74: ; preds = %69
%75 = load i64, i64* %7
%76 = load i64, i64* %21
%77 = icmp eq i64 %75, %76
br i1 %77, label %78, label %117
78: ; preds = %74, %69, %66
%79 = load i32, i32* %16
%80 = icmp eq i32 %79, 0
br i1 %80, label %90, label %81
81: ; preds = %78
%82 = trunc i64 %20 to i32
%83 = xor i32 %82, 5
%84 = and i32 %79, %83
%85 = icmp eq i32 %84, 0
br i1 %85, label %86, label %90
86: ; preds = %81
%87 = load i64, i64* %8
%88 = load i64, i64* %21
%89 = icmp eq i64 %87, %88
br i1 %89, label %90, label %117
90: ; preds = %86, %81, %78
%91 = load i32, i32* %17
%92 = icmp eq i32 %91, 0
br i1 %92, label %102, label %93
93: ; preds = %90
%94 = trunc i64 %20 to i32
%95 = xor i32 %94, 6
%96 = and i32 %91, %95
%97 = icmp eq i32 %96, 0
br i1 %97, label %98, label %102
98: ; preds = %93
%99 = load i64, i64* %9
%100 = load i64, i64* %21
%101 = icmp eq i64 %99, %100
br i1 %101, label %102, label %117
102: ; preds = %98, %93, %90
%103 = load i32, i32* %18
%104 = icmp eq i32 %103, 0
br i1 %104, label %114, label %105
105: ; preds = %102
%106 = trunc i64 %20 to i32
%107 = xor i32 %106, 7
%108 = and i32 %103, %107
%109 = icmp eq i32 %108, 0
br i1 %109, label %110, label %114
110: ; preds = %105
%111 = load i64, i64* %10
%112 = load i64, i64* %21
%113 = icmp eq i64 %111, %112
br i1 %113, label %114, label %117
114: ; preds = %110, %105, %102
%115 = add nuw nsw i64 %20, 1
%116 = icmp eq i64 %115, 8
br i1 %116, label %117, label %19
117: ; preds = %114, %26, %38, %50, %62, %74, %86, %98, %110
%118 = phi i32 [ 0, %110 ], [ 0, %98 ], [ 0, %86 ], [ 0, %74 ], [ 0, %62 ], [ 0, %50 ], [ 0, %38 ], [ 0, %26 ], [ 1, %114 ]
ret i32 %118
}