#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 /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *);
void om_html_print_header(FILE *fp) {
  fprintf(fp, "<html>\n"
              "<head>\n"
              "<style>\n"
              "BODY, TD, B, LI, U, DIV, SPAN {\n"
              "	background-color: #ffffff;\n"
              "	color: #000000;\n"
              "	font-family: Verdana, Arial, Helvetica, Sans-Serif;\n"
              "	font-size: 10px;\n"
              "}\n"
              "A {\n"
              "	color: #0066ff;\n"
              "	text-decoration: none;\n"
              "}\n"
              "A:visited {\n"
              "	color: #000099;\n"
              "	text-decoration: none;\n"
              "}\n"
              "A:active {\n"
              "	color: #26a0be;\n"
              "	text-decoration: none;\n"
              "}\n"
              "A:hover {\n"
              "	color: #ffffff;\n"
              "	text-decoration: none;\n"
              "	background-color: #26a0be;\n"
              "}\n"
              ".barfill {\n"
              "	background-color: #96ef94;\n"
              "	border-left: 1px;\n"
              "	border-right: 1px;\n"
              "	border-top: 1px;\n"
              "	border-bottom: 1px;\n"
              "	border-color: #4c934a;\n"
              "	border-style: solid;\n"
              "	font-size: 10px;\n"
              "	height: 3px;\n"
              "	line-height: 4px;\n"
              "}\n"
              ".barempty {\n"
              "	font-size: 10px;\n"
              "	line-height: 4px;\n"
              "}\n"
              ".barleft {\n"
              "	background-color: #ff9696;\n"
              "	border-left: 1px;\n"
              "	border-right: 1px;\n"
              "	border-top: 1px;\n"
              "	border-bottom: 1px;\n"
              "	border-color: #4c934a;\n"
              "	border-style: solid;\n"
              "	font-size: 10px;\n"
              "	height: 3px;\n"
              "	line-height: 4px;\n"
              "}\n"
              ".barright {\n"
              "	background-color: #f8f8f8;\n"
              "	border-left: 0px;\n"
              "	border-right: 1px;\n"
              "	border-top: 1px;\n"
              "	border-bottom: 1px;\n"
              "	border-color: #4c934a;\n"
              "	border-style: solid;\n"
              "	font-size: 10px;\n"
              "	height: 3px;\n"
              "	line-height: 4px;\n"
              "}\n"
              ".title {\n"
              "	background-color: #007f9e;\n"
              "	font-size: 12px;\n"
              "	font-weight: bold;\n"
              "	padding: 3px;\n"
              "	color: #ffffff;\n"
              "}\n"
              ".reportlink {\n"
              "	background-color: #ffffff;\n"
              "	font-size: 12px;\n"
              "	font-weight: bold;\n"
              "	color: #000000;\n"
              "	padding-left: 3px;\n"
              "}\n"
              ".subtitle {\n"
              "	background-color: #007f9e;\n"
              "	font-size: 12px;\n"
              "	font-weight: normal;\n"
              "	padding: 3px;\n"
              "	color: #ffffff;\n"
              "}\n"
              ".info {\n"
              "	background-color: #badfee;\n"
              "	font-size: 12px;\n"
              "	padding-left: 3px;\n"
              "	padding-right: 3px;\n"
              "}\n"
              ".keyentry {\n"
              "	font-size: 10px;\n"
              "	padding-left: 2px;\n"
              "	border-bottom: 1px dashed #bcbcbc;\n"
              "}\n"
              ".keyentrywe {\n"
              "	background-color: #f0f090;\n"
              "	font-size: 10px;\n"
              "	padding-left: 2px;\n"
              "	border-bottom: 1px dashed #bcbcbc;\n"
              "}\n"
              ".valueentry {\n"
              "	font-size: 10px;\n"
              "	padding-left: 2px;\n"
              "	color: #905d14;\n"
              "	border-bottom: 1px dashed #f6c074;\n"
              "}\n"
              ".credits {\n"
              "	font-size: 12px;\n"
              "	font-weight: bold;\n"
              "}\n"
              ".maintable {\n"
              "	border-style: solid;\n"
              "	border-color: #0b4b5b;\n"
              "	border-width: 1px;\n"
              "}\n"
              "</style>\n"
              "</head>\n"
              "<body><table border=\"0\" cellpadding=\"0\" cellspacing=\"0\" "
              "class=\"maintable\">\n");
}


x86 assembly (clang, -O0):
<om_html_print_header>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xed9(%rip),%rsi
call   1030 <fprintf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<om_html_print_header>:
mov    %rdi,%rcx
lea    0xee6(%rip),%rdi
mov    $0x825,%esi
mov    $0x1,%edx
jmp    1030 <fwrite@plt>

LLVM IR (-O0):
@.str = [2086 x i8] c"<html>\0A<head>\0A<style>\0ABODY, TD, B, LI, U, DIV, SPAN {\0A\09background-color: #ffffff;\0A\09color:;\0A\09font-family: Verdana, Arial, Helvetica, Sans-Serif;\0A\09font-size: 10px;\0A}\0AA {\0A\09color:ff;\0A\09text-decoration: none;\0A}\0AA:visited {\0A\09color:;\0A\09text-decoration: none;\0A}\0AA:active {\0A\09color:a0be;\0A\09text-decoration: none;\0A}\0AA:hover {\0A\09color: #ffffff;\0A\09text-decoration: none;\0A\09background-color:a0be;\0A}\0A.barfill {\0A\09background-color:ef94;\0A\09border-left: 1px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.barempty {\0A\09font-size: 10px;\0A\09line-height: 4px;\0A}\0A.barleft {\0A\09background-color: #ff9696;\0A\09border-left: 1px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.barright {\0A\09background-color: #f8f8f8;\0A\09border-left: 0px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.title {\0A\09background-color:f9e;\0A\09font-size: 12px;\0A\09font-weight: bold;\0A\09padding: 3px;\0A\09color: #ffffff;\0A}\0A.reportlink {\0A\09background-color: #ffffff;\0A\09font-size: 12px;\0A\09font-weight: bold;\0A\09color:;\0A\09padding-left: 3px;\0A}\0A.subtitle {\0A\09background-color:f9e;\0A\09font-size: 12px;\0A\09font-weight: normal;\0A\09padding: 3px;\0A\09color: #ffffff;\0A}\0A.info {\0A\09background-color: #badfee;\0A\09font-size: 12px;\0A\09padding-left: 3px;\0A\09padding-right: 3px;\0A}\0A.keyentry {\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09border-bottom: 1px dashed #bcbcbc;\0A}\0A.keyentrywe {\0A\09background-color: #f0f090;\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09border-bottom: 1px dashed #bcbcbc;\0A}\0A.valueentry {\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09color:d14;\0A\09border-bottom: 1px dashed #f6c074;\0A}\0A.credits {\0A\09font-size: 12px;\0A\09font-weight: bold;\0A}\0A.maintable {\0A\09border-style: solid;\0A\09border-color:b4b5b;\0A\09border-width: 1px;\0A}\0A</style>\0A</head>\0A<body><table border=\220\22 cellpadding=\220\22 cellspacing=\220\22 class=\22maintable\22>\0A\00"
define void @om_html_print_header(i32* %0) {
%2 = alloca i32*
store i32* %0, i32** %2
%3 = load i32*, i32** %2
%4 = call i32 @fprintf(i32* %3, i8* getelementptr inbounds ([2086 x i8], [2086 x i8]* @.str, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [2086 x i8] c"<html>\0A<head>\0A<style>\0ABODY, TD, B, LI, U, DIV, SPAN {\0A\09background-color: #ffffff;\0A\09color:;\0A\09font-family: Verdana, Arial, Helvetica, Sans-Serif;\0A\09font-size: 10px;\0A}\0AA {\0A\09color:ff;\0A\09text-decoration: none;\0A}\0AA:visited {\0A\09color:;\0A\09text-decoration: none;\0A}\0AA:active {\0A\09color:a0be;\0A\09text-decoration: none;\0A}\0AA:hover {\0A\09color: #ffffff;\0A\09text-decoration: none;\0A\09background-color:a0be;\0A}\0A.barfill {\0A\09background-color:ef94;\0A\09border-left: 1px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.barempty {\0A\09font-size: 10px;\0A\09line-height: 4px;\0A}\0A.barleft {\0A\09background-color: #ff9696;\0A\09border-left: 1px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.barright {\0A\09background-color: #f8f8f8;\0A\09border-left: 0px;\0A\09border-right: 1px;\0A\09border-top: 1px;\0A\09border-bottom: 1px;\0A\09border-color:c934a;\0A\09border-style: solid;\0A\09font-size: 10px;\0A\09height: 3px;\0A\09line-height: 4px;\0A}\0A.title {\0A\09background-color:f9e;\0A\09font-size: 12px;\0A\09font-weight: bold;\0A\09padding: 3px;\0A\09color: #ffffff;\0A}\0A.reportlink {\0A\09background-color: #ffffff;\0A\09font-size: 12px;\0A\09font-weight: bold;\0A\09color:;\0A\09padding-left: 3px;\0A}\0A.subtitle {\0A\09background-color:f9e;\0A\09font-size: 12px;\0A\09font-weight: normal;\0A\09padding: 3px;\0A\09color: #ffffff;\0A}\0A.info {\0A\09background-color: #badfee;\0A\09font-size: 12px;\0A\09padding-left: 3px;\0A\09padding-right: 3px;\0A}\0A.keyentry {\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09border-bottom: 1px dashed #bcbcbc;\0A}\0A.keyentrywe {\0A\09background-color: #f0f090;\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09border-bottom: 1px dashed #bcbcbc;\0A}\0A.valueentry {\0A\09font-size: 10px;\0A\09padding-left: 2px;\0A\09color:d14;\0A\09border-bottom: 1px dashed #f6c074;\0A}\0A.credits {\0A\09font-size: 12px;\0A\09font-weight: bold;\0A}\0A.maintable {\0A\09border-style: solid;\0A\09border-color:b4b5b;\0A\09border-width: 1px;\0A}\0A</style>\0A</head>\0A<body><table border=\220\22 cellpadding=\220\22 cellspacing=\220\22 class=\22maintable\22>\0A\00"
define void @om_html_print_header(i32* nocapture %0) {
%2 = tail call i64 @fwrite(i8* getelementptr inbounds ([2086 x i8], [2086 x i8]* @.str, i64 0, i64 0), i64 2085, i64 1, i32* %0)
ret void
}