#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;

/* Variables and functions */
bool errata_31(void) {
  if ((((*(uint32_t *)0xF0000FE0) & 0x000000FF) == 0x6) &&
      (((*(uint32_t *)0xF0000FE4) & 0x0000000F) == 0x0)) {
    if (((*(uint32_t *)0xF0000FE8) & 0x000000F0) == 0x30) {
      return true;
    }
    if (((*(uint32_t *)0xF0000FE8) & 0x000000F0) == 0x40) {
      return true;
    }
    if (((*(uint32_t *)0xF0000FE8) & 0x000000F0) == 0x50) {
      return true;
    }
  }
  return false;
}


x86 assembly (clang, -O0):
<errata_31>:
push   %rbp
mov    %rsp,%rbp
mov    $0xf0000fe0,%eax
mov    (%rax),%eax
and    $0xff,%eax
cmp    $0x6,%eax
jne    1194 <errata_31+0x94>
mov    $0xf0000fe4,%eax
mov    (%rax),%eax
and    $0xf,%eax
cmp    $0x0,%eax
jne    1194 <errata_31+0x94>
mov    $0xf0000fe8,%eax
mov    (%rax),%eax
and    $0xf0,%eax
cmp    $0x30,%eax
jne    114d <errata_31+0x4d>
movl   $0x1,-0x4(%rbp)
jmp    119b <errata_31+0x9b>
mov    $0xf0000fe8,%eax
mov    (%rax),%eax
and    $0xf0,%eax
cmp    $0x40,%eax
jne    116e <errata_31+0x6e>
movl   $0x1,-0x4(%rbp)
jmp    119b <errata_31+0x9b>
mov    $0xf0000fe8,%eax
mov    (%rax),%eax
and    $0xf0,%eax
cmp    $0x50,%eax
jne    118f <errata_31+0x8f>
movl   $0x1,-0x4(%rbp)
jmp    119b <errata_31+0x9b>
jmp    1194 <errata_31+0x94>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<errata_31>:
mov    $0xf0000fe0,%eax
cmpb   $0x6,(%rax)
jne    1110 <errata_31+0x10>
testb  $0xf,0x4(%rax)
je     1113 <errata_31+0x13>
xor    %eax,%eax
ret
mov    0x8(%rax),%cl
and    $0xf0,%cl
add    $0xd0,%cl
cmp    $0x20,%cl
ja     1110 <errata_31+0x10>
mov    $0x1,%eax
movzbl %cl,%ecx
movabs $0x100010001,%rdx
bt     %rcx,%rdx
jb     1112 <errata_31+0x12>
jmp    1110 <errata_31+0x10>

LLVM IR (-O0):
define i32 @errata_31() {
%1 = alloca i32
%2 = load i32, i32* inttoptr (i64 4026535904 to i32*)
%3 = and i32 %2, 255
%4 = icmp eq i32 %3, 6
br i1 %4, label %5, label %25
5: ; preds = %0
%6 = load i32, i32* inttoptr (i64 4026535908 to i32*)
%7 = and i32 %6, 15
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %25
9: ; preds = %5
%10 = load i32, i32* inttoptr (i64 4026535912 to i32*)
%11 = and i32 %10, 240
%12 = icmp eq i32 %11, 48
br i1 %12, label %13, label %14
13: ; preds = %9
store i32 1, i32* %1
br label %26
14: ; preds = %9
%15 = load i32, i32* inttoptr (i64 4026535912 to i32*)
%16 = and i32 %15, 240
%17 = icmp eq i32 %16, 64
br i1 %17, label %18, label %19
18: ; preds = %14
store i32 1, i32* %1
br label %26
19: ; preds = %14
%20 = load i32, i32* inttoptr (i64 4026535912 to i32*)
%21 = and i32 %20, 240
%22 = icmp eq i32 %21, 80
br i1 %22, label %23, label %24
23: ; preds = %19
store i32 1, i32* %1
br label %26
24: ; preds = %19
br label %25
25: ; preds = %24, %5, %0
store i32 0, i32* %1
br label %26
26: ; preds = %25, %23, %18, %13
%27 = load i32, i32* %1
ret i32 %27
}

LLVM IR (-O2):
define i32 @errata_31() {
%1 = load i32, i32* inttoptr (i64 4026535904 to i32*)
%2 = and i32 %1, 255
%3 = icmp eq i32 %2, 6
br i1 %3, label %4, label %12
4: ; preds = %0
%5 = load i32, i32* inttoptr (i64 4026535908 to i32*)
%6 = and i32 %5, 15
%7 = icmp eq i32 %6, 0
br i1 %7, label %8, label %12
8: ; preds = %4
%9 = load i32, i32* inttoptr (i64 4026535912 to i32*)
%10 = trunc i32 %9 to i8
%11 = and i8 %10, -16
switch i8 %11, label %12 [
i8 48, label %13
i8 64, label %13
i8 80, label %13
]
12: ; preds = %8, %4, %0
br label %13
13: ; preds = %8, %8, %8, %12
%14 = phi i32 [ 0, %12 ], [ 1, %8 ], [ 1, %8 ], [ 1, %8 ]
ret i32 %14
}