#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 /*<<< orphan*/ uint8_t;
typedef int uint32_t;
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ SEEK_END;
int fread(int /*<<< orphan*/ *, int, int, int /*<<< orphan*/ *);
scalar_t__ fseek(int /*<<< orphan*/ *, int, int /*<<< orphan*/);
long ftell(int /*<<< orphan*/ *);
int get_le32(int /*<<< orphan*/ *);
bool cdi_check_footer(FILE *f, uint32_t *verp, uint32_t *offp) {
  uint8_t buf[8];
  uint32_t ver, off;
  if (fseek(f, -8, SEEK_END) < 0 || fread(buf, 1, 8, f) != 8)
    return false;
  ver = get_le32(buf + 0);
  off = get_le32(buf + 4);
  if (ver != 0x80000004UL && ver != 0x80000005UL && ver != 0x80000006UL)
    return false;
  if (!off)
    return false;
  if (ver == 0x80000006UL) {
    long file_end = ftell(f);
    if (file_end < 0)
      return false;
    off = file_end - off;
  }
  if (verp)
    *verp = ver;
  if (offp)
    *offp = off;
  return true;
}


x86 assembly (clang, -O0):
<cdi_check_footer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    0x2e89(%rip),%rax
mov    (%rax),%edx
mov    $0xfffffff8,%esi
call   1060 <fseek@plt>
cmp    $0x0,%rax
jl     1195 <cdi_check_footer+0x55>
lea    -0x40(%rbp),%rdi
mov    -0x10(%rbp),%rcx
mov    $0x1,%esi
mov    $0x8,%edx
call   1040 <fread@plt>
cmp    $0x8,%eax
je     11a1 <cdi_check_footer+0x61>
movl   $0x0,-0x4(%rbp)
jmp    1288 <cdi_check_footer+0x148>
lea    -0x40(%rbp),%rdi
call   1030 <get_le32@plt>
mov    %eax,-0x44(%rbp)
lea    -0x40(%rbp),%rdi
add    $0x10,%rdi
call   1030 <get_le32@plt>
mov    %eax,-0x48(%rbp)
movslq -0x44(%rbp),%rax
mov    $0x80000004,%ecx
cmp    %rcx,%rax
je     11ff <cdi_check_footer+0xbf>
movslq -0x44(%rbp),%rax
mov    $0x80000005,%ecx
cmp    %rcx,%rax
je     11ff <cdi_check_footer+0xbf>
movslq -0x44(%rbp),%rax
mov    $0x80000006,%ecx
cmp    %rcx,%rax
je     11ff <cdi_check_footer+0xbf>
movl   $0x0,-0x4(%rbp)
jmp    1288 <cdi_check_footer+0x148>
cmpl   $0x0,-0x48(%rbp)
jne    1215 <cdi_check_footer+0xd5>
movl   $0x0,-0x4(%rbp)
jmp    1288 <cdi_check_footer+0x148>
movslq -0x44(%rbp),%rax
mov    $0x80000006,%ecx
cmp    %rcx,%rax
jne    1259 <cdi_check_footer+0x119>
mov    -0x10(%rbp),%rdi
call   1050 <ftell@plt>
mov    %rax,-0x50(%rbp)
cmpq   $0x0,-0x50(%rbp)
jge    124b <cdi_check_footer+0x10b>
movl   $0x0,-0x4(%rbp)
jmp    1288 <cdi_check_footer+0x148>
mov    -0x50(%rbp),%rax
movslq -0x48(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x48(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     126d <cdi_check_footer+0x12d>
mov    -0x44(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x20(%rbp)
je     1281 <cdi_check_footer+0x141>
mov    -0x48(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cdi_check_footer>:
push   %rbx
sub    $0x20,%rsp
mov    %rdi,%rbx
mov    0x2ea9(%rip),%rax
mov    (%rax),%edx
mov    $0xfffffff8,%esi
call   1050 <fseek@plt>
test   %rax,%rax
js     117c <cdi_check_footer+0x4c>
mov    %rsp,%rdi
mov    $0x1,%esi
mov    $0x8,%edx
mov    %rbx,%rcx
call   1040 <fread@plt>
cmp    $0x8,%eax
jne    117c <cdi_check_footer+0x4c>
mov    %rsp,%rdi
call   1030 <get_le32@plt>
lea    0x10(%rsp),%rdi
call   1030 <get_le32@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@SEEK_END = global i32 0
define i32 @cdi_check_footer(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca [8 x i32]
%9 = alloca i32
%10 = alloca i32
%11 = alloca i64
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32* %2, i32** %7
%12 = load i32*, i32** %5
%13 = load i32, i32* @SEEK_END
%14 = call i64 @fseek(i32* %12, i32 -8, i32 %13)
%15 = icmp slt i64 %14, 0
br i1 %15, label %21, label %16
16: ; preds = %3
%17 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 0
%18 = load i32*, i32** %5
%19 = call i32 @fread(i32* %17, i32 1, i32 8, i32* %18)
%20 = icmp ne i32 %19, 8
br i1 %20, label %21, label %22
21: ; preds = %16, %3
store i32 0, i32* %4
br label %74
22: ; preds = %16
%23 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 0
%24 = getelementptr inbounds i32, i32* %23, i64 0
%25 = call i32 @get_le32(i32* %24)
store i32 %25, i32* %9
%26 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 0
%27 = getelementptr inbounds i32, i32* %26, i64 4
%28 = call i32 @get_le32(i32* %27)
store i32 %28, i32* %10
%29 = load i32, i32* %9
%30 = sext i32 %29 to i64
%31 = icmp ne i64 %30, 2147483652
br i1 %31, label %32, label %41
32: ; preds = %22
%33 = load i32, i32* %9
%34 = sext i32 %33 to i64
%35 = icmp ne i64 %34, 2147483653
br i1 %35, label %36, label %41
36: ; preds = %32
%37 = load i32, i32* %9
%38 = sext i32 %37 to i64
%39 = icmp ne i64 %38, 2147483654
br i1 %39, label %40, label %41
40: ; preds = %36
store i32 0, i32* %4
br label %74
41: ; preds = %36, %32, %22
%42 = load i32, i32* %10
%43 = icmp ne i32 %42, 0
br i1 %43, label %45, label %44
44: ; preds = %41
store i32 0, i32* %4
br label %74
45: ; preds = %41
%46 = load i32, i32* %9
%47 = sext i32 %46 to i64
%48 = icmp eq i64 %47, 2147483654
br i1 %48, label %49, label %61
49: ; preds = %45
%50 = load i32*, i32** %5
%51 = call i64 @ftell(i32* %50)
store i64 %51, i64* %11
%52 = load i64, i64* %11
%53 = icmp slt i64 %52, 0
br i1 %53, label %54, label %55
54: ; preds = %49
store i32 0, i32* %4
br label %74
55: ; preds = %49
%56 = load i64, i64* %11
%57 = load i32, i32* %10
%58 = sext i32 %57 to i64
%59 = sub nsw i64 %56, %58
%60 = trunc i64 %59 to i32
store i32 %60, i32* %10
br label %61
61: ; preds = %55, %45
%62 = load i32*, i32** %6
%63 = icmp ne i32* %62, null
br i1 %63, label %64, label %67
64: ; preds = %61
%65 = load i32, i32* %9
%66 = load i32*, i32** %6
store i32 %65, i32* %66
br label %67
67: ; preds = %64, %61
%68 = load i32*, i32** %7
%69 = icmp ne i32* %68, null
br i1 %69, label %70, label %73
70: ; preds = %67
%71 = load i32, i32* %10
%72 = load i32*, i32** %7
store i32 %71, i32* %72
br label %73
73: ; preds = %70, %67
store i32 1, i32* %4
br label %74
74: ; preds = %73, %54, %44, %40, %21
%75 = load i32, i32* %4
ret i32 %75
}

LLVM IR (-O2):
@SEEK_END = global i32 0
define i32 @cdi_check_footer(i32* nocapture %0, i32* nocapture readnone %1, i32* nocapture readnone %2) {
%4 = alloca [8 x i32]
%5 = bitcast [8 x i32]* %4 to i8*
%6 = load i32, i32* @SEEK_END
%7 = tail call i64 @fseek(i32* %0, i32 -8, i32 %6)
%8 = icmp slt i64 %7, 0
br i1 %8, label %17, label %9
9: ; preds = %3
%10 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 0
%11 = call i32 @fread(i32* %10, i32 1, i32 8, i32* %0)
%12 = icmp eq i32 %11, 8
br i1 %12, label %13, label %17
13: ; preds = %9
%14 = call i32 @get_le32(i32* %10)
%15 = getelementptr inbounds [8 x i32], [8 x i32]* %4, i64 0, i64 4
%16 = call i32 @get_le32(i32* %15)
br label %17
17: ; preds = %3, %9, %13
ret i32 0
}