#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 lpg_usage(void) {
  printf("\n%s SETTINGS:\n", "LPG-td-1.0");
  printf("\nNECESSARY SETTINGS\n\n");
  printf("-o <string>              specifies the file of the operators \n\n");
  printf(
      "-f <string>              specifies the file of (init/goal) facts\n\n");
  printf(
      "-n <number>              specifies the desired number of solutions;\n");
  printf("                         alternative options are -speed and "
         "-quality\n\n");
  printf("\nOPTIONAL SETTINGS\n\n");
  printf("-p <string>              specifies the path for the operator/fact "
         "files\n\n");
  printf("-out <string>            specifies the file name for computed "
         "plans\n\n");
  printf("-noout                   does not save computed plans\n\n");
  printf("-v off                   switches off verbose mode\n\n");
  printf(
      "-search_steps <number>   specifies the number of steps of the first\n");
  printf(
      "                         restart of the local search [default 500]\n\n");
  printf("-restarts <number>       specifies the max number of the restarts "
         "[default 9]\n\n");
  printf("-repeats <number>        specifies the maximum number of the repeats "
         "[default 5]\n\n");
  printf("-noise <0..1>            specifies the initial noise value of "
         "Walkplan [default 0.10]\n\n");
  printf("-static_noise            set the noise value to a fixed static "
         "value\n\n");
  printf("-seed <number>           sets the seed of the random number "
         "generator\n\n");
  printf("-lowmemory               computes mutex relations between actions at "
         "runtime\n\n");
  printf("-cputime <number>        specifies the maximum CPU-time (in seconds) "
         "[default 1800]\n\n");
  printf("-cputime_localsearch <number>        specifies the maximum CPU-time "
         "for \n");
  printf("                         the local search procedure (in seconds) "
         "[default 1200] \n\n");
  printf("-nobestfirst             switches off best-first search\n\n");
  printf("-onlybestfirst           immediately runs best-first search\n\n");
  printf("\n ");
}


x86 assembly (clang, -O0):
<lpg_usage>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
lea    0xeed(%rip),%rsi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xef2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf24(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf59(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf90(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfc9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfd0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x100c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1044(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x106e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1095(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10cc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1103(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1145(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x118a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11d4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x120d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1247(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1288(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12d0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x130c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1351(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x137d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x13ad(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<lpg_usage>:
push   %rax
lea    0xed8(%rip),%rdi
lea    0xee0(%rip),%rsi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xee0(%rip),%rdi
call   1030 <puts@plt>
lea    0xee9(%rip),%rdi
call   1030 <puts@plt>
lea    0xf1c(%rip),%rdi
call   1030 <puts@plt>
lea    0xf52(%rip),%rdi
call   1030 <puts@plt>
lea    0xf8a(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc4(%rip),%rdi
call   1030 <puts@plt>
lea    0xfcc(%rip),%rdi
call   1030 <puts@plt>
lea    0x1009(%rip),%rdi
call   1030 <puts@plt>
lea    0x1042(%rip),%rdi
call   1030 <puts@plt>
lea    0x106d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1095(%rip),%rdi
call   1030 <puts@plt>
lea    0x10cd(%rip),%rdi
call   1030 <puts@plt>
lea    0x1105(%rip),%rdi
call   1030 <puts@plt>
lea    0x1148(%rip),%rdi
call   1030 <puts@plt>
lea    0x118e(%rip),%rdi
call   1030 <puts@plt>
lea    0x11d9(%rip),%rdi
call   1030 <puts@plt>
lea    0x1213(%rip),%rdi
call   1030 <puts@plt>
lea    0x124e(%rip),%rdi
call   1030 <puts@plt>
lea    0x1290(%rip),%rdi
call   1030 <puts@plt>
lea    0x12d9(%rip),%rdi
call   1030 <puts@plt>
lea    0x1316(%rip),%rdi
call   1030 <puts@plt>
lea    0x135c(%rip),%rdi
call   1030 <puts@plt>
lea    0x1389(%rip),%rdi
call   1030 <puts@plt>
lea    0xdc9(%rip),%rdi
xor    %eax,%eax
pop    %rcx
jmp    1040 <printf@plt>

LLVM IR (-O0):
@.str = [15 x i8] c"\0A%s SETTINGS:\0A\00"
@.str.1 = [11 x i8] c"LPG-td-1.0\00"
@.str.2 = [22 x i8] c"\0ANECESSARY SETTINGS\0A\0A\00"
@.str.3 = [64 x i8] c"-o <string> specifies the file of the operators \0A\0A\00"
@.str.4 = [67 x i8] c"-f <string> specifies the file of (init/goal) facts\0A\0A\00"
@.str.5 = [69 x i8] c"-n <number> specifies the desired number of solutions;\0A\00"
@.str.6 = [71 x i8] c" alternative options are -speed and -quality\0A\0A\00"
@.str.7 = [21 x i8] c"\0AOPTIONAL SETTINGS\0A\0A\00"
@.str.8 = [74 x i8] c"-p <string> specifies the path for the operator/fact files\0A\0A\00"
@.str.9 = [70 x i8] c"-out <string> specifies the file name for computed plans\0A\0A\00"
@.str.10 = [56 x i8] c"-noout does not save computed plans\0A\0A\00"
@.str.11 = [53 x i8] c"-v off switches off verbose mode\0A\0A\00"
@.str.12 = [69 x i8] c"-search_steps <number> specifies the number of steps of the first\0A\00"
@.str.13 = [69 x i8] c" restart of the local search [default 500]\0A\0A\00"
@.str.14 = [80 x i8] c"-restarts <number> specifies the max number of the restarts [default 9]\0A\0A\00"
@.str.15 = [83 x i8] c"-repeats <number> specifies the maximum number of the repeats [default 5]\0A\0A\00"
@.str.16 = [88 x i8] c"-noise <0..1> specifies the initial noise value of Walkplan [default 0.10]\0A\0A\00"
@.str.17 = [71 x i8] c"-static_noise set the noise value to a fixed static value\0A\0A\00"
@.str.18 = [72 x i8] c"-seed <number> sets the seed of the random number generator\0A\0A\00"
@.str.19 = [79 x i8] c"-lowmemory computes mutex relations between actions at runtime\0A\0A\00"
@.str.20 = [86 x i8] c"-cputime <number> specifies the maximum CPU-time (in seconds) [default 1800]\0A\0A\00"
@.str.21 = [74 x i8] c"-cputime_localsearch <number> specifies the maximum CPU-time for \0A\00"
@.str.22 = [83 x i8] c" the local search procedure (in seconds) [default 1200] \0A\0A\00"
@.str.23 = [58 x i8] c"-nobestfirst switches off best-first search\0A\0A\00"
@.str.24 = [62 x i8] c"-onlybestfirst immediately runs best-first search\0A\0A\00"
@.str.25 = [3 x i8] c"\0A \00"
define void @lpg_usage() {
%1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0))
%2 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
%3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.3, i64 0, i64 0))
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.4, i64 0, i64 0))
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([69 x i8], [69 x i8]* @.str.5, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.6, i64 0, i64 0))
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.7, i64 0, i64 0))
%8 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.8, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.9, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.10, i64 0, i64 0))
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.11, i64 0, i64 0))
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([69 x i8], [69 x i8]* @.str.12, i64 0, i64 0))
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([69 x i8], [69 x i8]* @.str.13, i64 0, i64 0))
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.14, i64 0, i64 0))
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.15, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([88 x i8], [88 x i8]* @.str.16, i64 0, i64 0))
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.17, i64 0, i64 0))
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.18, i64 0, i64 0))
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.19, i64 0, i64 0))
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([86 x i8], [86 x i8]* @.str.20, i64 0, i64 0))
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.21, i64 0, i64 0))
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.22, i64 0, i64 0))
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.23, i64 0, i64 0))
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.24, i64 0, i64 0))
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.25, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [15 x i8] c"\0A%s SETTINGS:\0A\00"
@.str.1 = [11 x i8] c"LPG-td-1.0\00"
@.str.25 = [3 x i8] c"\0A \00"
@str = [21 x i8] c"\0ANECESSARY SETTINGS\0A\00"
@str.26 = [63 x i8] c"-o <string> specifies the file of the operators \0A\00"
@str.27 = [66 x i8] c"-f <string> specifies the file of (init/goal) facts\0A\00"
@str.28 = [68 x i8] c"-n <number> specifies the desired number of solutions;\00"
@str.29 = [70 x i8] c" alternative options are -speed and -quality\0A\00"
@str.30 = [20 x i8] c"\0AOPTIONAL SETTINGS\0A\00"
@str.31 = [73 x i8] c"-p <string> specifies the path for the operator/fact files\0A\00"
@str.32 = [69 x i8] c"-out <string> specifies the file name for computed plans\0A\00"
@str.33 = [55 x i8] c"-noout does not save computed plans\0A\00"
@str.34 = [52 x i8] c"-v off switches off verbose mode\0A\00"
@str.35 = [68 x i8] c"-search_steps <number> specifies the number of steps of the first\00"
@str.36 = [68 x i8] c" restart of the local search [default 500]\0A\00"
@str.37 = [79 x i8] c"-restarts <number> specifies the max number of the restarts [default 9]\0A\00"
@str.38 = [82 x i8] c"-repeats <number> specifies the maximum number of the repeats [default 5]\0A\00"
@str.39 = [87 x i8] c"-noise <0..1> specifies the initial noise value of Walkplan [default 0.10]\0A\00"
@str.40 = [70 x i8] c"-static_noise set the noise value to a fixed static value\0A\00"
@str.41 = [71 x i8] c"-seed <number> sets the seed of the random number generator\0A\00"
@str.42 = [78 x i8] c"-lowmemory computes mutex relations between actions at runtime\0A\00"
@str.43 = [85 x i8] c"-cputime <number> specifies the maximum CPU-time (in seconds) [default 1800]\0A\00"
@str.44 = [73 x i8] c"-cputime_localsearch <number> specifies the maximum CPU-time for \00"
@str.45 = [82 x i8] c" the local search procedure (in seconds) [default 1200] \0A\00"
@str.46 = [57 x i8] c"-nobestfirst switches off best-first search\0A\00"
@str.47 = [61 x i8] c"-onlybestfirst immediately runs best-first search\0A\00"
define void @lpg_usage() {
%1 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.26, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @str.27, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([68 x i8], [68 x i8]* @str.28, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([70 x i8], [70 x i8]* @str.29, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @str.30, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.31, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([69 x i8], [69 x i8]* @str.32, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.33, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.34, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([68 x i8], [68 x i8]* @str.35, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([68 x i8], [68 x i8]* @str.36, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str.37, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([82 x i8], [82 x i8]* @str.38, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([87 x i8], [87 x i8]* @str.39, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([70 x i8], [70 x i8]* @str.40, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([71 x i8], [71 x i8]* @str.41, i64 0, i64 0))
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.42, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([85 x i8], [85 x i8]* @str.43, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.44, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([82 x i8], [82 x i8]* @str.45, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.46, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.47, i64 0, i64 0))
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.25, i64 0, i64 0))
ret void
}