#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 */
int check_subsumption(int *, scalar_t__ *, int, int, scalar_t__);
int popcount32(int);
bool remove_redundant_clauses(uint32_t m[8], int32_t b[8]) {
  uint32_t i, j, delta;
  uint32_t k, msk;
  bool changed;
  changed = false;
  for (i = 0; i < 7; i++) {
    if (m[i] != 0) {
      for (j = i + 1; j < 8; j++) {
        if (m[j] != 0 && b[i] == b[j]) {
          delta = (i ^ j) & m[i] & m[j];
          if (popcount32(delta) == 1) {
            msk = (m[i] | m[j]) ^ delta;
            k = ((i & m[i]) | (j & m[j])) ^ delta;
            changed |= check_subsumption(m, b, k, msk, b[i]);
          }
        }
      }
    }
  }
  return changed;
}


x86 assembly (clang, -O0):
<remove_redundant_clauses>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x7,-0x14(%rbp)
jge    1262 <remove_redundant_clauses+0x142>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     124f <remove_redundant_clauses+0x12f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x8,-0x18(%rbp)
jge    124a <remove_redundant_clauses+0x12a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1237 <remove_redundant_clauses+0x117>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jne    1237 <remove_redundant_clauses+0x117>
mov    -0x14(%rbp),%eax
xor    -0x18(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
and    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
and    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%edi
call   1040 <popcount32@plt>
cmp    $0x1,%eax
jne    1232 <remove_redundant_clauses+0x112>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
or     (%rcx,%rdx,4),%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
and    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rdx
movslq -0x18(%rbp),%rsi
and    (%rdx,%rsi,4),%ecx
or     %ecx,%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%r8
mov    (%rax,%r8,8),%r8
call   1030 <check_subsumption@plt>
or     -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1237 <remove_redundant_clauses+0x117>
jmp    123c <remove_redundant_clauses+0x11c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1163 <remove_redundant_clauses+0x43>
jmp    124f <remove_redundant_clauses+0x12f>
jmp    1254 <remove_redundant_clauses+0x134>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    113e <remove_redundant_clauses+0x1e>
mov    -0x28(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<remove_redundant_clauses>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r12
xor    %ebx,%ebx
mov    $0x1,%r15d
movl   $0x0,0x4(%rsp)
jmp    115e <remove_redundant_clauses+0x3e>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rbx
add    $0x1,%r15
cmp    $0x7,%rbx
je     11cf <remove_redundant_clauses+0xaf>
cmpl   $0x0,(%r12,%rbx,4)
je     1150 <remove_redundant_clauses+0x30>
mov    %r15,%r13
jmp    117a <remove_redundant_clauses+0x5a>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r13
cmp    $0x8,%r13
je     1150 <remove_redundant_clauses+0x30>
mov    (%r12,%r13,4),%ebp
test   %ebp,%ebp
je     1170 <remove_redundant_clauses+0x50>
mov    (%r14,%rbx,8),%rax
cmp    (%r14,%r13,8),%rax
jne    1170 <remove_redundant_clauses+0x50>
mov    %r13d,%eax
xor    %ebx,%eax
and    %eax,%ebp
and    (%r12,%rbx,4),%ebp
mov    %ebp,%edi
call   1040 <popcount32@plt>
cmp    $0x1,%eax
jne    1170 <remove_redundant_clauses+0x50>
mov    (%r12,%rbx,4),%eax
mov    (%r12,%r13,4),%ecx
mov    %r13d,%edx
and    %ecx,%edx
or     %eax,%ecx
xor    %ebp,%ecx
and    %ebx,%eax
or     %eax,%edx
xor    %ebp,%edx
mov    (%r14,%rbx,8),%r8
mov    %r12,%rdi
mov    %r14,%rsi
call   1030 <check_subsumption@plt>
or     %eax,0x4(%rsp)
jmp    1170 <remove_redundant_clauses+0x50>
mov    0x4(%rsp),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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