#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*/ printf(char *);
void print_man(char *prog_name) {
  printf("\nNAME\n\ttsl - generate test frames from a specification file\n");
  printf("\nSYNOPSIS\n\ttsl [ --manpage ] [ -cs ] input_file [ -o output_file "
         "]\n");
  printf("\nDESCRIPTION\n\tThe TSL utility generates test frames from a "
         "specification file\n");
  printf(
      "\twritten in the extended Test Specification Language.  By default\n");
  printf("\tit writes the test frames to a new file created by appending a\n");
  printf("\t'.tsl' extension to the input_file's name.  Options can be used\n");
  printf("\tto modify the output.\n");
  printf("\nOPTIONS\n\tThe following options are supported:\n");
  printf("\n\t--manpage\n\t\tPrint this man page.\n");
  printf("\n\t-c\tReport the number of test frames generated, but don't\n");
  printf("\t\twrite them to the output. After the number of frames is\n");
  printf("\t\treported you will be given the option of writing them\n");
  printf("\t\tto the output.\n");
  printf("\n\t-s\tOutput is the standard output.\n");
  printf("\n\t-o output_file\n\t\tOutput is the file output_file unless the -s "
         "option is used.\n\n");
}


x86 assembly (clang, -O0):
<print_man>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xedd(%rip),%rdi
call   1030 <printf@plt>
lea    0xf0e(%rip),%rdi
call   1030 <printf@plt>
lea    0xf46(%rip),%rdi
call   1030 <printf@plt>
lea    0xf89(%rip),%rdi
call   1030 <printf@plt>
lea    0xfc0(%rip),%rdi
call   1030 <printf@plt>
lea    0xff5(%rip),%rdi
call   1030 <printf@plt>
lea    0x102b(%rip),%rdi
call   1030 <printf@plt>
lea    0x1037(%rip),%rdi
call   1030 <printf@plt>
lea    0x105b(%rip),%rdi
call   1030 <printf@plt>
lea    0x1073(%rip),%rdi
call   1030 <printf@plt>
lea    0x10a3(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d2(%rip),%rdi
call   1030 <printf@plt>
lea    0x10ff(%rip),%rdi
call   1030 <printf@plt>
lea    0x1105(%rip),%rdi
call   1030 <printf@plt>
lea    0x111e(%rip),%rdi
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_man>:
push   %rax
lea    0xee8(%rip),%rdi
call   1030 <puts@plt>
lea    0xf18(%rip),%rdi
call   1030 <puts@plt>
lea    0xf4f(%rip),%rdi
call   1030 <puts@plt>
lea    0xf91(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc7(%rip),%rdi
call   1030 <puts@plt>
lea    0xffb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1030(%rip),%rdi
call   1030 <puts@plt>
lea    0x103b(%rip),%rdi
call   1030 <puts@plt>
lea    0x105e(%rip),%rdi
call   1030 <puts@plt>
lea    0x1075(%rip),%rdi
call   1030 <puts@plt>
lea    0x10a4(%rip),%rdi
call   1030 <puts@plt>
lea    0x10d2(%rip),%rdi
call   1030 <puts@plt>
lea    0x10fe(%rip),%rdi
call   1030 <puts@plt>
lea    0x1103(%rip),%rdi
call   1030 <puts@plt>
lea    0x111b(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [61 x i8] c"\0ANAME\0A\09tsl - generate test frames from a specification file\0A\00"
@.str.1 = [68 x i8] c"\0ASYNOPSIS\0A\09tsl [ --manpage ] [ -cs ] input_file [ -o output_file ]\0A\00"
@.str.2 = [79 x i8] c"\0ADESCRIPTION\0A\09The TSL utility generates test frames from a specification file\0A\00"
@.str.3 = [67 x i8] c"\09written in the extended Test Specification Language. By default\0A\00"
@.str.4 = [65 x i8] c"\09it writes the test frames to a new file created by appending a\0A\00"
@.str.5 = [66 x i8] c"\09'.tsl' extension to the input_file's name. Options can be used\0A\00"
@.str.6 = [24 x i8] c"\09to modify the output.\0A\00"
@.str.7 = [48 x i8] c"\0AOPTIONS\0A\09The following options are supported:\0A\00"
@.str.8 = [36 x i8] c"\0A\09--manpage\0A\09\09Print this man page.\0A\00"
@.str.9 = [60 x i8] c"\0A\09-c\09Report the number of test frames generated, but don't\0A\00"
@.str.10 = [59 x i8] c"\09\09write them to the output. After the number of frames is\0A\00"
@.str.11 = [57 x i8] c"\09\09reported you will be given the option of writing them\0A\00"
@.str.12 = [18 x i8] c"\09\09to the output.\0A\00"
@.str.13 = [37 x i8] c"\0A\09-s\09Output is the standard output.\0A\00"
@.str.14 = [82 x i8] c"\0A\09-o output_file\0A\09\09Output is the file output_file unless the -s option is used.\0A\0A\00"
define void @print_man(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str.1, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.2, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.3, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.4, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str.5, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.6, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.7, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.8, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.9, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.10, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.11, i64 0, i64 0))
%15 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.12, i64 0, i64 0))
%16 = call i32 @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.13, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([82 x i8], [82 x i8]* @.str.14, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [60 x i8] c"\0ANAME\0A\09tsl - generate test frames from a specification file\00"
@str.15 = [67 x i8] c"\0ASYNOPSIS\0A\09tsl [ --manpage ] [ -cs ] input_file [ -o output_file ]\00"
@str.16 = [78 x i8] c"\0ADESCRIPTION\0A\09The TSL utility generates test frames from a specification file\00"
@str.17 = [66 x i8] c"\09written in the extended Test Specification Language. By default\00"
@str.18 = [64 x i8] c"\09it writes the test frames to a new file created by appending a\00"
@str.19 = [65 x i8] c"\09'.tsl' extension to the input_file's name. Options can be used\00"
@str.20 = [23 x i8] c"\09to modify the output.\00"
@str.21 = [47 x i8] c"\0AOPTIONS\0A\09The following options are supported:\00"
@str.22 = [35 x i8] c"\0A\09--manpage\0A\09\09Print this man page.\00"
@str.23 = [59 x i8] c"\0A\09-c\09Report the number of test frames generated, but don't\00"
@str.24 = [58 x i8] c"\09\09write them to the output. After the number of frames is\00"
@str.25 = [56 x i8] c"\09\09reported you will be given the option of writing them\00"
@str.26 = [17 x i8] c"\09\09to the output.\00"
@str.27 = [36 x i8] c"\0A\09-s\09Output is the standard output.\00"
@str.28 = [81 x i8] c"\0A\09-o output_file\0A\09\09Output is the file output_file unless the -s option is used.\0A\00"
define void @print_man(i8* nocapture readnone %0) {
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([67 x i8], [67 x i8]* @str.15, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.16, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @str.17, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([64 x i8], [64 x i8]* @str.18, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @str.19, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.20, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str.21, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str.22, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.23, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.24, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([56 x i8], [56 x i8]* @str.25, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.26, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.27, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([81 x i8], [81 x i8]* @str.28, i64 0, i64 0))
ret void
}