#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 */
struct seq_file {
  int dummy;
};

/* Variables and functions */
int fwrite_file(void *, int, int, struct seq_file *);
unsigned int uint4(unsigned char const *);
int /*<<< orphan*/ uint8_char(size_t, unsigned char *);
int wrt_sec(unsigned const char *sec0, unsigned const char *sec1,
            unsigned const char *sec2, unsigned const char *sec3,
            unsigned const char *sec4, unsigned const char *sec5,
            unsigned const char *sec6, unsigned const char *sec7,
            struct seq_file *file) {
  size_t size;
  unsigned char s[16];
  int i;
  unsigned int s1, s2, s3, s4, s5, s6, s7, s8;
  s1 = (sec1 ? uint4(sec1) : 0);
  s2 = (sec2 ? uint4(sec2) : 0);
  s3 = (sec3 ? uint4(sec3) : 0);
  s4 = (sec4 ? uint4(sec4) : 0);
  s5 = (sec5 ? uint4(sec5) : 0);
  s6 = (sec6 ? uint4(sec6) : 0);
  s7 = (sec7 ? uint4(sec7) : 0);
  s8 = 4;
  size = (size_t)16 + s1 + s2 + s3 + s4 + s5 + (size_t)s6 + (size_t)s7 + s8;
  for (i = 0; i < 8; i++)
    s[i] = sec0[i];
  uint8_char(size, s + 8);
  fwrite_file((void *)s, sizeof(char), 16, file);
  if (sec1) {
    if (fwrite_file((void *)sec1, sizeof(char), s1, file) != s1)
      return 1;
  }
  if (sec2) {
    if (fwrite_file((void *)sec2, sizeof(char), s2, file) != s2)
      return 1;
  }
  if (sec3) {
    if (fwrite_file((void *)sec3, sizeof(char), s3, file) != s3)
      return 1;
  }
  if (sec4) {
    if (fwrite_file((void *)sec4, sizeof(char), s4, file) != s4)
      return 1;
  }
  if (sec5) {
    if (fwrite_file((void *)sec5, sizeof(char), s5, file) != s5)
      return 1;
  }
  if (sec6) {
    if (fwrite_file((void *)sec6, sizeof(char), s6, file) != s6)
      return 1;
  }
  if (sec7) {
    if (fwrite_file((void *)sec7, sizeof(char), s7, file) != s7)
      return 1;
  }
  s[0] = s[1] = s[2] = s[3] = 55;
  if (fwrite_file((void *)s, sizeof(char), 4, file) != 4)
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<wrt_sec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     117b <wrt_sec+0x4b>
mov    -0x18(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x78(%rbp)
jmp    1185 <wrt_sec+0x55>
xor    %eax,%eax
mov    %eax,-0x78(%rbp)
jmp    1185 <wrt_sec+0x55>
mov    -0x78(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11a7 <wrt_sec+0x77>
mov    -0x20(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x7c(%rbp)
jmp    11b1 <wrt_sec+0x81>
xor    %eax,%eax
mov    %eax,-0x7c(%rbp)
jmp    11b1 <wrt_sec+0x81>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     11d3 <wrt_sec+0xa3>
mov    -0x28(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x80(%rbp)
jmp    11dd <wrt_sec+0xad>
xor    %eax,%eax
mov    %eax,-0x80(%rbp)
jmp    11dd <wrt_sec+0xad>
mov    -0x80(%rbp),%eax
mov    %eax,-0x60(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     1202 <wrt_sec+0xd2>
mov    -0x30(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x84(%rbp)
jmp    120f <wrt_sec+0xdf>
xor    %eax,%eax
mov    %eax,-0x84(%rbp)
jmp    120f <wrt_sec+0xdf>
mov    -0x84(%rbp),%eax
mov    %eax,-0x64(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     1237 <wrt_sec+0x107>
mov    -0x38(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x88(%rbp)
jmp    1244 <wrt_sec+0x114>
xor    %eax,%eax
mov    %eax,-0x88(%rbp)
jmp    1244 <wrt_sec+0x114>
mov    -0x88(%rbp),%eax
mov    %eax,-0x68(%rbp)
cmpq   $0x0,0x10(%rbp)
je     126c <wrt_sec+0x13c>
mov    0x10(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x8c(%rbp)
jmp    1279 <wrt_sec+0x149>
xor    %eax,%eax
mov    %eax,-0x8c(%rbp)
jmp    1279 <wrt_sec+0x149>
mov    -0x8c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
cmpq   $0x0,0x18(%rbp)
je     12a1 <wrt_sec+0x171>
mov    0x18(%rbp),%rdi
call   1030 <uint4@plt>
mov    %eax,-0x90(%rbp)
jmp    12ae <wrt_sec+0x17e>
xor    %eax,%eax
mov    %eax,-0x90(%rbp)
jmp    12ae <wrt_sec+0x17e>
mov    -0x90(%rbp),%eax
mov    %eax,-0x70(%rbp)
movl   $0x4,-0x74(%rbp)
mov    -0x58(%rbp),%eax
add    $0x10,%rax
mov    -0x5c(%rbp),%ecx
add    %rcx,%rax
mov    -0x60(%rbp),%ecx
add    %rcx,%rax
mov    -0x64(%rbp),%ecx
add    %rcx,%rax
mov    -0x68(%rbp),%ecx
add    %rcx,%rax
mov    -0x6c(%rbp),%ecx
add    %rcx,%rax
mov    -0x70(%rbp),%ecx
add    %rcx,%rax
mov    -0x74(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x8,-0x54(%rbp)
jge    1325 <wrt_sec+0x1f5>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x54(%rbp),%rax
mov    %cl,-0x50(%rbp,%rax,1)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12fa <wrt_sec+0x1ca>
mov    -0x40(%rbp),%rdi
lea    -0x50(%rbp),%rsi
add    $0x8,%rsi
call   1040 <uint8_char@plt>
lea    -0x50(%rbp),%rdi
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
mov    $0x10,%edx
call   1050 <fwrite_file@plt>
cmpq   $0x0,-0x18(%rbp)
je     1387 <wrt_sec+0x257>
mov    -0x18(%rbp),%rdi
mov    -0x58(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x58(%rbp),%eax
je     1382 <wrt_sec+0x252>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    1387 <wrt_sec+0x257>
cmpq   $0x0,-0x20(%rbp)
je     13c1 <wrt_sec+0x291>
mov    -0x20(%rbp),%rdi
mov    -0x5c(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x5c(%rbp),%eax
je     13bc <wrt_sec+0x28c>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    13c1 <wrt_sec+0x291>
cmpq   $0x0,-0x28(%rbp)
je     13fb <wrt_sec+0x2cb>
mov    -0x28(%rbp),%rdi
mov    -0x60(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x60(%rbp),%eax
je     13f6 <wrt_sec+0x2c6>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    13fb <wrt_sec+0x2cb>
cmpq   $0x0,-0x30(%rbp)
je     1435 <wrt_sec+0x305>
mov    -0x30(%rbp),%rdi
mov    -0x64(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x64(%rbp),%eax
je     1430 <wrt_sec+0x300>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    1435 <wrt_sec+0x305>
cmpq   $0x0,-0x38(%rbp)
je     146f <wrt_sec+0x33f>
mov    -0x38(%rbp),%rdi
mov    -0x68(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x68(%rbp),%eax
je     146a <wrt_sec+0x33a>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    146f <wrt_sec+0x33f>
cmpq   $0x0,0x10(%rbp)
je     14a9 <wrt_sec+0x379>
mov    0x10(%rbp),%rdi
mov    -0x6c(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x6c(%rbp),%eax
je     14a4 <wrt_sec+0x374>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    14a9 <wrt_sec+0x379>
cmpq   $0x0,0x18(%rbp)
je     14e3 <wrt_sec+0x3b3>
mov    0x18(%rbp),%rdi
mov    -0x70(%rbp),%edx
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
call   1050 <fwrite_file@plt>
cmp    -0x70(%rbp),%eax
je     14de <wrt_sec+0x3ae>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
jmp    14e3 <wrt_sec+0x3b3>
movb   $0x37,-0x4d(%rbp)
movb   $0x37,-0x4e(%rbp)
movb   $0x37,-0x4f(%rbp)
movb   $0x37,-0x50(%rbp)
lea    -0x50(%rbp),%rdi
mov    0x20(%rbp),%rcx
mov    $0x1,%esi
mov    $0x4,%edx
call   1050 <fwrite_file@plt>
cmp    $0x4,%eax
je     151f <wrt_sec+0x3ef>
movl   $0x1,-0x4(%rbp)
jmp    1526 <wrt_sec+0x3f6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wrt_sec>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,%rbx
mov    %r8,%rbp
mov    %rcx,0x20(%rsp)
mov    %rdx,%r12
mov    %rsi,%r13
mov    %rdi,0x10(%rsp)
xor    %r14d,%r14d
mov    $0x0,%r15d
test   %rsi,%rsi
je     116d <wrt_sec+0x3d>
mov    %r13,%rdi
call   1030 <uint4@plt>
mov    %eax,%r15d
mov    %rbp,0x18(%rsp)
test   %r12,%r12
je     1182 <wrt_sec+0x52>
mov    %r12,%rdi
call   1030 <uint4@plt>
mov    %eax,%r14d
movl   $0x0,0x8(%rsp)
movl   $0x0,0xc(%rsp)
mov    0x20(%rsp),%rdi
test   %rdi,%rdi
je     11a5 <wrt_sec+0x75>
call   1030 <uint4@plt>
mov    %eax,0xc(%rsp)
mov    0x18(%rsp),%rdi
test   %rdi,%rdi
je     11b8 <wrt_sec+0x88>
call   1030 <uint4@plt>
mov    %eax,0x8(%rsp)
mov    0x80(%rsp),%rdi
movl   $0x0,(%rsp)
movl   $0x0,0x4(%rsp)
test   %rbx,%rbx
je     11e8 <wrt_sec+0xb8>
mov    %rbx,%rdi
call   1030 <uint4@plt>
mov    %eax,0x4(%rsp)
mov    0x80(%rsp),%rdi
mov    0x88(%rsp),%rbp
test   %rdi,%rdi
je     11fd <wrt_sec+0xcd>
call   1030 <uint4@plt>
mov    %eax,(%rsp)
test   %rbp,%rbp
mov    %rbx,0x28(%rsp)
je     1211 <wrt_sec+0xe1>
mov    %rbp,%rdi
call   1030 <uint4@plt>
jmp    1213 <wrt_sec+0xe3>
xor    %eax,%eax
mov    0x10(%rsp),%rsi
mov    %r15d,%edx
mov    %r14d,%ecx
add    %rdx,%rcx
mov    0xc(%rsp),%edx
add    %rcx,%rdx
mov    0x8(%rsp),%ecx
add    %rdx,%rcx
mov    0x4(%rsp),%edx
add    %rcx,%rdx
mov    (%rsp),%ecx
add    %rdx,%rcx
mov    (%rsi),%rdx
mov    %rdx,0x30(%rsp)
mov    %eax,0x10(%rsp)
mov    %eax,%eax
lea    (%rax,%rcx,1),%rdi
add    $0x14,%rdi
lea    0x38(%rsp),%rsi
call   1040 <uint8_char@plt>
lea    0x30(%rsp),%rdi
mov    $0x1,%ebx
mov    $0x1,%esi
mov    $0x10,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
test   %r13,%r13
je     12a3 <wrt_sec+0x173>
mov    %r13,%rdi
mov    $0x1,%esi
mov    %r15d,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %r15d,%eax
jne    13fa <wrt_sec+0x2ca>
test   %r12,%r12
je     12ce <wrt_sec+0x19e>
mov    $0x1,%ebx
mov    %r12,%rdi
mov    $0x1,%esi
mov    %r14d,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %r14d,%eax
jne    13fa <wrt_sec+0x2ca>
cmpq   $0x0,0x20(%rsp)
je     1300 <wrt_sec+0x1d0>
mov    $0x1,%ebx
mov    0x20(%rsp),%rdi
mov    $0x1,%esi
mov    0xc(%rsp),%ebp
mov    %ebp,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %ebp,%eax
jne    13fa <wrt_sec+0x2ca>
cmpq   $0x0,0x18(%rsp)
je     1332 <wrt_sec+0x202>
mov    $0x1,%ebx
mov    0x18(%rsp),%rdi
mov    $0x1,%esi
mov    0x8(%rsp),%ebp
mov    %ebp,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %ebp,%eax
jne    13fa <wrt_sec+0x2ca>
cmpq   $0x0,0x28(%rsp)
je     1367 <wrt_sec+0x237>
mov    $0x1,%ebx
mov    0x28(%rsp),%rdi
mov    $0x1,%esi
mov    0x4(%rsp),%r14d
mov    %r14d,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %r14d,%eax
jne    13fa <wrt_sec+0x2ca>
cmpq   $0x0,0x80(%rsp)
je     139a <wrt_sec+0x26a>
mov    $0x1,%ebx
mov    0x80(%rsp),%rdi
mov    $0x1,%esi
mov    (%rsp),%ebp
mov    %ebp,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %ebp,%eax
jne    13fa <wrt_sec+0x2ca>
cmpq   $0x0,0x88(%rsp)
je     13ce <wrt_sec+0x29e>
mov    $0x1,%ebx
mov    0x88(%rsp),%rdi
mov    $0x1,%esi
mov    0x10(%rsp),%ebp
mov    %ebp,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
cmp    %ebp,%eax
jne    13fa <wrt_sec+0x2ca>
movl   $0x37373737,0x30(%rsp)
37
lea    0x30(%rsp),%rdi
mov    $0x1,%esi
mov    $0x4,%edx
mov    0x90(%rsp),%rcx
call   1050 <fwrite_file@plt>
xor    %ebx,%ebx
cmp    $0x4,%eax
setne  %bl
mov    %ebx,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.seq_file = type { i32 }
define i32 @wrt_sec(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i8* %7, %struct.seq_file* %8) {
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca %struct.seq_file*
%20 = alloca i64
%21 = alloca [16 x i8]
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
store i8* %0, i8** %11
store i8* %1, i8** %12
store i8* %2, i8** %13
store i8* %3, i8** %14
store i8* %4, i8** %15
store i8* %5, i8** %16
store i8* %6, i8** %17
store i8* %7, i8** %18
store %struct.seq_file* %8, %struct.seq_file** %19
%31 = load i8*, i8** %12
%32 = icmp ne i8* %31, null
br i1 %32, label %33, label %36
33: ; preds = %9
%34 = load i8*, i8** %12
%35 = call i32 @uint4(i8* %34)
br label %37
36: ; preds = %9
br label %37
37: ; preds = %36, %33
%38 = phi i32 [ %35, %33 ], [ 0, %36 ]
store i32 %38, i32* %23
%39 = load i8*, i8** %13
%40 = icmp ne i8* %39, null
br i1 %40, label %41, label %44
41: ; preds = %37
%42 = load i8*, i8** %13
%43 = call i32 @uint4(i8* %42)
br label %45
44: ; preds = %37
br label %45
45: ; preds = %44, %41
%46 = phi i32 [ %43, %41 ], [ 0, %44 ]
store i32 %46, i32* %24
%47 = load i8*, i8** %14
%48 = icmp ne i8* %47, null
br i1 %48, label %49, label %52
49: ; preds = %45
%50 = load i8*, i8** %14
%51 = call i32 @uint4(i8* %50)
br label %53
52: ; preds = %45
br label %53
53: ; preds = %52, %49
%54 = phi i32 [ %51, %49 ], [ 0, %52 ]
store i32 %54, i32* %25
%55 = load i8*, i8** %15
%56 = icmp ne i8* %55, null
br i1 %56, label %57, label %60
57: ; preds = %53
%58 = load i8*, i8** %15
%59 = call i32 @uint4(i8* %58)
br label %61
60: ; preds = %53
br label %61
61: ; preds = %60, %57
%62 = phi i32 [ %59, %57 ], [ 0, %60 ]
store i32 %62, i32* %26
%63 = load i8*, i8** %16
%64 = icmp ne i8* %63, null
br i1 %64, label %65, label %68
65: ; preds = %61
%66 = load i8*, i8** %16
%67 = call i32 @uint4(i8* %66)
br label %69
68: ; preds = %61
br label %69
69: ; preds = %68, %65
%70 = phi i32 [ %67, %65 ], [ 0, %68 ]
store i32 %70, i32* %27
%71 = load i8*, i8** %17
%72 = icmp ne i8* %71, null
br i1 %72, label %73, label %76
73: ; preds = %69
%74 = load i8*, i8** %17
%75 = call i32 @uint4(i8* %74)
br label %77
76: ; preds = %69
br label %77
77: ; preds = %76, %73
%78 = phi i32 [ %75, %73 ], [ 0, %76 ]
store i32 %78, i32* %28
%79 = load i8*, i8** %18
%80 = icmp ne i8* %79, null
br i1 %80, label %81, label %84
81: ; preds = %77
%82 = load i8*, i8** %18
%83 = call i32 @uint4(i8* %82)
br label %85
84: ; preds = %77
br label %85
85: ; preds = %84, %81
%86 = phi i32 [ %83, %81 ], [ 0, %84 ]
store i32 %86, i32* %29
store i32 4, i32* %30
%87 = load i32, i32* %23
%88 = zext i32 %87 to i64
%89 = add i64 16, %88
%90 = load i32, i32* %24
%91 = zext i32 %90 to i64
%92 = add i64 %89, %91
%93 = load i32, i32* %25
%94 = zext i32 %93 to i64
%95 = add i64 %92, %94
%96 = load i32, i32* %26
%97 = zext i32 %96 to i64
%98 = add i64 %95, %97
%99 = load i32, i32* %27
%100 = zext i32 %99 to i64
%101 = add i64 %98, %100
%102 = load i32, i32* %28
%103 = zext i32 %102 to i64
%104 = add i64 %101, %103
%105 = load i32, i32* %29
%106 = zext i32 %105 to i64
%107 = add i64 %104, %106
%108 = load i32, i32* %30
%109 = zext i32 %108 to i64
%110 = add i64 %107, %109
store i64 %110, i64* %20
store i32 0, i32* %22
br label %111
111: ; preds = %123, %85
%112 = load i32, i32* %22
%113 = icmp slt i32 %112, 8
br i1 %113, label %114, label %126
114: ; preds = %111
%115 = load i8*, i8** %11
%116 = load i32, i32* %22
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i8, i8* %115, i64 %117
%119 = load i8, i8* %118
%120 = load i32, i32* %22
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 %121
store i8 %119, i8* %122
br label %123
123: ; preds = %114
%124 = load i32, i32* %22
%125 = add nsw i32 %124, 1
store i32 %125, i32* %22
br label %111
126: ; preds = %111
%127 = load i64, i64* %20
%128 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
%129 = getelementptr inbounds i8, i8* %128, i64 8
%130 = call i32 @uint8_char(i64 %127, i8* %129)
%131 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
%132 = load %struct.seq_file*, %struct.seq_file** %19
%133 = call i32 @fwrite_file(i8* %131, i32 1, i32 16, %struct.seq_file* %132)
%134 = load i8*, i8** %12
%135 = icmp ne i8* %134, null
br i1 %135, label %136, label %145
136: ; preds = %126
%137 = load i8*, i8** %12
%138 = load i32, i32* %23
%139 = load %struct.seq_file*, %struct.seq_file** %19
%140 = call i32 @fwrite_file(i8* %137, i32 1, i32 %138, %struct.seq_file* %139)
%141 = load i32, i32* %23
%142 = icmp ne i32 %140, %141
br i1 %142, label %143, label %144
143: ; preds = %136
store i32 1, i32* %10
br label %228
144: ; preds = %136
br label %145
145: ; preds = %144, %126
%146 = load i8*, i8** %13
%147 = icmp ne i8* %146, null
br i1 %147, label %148, label %157
148: ; preds = %145
%149 = load i8*, i8** %13
%150 = load i32, i32* %24
%151 = load %struct.seq_file*, %struct.seq_file** %19
%152 = call i32 @fwrite_file(i8* %149, i32 1, i32 %150, %struct.seq_file* %151)
%153 = load i32, i32* %24
%154 = icmp ne i32 %152, %153
br i1 %154, label %155, label %156
155: ; preds = %148
store i32 1, i32* %10
br label %228
156: ; preds = %148
br label %157
157: ; preds = %156, %145
%158 = load i8*, i8** %14
%159 = icmp ne i8* %158, null
br i1 %159, label %160, label %169
160: ; preds = %157
%161 = load i8*, i8** %14
%162 = load i32, i32* %25
%163 = load %struct.seq_file*, %struct.seq_file** %19
%164 = call i32 @fwrite_file(i8* %161, i32 1, i32 %162, %struct.seq_file* %163)
%165 = load i32, i32* %25
%166 = icmp ne i32 %164, %165
br i1 %166, label %167, label %168
167: ; preds = %160
store i32 1, i32* %10
br label %228
168: ; preds = %160
br label %169
169: ; preds = %168, %157
%170 = load i8*, i8** %15
%171 = icmp ne i8* %170, null
br i1 %171, label %172, label %181
172: ; preds = %169
%173 = load i8*, i8** %15
%174 = load i32, i32* %26
%175 = load %struct.seq_file*, %struct.seq_file** %19
%176 = call i32 @fwrite_file(i8* %173, i32 1, i32 %174, %struct.seq_file* %175)
%177 = load i32, i32* %26
%178 = icmp ne i32 %176, %177
br i1 %178, label %179, label %180
179: ; preds = %172
store i32 1, i32* %10
br label %228
180: ; preds = %172
br label %181
181: ; preds = %180, %169
%182 = load i8*, i8** %16
%183 = icmp ne i8* %182, null
br i1 %183, label %184, label %193
184: ; preds = %181
%185 = load i8*, i8** %16
%186 = load i32, i32* %27
%187 = load %struct.seq_file*, %struct.seq_file** %19
%188 = call i32 @fwrite_file(i8* %185, i32 1, i32 %186, %struct.seq_file* %187)
%189 = load i32, i32* %27
%190 = icmp ne i32 %188, %189
br i1 %190, label %191, label %192
191: ; preds = %184
store i32 1, i32* %10
br label %228
192: ; preds = %184
br label %193
193: ; preds = %192, %181
%194 = load i8*, i8** %17
%195 = icmp ne i8* %194, null
br i1 %195, label %196, label %205
196: ; preds = %193
%197 = load i8*, i8** %17
%198 = load i32, i32* %28
%199 = load %struct.seq_file*, %struct.seq_file** %19
%200 = call i32 @fwrite_file(i8* %197, i32 1, i32 %198, %struct.seq_file* %199)
%201 = load i32, i32* %28
%202 = icmp ne i32 %200, %201
br i1 %202, label %203, label %204
203: ; preds = %196
store i32 1, i32* %10
br label %228
204: ; preds = %196
br label %205
205: ; preds = %204, %193
%206 = load i8*, i8** %18
%207 = icmp ne i8* %206, null
br i1 %207, label %208, label %217
208: ; preds = %205
%209 = load i8*, i8** %18
%210 = load i32, i32* %29
%211 = load %struct.seq_file*, %struct.seq_file** %19
%212 = call i32 @fwrite_file(i8* %209, i32 1, i32 %210, %struct.seq_file* %211)
%213 = load i32, i32* %29
%214 = icmp ne i32 %212, %213
br i1 %214, label %215, label %216
215: ; preds = %208
store i32 1, i32* %10
br label %228
216: ; preds = %208
br label %217
217: ; preds = %216, %205
%218 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 3
store i8 55, i8* %218
%219 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 2
store i8 55, i8* %219
%220 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 1
store i8 55, i8* %220
%221 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
store i8 55, i8* %221
%222 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
%223 = load %struct.seq_file*, %struct.seq_file** %19
%224 = call i32 @fwrite_file(i8* %222, i32 1, i32 4, %struct.seq_file* %223)
%225 = icmp ne i32 %224, 4
br i1 %225, label %226, label %227
226: ; preds = %217
store i32 1, i32* %10
br label %228
227: ; preds = %217
store i32 0, i32* %10
br label %228
228: ; preds = %227, %226, %215, %203, %191, %179, %167, %155, %143
%229 = load i32, i32* %10
ret i32 %229
}

LLVM IR (-O2):
%struct.seq_file = type { i32 }
define i32 @wrt_sec(i8* nocapture %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i8* %7, %struct.seq_file* %8) {
%10 = alloca [16 x i8]
%11 = getelementptr inbounds [16 x i8], [16 x i8]* %10, i64 0, i64 0
%12 = icmp eq i8* %1, null
br i1 %12, label %15, label %13
13: ; preds = %9
%14 = tail call i32 @uint4(i8* %1)
br label %15
15: ; preds = %9, %13
%16 = phi i32 [ %14, %13 ], [ 0, %9 ]
%17 = icmp eq i8* %2, null
br i1 %17, label %20, label %18
18: ; preds = %15
%19 = tail call i32 @uint4(i8* %2)
br label %20
20: ; preds = %15, %18
%21 = phi i32 [ %19, %18 ], [ 0, %15 ]
%22 = icmp eq i8* %3, null
br i1 %22, label %25, label %23
23: ; preds = %20
%24 = tail call i32 @uint4(i8* %3)
br label %25
25: ; preds = %20, %23
%26 = phi i32 [ %24, %23 ], [ 0, %20 ]
%27 = icmp eq i8* %4, null
br i1 %27, label %30, label %28
28: ; preds = %25
%29 = tail call i32 @uint4(i8* %4)
br label %30
30: ; preds = %25, %28
%31 = phi i32 [ %29, %28 ], [ 0, %25 ]
%32 = icmp eq i8* %5, null
br i1 %32, label %35, label %33
33: ; preds = %30
%34 = tail call i32 @uint4(i8* %5)
br label %35
35: ; preds = %30, %33
%36 = phi i32 [ %34, %33 ], [ 0, %30 ]
%37 = icmp eq i8* %6, null
br i1 %37, label %40, label %38
38: ; preds = %35
%39 = tail call i32 @uint4(i8* %6)
br label %40
40: ; preds = %35, %38
%41 = phi i32 [ %39, %38 ], [ 0, %35 ]
%42 = icmp eq i8* %7, null
br i1 %42, label %45, label %43
43: ; preds = %40
%44 = tail call i32 @uint4(i8* %7)
br label %45
45: ; preds = %40, %43
%46 = phi i32 [ %44, %43 ], [ 0, %40 ]
%47 = zext i32 %16 to i64
%48 = zext i32 %21 to i64
%49 = zext i32 %26 to i64
%50 = zext i32 %31 to i64
%51 = zext i32 %36 to i64
%52 = zext i32 %41 to i64
%53 = add nuw nsw i64 %47, 20
%54 = add nuw nsw i64 %53, %48
%55 = add nuw nsw i64 %54, %49
%56 = add nuw nsw i64 %55, %50
%57 = add nuw nsw i64 %56, %51
%58 = add nuw nsw i64 %57, %52
%59 = bitcast i8* %0 to i64*
%60 = bitcast [16 x i8]* %10 to i64*
%61 = load i64, i64* %59
store i64 %61, i64* %60
%62 = zext i32 %46 to i64
%63 = add nuw nsw i64 %58, %62
%64 = getelementptr inbounds [16 x i8], [16 x i8]* %10, i64 0, i64 8
%65 = call i32 @uint8_char(i64 %63, i8* %64)
%66 = call i32 @fwrite_file(i8* %11, i32 1, i32 16, %struct.seq_file* %8)
br i1 %12, label %70, label %67
67: ; preds = %45
%68 = call i32 @fwrite_file(i8* %1, i32 1, i32 %16, %struct.seq_file* %8)
%69 = icmp eq i32 %68, %16
br i1 %69, label %70, label %99
70: ; preds = %67, %45
br i1 %17, label %74, label %71
71: ; preds = %70
%72 = call i32 @fwrite_file(i8* %2, i32 1, i32 %21, %struct.seq_file* %8)
%73 = icmp eq i32 %72, %21
br i1 %73, label %74, label %99
74: ; preds = %71, %70
br i1 %22, label %78, label %75
75: ; preds = %74
%76 = call i32 @fwrite_file(i8* %3, i32 1, i32 %26, %struct.seq_file* %8)
%77 = icmp eq i32 %76, %26
br i1 %77, label %78, label %99
78: ; preds = %75, %74
br i1 %27, label %82, label %79
79: ; preds = %78
%80 = call i32 @fwrite_file(i8* %4, i32 1, i32 %31, %struct.seq_file* %8)
%81 = icmp eq i32 %80, %31
br i1 %81, label %82, label %99
82: ; preds = %79, %78
br i1 %32, label %86, label %83
83: ; preds = %82
%84 = call i32 @fwrite_file(i8* %5, i32 1, i32 %36, %struct.seq_file* %8)
%85 = icmp eq i32 %84, %36
br i1 %85, label %86, label %99
86: ; preds = %83, %82
br i1 %37, label %90, label %87
87: ; preds = %86
%88 = call i32 @fwrite_file(i8* %6, i32 1, i32 %41, %struct.seq_file* %8)
%89 = icmp eq i32 %88, %41
br i1 %89, label %90, label %99
90: ; preds = %87, %86
br i1 %42, label %94, label %91
91: ; preds = %90
%92 = call i32 @fwrite_file(i8* %7, i32 1, i32 %46, %struct.seq_file* %8)
%93 = icmp eq i32 %92, %46
br i1 %93, label %94, label %99
94: ; preds = %91, %90
%95 = bitcast [16 x i8]* %10 to i32*
store i32 926365495, i32* %95
%96 = call i32 @fwrite_file(i8* %11, i32 1, i32 4, %struct.seq_file* %8)
%97 = icmp ne i32 %96, 4
%98 = zext i1 %97 to i32
br label %99
99: ; preds = %94, %91, %87, %83, %79, %75, %71, %67
%100 = phi i32 [ 1, %67 ], [ 1, %71 ], [ 1, %75 ], [ 1, %79 ], [ 1, %83 ], [ 1, %87 ], [ 1, %91 ], [ %98, %94 ]
ret i32 %100
}