#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*/ alldone(int);
int /*<<< orphan*/ printf(char *);
void usage(void) {
  printf("usage: helena-ltl2ba [-flag] -f formula\n");
  printf("                          or -F file\n");
  printf(" -f \"formula\"\ttranslate LTL ");
  printf("into never claim\n");
  printf(" -F file\tlike -f, but with the LTL ");
  printf("formula stored in a 1-line file\n");
  printf(" -d\t\tdisplay automata (D)escription at each step\n");
  printf(" -s\t\tcomputing time and automata sizes (S)tatistics\n");
  printf(" -l\t\tdisable (L)ogic formula simplification\n");
  printf(" -p\t\tdisable a-(P)osteriori simplification\n");
  printf(" -o\t\tdisable (O)n-the-fly simplification\n");
  printf(" -c\t\tdisable strongly (C)onnected components simplification\n");
  printf(" -a\t\tdisable trick in (A)ccepting conditions\n");
  printf(" -O file\tspecify an output file\n");
  alldone(1);
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
lea    0xed5(%rip),%rdi
call   1030 <printf@plt>
lea    0xef2(%rip),%rdi
call   1030 <printf@plt>
lea    0xf0c(%rip),%rdi
call   1030 <printf@plt>
lea    0xf1d(%rip),%rdi
call   1030 <printf@plt>
lea    0xf23(%rip),%rdi
call   1030 <printf@plt>
lea    0xf3b(%rip),%rdi
call   1030 <printf@plt>
lea    0xf50(%rip),%rdi
call   1030 <printf@plt>
lea    0xf76(%rip),%rdi
call   1030 <printf@plt>
lea    0xf9f(%rip),%rdi
call   1030 <printf@plt>
lea    0xfc0(%rip),%rdi
call   1030 <printf@plt>
lea    0xfe0(%rip),%rdi
call   1030 <printf@plt>
lea    0xffe(%rip),%rdi
call   1030 <printf@plt>
lea    0x102f(%rip),%rdi
call   1030 <printf@plt>
lea    0x1051(%rip),%rdi
call   1030 <printf@plt>
mov    $0x1,%edi
call   1040 <alldone@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<usage>:
push   %rax
lea    0xf09(%rip),%rdi
call   1030 <puts@plt>
lea    0xf25(%rip),%rdi
call   1030 <puts@plt>
lea    0xeb0(%rip),%rdi
call   1040 <printf@plt>
lea    0xf32(%rip),%rdi
call   1030 <puts@plt>
lea    0xeb5(%rip),%rdi
call   1040 <printf@plt>
lea    0xf2b(%rip),%rdi
call   1030 <puts@plt>
lea    0xf3f(%rip),%rdi
call   1030 <puts@plt>
lea    0xf64(%rip),%rdi
call   1030 <puts@plt>
lea    0xf8c(%rip),%rdi
call   1030 <puts@plt>
lea    0xfac(%rip),%rdi
call   1030 <puts@plt>
lea    0xfcb(%rip),%rdi
call   1030 <puts@plt>
lea    0xfe8(%rip),%rdi
call   1030 <puts@plt>
lea    0x1018(%rip),%rdi
call   1030 <puts@plt>
lea    0x1039(%rip),%rdi
call   1030 <puts@plt>
mov    $0x1,%edi
pop    %rax
jmp    1050 <alldone@plt>

LLVM IR (-O0):
@.str = [41 x i8] c"usage: helena-ltl2ba [-flag] -f formula\0A\00"
@.str.1 = [38 x i8] c" or -F file\0A\00"
@.str.2 = [29 x i8] c" -f \22formula\22\09translate LTL \00"
@.str.3 = [18 x i8] c"into never claim\0A\00"
@.str.4 = [36 x i8] c" -F file\09like -f, but with the LTL \00"
@.str.5 = [33 x i8] c"formula stored in a 1-line file\0A\00"
@.str.6 = [50 x i8] c" -d\09\09display automata (D)escription at each step\0A\00"
@.str.7 = [53 x i8] c" -s\09\09computing time and automata sizes (S)tatistics\0A\00"
@.str.8 = [45 x i8] c" -l\09\09disable (L)ogic formula simplification\0A\00"
@.str.9 = [44 x i8] c" -p\09\09disable a-(P)osteriori simplification\0A\00"
@.str.10 = [42 x i8] c" -o\09\09disable (O)n-the-fly simplification\0A\00"
@.str.11 = [61 x i8] c" -c\09\09disable strongly (C)onnected components simplification\0A\00"
@.str.12 = [46 x i8] c" -a\09\09disable trick in (A)ccepting conditions\0A\00"
@.str.13 = [33 x i8] c" -O file\09specify an output file\0A\00"
define void @usage() {
%1 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.8, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.9, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.10, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.11, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.12, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.13, i64 0, i64 0))
%15 = call i32 @alldone(i32 1)
ret void
}

LLVM IR (-O2):
@.str.2 = [29 x i8] c" -f \22formula\22\09translate LTL \00"
@.str.4 = [36 x i8] c" -F file\09like -f, but with the LTL \00"
@str = [40 x i8] c"usage: helena-ltl2ba [-flag] -f formula\00"
@str.14 = [37 x i8] c" or -F file\00"
@str.15 = [17 x i8] c"into never claim\00"
@str.16 = [32 x i8] c"formula stored in a 1-line file\00"
@str.17 = [49 x i8] c" -d\09\09display automata (D)escription at each step\00"
@str.18 = [52 x i8] c" -s\09\09computing time and automata sizes (S)tatistics\00"
@str.19 = [44 x i8] c" -l\09\09disable (L)ogic formula simplification\00"
@str.20 = [43 x i8] c" -p\09\09disable a-(P)osteriori simplification\00"
@str.21 = [41 x i8] c" -o\09\09disable (O)n-the-fly simplification\00"
@str.22 = [60 x i8] c" -c\09\09disable strongly (C)onnected components simplification\00"
@str.23 = [45 x i8] c" -a\09\09disable trick in (A)ccepting conditions\00"
@str.24 = [32 x i8] c" -O file\09specify an output file\00"
define void @usage() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.14, i64 0, i64 0))
%3 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.15, i64 0, i64 0))
%5 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.16, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.17, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.18, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.19, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.20, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str.21, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.22, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.23, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.24, i64 0, i64 0))
%15 = tail call i32 @alldone(i32 1)
ret void
}