int check_i(int i) {
  int bit[4] = {0};
  bit[0] = (i & 0x08) >> 3;
  bit[1] = (i & 0x04) >> 2;
  bit[2] = (i & 0x02) >> 1;
  bit[3] = i & 0x01;
  if (bit[0] != bit[1] && bit[1] == bit[2]) {
    return 0;
  } else if (bit[0] != bit[2] && bit[2] == bit[3]) {
    return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_i>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x8(%rbp)
lea    -0x20(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    -0x8(%rbp),%eax
and    $0x8,%eax
sar    $0x3,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
and    $0x4,%eax
sar    $0x2,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
and    $0x2,%eax
sar    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     117c <check_i+0x6c>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    117c <check_i+0x6c>
movl   $0x0,-0x4(%rbp)
jmp    11ac <check_i+0x9c>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     11a0 <check_i+0x90>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11a0 <check_i+0x90>
movl   $0x0,-0x4(%rbp)
jmp    11ac <check_i+0x9c>
jmp    11a5 <check_i+0x95>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_i>:
mov    %edi,%eax
shr    $0x3,%eax
and    $0x1,%eax
mov    %edi,%ecx
shr    $0x2,%ecx
and    $0x1,%ecx
mov    %edi,%edx
shr    %edx
and    $0x1,%edx
and    $0x1,%edi
cmp    %ecx,%eax
sete   %sil
cmp    %edx,%ecx
setne  %cl
cmp    %edx,%eax
sete   %al
cmp    %edi,%edx
setne  %dl
or     %al,%dl
or     %sil,%cl
and    %dl,%cl
movzbl %cl,%eax
ret

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

LLVM IR (-O2):
define i32 @check_i(i32 %0) {
%2 = lshr i32 %0, 3
%3 = and i32 %2, 1
%4 = lshr i32 %0, 2
%5 = and i32 %4, 1
%6 = lshr i32 %0, 1
%7 = and i32 %6, 1
%8 = and i32 %0, 1
%9 = icmp eq i32 %3, %5
%10 = icmp ne i32 %5, %7
%11 = icmp eq i32 %3, %7
%12 = icmp ne i32 %7, %8
%13 = or i1 %11, %12
%14 = or i1 %9, %10
%15 = and i1 %14, %13
%16 = zext i1 %15 to i32
ret i32 %16
}