#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 /*<<< orphan*/ printVersionInfo();
int /*<<< orphan*/ printf(char *);
void printREADMEshort(void) {
  printVersionInfo();
  printf("\n");
  printf("\nTo report bugs send an email to raxml@h-its.org\n");
  printf("Please send me all input files, the exact invocation, details of the "
         "HW and operating system,\n");
  printf("as well as all error messages printed to screen.\n\n\n");
  printf("raxmlLight|raxmlLight-PTHREADS|raxmlLight-MPI\n");
  printf("      -s binarySequenceFile\n");
  printf("      -n outputFileName\n");
  printf("      -m substitutionModel\n");
  printf("      [-h] \n");
  printf("      -h      Display the full help message.\n");
  printf("\n");
  printf("      -m      Model of Nucleotide or Amino Acid substitution. \n");
  printf("\n");
  printf("      -n      Specify the name of the output file.\n");
  printf("\n");
  printf("      -s      Specify the name of the alignment data file in PHYLIP "
         "format.\n");
  printf("\n\n\n\n");
}


x86 assembly (clang, -O0):
<printREADMEshort>:
push   %rbp
mov    %rsp,%rbp
mov    $0x0,%al
call   1040 <printVersionInfo@plt>
lea    0x1113(%rip),%rdi
call   1030 <printf@plt>
lea    0xec2(%rip),%rdi
call   1030 <printf@plt>
lea    0xee8(%rip),%rdi
call   1030 <printf@plt>
lea    0xf3b(%rip),%rdi
call   1030 <printf@plt>
lea    0xf63(%rip),%rdi
call   1030 <printf@plt>
lea    0xf86(%rip),%rdi
call   1030 <printf@plt>
lea    0xf97(%rip),%rdi
call   1030 <printf@plt>
lea    0xfa4(%rip),%rdi
call   1030 <printf@plt>
lea    0xfb4(%rip),%rdi
call   1030 <printf@plt>
lea    0xfb5(%rip),%rdi
call   1030 <printf@plt>
lea    0x109b(%rip),%rdi
call   1030 <printf@plt>
lea    0xfcb(%rip),%rdi
call   1030 <printf@plt>
lea    0x1083(%rip),%rdi
call   1030 <printf@plt>
lea    0xff3(%rip),%rdi
call   1030 <printf@plt>
lea    0x106b(%rip),%rdi
call   1030 <printf@plt>
lea    0x100f(%rip),%rdi
call   1030 <printf@plt>
lea    0x1050(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<printREADMEshort>:
push   %rax
xor    %eax,%eax
call   1050 <printVersionInfo@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xeb7(%rip),%rdi
call   1040 <puts@plt>
lea    0xedc(%rip),%rdi
call   1040 <puts@plt>
lea    0xf2e(%rip),%rdi
call   1040 <puts@plt>
lea    0xf55(%rip),%rdi
call   1040 <puts@plt>
lea    0xf77(%rip),%rdi
call   1040 <puts@plt>
lea    0xf87(%rip),%rdi
call   1040 <puts@plt>
lea    0xf93(%rip),%rdi
call   1040 <puts@plt>
lea    0xfa2(%rip),%rdi
call   1040 <puts@plt>
lea    0xfa2(%rip),%rdi
call   1040 <puts@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xfb9(%rip),%rdi
call   1040 <puts@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xfe2(%rip),%rdi
call   1040 <puts@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xfff(%rip),%rdi
call   1040 <puts@plt>
lea    0x103f(%rip),%rdi
pop    %rax
jmp    1040 <puts@plt>

LLVM IR (-O0):
@.str = [2 x i8] c"\0A\00"
@.str.1 = [50 x i8] c"\0ATo report bugs send an email to raxml@h-its.org\0A\00"
@.str.2 = [95 x i8] c"Please send me all input files, the exact invocation, details of the HW and operating system,\0A\00"
@.str.3 = [52 x i8] c"as well as all error messages printed to screen.\0A\0A\0A\00"
@.str.4 = [47 x i8] c"raxmlLight|raxmlLight-PTHREADS|raxmlLight-MPI\0A\00"
@.str.5 = [29 x i8] c" -s binarySequenceFile\0A\00"
@.str.6 = [25 x i8] c" -n outputFileName\0A\00"
@.str.7 = [28 x i8] c" -m substitutionModel\0A\00"
@.str.8 = [13 x i8] c" [-h] \0A\00"
@.str.9 = [46 x i8] c" -h Display the full help message.\0A\00"
@.str.10 = [64 x i8] c" -m Model of Nucleotide or Amino Acid substitution. \0A\00"
@.str.11 = [52 x i8] c" -n Specify the name of the output file.\0A\00"
@.str.12 = [77 x i8] c" -s Specify the name of the alignment data file in PHYLIP format.\0A\00"
@.str.13 = [5 x i8] c"\0A\0A\0A\0A\00"
define void @printREADMEshort() {
%1 = call i32 (...) @printVersionInfo()
%2 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.1, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([95 x i8], [95 x i8]* @.str.2, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.3, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.4, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.5, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.6, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.7, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.8, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.10, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%15 = call i32 @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.11, i64 0, i64 0))
%16 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.12, i64 0, i64 0))
%18 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.13, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [49 x i8] c"\0ATo report bugs send an email to raxml@h-its.org\00"
@str.14 = [94 x i8] c"Please send me all input files, the exact invocation, details of the HW and operating system,\00"
@str.15 = [51 x i8] c"as well as all error messages printed to screen.\0A\0A\00"
@str.16 = [46 x i8] c"raxmlLight|raxmlLight-PTHREADS|raxmlLight-MPI\00"
@str.17 = [28 x i8] c" -s binarySequenceFile\00"
@str.18 = [24 x i8] c" -n outputFileName\00"
@str.19 = [27 x i8] c" -m substitutionModel\00"
@str.20 = [12 x i8] c" [-h] \00"
@str.21 = [45 x i8] c" -h Display the full help message.\00"
@str.22 = [63 x i8] c" -m Model of Nucleotide or Amino Acid substitution. \00"
@str.23 = [51 x i8] c" -n Specify the name of the output file.\00"
@str.24 = [76 x i8] c" -s Specify the name of the alignment data file in PHYLIP format.\00"
@str.25 = [4 x i8] c"\0A\0A\0A\00"
define void @printREADMEshort() {
%1 = tail call i32 (...) @printVersionInfo()
%2 = tail call i32 @putchar(i32 10)
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([94 x i8], [94 x i8]* @str.14, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str.15, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.16, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @str.17, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str.18, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.19, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.20, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.21, i64 0, i64 0))
%12 = tail call i32 @putchar(i32 10)
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.22, i64 0, i64 0))
%14 = tail call i32 @putchar(i32 10)
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str.23, i64 0, i64 0))
%16 = tail call i32 @putchar(i32 10)
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.24, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.25, i64 0, i64 0))
ret void
}