#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 */
char *UTIL_mallocStr(scalar_t__);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
scalar_t__ strlen(char *);
char *C_mkFixedBegH() {
  char *text = UTIL_mallocStr(
      strlen("/****************************************************************"
             "************/\n/* File pervasives.h.                             "
             "                          */ "
             "\n/"
             "*****************************************************************"
             "***********/\n\n") +
      strlen("#ifndef PERVASIVES_H\n#define PERVASIVES_H\n\n") +
      strlen("#include \"../simulator/mctypes.h\"      //to be changed         "
             "             \n#include \"../simulator/dataformats.h\"  //to be "
             "changed  \n\n"));
  strcpy(text, "/**************************************************************"
               "**************/\n/* File pervasives.h.                         "
               "                              */ "
               "\n/"
               "***************************************************************"
               "*************/\n\n");
  strcat(text, "#ifndef PERVASIVES_H\n#define PERVASIVES_H\n\n");
  strcat(
      text,
      "#include \"../simulator/mctypes.h\"      //to be changed                "
      "      \n#include \"../simulator/dataformats.h\"  //to be changed  \n\n");
  return text;
}


x86 assembly (clang, -O0):
<C_mkFixedBegH>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
lea    0xeb1(%rip),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x18(%rbp)
lea    0xf91(%rip),%rdi
call   1040 <strlen@plt>
mov    %rax,%rcx
mov    -0x18(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
lea    0xfa3(%rip),%rdi
call   1040 <strlen@plt>
mov    -0x10(%rbp),%rdi
add    %rax,%rdi
call   1050 <UTIL_mallocStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe67(%rip),%rsi
call   1030 <strcpy@plt>
mov    -0x8(%rbp),%rdi
lea    0xf47(%rip),%rsi
call   1060 <strcat@plt>
mov    -0x8(%rbp),%rdi
lea    0xf63(%rip),%rsi
call   1060 <strcat@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<C_mkFixedBegH>:
push   %rbx
mov    $0x1a1,%edi
call   1040 <UTIL_mallocStr@plt>
mov    %rax,%rbx
lea    0xebb(%rip),%rsi
mov    %rax,%rdi
call   1030 <strcpy@plt>
lea    0xf9c(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strcat@plt>
lea    0xfb9(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strcat@plt>
mov    %rbx,%rax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [240 x i8] c"/****************************************************************************/\0A/* File pervasives.h. */ \0A/****************************************************************************/\0A\0A\00"
@.str.1 = [44 x i8] c"#ifndef PERVASIVES_H\0A#define PERVASIVES_H\0A\0A\00"
@.str.2 = [136 x i8] c"#include \22../simulator/mctypes.h\22 //to be changed \0A#include \22../simulator/dataformats.h\22 //to be changed \0A\0A\00"
define i8* @C_mkFixedBegH() {
%1 = alloca i8*
%2 = call i64 @strlen(i8* getelementptr inbounds ([240 x i8], [240 x i8]* @.str, i64 0, i64 0))
%3 = call i64 @strlen(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%4 = add nsw i64 %2, %3
%5 = call i64 @strlen(i8* getelementptr inbounds ([136 x i8], [136 x i8]* @.str.2, i64 0, i64 0))
%6 = add nsw i64 %4, %5
%7 = call i8* @UTIL_mallocStr(i64 %6)
store i8* %7, i8** %1
%8 = load i8*, i8** %1
%9 = call i32 @strcpy(i8* %8, i8* getelementptr inbounds ([240 x i8], [240 x i8]* @.str, i64 0, i64 0))
%10 = load i8*, i8** %1
%11 = call i32 @strcat(i8* %10, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%12 = load i8*, i8** %1
%13 = call i32 @strcat(i8* %12, i8* getelementptr inbounds ([136 x i8], [136 x i8]* @.str.2, i64 0, i64 0))
%14 = load i8*, i8** %1
ret i8* %14
}

LLVM IR (-O2):
@.str = [240 x i8] c"/****************************************************************************/\0A/* File pervasives.h. */ \0A/****************************************************************************/\0A\0A\00"
@.str.1 = [44 x i8] c"#ifndef PERVASIVES_H\0A#define PERVASIVES_H\0A\0A\00"
@.str.2 = [136 x i8] c"#include \22../simulator/mctypes.h\22 //to be changed \0A#include \22../simulator/dataformats.h\22 //to be changed \0A\0A\00"
define i8* @C_mkFixedBegH() {
%1 = tail call i8* @UTIL_mallocStr(i64 417)
%2 = tail call i32 @strcpy(i8* %1, i8* getelementptr inbounds ([240 x i8], [240 x i8]* @.str, i64 0, i64 0))
%3 = tail call i32 @strcat(i8* %1, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%4 = tail call i32 @strcat(i8* %1, i8* getelementptr inbounds ([136 x i8], [136 x i8]* @.str.2, i64 0, i64 0))
ret i8* %1
}