#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 */
typedef struct TYPE_3__ TYPE_1__;

/* Type definitions */
struct TYPE_3__ {
  scalar_t__ *e_ident;
  scalar_t__ e_version;
  int e_ehsize;
  int e_phnum;
  int e_phentsize;
  scalar_t__ e_type;
  scalar_t__ e_machine;
};
typedef int /*<<< orphan*/ Elf64_Phdr;
typedef TYPE_1__ Elf64_Ehdr;

/* Variables and functions */
size_t EI_CLASS;
size_t EI_DATA;
size_t EI_MAG0;
size_t EI_MAG1;
size_t EI_MAG2;
size_t EI_MAG3;
scalar_t__ ELFCLASS64;
scalar_t__ ELFDATA2LSB;
scalar_t__ ELFMAG0;
scalar_t__ ELFMAG1;
scalar_t__ ELFMAG2;
scalar_t__ ELFMAG3;
scalar_t__ EM_X86_64;
scalar_t__ ET_EXEC;
scalar_t__ EV_CURRENT;
bool ehdr_is_valid(const Elf64_Ehdr *hdr) {
  if (!(hdr->e_ident[EI_MAG0] == ELFMAG0 && hdr->e_ident[EI_MAG1] == ELFMAG1 &&
        hdr->e_ident[EI_MAG2] == ELFMAG2 && hdr->e_ident[EI_MAG3] == ELFMAG3 &&
        hdr->e_ident[EI_CLASS] == ELFCLASS64 &&
        hdr->e_ident[EI_DATA] == ELFDATA2LSB && hdr->e_version == EV_CURRENT))
    return false;
  if (hdr->e_ehsize != sizeof(Elf64_Ehdr))
    return false;
  if (hdr->e_phnum < 1)
    return false;
  if (hdr->e_phentsize != sizeof(Elf64_Phdr))
    return false;
  if (hdr->e_type != ET_EXEC)
    return false;
  if (hdr->e_machine != EM_X86_64)
    return false;
  return true;
}


x86 assembly (clang, -O0):
<ehdr_is_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2eba(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2e84(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2e3d(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2ea7(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2e68(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2e02(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2e03(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2e65(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2dee(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2e08(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2de1(%rip),%rcx
mov    (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x2e03(%rip),%rcx
cmp    (%rcx),%rax
jne    11fe <ehdr_is_valid+0xfe>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    0x2dc3(%rip),%rcx
cmp    (%rcx),%rax
je     120a <ehdr_is_valid+0x10a>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
mov    -0x10(%rbp),%rax
movslq 0x10(%rax),%rax
cmp    $0x30,%rax
je     1228 <ehdr_is_valid+0x128>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
mov    -0x10(%rbp),%rax
cmpl   $0x1,0x14(%rax)
jge    1242 <ehdr_is_valid+0x142>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
mov    -0x10(%rbp),%rax
movslq 0x18(%rax),%rax
cmp    $0x4,%rax
je     1260 <ehdr_is_valid+0x160>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%rax
mov    0x2d21(%rip),%rcx
cmp    (%rcx),%rax
je     1284 <ehdr_is_valid+0x184>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%rax
mov    0x2ced(%rip),%rcx
cmp    (%rcx),%rax
je     12a8 <ehdr_is_valid+0x1a8>
movl   $0x0,-0x4(%rbp)
jmp    12af <ehdr_is_valid+0x1af>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ehdr_is_valid>:
mov    (%rdi),%rcx
mov    0x2ec6(%rip),%rax
mov    (%rax),%rax
mov    (%rcx,%rax,8),%rdx
mov    0x2e90(%rip),%rsi
xor    %eax,%eax
cmp    (%rsi),%rdx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x2e4e(%rip),%rdx
mov    (%rdx),%rdx
mov    (%rcx,%rdx,8),%rdx
mov    0x2eb8(%rip),%rsi
cmp    (%rsi),%rdx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x2e80(%rip),%rdx
mov    (%rdx),%rdx
mov    (%rcx,%rdx,8),%rdx
mov    0x2e1a(%rip),%rsi
cmp    (%rsi),%rdx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x2e22(%rip),%rdx
mov    (%rdx),%rdx
mov    (%rcx,%rdx,8),%rdx
mov    0x2e84(%rip),%rsi
cmp    (%rsi),%rdx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x2e18(%rip),%rdx
mov    (%rdx),%rdx
mov    (%rcx,%rdx,8),%rdx
mov    0x2e32(%rip),%rsi
cmp    (%rsi),%rdx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x2e16(%rip),%rdx
mov    (%rdx),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    0x2e38(%rip),%rdx
cmp    (%rdx),%rcx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x8(%rdi),%rcx
mov    0x2e00(%rip),%rdx
cmp    (%rdx),%rcx
jne    11f2 <ehdr_is_valid+0xf2>
cmpl   $0x30,0x10(%rdi)
jne    11f2 <ehdr_is_valid+0xf2>
cmpl   $0x0,0x14(%rdi)
jle    11f2 <ehdr_is_valid+0xf2>
cmpl   $0x4,0x18(%rdi)
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x20(%rdi),%rcx
mov    0x2db6(%rip),%rdx
cmp    (%rdx),%rcx
jne    11f2 <ehdr_is_valid+0xf2>
mov    0x28(%rdi),%rcx
mov    0x2d96(%rip),%rdx
xor    %eax,%eax
cmp    (%rdx),%rcx
sete   %al
ret

LLVM IR (-O0):
%struct.TYPE_3__ = type { i64*, i64, i32, i32, i32, i64, i64 }
@EI_MAG0 = global i64 0
@ELFMAG0 = global i64 0
@EI_MAG1 = global i64 0
@ELFMAG1 = global i64 0
@EI_MAG2 = global i64 0
@ELFMAG2 = global i64 0
@EI_MAG3 = global i64 0
@ELFMAG3 = global i64 0
@EI_CLASS = global i64 0
@ELFCLASS64 = global i64 0
@EI_DATA = global i64 0
@ELFDATA2LSB = global i64 0
@EV_CURRENT = global i64 0
@ET_EXEC = global i64 0
@EM_X86_64 = global i64 0
define i32 @ehdr_is_valid(%struct.TYPE_3__* %0) {
%2 = alloca i32
%3 = alloca %struct.TYPE_3__*
store %struct.TYPE_3__* %0, %struct.TYPE_3__** %3
%4 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%5 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %4, i32 0, i32 0
%6 = load i64*, i64** %5
%7 = load i64, i64* @EI_MAG0
%8 = getelementptr inbounds i64, i64* %6, i64 %7
%9 = load i64, i64* %8
%10 = load i64, i64* @ELFMAG0
%11 = icmp eq i64 %9, %10
br i1 %11, label %12, label %63
12: ; preds = %1
%13 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%14 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %13, i32 0, i32 0
%15 = load i64*, i64** %14
%16 = load i64, i64* @EI_MAG1
%17 = getelementptr inbounds i64, i64* %15, i64 %16
%18 = load i64, i64* %17
%19 = load i64, i64* @ELFMAG1
%20 = icmp eq i64 %18, %19
br i1 %20, label %21, label %63
21: ; preds = %12
%22 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%23 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %22, i32 0, i32 0
%24 = load i64*, i64** %23
%25 = load i64, i64* @EI_MAG2
%26 = getelementptr inbounds i64, i64* %24, i64 %25
%27 = load i64, i64* %26
%28 = load i64, i64* @ELFMAG2
%29 = icmp eq i64 %27, %28
br i1 %29, label %30, label %63
30: ; preds = %21
%31 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%32 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %31, i32 0, i32 0
%33 = load i64*, i64** %32
%34 = load i64, i64* @EI_MAG3
%35 = getelementptr inbounds i64, i64* %33, i64 %34
%36 = load i64, i64* %35
%37 = load i64, i64* @ELFMAG3
%38 = icmp eq i64 %36, %37
br i1 %38, label %39, label %63
39: ; preds = %30
%40 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%41 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %40, i32 0, i32 0
%42 = load i64*, i64** %41
%43 = load i64, i64* @EI_CLASS
%44 = getelementptr inbounds i64, i64* %42, i64 %43
%45 = load i64, i64* %44
%46 = load i64, i64* @ELFCLASS64
%47 = icmp eq i64 %45, %46
br i1 %47, label %48, label %63
48: ; preds = %39
%49 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%50 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %49, i32 0, i32 0
%51 = load i64*, i64** %50
%52 = load i64, i64* @EI_DATA
%53 = getelementptr inbounds i64, i64* %51, i64 %52
%54 = load i64, i64* %53
%55 = load i64, i64* @ELFDATA2LSB
%56 = icmp eq i64 %54, %55
br i1 %56, label %57, label %63
57: ; preds = %48
%58 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%59 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %58, i32 0, i32 1
%60 = load i64, i64* %59
%61 = load i64, i64* @EV_CURRENT
%62 = icmp eq i64 %60, %61
br i1 %62, label %64, label %63
63: ; preds = %57, %48, %39, %30, %21, %12, %1
store i32 0, i32* %2
br label %99
64: ; preds = %57
%65 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%66 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %65, i32 0, i32 2
%67 = load i32, i32* %66
%68 = sext i32 %67 to i64
%69 = icmp ne i64 %68, 48
br i1 %69, label %70, label %71
70: ; preds = %64
store i32 0, i32* %2
br label %99
71: ; preds = %64
%72 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%73 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %72, i32 0, i32 3
%74 = load i32, i32* %73
%75 = icmp slt i32 %74, 1
br i1 %75, label %76, label %77
76: ; preds = %71
store i32 0, i32* %2
br label %99
77: ; preds = %71
%78 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%79 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %78, i32 0, i32 4
%80 = load i32, i32* %79
%81 = sext i32 %80 to i64
%82 = icmp ne i64 %81, 4
br i1 %82, label %83, label %84
83: ; preds = %77
store i32 0, i32* %2
br label %99
84: ; preds = %77
%85 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%86 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %85, i32 0, i32 5
%87 = load i64, i64* %86
%88 = load i64, i64* @ET_EXEC
%89 = icmp ne i64 %87, %88
br i1 %89, label %90, label %91
90: ; preds = %84
store i32 0, i32* %2
br label %99
91: ; preds = %84
%92 = load %struct.TYPE_3__*, %struct.TYPE_3__** %3
%93 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %92, i32 0, i32 6
%94 = load i64, i64* %93
%95 = load i64, i64* @EM_X86_64
%96 = icmp ne i64 %94, %95
br i1 %96, label %97, label %98
97: ; preds = %91
store i32 0, i32* %2
br label %99
98: ; preds = %91
store i32 1, i32* %2
br label %99
99: ; preds = %98, %97, %90, %83, %76, %70, %63
%100 = load i32, i32* %2
ret i32 %100
}

LLVM IR (-O2):
%struct.TYPE_3__ = type { i64*, i64, i32, i32, i32, i64, i64 }
@EI_MAG0 = global i64 0
@ELFMAG0 = global i64 0
@EI_MAG1 = global i64 0
@ELFMAG1 = global i64 0
@EI_MAG2 = global i64 0
@ELFMAG2 = global i64 0
@EI_MAG3 = global i64 0
@ELFMAG3 = global i64 0
@EI_CLASS = global i64 0
@ELFCLASS64 = global i64 0
@EI_DATA = global i64 0
@ELFDATA2LSB = global i64 0
@EV_CURRENT = global i64 0
@ET_EXEC = global i64 0
@EM_X86_64 = global i64 0
define i32 @ehdr_is_valid(%struct.TYPE_3__* nocapture %0) {
%2 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 0
%3 = load i64*, i64** %2
%4 = load i64, i64* @EI_MAG0
%5 = getelementptr inbounds i64, i64* %3, i64 %4
%6 = load i64, i64* %5
%7 = load i64, i64* @ELFMAG0
%8 = icmp eq i64 %6, %7
br i1 %8, label %9, label %67
9: ; preds = %1
%10 = load i64, i64* @EI_MAG1
%11 = getelementptr inbounds i64, i64* %3, i64 %10
%12 = load i64, i64* %11
%13 = load i64, i64* @ELFMAG1
%14 = icmp eq i64 %12, %13
br i1 %14, label %15, label %67
15: ; preds = %9
%16 = load i64, i64* @EI_MAG2
%17 = getelementptr inbounds i64, i64* %3, i64 %16
%18 = load i64, i64* %17
%19 = load i64, i64* @ELFMAG2
%20 = icmp eq i64 %18, %19
br i1 %20, label %21, label %67
21: ; preds = %15
%22 = load i64, i64* @EI_MAG3
%23 = getelementptr inbounds i64, i64* %3, i64 %22
%24 = load i64, i64* %23
%25 = load i64, i64* @ELFMAG3
%26 = icmp eq i64 %24, %25
br i1 %26, label %27, label %67
27: ; preds = %21
%28 = load i64, i64* @EI_CLASS
%29 = getelementptr inbounds i64, i64* %3, i64 %28
%30 = load i64, i64* %29
%31 = load i64, i64* @ELFCLASS64
%32 = icmp eq i64 %30, %31
br i1 %32, label %33, label %67
33: ; preds = %27
%34 = load i64, i64* @EI_DATA
%35 = getelementptr inbounds i64, i64* %3, i64 %34
%36 = load i64, i64* %35
%37 = load i64, i64* @ELFDATA2LSB
%38 = icmp eq i64 %36, %37
br i1 %38, label %39, label %67
39: ; preds = %33
%40 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 1
%41 = load i64, i64* %40
%42 = load i64, i64* @EV_CURRENT
%43 = icmp eq i64 %41, %42
br i1 %43, label %44, label %67
44: ; preds = %39
%45 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 2
%46 = load i32, i32* %45
%47 = icmp eq i32 %46, 48
br i1 %47, label %48, label %67
48: ; preds = %44
%49 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 3
%50 = load i32, i32* %49
%51 = icmp slt i32 %50, 1
br i1 %51, label %67, label %52
52: ; preds = %48
%53 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 4
%54 = load i32, i32* %53
%55 = icmp eq i32 %54, 4
br i1 %55, label %56, label %67
56: ; preds = %52
%57 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 5
%58 = load i64, i64* %57
%59 = load i64, i64* @ET_EXEC
%60 = icmp eq i64 %58, %59
br i1 %60, label %61, label %67
61: ; preds = %56
%62 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 6
%63 = load i64, i64* %62
%64 = load i64, i64* @EM_X86_64
%65 = icmp eq i64 %63, %64
%66 = zext i1 %65 to i32
br label %67
67: ; preds = %61, %56, %52, %48, %44, %1, %9, %15, %21, %27, %33, %39
%68 = phi i32 [ 0, %39 ], [ 0, %33 ], [ 0, %27 ], [ 0, %21 ], [ 0, %15 ], [ 0, %9 ], [ 0, %1 ], [ 0, %44 ], [ 0, %48 ], [ 0, %52 ], [ 0, %56 ], [ %66, %61 ]
ret i32 %68
}