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

/* Variables and functions */
int atoi(char *);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ is_magic(char *);
int /*<<< orphan*/ is_number(char *);
int /*<<< orphan*/ is_predef(char *);
int /*<<< orphan*/ is_variant(char *);
int /*<<< orphan*/ is_version(char *);
char *malloc(scalar_t__);
int /*<<< orphan*/ strcat(char *, char *);
char *strdup(char const *);
scalar_t__ strlen(char const *);
char *strtok(char *, char *);
int pgheader_parse(const char *header, char **variants, char **comment) {
  int state;
  int nbvariants = -1;
  int nbpredefs = -1;
  char *token;
  char *header_dup;
  header_dup = strdup(header);
  token = strtok(header_dup, "\x0a");
  *comment = malloc(strlen(header) + 1);
  *variants = malloc(strlen(header) + 1);
  (*variants)[0] = '\0';
  (*comment)[0] = '\0';
  state = 0;
  while (token && state <= 99) {
    switch (state) {
    case 0:
      if (is_magic(token)) {
        state = 1;
      } else {
        state = 100 + state;
      }
      break;
    case 1:
      if (is_version(token)) {
        state = 2;
      } else {
        state = 100 + state;
      }
      break;
    case 2:
      if (is_number(token)) {
        nbpredefs = atoi(token);
        if (nbpredefs == 0) {
          state = 100 + state;
        } else {
          state = 3;
        }
      } else {
        state = 100 + state;
      }
      break;
    case 3:
      if (is_number(token)) {
        nbvariants = atoi(token);
        if (nbpredefs <= nbvariants) {
          state = 100 + state;
        } else {
          nbpredefs--;
          if (nbpredefs == 0) {
            state = 50;
          } else if (nbvariants == 0) {
            state = 5;
          } else {
            state = 4;
          }
        }
      } else {
        state = 100 + state;
      }
      break;
    case 4:
      if (is_variant(token)) {
        if ((*variants)[0] != 0) {
          strcat(*variants, "\x0a");
        }
        strcat(*variants, token);
        nbvariants--;
        nbpredefs--;
        if (nbvariants == 0) {
          if (nbpredefs == 0) {
            state = 50;
          } else {
            state = 5;
          }
        } else {
          state = 4;
        }
      } else {
        state = 100 + state;
      }
      break;
    case 5:
      if (is_predef(token)) {
        nbpredefs--;
        if (nbpredefs == 0) {
          state = 50;
        } else {
          state = 5;
        }
      } else {
        state = 100 + state;
      }
      break;
    case 50:
      if ((*comment)[0] != 0) {
        strcat(*comment, "\x0a");
      }
      strcat(*comment, token);
      state = 50;
      break;
    }
    token = strtok(NULL, "\x0a");
  }
  free(header_dup);
  if (state == 50) {
    return 0;
  } else {
    free(*variants);
    free(*comment);
    *variants = NULL;
    *comment = NULL;
    return 6;
  }
}


x86 assembly (clang, -O0):
<pgheader_parse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0xffffffff,-0x28(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
call   10e0 <strdup@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
lea    0xed2(%rip),%rsi
call   10b0 <strtok@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1070 <strlen@plt>
mov    %rax,%rdi
add    $0x1,%rdi
call   1080 <malloc@plt>
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rdi
call   1070 <strlen@plt>
mov    %rax,%rdi
add    $0x1,%rdi
call   1080 <malloc@plt>
mov    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
movb   $0x0,(%rax)
movl   $0x0,-0x24(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x38(%rbp)
mov    %al,-0x41(%rbp)
je     1276 <pgheader_parse+0xb6>
cmpl   $0x63,-0x24(%rbp)
setle  %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1286 <pgheader_parse+0xc6>
jmp    1525 <pgheader_parse+0x365>
mov    -0x24(%rbp),%eax
mov    %rax,-0x50(%rbp)
sub    $0x32,%rax
ja     150c <pgheader_parse+0x34c>
mov    -0x50(%rbp),%rax
lea    0xd5e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x38(%rbp),%rdi
call   1060 <is_magic@plt>
cmp    $0x0,%eax
je     12c9 <pgheader_parse+0x109>
movl   $0x1,-0x24(%rbp)
jmp    12d2 <pgheader_parse+0x112>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x38(%rbp),%rdi
call   10a0 <is_version@plt>
cmp    $0x0,%eax
je     12f5 <pgheader_parse+0x135>
movl   $0x2,-0x24(%rbp)
jmp    12fe <pgheader_parse+0x13e>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x38(%rbp),%rdi
call   1040 <is_number@plt>
cmp    $0x0,%eax
je     1345 <pgheader_parse+0x185>
mov    -0x38(%rbp),%rdi
call   10c0 <atoi@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    1339 <pgheader_parse+0x179>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    1340 <pgheader_parse+0x180>
movl   $0x3,-0x24(%rbp)
jmp    134e <pgheader_parse+0x18e>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x38(%rbp),%rdi
call   1040 <is_number@plt>
cmp    $0x0,%eax
je     13d6 <pgheader_parse+0x216>
mov    -0x38(%rbp),%rdi
call   10c0 <atoi@plt>
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     138b <pgheader_parse+0x1cb>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    13d1 <pgheader_parse+0x211>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    13aa <pgheader_parse+0x1ea>
movl   $0x32,-0x24(%rbp)
jmp    13cc <pgheader_parse+0x20c>
cmpl   $0x0,-0x28(%rbp)
jne    13c0 <pgheader_parse+0x200>
movl   $0x5,-0x24(%rbp)
jmp    13c7 <pgheader_parse+0x207>
movl   $0x4,-0x24(%rbp)
jmp    13cc <pgheader_parse+0x20c>
jmp    13d1 <pgheader_parse+0x211>
jmp    13df <pgheader_parse+0x21f>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x38(%rbp),%rdi
call   1050 <is_variant@plt>
cmp    $0x0,%eax
je     1476 <pgheader_parse+0x2b6>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     141c <pgheader_parse+0x25c>
mov    -0x18(%rbp),%rax
mov    (%rax),%rdi
lea    0xcb5(%rip),%rsi
call   10d0 <strcat@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rdi
mov    -0x38(%rbp),%rsi
call   10d0 <strcat@plt>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    146a <pgheader_parse+0x2aa>
cmpl   $0x0,-0x2c(%rbp)
jne    145e <pgheader_parse+0x29e>
movl   $0x32,-0x24(%rbp)
jmp    1465 <pgheader_parse+0x2a5>
movl   $0x5,-0x24(%rbp)
jmp    1471 <pgheader_parse+0x2b1>
movl   $0x4,-0x24(%rbp)
jmp    147f <pgheader_parse+0x2bf>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x38(%rbp),%rdi
call   1090 <is_predef@plt>
cmp    $0x0,%eax
je     14c1 <pgheader_parse+0x301>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    14b5 <pgheader_parse+0x2f5>
movl   $0x32,-0x24(%rbp)
jmp    14bc <pgheader_parse+0x2fc>
movl   $0x5,-0x24(%rbp)
jmp    14ca <pgheader_parse+0x30a>
mov    -0x24(%rbp),%eax
add    $0x64,%eax
mov    %eax,-0x24(%rbp)
jmp    150c <pgheader_parse+0x34c>
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     14f5 <pgheader_parse+0x335>
mov    -0x20(%rbp),%rax
mov    (%rax),%rdi
lea    0xbdc(%rip),%rsi
call   10d0 <strcat@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%rdi
mov    -0x38(%rbp),%rsi
call   10d0 <strcat@plt>
movl   $0x32,-0x24(%rbp)
xor    %eax,%eax
mov    %eax,%edi
lea    0xbb5(%rip),%rsi
call   10b0 <strtok@plt>
mov    %rax,-0x38(%rbp)
jmp    125c <pgheader_parse+0x9c>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
cmpl   $0x32,-0x24(%rbp)
jne    1544 <pgheader_parse+0x384>
movl   $0x0,-0x4(%rbp)
jmp    1579 <pgheader_parse+0x3b9>
mov    -0x18(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
movl   $0x6,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pgheader_parse>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,%rbp
mov    %rsi,%r14
mov    %rdi,%rbx
call   10e0 <strdup@plt>
mov    %rax,%r12
lea    0xee6(%rip),%rsi
mov    %rax,%rdi
call   10b0 <strtok@plt>
mov    %rax,%r15
mov    %rbx,%rdi
call   1070 <strlen@plt>
lea    0x1(%rax),%rdi
call   1080 <malloc@plt>
mov    %rax,0x0(%rbp)
mov    %rbx,%rdi
call   1070 <strlen@plt>
lea    0x1(%rax),%rdi
call   1080 <malloc@plt>
mov    %rax,(%r14)
movb   $0x0,(%rax)
mov    0x0(%rbp),%rax
movb   $0x0,(%rax)
test   %r15,%r15
je     1430 <pgheader_parse+0x270>
mov    %r12,0x20(%rsp)
mov    %r14,0x10(%rsp)
mov    %rbp,0x18(%rsp)
xor    %r12d,%r12d
mov    $0xffffffff,%ebp
lea    0xe81(%rip),%r13
lea    0xdae(%rip),%r14
movl   $0xffffffff,0xc(%rsp)
ff
nopw   0x0(%rax,%rax,1)
cmp    $0x32,%r12d
ja     13f0 <pgheader_parse+0x230>
mov    %r12d,%eax
movslq (%r14,%rax,4),%rax
add    %r14,%rax
jmp    *%rax
mov    %r15,%rdi
call   1060 <is_magic@plt>
test   %eax,%eax
mov    $0x1,%r12d
mov    $0x64,%eax
cmove  %eax,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   10a0 <is_version@plt>
test   %eax,%eax
mov    $0x2,%r12d
mov    $0x65,%eax
cmove  %eax,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   1040 <is_number@plt>
test   %eax,%eax
je     13ba <pgheader_parse+0x1fa>
mov    %r15,%rdi
call   10c0 <atoi@plt>
mov    %eax,%ebp
test   %eax,%eax
mov    $0x3,%r12d
mov    $0x66,%eax
cmove  %eax,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   1040 <is_number@plt>
mov    $0x67,%r12d
test   %eax,%eax
je     13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   10c0 <atoi@plt>
cmp    %eax,%ebp
mov    %eax,0xc(%rsp)
jle    13f0 <pgheader_parse+0x230>
add    $0xffffffff,%ebp
je     140e <pgheader_parse+0x24e>
xor    %r12d,%r12d
test   %eax,%eax
sete   %r12b
or     $0x4,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   1050 <is_variant@plt>
test   %eax,%eax
je     13c2 <pgheader_parse+0x202>
mov    0x10(%rsp),%rbx
mov    (%rbx),%rdi
cmpb   $0x0,(%rdi)
je     134f <pgheader_parse+0x18f>
mov    %r13,%rsi
call   10d0 <strcat@plt>
mov    (%rbx),%rdi
mov    %r15,%rsi
call   10d0 <strcat@plt>
add    $0xffffffff,%ebp
mov    $0x4,%r12d
mov    0xc(%rsp),%eax
add    $0xffffffff,%eax
je     13d2 <pgheader_parse+0x212>
mov    %eax,0xc(%rsp)
jmp    13f0 <pgheader_parse+0x230>
mov    %r15,%rdi
call   1090 <is_predef@plt>
test   %eax,%eax
je     13ca <pgheader_parse+0x20a>
add    $0xffffffff,%ebp
mov    $0x5,%r12d
mov    $0x32,%eax
cmove  %eax,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    0x18(%rsp),%rbx
mov    (%rbx),%rdi
cmpb   $0x0,(%rdi)
je     13aa <pgheader_parse+0x1ea>
mov    %r13,%rsi
call   10d0 <strcat@plt>
mov    (%rbx),%rdi
mov    %r15,%rsi
call   10d0 <strcat@plt>
mov    $0x32,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    $0x66,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    $0x68,%r12d
jmp    13f0 <pgheader_parse+0x230>
mov    $0x69,%r12d
jmp    13f0 <pgheader_parse+0x230>
test   %ebp,%ebp
mov    $0x5,%r12d
mov    $0x32,%eax
cmove  %eax,%r12d
movl   $0x0,0xc(%rsp)
nopl   0x0(%rax,%rax,1)
xor    %edi,%edi
mov    %r13,%rsi
call   10b0 <strtok@plt>
test   %rax,%rax
je     1412 <pgheader_parse+0x252>
mov    %rax,%r15
cmp    $0x64,%r12d
jl     1260 <pgheader_parse+0xa0>
jmp    1412 <pgheader_parse+0x252>
xor    %ebp,%ebp
jmp    13b2 <pgheader_parse+0x1f2>
mov    0x20(%rsp),%rdi
call   1030 <free@plt>
xor    %eax,%eax
cmp    $0x32,%r12d
mov    0x18(%rsp),%rbp
mov    0x10(%rsp),%r14
jne    1438 <pgheader_parse+0x278>
jmp    145d <pgheader_parse+0x29d>
mov    %r12,%rdi
call   1030 <free@plt>
mov    (%r14),%rdi
call   1030 <free@plt>
mov    0x0(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,(%r14)
movq   $0x0,0x0(%rbp)
mov    $0x6,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [2 x i8] c"\0A\00"
define i32 @pgheader_parse(i8* nocapture %0, i8** nocapture %1, i8** nocapture %2) {
%4 = tail call i8* @strdup(i8* %0)
%5 = tail call i8* @strtok(i8* %4, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%6 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%7 = add nsw i64 %6, 1
%8 = tail call i8* @malloc(i64 %7)
store i8* %8, i8** %2
%9 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%10 = add nsw i64 %9, 1
%11 = tail call i8* @malloc(i64 %10)
store i8* %11, i8** %1
store i8 0, i8* %11
%12 = load i8*, i8** %2
store i8 0, i8* %12
%13 = icmp eq i8* %5, null
br i1 %13, label %14, label %16
14: ; preds = %3
%15 = tail call i32 @free(i8* %4)
br label %95
16: ; preds = %3, %84
%17 = phi i8* [ %88, %84 ], [ %5, %3 ]
%18 = phi i32 [ %87, %84 ], [ -1, %3 ]
%19 = phi i32 [ %86, %84 ], [ -1, %3 ]
%20 = phi i32 [ %85, %84 ], [ 0, %3 ]
switch i32 %20, label %84 [
i32 0, label %21
i32 1, label %25
i32 2, label %29
i32 3, label %36
i32 4, label %48
i32 5, label %67
i32 50, label %74
]
21: ; preds = %16
%22 = tail call i32 @is_magic(i8* %17)
%23 = icmp eq i32 %22, 0
%24 = select i1 %23, i32 100, i32 1
br label %84
25: ; preds = %16
%26 = tail call i32 @is_version(i8* %17)
%27 = icmp eq i32 %26, 0
%28 = select i1 %27, i32 101, i32 2
br label %84
29: ; preds = %16
%30 = tail call i32 @is_number(i8* %17)
%31 = icmp eq i32 %30, 0
br i1 %31, label %84, label %32
32: ; preds = %29
%33 = tail call i32 @atoi(i8* %17)
%34 = icmp eq i32 %33, 0
%35 = select i1 %34, i32 102, i32 3
br label %84
36: ; preds = %16
%37 = tail call i32 @is_number(i8* %17)
%38 = icmp eq i32 %37, 0
br i1 %38, label %84, label %39
39: ; preds = %36
%40 = tail call i32 @atoi(i8* %17)
%41 = icmp sgt i32 %18, %40
br i1 %41, label %42, label %84
42: ; preds = %39
%43 = add nsw i32 %18, -1
%44 = icmp eq i32 %43, 0
br i1 %44, label %84, label %45
45: ; preds = %42
%46 = icmp eq i32 %40, 0
%47 = select i1 %46, i32 5, i32 4
br label %84
48: ; preds = %16
%49 = tail call i32 @is_variant(i8* %17)
%50 = icmp eq i32 %49, 0
br i1 %50, label %84, label %51
51: ; preds = %48
%52 = load i8*, i8** %1
%53 = load i8, i8* %52
%54 = icmp eq i8 %53, 0
br i1 %54, label %58, label %55
55: ; preds = %51
%56 = tail call i32 @strcat(i8* %52, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%57 = load i8*, i8** %1
br label %58
58: ; preds = %55, %51
%59 = phi i8* [ %57, %55 ], [ %52, %51 ]
%60 = tail call i32 @strcat(i8* %59, i8* %17)
%61 = add nsw i32 %19, -1
%62 = add nsw i32 %18, -1
%63 = icmp eq i32 %61, 0
br i1 %63, label %64, label %84
64: ; preds = %58
%65 = icmp eq i32 %62, 0
%66 = select i1 %65, i32 50, i32 5
br label %84
67: ; preds = %16
%68 = tail call i32 @is_predef(i8* %17)
%69 = icmp eq i32 %68, 0
br i1 %69, label %84, label %70
70: ; preds = %67
%71 = add nsw i32 %18, -1
%72 = icmp eq i32 %71, 0
%73 = select i1 %72, i32 50, i32 5
br label %84
74: ; preds = %16
%75 = load i8*, i8** %2
%76 = load i8, i8* %75
%77 = icmp eq i8 %76, 0
br i1 %77, label %81, label %78
78: ; preds = %74
%79 = tail call i32 @strcat(i8* %75, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%80 = load i8*, i8** %2
br label %81
81: ; preds = %78, %74
%82 = phi i8* [ %80, %78 ], [ %75, %74 ]
%83 = tail call i32 @strcat(i8* %82, i8* %17)
br label %84
84: ; preds = %67, %48, %36, %39, %29, %32, %25, %21, %70, %58, %64, %45, %42, %16, %81
%85 = phi i32 [ %20, %16 ], [ 50, %81 ], [ 50, %42 ], [ %47, %45 ], [ %66, %64 ], [ 4, %58 ], [ %73, %70 ], [ %24, %21 ], [ %28, %25 ], [ %35, %32 ], [ 102, %29 ], [ 103, %39 ], [ 103, %36 ], [ 104, %48 ], [ 105, %67 ]
%86 = phi i32 [ %19, %16 ], [ %19, %81 ], [ %40, %42 ], [ %40, %45 ], [ 0, %64 ], [ %61, %58 ], [ %19, %70 ], [ %19, %21 ], [ %19, %25 ], [ %19, %32 ], [ %19, %29 ], [ %40, %39 ], [ %19, %36 ], [ %19, %48 ], [ %19, %67 ]
%87 = phi i32 [ %18, %16 ], [ %18, %81 ], [ 0, %42 ], [ %43, %45 ], [ %62, %64 ], [ %62, %58 ], [ %71, %70 ], [ %18, %21 ], [ %18, %25 ], [ %33, %32 ], [ %18, %29 ], [ %18, %39 ], [ %18, %36 ], [ %18, %48 ], [ %18, %67 ]
%88 = tail call i8* @strtok(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%89 = icmp ne i8* %88, null
%90 = icmp slt i32 %85, 100
%91 = select i1 %89, i1 %90, i1 false
br i1 %91, label %16, label %92
92: ; preds = %84
%93 = tail call i32 @free(i8* %4)
%94 = icmp eq i32 %85, 50
br i1 %94, label %100, label %95
95: ; preds = %14, %92
%96 = load i8*, i8** %1
%97 = tail call i32 @free(i8* %96)
%98 = load i8*, i8** %2
%99 = tail call i32 @free(i8* %98)
store i8* null, i8** %1
store i8* null, i8** %2
br label %100
100: ; preds = %92, %95
%101 = phi i32 [ 6, %95 ], [ 0, %92 ]
ret i32 %101
}