#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 Usage(void) {
  printf("(Upper case indicates allowable abbreviation)\n");
  printf("-From      <file> : Source\n");
  printf("-To        <file> : Image\n");
  printf("-Object    <file> : Image\n");
  printf("-Hdr       <path> : \"GET\" path\n");
  printf("-Warning   <file> : Send warnings and errors to the named file\n");
  printf("-Print            : Print flag (default off)\n");
  printf("-NOTerse          : Terse flag off (default on)\n");
  printf("-WIdth     <num>  : Printed width (default 131)\n");
  printf("-Length    <num>  : Printed length (default 60)\n");
  printf("-Xref             : Collect Xref information (default off)\n");
  printf("-NOCache          : Do not cache source files\n");
  printf("-help             : Print this information\n");
  printf("-MaxCache  <num>  : Set source file cache size (maximum 8MBytes)\n");
  printf("-LIbrary          : Generate code suitable for building a Helios "
         "library\n");
  printf(
      "-Makedef          : Initialise GBLL variable \"make_def\" to {TRUE}\n");
  printf("-Smt              : Initialise GBLL variable \"make_SMT\" to {TRUE} "
         "(default)\n");
  printf(
      "-NOSmt            : Initialise GBLL variable \"make_SMT\" to {FALSE}\n");
}


x86 assembly (clang, -O0):
<Usage>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <printf@plt>
lea    0xf08(%rip),%rdi
call   1030 <printf@plt>
lea    0xf18(%rip),%rdi
call   1030 <printf@plt>
lea    0xf27(%rip),%rdi
call   1030 <printf@plt>
lea    0xf36(%rip),%rdi
call   1030 <printf@plt>
lea    0xf4a(%rip),%rdi
call   1030 <printf@plt>
lea    0xf7e(%rip),%rdi
call   1030 <printf@plt>
lea    0xfa0(%rip),%rdi
call   1030 <printf@plt>
lea    0xfc5(%rip),%rdi
call   1030 <printf@plt>
lea    0xfea(%rip),%rdi
call   1030 <printf@plt>
lea    0x100f(%rip),%rdi
call   1030 <printf@plt>
lea    0x103f(%rip),%rdi
call   1030 <printf@plt>
lea    0x1062(%rip),%rdi
call   1030 <printf@plt>
lea    0x1082(%rip),%rdi
call   1030 <printf@plt>
lea    0x10b8(%rip),%rdi
call   1030 <printf@plt>
lea    0x10f6(%rip),%rdi
call   1030 <printf@plt>
lea    0x112d(%rip),%rdi
call   1030 <printf@plt>
lea    0x116e(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<Usage>:
push   %rax
lea    0xee8(%rip),%rdi
call   1030 <puts@plt>
lea    0xf0a(%rip),%rdi
call   1030 <puts@plt>
lea    0xf19(%rip),%rdi
call   1030 <puts@plt>
lea    0xf27(%rip),%rdi
call   1030 <puts@plt>
lea    0xf35(%rip),%rdi
call   1030 <puts@plt>
lea    0xf48(%rip),%rdi
call   1030 <puts@plt>
lea    0xf7b(%rip),%rdi
call   1030 <puts@plt>
lea    0xf9c(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc0(%rip),%rdi
call   1030 <puts@plt>
lea    0xfe4(%rip),%rdi
call   1030 <puts@plt>
lea    0x1008(%rip),%rdi
call   1030 <puts@plt>
lea    0x1037(%rip),%rdi
call   1030 <puts@plt>
lea    0x1059(%rip),%rdi
call   1030 <puts@plt>
lea    0x1078(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ad(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ea(%rip),%rdi
call   1030 <puts@plt>
lea    0x1120(%rip),%rdi
call   1030 <puts@plt>
lea    0x1160(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [47 x i8] c"(Upper case indicates allowable abbreviation)\0A\00"
@.str.1 = [28 x i8] c"-From <file> : Source\0A\00"
@.str.2 = [27 x i8] c"-To <file> : Image\0A\00"
@.str.3 = [27 x i8] c"-Object <file> : Image\0A\00"
@.str.4 = [32 x i8] c"-Hdr <path> : \22GET\22 path\0A\00"
@.str.5 = [64 x i8] c"-Warning <file> : Send warnings and errors to the named file\0A\00"
@.str.6 = [46 x i8] c"-Print : Print flag (default off)\0A\00"
@.str.7 = [49 x i8] c"-NOTerse : Terse flag off (default on)\0A\00"
@.str.8 = [49 x i8] c"-WIdth <num> : Printed width (default 131)\0A\00"
@.str.9 = [49 x i8] c"-Length <num> : Printed length (default 60)\0A\00"
@.str.10 = [60 x i8] c"-Xref : Collect Xref information (default off)\0A\00"
@.str.11 = [47 x i8] c"-NOCache : Do not cache source files\0A\00"
@.str.12 = [44 x i8] c"-help : Print this information\0A\00"
@.str.13 = [66 x i8] c"-MaxCache <num> : Set source file cache size (maximum 8MBytes)\0A\00"
@.str.14 = [74 x i8] c"-LIbrary : Generate code suitable for building a Helios library\0A\00"
@.str.15 = [67 x i8] c"-Makedef : Initialise GBLL variable \22make_def\22 to {TRUE}\0A\00"
@.str.16 = [77 x i8] c"-Smt : Initialise GBLL variable \22make_SMT\22 to {TRUE} (default)\0A\00"
@.str.17 = [68 x i8] c"-NOSmt : Initialise GBLL variable \22make_SMT\22 to {FALSE}\0A\00"
define void @Usage() {
%1 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.8, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.9, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.10, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.11, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.12, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str.13, i64 0, i64 0))
%15 = call i32 @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.14, i64 0, i64 0))
%16 = call i32 @printf(i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.15, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.16, i64 0, i64 0))
%18 = call i32 @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str.17, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [46 x i8] c"(Upper case indicates allowable abbreviation)\00"
@str.18 = [27 x i8] c"-From <file> : Source\00"
@str.19 = [26 x i8] c"-To <file> : Image\00"
@str.20 = [26 x i8] c"-Object <file> : Image\00"
@str.21 = [31 x i8] c"-Hdr <path> : \22GET\22 path\00"
@str.22 = [63 x i8] c"-Warning <file> : Send warnings and errors to the named file\00"
@str.23 = [45 x i8] c"-Print : Print flag (default off)\00"
@str.24 = [48 x i8] c"-NOTerse : Terse flag off (default on)\00"
@str.25 = [48 x i8] c"-WIdth <num> : Printed width (default 131)\00"
@str.26 = [48 x i8] c"-Length <num> : Printed length (default 60)\00"
@str.27 = [59 x i8] c"-Xref : Collect Xref information (default off)\00"
@str.28 = [46 x i8] c"-NOCache : Do not cache source files\00"
@str.29 = [43 x i8] c"-help : Print this information\00"
@str.30 = [65 x i8] c"-MaxCache <num> : Set source file cache size (maximum 8MBytes)\00"
@str.31 = [73 x i8] c"-LIbrary : Generate code suitable for building a Helios library\00"
@str.32 = [66 x i8] c"-Makedef : Initialise GBLL variable \22make_def\22 to {TRUE}\00"
@str.33 = [76 x i8] c"-Smt : Initialise GBLL variable \22make_SMT\22 to {TRUE} (default)\00"
@str.34 = [67 x i8] c"-NOSmt : Initialise GBLL variable \22make_SMT\22 to {FALSE}\00"
define void @Usage() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.18, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.19, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.20, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.21, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.22, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.23, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.24, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.25, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.26, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.27, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.28, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.29, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @str.30, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.31, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @str.32, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.33, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([67 x i8], [67 x i8]* @str.34, i64 0, i64 0))
ret void
}