#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*/ FILE;

/* Variables and functions */
int EOF;
int fgetc(int /*<<< orphan*/ *);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, ...);
int fread(char *, int, int, int /*<<< orphan*/ *);
int /*<<< orphan*/ free(char *);
char *malloc(int);
int /*<<< orphan*/ stderr;
char *readrec(FILE *fp, int *len, int rt11) {
  int c, i;
  int chksum;
  char *buf;
  chksum = 0;
  if (rt11) {
    while (c = fgetc(fp), c != EOF && c == 0)
      ;
    if (c == EOF)
      return NULL;
    if (c != 1) {
      fprintf(stderr, "Improperly formatted OBJ file (1)\n");
      return NULL;
    }
    chksum -= c;
    c = fgetc(fp);
    if (c != 0) {
      fprintf(stderr, "Improperly formatted OBJ file (2)\n");
      return NULL;
    }
    chksum -= c;
  }
  c = fgetc(fp);
  if (c == EOF) {
    if (rt11) {
      fprintf(stderr, "Improperly formatted OBJ file (3)\n");
    }
    return NULL;
  }
  *len = c;
  chksum -= c;
  c = fgetc(fp);
  if (c == EOF) {
    fprintf(stderr, "Improperly formatted OBJ file (4)\n");
    return NULL;
  }
  *len += (c << 8);
  chksum -= c;
  if (rt11) {
    *len -= 4;
  }
  if (*len < 0) {
    fprintf(stderr, "Improperly formatted OBJ file (5)\n");
    return NULL;
  }
  buf = malloc(*len);
  if (buf == NULL) {
    fprintf(stderr, "Out of memory allocating %d bytes\n", *len);
    return NULL;
  }
  i = fread(buf, 1, *len, fp);
  if (i < *len) {
    free(buf);
    fprintf(stderr, "Improperly formatted OBJ file (6)\n");
    return NULL;
  }
  for (i = 0; i < *len; i++)
    chksum -= (buf[i] & 0xff);
  if (rt11) {
    c = fgetc(fp);
    c &= 0xff;
    chksum &= 0xff;
    if (c != chksum) {
      free(buf);
      fprintf(stderr,
              "Bad record checksum, "
              "calculated=$%04x, recorded=$%04x\n",
              chksum, c);
      return NULL;
    }
  } else {
    if (*len & 1) {
      c = fgetc(fp);
      if (c == EOF) {
        free(buf);
        fprintf(stderr, "EOF where padding byte should be\n");
        return NULL;
      }
    }
  }
  return buf;
}


x86 assembly (clang, -O0):
<readrec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1258 <readrec+0x108>
jmp    1179 <readrec+0x29>
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
mov    0x2e57(%rip),%rdx
cmp    (%rdx),%ecx
mov    %al,-0x31(%rbp)
je     11a6 <readrec+0x56>
cmpl   $0x0,-0x20(%rbp)
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    11b6 <readrec+0x66>
jmp    11bb <readrec+0x6b>
jmp    1179 <readrec+0x29>
mov    -0x20(%rbp),%eax
mov    0x2e23(%rip),%rcx
cmp    (%rcx),%eax
jne    11da <readrec+0x8a>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
cmpl   $0x1,-0x20(%rbp)
je     1208 <readrec+0xb8>
mov    0x2ded(%rip),%rax
mov    (%rax),%edi
lea    0xe0c(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x20(%rbp),%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     124d <readrec+0xfd>
mov    0x2da8(%rip),%rax
mov    (%rax),%edi
lea    0xdea(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x20(%rbp),%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    0x2d7a(%rip),%rcx
cmp    (%rcx),%eax
jne    12a4 <readrec+0x154>
cmpl   $0x0,-0x1c(%rbp)
je     1297 <readrec+0x147>
mov    0x2d51(%rip),%rax
mov    (%rax),%edi
lea    0xdb6(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x20(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    0x2d1a(%rip),%rcx
cmp    (%rcx),%eax
jne    12fa <readrec+0x1aa>
mov    0x2cfb(%rip),%rax
mov    (%rax),%edi
lea    0xd83(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x20(%rbp),%ecx
shl    $0x8,%ecx
mov    -0x18(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1328 <readrec+0x1d8>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
sub    $0x4,%ecx
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jge    1359 <readrec+0x209>
mov    0x2c9c(%rip),%rax
mov    (%rax),%edi
lea    0xd47(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x18(%rbp),%rax
mov    (%rax),%edi
call   1070 <malloc@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    139d <readrec+0x24d>
mov    0x2c5e(%rip),%rax
mov    (%rax),%edi
mov    -0x18(%rbp),%rax
mov    (%rax),%edx
lea    0xd26(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
mov    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%edx
mov    -0x10(%rbp),%rcx
mov    $0x1,%esi
call   1040 <fread@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    13f4 <readrec+0x2a4>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    0x2c01(%rip),%rax
mov    (%rax),%edi
lea    0xcf2(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1432 <readrec+0x2e2>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
and    $0xff,%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13fb <readrec+0x2ab>
cmpl   $0x0,-0x1c(%rbp)
je     14a2 <readrec+0x352>
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
and    $0xff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x28(%rbp),%eax
and    $0xff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x28(%rbp),%eax
je     149d <readrec+0x34d>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    0x2b5e(%rip),%rax
mov    (%rax),%edi
mov    -0x28(%rbp),%edx
mov    -0x20(%rbp),%ecx
lea    0xc6c(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
jmp    1509 <readrec+0x3b9>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1504 <readrec+0x3b4>
mov    -0x10(%rbp),%rdi
call   1050 <fgetc@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    0x2b1e(%rip),%rcx
cmp    (%rcx),%eax
jne    14ff <readrec+0x3af>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    0x2af6(%rip),%rax
mov    (%rax),%edi
lea    0xc41(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1511 <readrec+0x3c1>
jmp    1504 <readrec+0x3b4>
jmp    1509 <readrec+0x3b9>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<readrec>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r15d
mov    %rsi,%r12
mov    %rdi,%rbx
test   %edx,%edx
je     11ad <readrec+0x5d>
mov    0x2e79(%rip),%rbp
nop
mov    %rbx,%rdi
call   1050 <fgetc@plt>
mov    0x0(%rbp),%ecx
test   %eax,%eax
jne    1183 <readrec+0x33>
test   %ecx,%ecx
jne    1170 <readrec+0x20>
cmp    %ecx,%eax
je     11c7 <readrec+0x77>
cmp    $0x1,%eax
jne    11ce <readrec+0x7e>
mov    %rbx,%rdi
call   1050 <fgetc@plt>
test   %eax,%eax
je     11e3 <readrec+0x93>
mov    0x2e39(%rip),%rax
mov    (%rax),%edi
lea    0xe7b(%rip),%rsi
jmp    12b5 <readrec+0x165>
mov    %rbx,%rdi
call   1050 <fgetc@plt>
mov    %eax,%r14d
mov    0x2e29(%rip),%rax
xor    %r13d,%r13d
cmp    (%rax),%r14d
jne    120e <readrec+0xbe>
xor    %ebp,%ebp
jmp    12be <readrec+0x16e>
mov    0x2e03(%rip),%rax
mov    (%rax),%edi
lea    0xe22(%rip),%rsi
jmp    12b5 <readrec+0x165>
mov    %rbx,%rdi
call   1050 <fgetc@plt>
cmp    0x0(%rbp),%eax
jne    1205 <readrec+0xb5>
mov    0x2de1(%rip),%rax
mov    (%rax),%edi
lea    0xe46(%rip),%rsi
jmp    12b5 <readrec+0x165>
mov    %eax,%r14d
mov    $0xffffffff,%r13d
mov    %r14d,(%r12)
mov    %rbx,%rdi
call   1050 <fgetc@plt>
mov    0x2dc7(%rip),%rcx
cmp    (%rcx),%eax
jne    1237 <readrec+0xe7>
mov    0x2dac(%rip),%rax
mov    (%rax),%edi
lea    0xe34(%rip),%rsi
jmp    12b5 <readrec+0x165>
mov    %eax,%esi
shl    $0x8,%esi
mov    (%r12),%ecx
lea    (%rcx,%rsi,1),%edx
mov    %r15d,(%rsp)
test   %r15d,%r15d
lea    -0x4(%rcx,%rsi,1),%r15d
cmove  %edx,%r15d
mov    %r15d,(%r12)
test   %r15d,%r15d
js     12a5 <readrec+0x155>
mov    %eax,0x4(%rsp)
mov    %r15d,%edi
call   1070 <malloc@plt>
test   %rax,%rax
je     12d0 <readrec+0x180>
mov    %rax,%rbp
mov    %rax,%rdi
mov    $0x1,%esi
mov    %r15d,%edx
mov    %rbx,%rcx
call   1040 <fread@plt>
mov    (%r12),%ecx
cmp    %ecx,%eax
jge    12ee <readrec+0x19e>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    0x2d3e(%rip),%rax
mov    (%rax),%edi
lea    0xe2f(%rip),%rsi
jmp    12b5 <readrec+0x165>
mov    0x2d2c(%rip),%rax
mov    (%rax),%edi
lea    0xdd7(%rip),%rsi
xor    %ebp,%ebp
xor    %eax,%eax
call   1060 <fprintf@plt>
mov    %rbp,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x2d01(%rip),%rax
mov    (%rax),%edi
lea    0xdcf(%rip),%rsi
xor    %ebp,%ebp
mov    %r15d,%edx
xor    %eax,%eax
call   1060 <fprintf@plt>
jmp    12be <readrec+0x16e>
add    0x4(%rsp),%r14d
sub    %r14d,%r13d
test   %ecx,%ecx
jle    130a <readrec+0x1ba>
cmp    $0x8,%ecx
jae    1313 <readrec+0x1c3>
xor    %eax,%eax
mov    (%rsp),%r8d
jmp    1400 <readrec+0x2b0>
mov    (%rsp),%r8d
jmp    1411 <readrec+0x2c1>
mov    %ecx,%eax
and    $0xfffffff8,%eax
movd   %r13d,%xmm0
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     139a <readrec+0x24a>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm2,%xmm2
xor    %esi,%esi
pxor   %xmm1,%xmm1
mov    (%rsp),%r8d
movd   0x0(%rbp,%rsi,1),%xmm3
movd   0x4(%rbp,%rsi,1),%xmm4
punpcklbw %xmm2,%xmm3
punpcklwd %xmm2,%xmm3
punpcklbw %xmm2,%xmm4
punpcklwd %xmm2,%xmm4
movd   0x8(%rbp,%rsi,1),%xmm5
movd   0xc(%rbp,%rsi,1),%xmm6
punpcklbw %xmm2,%xmm5
punpcklwd %xmm2,%xmm5
paddd  %xmm3,%xmm5
psubd  %xmm5,%xmm0
punpcklbw %xmm2,%xmm6
punpcklwd %xmm2,%xmm6
paddd  %xmm4,%xmm6
psubd  %xmm6,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1346 <readrec+0x1f6>
jmp    13a4 <readrec+0x254>
pxor   %xmm1,%xmm1
xor    %esi,%esi
mov    (%rsp),%r8d
test   $0x1,%dl
je     13d1 <readrec+0x281>
movd   0x0(%rbp,%rsi,1),%xmm2
movd   0x4(%rbp,%rsi,1),%xmm3
pxor   %xmm4,%xmm4
punpcklbw %xmm4,%xmm2
punpcklwd %xmm4,%xmm2
psubd  %xmm2,%xmm0
punpcklbw %xmm4,%xmm3
punpcklwd %xmm4,%xmm3
psubd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%r13d
cmp    %rcx,%rax
je     1411 <readrec+0x2c1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp,%rax,1),%edx
sub    %edx,%r13d
add    $0x1,%rax
cmp    %rax,%rcx
jne    1400 <readrec+0x2b0>
test   %r8d,%r8d
je     145a <readrec+0x30a>
mov    %rbx,%rdi
call   1050 <fgetc@plt>
movzbl %al,%r14d
movzbl %r13b,%ebx
cmp    %ebx,%r14d
je     12be <readrec+0x16e>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    0x2b9a(%rip),%rax
mov    (%rax),%edi
lea    0xcae(%rip),%rsi
xor    %ebp,%ebp
mov    %ebx,%edx
mov    %r14d,%ecx
xor    %eax,%eax
call   1060 <fprintf@plt>
jmp    12be <readrec+0x16e>
test   $0x1,%cl
je     12be <readrec+0x16e>
mov    %rbx,%rdi
call   1050 <fgetc@plt>
mov    0x2b76(%rip),%rcx
cmp    (%rcx),%eax
jne    12be <readrec+0x16e>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    0x2b4f(%rip),%rax
mov    (%rax),%edi
lea    0xc9a(%rip),%rsi
jmp    12b5 <readrec+0x165>

LLVM IR (-O0):
@EOF = global i32 0
@stderr = global i32 0
@.str = [35 x i8] c"Improperly formatted OBJ file (1)\0A\00"
@.str.1 = [35 x i8] c"Improperly formatted OBJ file (2)\0A\00"
@.str.2 = [35 x i8] c"Improperly formatted OBJ file (3)\0A\00"
@.str.3 = [35 x i8] c"Improperly formatted OBJ file (4)\0A\00"
@.str.4 = [35 x i8] c"Improperly formatted OBJ file (5)\0A\00"
@.str.5 = [35 x i8] c"Out of memory allocating %d bytes\0A\00"
@.str.6 = [35 x i8] c"Improperly formatted OBJ file (6)\0A\00"
@.str.7 = [55 x i8] c"Bad record checksum, calculated=$%04x, recorded=$%04x\0A\00"
@.str.8 = [34 x i8] c"EOF where padding byte should be\0A\00"
define i8* @readrec(i32* %0, i32* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32 0, i32* %10
%12 = load i32, i32* %7
%13 = icmp ne i32 %12, 0
br i1 %13, label %14, label %53
14: ; preds = %3
br label %15
15: ; preds = %26, %14
%16 = load i32*, i32** %5
%17 = call i32 @fgetc(i32* %16)
store i32 %17, i32* %8
%18 = load i32, i32* %8
%19 = load i32, i32* @EOF
%20 = icmp ne i32 %18, %19
br i1 %20, label %21, label %24
21: ; preds = %15
%22 = load i32, i32* %8
%23 = icmp eq i32 %22, 0
br label %24
24: ; preds = %21, %15
%25 = phi i1 [ false, %15 ], [ %23, %21 ]
br i1 %25, label %26, label %27
26: ; preds = %24
br label %15
27: ; preds = %24
%28 = load i32, i32* %8
%29 = load i32, i32* @EOF
%30 = icmp eq i32 %28, %29
br i1 %30, label %31, label %32
31: ; preds = %27
store i8* null, i8** %4
br label %188
32: ; preds = %27
%33 = load i32, i32* %8
%34 = icmp ne i32 %33, 1
br i1 %34, label %35, label %38
35: ; preds = %32
%36 = load i32, i32* @stderr
%37 = call i32 (i32, i8*, ...) @fprintf(i32 %36, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str, i64 0, i64 0))
store i8* null, i8** %4
br label %188
38: ; preds = %32
%39 = load i32, i32* %8
%40 = load i32, i32* %10
%41 = sub nsw i32 %40, %39
store i32 %41, i32* %10
%42 = load i32*, i32** %5
%43 = call i32 @fgetc(i32* %42)
store i32 %43, i32* %8
%44 = load i32, i32* %8
%45 = icmp ne i32 %44, 0
br i1 %45, label %46, label %49
46: ; preds = %38
%47 = load i32, i32* @stderr
%48 = call i32 (i32, i8*, ...) @fprintf(i32 %47, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.1, i64 0, i64 0))
store i8* null, i8** %4
br label %188
49: ; preds = %38
%50 = load i32, i32* %8
%51 = load i32, i32* %10
%52 = sub nsw i32 %51, %50
store i32 %52, i32* %10
br label %53
53: ; preds = %49, %3
%54 = load i32*, i32** %5
%55 = call i32 @fgetc(i32* %54)
store i32 %55, i32* %8
%56 = load i32, i32* %8
%57 = load i32, i32* @EOF
%58 = icmp eq i32 %56, %57
br i1 %58, label %59, label %66
59: ; preds = %53
%60 = load i32, i32* %7
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %65
62: ; preds = %59
%63 = load i32, i32* @stderr
%64 = call i32 (i32, i8*, ...) @fprintf(i32 %63, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.2, i64 0, i64 0))
br label %65
65: ; preds = %62, %59
store i8* null, i8** %4
br label %188
66: ; preds = %53
%67 = load i32, i32* %8
%68 = load i32*, i32** %6
store i32 %67, i32* %68
%69 = load i32, i32* %8
%70 = load i32, i32* %10
%71 = sub nsw i32 %70, %69
store i32 %71, i32* %10
%72 = load i32*, i32** %5
%73 = call i32 @fgetc(i32* %72)
store i32 %73, i32* %8
%74 = load i32, i32* %8
%75 = load i32, i32* @EOF
%76 = icmp eq i32 %74, %75
br i1 %76, label %77, label %80
77: ; preds = %66
%78 = load i32, i32* @stderr
%79 = call i32 (i32, i8*, ...) @fprintf(i32 %78, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.3, i64 0, i64 0))
store i8* null, i8** %4
br label %188
80: ; preds = %66
%81 = load i32, i32* %8
%82 = shl i32 %81, 8
%83 = load i32*, i32** %6
%84 = load i32, i32* %83
%85 = add nsw i32 %84, %82
store i32 %85, i32* %83
%86 = load i32, i32* %8
%87 = load i32, i32* %10
%88 = sub nsw i32 %87, %86
store i32 %88, i32* %10
%89 = load i32, i32* %7
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %95
91: ; preds = %80
%92 = load i32*, i32** %6
%93 = load i32, i32* %92
%94 = sub nsw i32 %93, 4
store i32 %94, i32* %92
br label %95
95: ; preds = %91, %80
%96 = load i32*, i32** %6
%97 = load i32, i32* %96
%98 = icmp slt i32 %97, 0
br i1 %98, label %99, label %102
99: ; preds = %95
%100 = load i32, i32* @stderr
%101 = call i32 (i32, i8*, ...) @fprintf(i32 %100, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.4, i64 0, i64 0))
store i8* null, i8** %4
br label %188
102: ; preds = %95
%103 = load i32*, i32** %6
%104 = load i32, i32* %103
%105 = call i8* @malloc(i32 %104)
store i8* %105, i8** %11
%106 = load i8*, i8** %11
%107 = icmp eq i8* %106, null
br i1 %107, label %108, label %113
108: ; preds = %102
%109 = load i32, i32* @stderr
%110 = load i32*, i32** %6
%111 = load i32, i32* %110
%112 = call i32 (i32, i8*, ...) @fprintf(i32 %109, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.5, i64 0, i64 0), i32 %111)
store i8* null, i8** %4
br label %188
113: ; preds = %102
%114 = load i8*, i8** %11
%115 = load i32*, i32** %6
%116 = load i32, i32* %115
%117 = load i32*, i32** %5
%118 = call i32 @fread(i8* %114, i32 1, i32 %116, i32* %117)
store i32 %118, i32* %9
%119 = load i32, i32* %9
%120 = load i32*, i32** %6
%121 = load i32, i32* %120
%122 = icmp slt i32 %119, %121
br i1 %122, label %123, label %128
123: ; preds = %113
%124 = load i8*, i8** %11
%125 = call i32 @free(i8* %124)
%126 = load i32, i32* @stderr
%127 = call i32 (i32, i8*, ...) @fprintf(i32 %126, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.6, i64 0, i64 0))
store i8* null, i8** %4
br label %188
128: ; preds = %113
store i32 0, i32* %9
br label %129
129: ; preds = %144, %128
%130 = load i32, i32* %9
%131 = load i32*, i32** %6
%132 = load i32, i32* %131
%133 = icmp slt i32 %130, %132
br i1 %133, label %134, label %147
134: ; preds = %129
%135 = load i8*, i8** %11
%136 = load i32, i32* %9
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i8, i8* %135, i64 %137
%139 = load i8, i8* %138
%140 = sext i8 %139 to i32
%141 = and i32 %140, 255
%142 = load i32, i32* %10
%143 = sub nsw i32 %142, %141
store i32 %143, i32* %10
br label %144
144: ; preds = %134
%145 = load i32, i32* %9
%146 = add nsw i32 %145, 1
store i32 %146, i32* %9
br label %129
147: ; preds = %129
%148 = load i32, i32* %7
%149 = icmp ne i32 %148, 0
br i1 %149, label %150, label %168
150: ; preds = %147
%151 = load i32*, i32** %5
%152 = call i32 @fgetc(i32* %151)
store i32 %152, i32* %8
%153 = load i32, i32* %8
%154 = and i32 %153, 255
store i32 %154, i32* %8
%155 = load i32, i32* %10
%156 = and i32 %155, 255
store i32 %156, i32* %10
%157 = load i32, i32* %8
%158 = load i32, i32* %10
%159 = icmp ne i32 %157, %158
br i1 %159, label %160, label %167
160: ; preds = %150
%161 = load i8*, i8** %11
%162 = call i32 @free(i8* %161)
%163 = load i32, i32* @stderr
%164 = load i32, i32* %10
%165 = load i32, i32* %8
%166 = call i32 (i32, i8*, ...) @fprintf(i32 %163, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.7, i64 0, i64 0), i32 %164, i32 %165)
store i8* null, i8** %4
br label %188
167: ; preds = %150
br label %186
168: ; preds = %147
%169 = load i32*, i32** %6
%170 = load i32, i32* %169
%171 = and i32 %170, 1
%172 = icmp ne i32 %171, 0
br i1 %172, label %173, label %185
173: ; preds = %168
%174 = load i32*, i32** %5
%175 = call i32 @fgetc(i32* %174)
store i32 %175, i32* %8
%176 = load i32, i32* %8
%177 = load i32, i32* @EOF
%178 = icmp eq i32 %176, %177
br i1 %178, label %179, label %184
179: ; preds = %173
%180 = load i8*, i8** %11
%181 = call i32 @free(i8* %180)
%182 = load i32, i32* @stderr
%183 = call i32 (i32, i8*, ...) @fprintf(i32 %182, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.8, i64 0, i64 0))
store i8* null, i8** %4
br label %188
184: ; preds = %173
br label %185
185: ; preds = %184, %168
br label %186
186: ; preds = %185, %167
%187 = load i8*, i8** %11
store i8* %187, i8** %4
br label %188
188: ; preds = %186, %179, %160, %123, %108, %99, %77, %65, %46, %35, %31
%189 = load i8*, i8** %4
ret i8* %189
}

LLVM IR (-O2):
@EOF = global i32 0
@stderr = global i32 0
@.str = [35 x i8] c"Improperly formatted OBJ file (1)\0A\00"
@.str.1 = [35 x i8] c"Improperly formatted OBJ file (2)\0A\00"
@.str.2 = [35 x i8] c"Improperly formatted OBJ file (3)\0A\00"
@.str.3 = [35 x i8] c"Improperly formatted OBJ file (4)\0A\00"
@.str.4 = [35 x i8] c"Improperly formatted OBJ file (5)\0A\00"
@.str.5 = [35 x i8] c"Out of memory allocating %d bytes\0A\00"
@.str.6 = [35 x i8] c"Improperly formatted OBJ file (6)\0A\00"
@.str.7 = [55 x i8] c"Bad record checksum, calculated=$%04x, recorded=$%04x\0A\00"
@.str.8 = [34 x i8] c"EOF where padding byte should be\0A\00"
define noalias i8* @readrec(i32* nocapture %0, i32* nocapture %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %28, label %5
5: ; preds = %3, %5
%6 = tail call i32 @fgetc(i32* %0)
%7 = load i32, i32* @EOF
%8 = icmp eq i32 %6, 0
%9 = icmp ne i32 %7, 0
%10 = and i1 %8, %9
br i1 %10, label %5, label %11
11: ; preds = %5
%12 = icmp eq i32 %6, %7
br i1 %12, label %172, label %13
13: ; preds = %11
%14 = icmp eq i32 %6, 1
br i1 %14, label %18, label %15
15: ; preds = %13
%16 = load i32, i32* @stderr
%17 = tail call i32 (i32, i8*, ...) @fprintf(i32 %16, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str, i64 0, i64 0))
br label %172
18: ; preds = %13
%19 = tail call i32 @fgetc(i32* %0)
%20 = icmp eq i32 %19, 0
br i1 %20, label %24, label %21
21: ; preds = %18
%22 = load i32, i32* @stderr
%23 = tail call i32 (i32, i8*, ...) @fprintf(i32 %22, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.1, i64 0, i64 0))
br label %172
24: ; preds = %18
%25 = tail call i32 @fgetc(i32* %0)
%26 = load i32, i32* @EOF
%27 = icmp eq i32 %25, %26
br i1 %27, label %32, label %35
28: ; preds = %3
%29 = tail call i32 @fgetc(i32* %0)
%30 = load i32, i32* @EOF
%31 = icmp eq i32 %29, %30
br i1 %31, label %172, label %35
32: ; preds = %24
%33 = load i32, i32* @stderr
%34 = tail call i32 (i32, i8*, ...) @fprintf(i32 %33, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.2, i64 0, i64 0))
br label %172
35: ; preds = %28, %24
%36 = phi i32 [ %29, %28 ], [ %25, %24 ]
%37 = phi i32 [ 0, %28 ], [ -1, %24 ]
store i32 %36, i32* %1
%38 = tail call i32 @fgetc(i32* %0)
%39 = load i32, i32* @EOF
%40 = icmp eq i32 %38, %39
br i1 %40, label %41, label %44
41: ; preds = %35
%42 = load i32, i32* @stderr
%43 = tail call i32 (i32, i8*, ...) @fprintf(i32 %42, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.3, i64 0, i64 0))
br label %172
44: ; preds = %35
%45 = shl i32 %38, 8
%46 = load i32, i32* %1
%47 = add nsw i32 %46, %45
%48 = add i32 %36, %38
%49 = sub i32 %37, %48
%50 = add nsw i32 %47, -4
%51 = select i1 %4, i32 %47, i32 %50
store i32 %51, i32* %1
%52 = icmp slt i32 %51, 0
br i1 %52, label %53, label %56
53: ; preds = %44
%54 = load i32, i32* @stderr
%55 = tail call i32 (i32, i8*, ...) @fprintf(i32 %54, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.4, i64 0, i64 0))
br label %172
56: ; preds = %44
%57 = tail call i8* @malloc(i32 %51)
%58 = icmp eq i8* %57, null
br i1 %58, label %59, label %62
59: ; preds = %56
%60 = load i32, i32* @stderr
%61 = tail call i32 (i32, i8*, ...) @fprintf(i32 %60, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.5, i64 0, i64 0), i32 %51)
br label %172
62: ; preds = %56
%63 = tail call i32 @fread(i8* %57, i32 1, i32 %51, i32* %0)
%64 = load i32, i32* %1
%65 = icmp slt i32 %63, %64
br i1 %65, label %137, label %66
66: ; preds = %62
%67 = icmp sgt i32 %64, 0
br i1 %67, label %68, label %150
68: ; preds = %66
%69 = zext i32 %64 to i64
%70 = icmp ult i32 %64, 8
br i1 %70, label %134, label %71
71: ; preds = %68
%72 = and i64 %69, 4294967288
%73 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %49, i64 0
%74 = add nsw i64 %72, -8
%75 = lshr exact i64 %74, 3
%76 = add nuw nsw i64 %75, 1
%77 = and i64 %76, 1
%78 = icmp eq i64 %74, 0
br i1 %78, label %110, label %79
79: ; preds = %71
%80 = and i64 %76, 4611686018427387902
br label %81
81: ; preds = %81, %79
%82 = phi i64 [ 0, %79 ], [ %107, %81 ]
%83 = phi <4 x i32> [ %73, %79 ], [ %104, %81 ]
%84 = phi <4 x i32> [ zeroinitializer, %79 ], [ %106, %81 ]
%85 = phi i64 [ 0, %79 ], [ %108, %81 ]
%86 = getelementptr inbounds i8, i8* %57, i64 %82
%87 = bitcast i8* %86 to <4 x i8>*
%88 = load <4 x i8>, <4 x i8>* %87
%89 = getelementptr inbounds i8, i8* %86, i64 4
%90 = bitcast i8* %89 to <4 x i8>*
%91 = load <4 x i8>, <4 x i8>* %90
%92 = zext <4 x i8> %88 to <4 x i32>
%93 = zext <4 x i8> %91 to <4 x i32>
%94 = or i64 %82, 8
%95 = getelementptr inbounds i8, i8* %57, i64 %94
%96 = bitcast i8* %95 to <4 x i8>*
%97 = load <4 x i8>, <4 x i8>* %96
%98 = getelementptr inbounds i8, i8* %95, i64 4
%99 = bitcast i8* %98 to <4 x i8>*
%100 = load <4 x i8>, <4 x i8>* %99
%101 = zext <4 x i8> %97 to <4 x i32>
%102 = zext <4 x i8> %100 to <4 x i32>
%103 = add nuw nsw <4 x i32> %92, %101
%104 = sub <4 x i32> %83, %103
%105 = add nuw nsw <4 x i32> %93, %102
%106 = sub <4 x i32> %84, %105
%107 = add nuw i64 %82, 16
%108 = add i64 %85, 2
%109 = icmp eq i64 %108, %80
br i1 %109, label %110, label %81
110: ; preds = %81, %71
%111 = phi <4 x i32> [ undef, %71 ], [ %104, %81 ]
%112 = phi <4 x i32> [ undef, %71 ], [ %106, %81 ]
%113 = phi i64 [ 0, %71 ], [ %107, %81 ]
%114 = phi <4 x i32> [ %73, %71 ], [ %104, %81 ]
%115 = phi <4 x i32> [ zeroinitializer, %71 ], [ %106, %81 ]
%116 = icmp eq i64 %77, 0
br i1 %116, label %128, label %117
117: ; preds = %110
%118 = getelementptr inbounds i8, i8* %57, i64 %113
%119 = bitcast i8* %118 to <4 x i8>*
%120 = load <4 x i8>, <4 x i8>* %119
%121 = getelementptr inbounds i8, i8* %118, i64 4
%122 = bitcast i8* %121 to <4 x i8>*
%123 = load <4 x i8>, <4 x i8>* %122
%124 = zext <4 x i8> %120 to <4 x i32>
%125 = zext <4 x i8> %123 to <4 x i32>
%126 = sub <4 x i32> %114, %124
%127 = sub <4 x i32> %115, %125
br label %128
128: ; preds = %110, %117
%129 = phi <4 x i32> [ %111, %110 ], [ %126, %117 ]
%130 = phi <4 x i32> [ %112, %110 ], [ %127, %117 ]
%131 = add <4 x i32> %130, %129
%132 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %131)
%133 = icmp eq i64 %72, %69
br i1 %133, label %150, label %134
134: ; preds = %68, %128
%135 = phi i64 [ 0, %68 ], [ %72, %128 ]
%136 = phi i32 [ %49, %68 ], [ %132, %128 ]
br label %141
137: ; preds = %62
%138 = tail call i32 @free(i8* %57)
%139 = load i32, i32* @stderr
%140 = tail call i32 (i32, i8*, ...) @fprintf(i32 %139, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.6, i64 0, i64 0))
br label %172
141: ; preds = %134, %141
%142 = phi i64 [ %148, %141 ], [ %135, %134 ]
%143 = phi i32 [ %147, %141 ], [ %136, %134 ]
%144 = getelementptr inbounds i8, i8* %57, i64 %142
%145 = load i8, i8* %144
%146 = zext i8 %145 to i32
%147 = sub nsw i32 %143, %146
%148 = add nuw nsw i64 %142, 1
%149 = icmp eq i64 %148, %69
br i1 %149, label %150, label %141
150: ; preds = %141, %128, %66
%151 = phi i32 [ %49, %66 ], [ %132, %128 ], [ %147, %141 ]
br i1 %4, label %161, label %152
152: ; preds = %150
%153 = tail call i32 @fgetc(i32* %0)
%154 = and i32 %153, 255
%155 = and i32 %151, 255
%156 = icmp eq i32 %154, %155
br i1 %156, label %172, label %157
157: ; preds = %152
%158 = tail call i32 @free(i8* %57)
%159 = load i32, i32* @stderr
%160 = tail call i32 (i32, i8*, ...) @fprintf(i32 %159, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.7, i64 0, i64 0), i32 %155, i32 %154)
br label %172
161: ; preds = %150
%162 = and i32 %64, 1
%163 = icmp eq i32 %162, 0
br i1 %163, label %172, label %164
164: ; preds = %161
%165 = tail call i32 @fgetc(i32* %0)
%166 = load i32, i32* @EOF
%167 = icmp eq i32 %165, %166
br i1 %167, label %168, label %172
168: ; preds = %164
%169 = tail call i32 @free(i8* %57)
%170 = load i32, i32* @stderr
%171 = tail call i32 (i32, i8*, ...) @fprintf(i32 %170, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.8, i64 0, i64 0))
br label %172
172: ; preds = %28, %152, %164, %161, %32, %11, %168, %157, %137, %59, %53, %41, %21, %15
%173 = phi i8* [ null, %15 ], [ null, %21 ], [ null, %41 ], [ null, %53 ], [ null, %59 ], [ null, %137 ], [ null, %157 ], [ null, %168 ], [ null, %11 ], [ null, %32 ], [ %57, %161 ], [ %57, %164 ], [ %57, %152 ], [ null, %28 ]
ret i8* %173
}