#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 *, ...);
int /*<<< orphan*/ subcommands();
usage(void) {
  printf("%s\n\n", "UC Berkeley, Espresso Version #2.3, Release date 01/31/88");
  printf("SYNOPSIS: espresso [options] [file]\n\n");
  printf("  -d        Enable debugging\n");
  printf("  -e[opt]   Select espresso option:\n");
  printf("                fast, ness, nirr, nunwrap, onset, pos, strong,\n");
  printf("                eat, eatdots, kiss, random\n");
  printf("  -o[type]  Select output format:\n");
  printf("                f, fd, fr, fdr, pleasure, eqntott, kiss, cons\n");
  printf("  -rn-m     Select range for subcommands:\n");
  printf("                d1merge: first and last variables (0 ... m-1)\n");
  printf("                minterms: first and last variables (0 ... m-1)\n");
  printf("                opoall: first and last outputs (0 ... m-1)\n");
  printf("  -s        Provide short execution summary\n");
  printf("  -t        Provide longer execution trace\n");
  printf("  -x        Suppress printing of solution\n");
  printf("  -v[type]  Verbose debugging detail (-v '' for all)\n");
  printf("  -D[cmd]   Execute subcommand 'cmd':\n");
  subcommands();
  printf("  -Sn       Select strategy for subcommands:\n");
  printf("                opo: bit2=exact bit1=repeated bit0=skip sparse\n");
  printf("                opoall: 0=minimize, 1=exact\n");
  printf("                pair: 0=algebraic, 1=strongd, 2=espresso, 3=exact\n");
  printf("                pairall: 0=minimize, 1=exact, 2=opo\n");
  printf("                so_espresso: 0=minimize, 1=exact\n");
  printf("                so_both: 0=minimize, 1=exact\n");
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0xed1(%rip),%rdi
lea    0xecf(%rip),%rsi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xefb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf13(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf23(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf3a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf6c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf8a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf9f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfd0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfed(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x101e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1050(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x107e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x109d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10bb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10d8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1100(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    $0x0,%al
call   1040 <subcommands@plt>
lea    0x1112(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1132(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1164(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1183(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11b8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11df(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1203(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<usage>:
push   %rax
lea    0xec8(%rip),%rdi
lea    0xec6(%rip),%rsi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xef2(%rip),%rdi
call   1030 <puts@plt>
lea    0xf0b(%rip),%rdi
call   1030 <puts@plt>
lea    0xf1c(%rip),%rdi
call   1030 <puts@plt>
lea    0xf34(%rip),%rdi
call   1030 <puts@plt>
lea    0xf67(%rip),%rdi
call   1030 <puts@plt>
lea    0xf86(%rip),%rdi
call   1030 <puts@plt>
lea    0xf9c(%rip),%rdi
call   1030 <puts@plt>
lea    0xfce(%rip),%rdi
call   1030 <puts@plt>
lea    0xfec(%rip),%rdi
call   1030 <puts@plt>
lea    0x101e(%rip),%rdi
call   1030 <puts@plt>
lea    0x1051(%rip),%rdi
call   1030 <puts@plt>
lea    0x1080(%rip),%rdi
call   1030 <puts@plt>
lea    0x10a0(%rip),%rdi
call   1030 <puts@plt>
lea    0x10bf(%rip),%rdi
call   1030 <puts@plt>
lea    0x10dd(%rip),%rdi
call   1030 <puts@plt>
lea    0x1106(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
call   1050 <subcommands@plt>
lea    0x1119(%rip),%rdi
call   1030 <puts@plt>
lea    0x113a(%rip),%rdi
call   1030 <puts@plt>
lea    0x116d(%rip),%rdi
call   1030 <puts@plt>
lea    0x118d(%rip),%rdi
call   1030 <puts@plt>
lea    0x11c3(%rip),%rdi
call   1030 <puts@plt>
lea    0x11eb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1210(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [5 x i8] c"%s\0A\0A\00"
@.str.1 = [58 x i8] c"UC Berkeley, Espresso Version.3, Release date 01/31/88\00"
@.str.2 = [38 x i8] c"SYNOPSIS: espresso [options] [file]\0A\0A\00"
@.str.3 = [30 x i8] c" -d Enable debugging\0A\00"
@.str.4 = [37 x i8] c" -e[opt] Select espresso option:\0A\00"
@.str.5 = [64 x i8] c" fast, ness, nirr, nunwrap, onset, pos, strong,\0A\00"
@.str.6 = [44 x i8] c" eat, eatdots, kiss, random\0A\00"
@.str.7 = [35 x i8] c" -o[type] Select output format:\0A\00"
@.str.8 = [63 x i8] c" f, fd, fr, fdr, pleasure, eqntott, kiss, cons\0A\00"
@.str.9 = [43 x i8] c" -rn-m Select range for subcommands:\0A\00"
@.str.10 = [63 x i8] c" d1merge: first and last variables (0 ... m-1)\0A\00"
@.str.11 = [64 x i8] c" minterms: first and last variables (0 ... m-1)\0A\00"
@.str.12 = [60 x i8] c" opoall: first and last outputs (0 ... m-1)\0A\00"
@.str.13 = [45 x i8] c" -s Provide short execution summary\0A\00"
@.str.14 = [44 x i8] c" -t Provide longer execution trace\0A\00"
@.str.15 = [43 x i8] c" -x Suppress printing of solution\0A\00"
@.str.16 = [54 x i8] c" -v[type] Verbose debugging detail (-v '' for all)\0A\00"
@.str.17 = [39 x i8] c" -D[cmd] Execute subcommand 'cmd':\0A\00"
@.str.18 = [46 x i8] c" -Sn Select strategy for subcommands:\0A\00"
@.str.19 = [64 x i8] c" opo: bit2=exact bit1=repeated bit0=skip sparse\0A\00"
@.str.20 = [45 x i8] c" opoall: 0=minimize, 1=exact\0A\00"
@.str.21 = [67 x i8] c" pair: 0=algebraic, 1=strongd, 2=espresso, 3=exact\0A\00"
@.str.22 = [53 x i8] c" pairall: 0=minimize, 1=exact, 2=opo\0A\00"
@.str.23 = [50 x i8] c" so_espresso: 0=minimize, 1=exact\0A\00"
@.str.24 = [46 x i8] c" so_both: 0=minimize, 1=exact\0A\00"
define i32 @usage() {
%1 = alloca i32
%2 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.8, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.9, i64 0, i64 0))
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.10, i64 0, i64 0))
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.11, i64 0, i64 0))
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.12, i64 0, i64 0))
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.13, i64 0, i64 0))
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.14, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.15, i64 0, i64 0))
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.16, i64 0, i64 0))
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.17, i64 0, i64 0))
%19 = call i32 (...) @subcommands()
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.18, i64 0, i64 0))
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.19, i64 0, i64 0))
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.20, i64 0, i64 0))
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.21, i64 0, i64 0))
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.22, i64 0, i64 0))
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.23, i64 0, i64 0))
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.24, i64 0, i64 0))
%27 = load i32, i32* %1
ret i32 %27
}

LLVM IR (-O2):
@.str = [5 x i8] c"%s\0A\0A\00"
@.str.1 = [58 x i8] c"UC Berkeley, Espresso Version.3, Release date 01/31/88\00"
@str = [37 x i8] c"SYNOPSIS: espresso [options] [file]\0A\00"
@str.25 = [29 x i8] c" -d Enable debugging\00"
@str.26 = [36 x i8] c" -e[opt] Select espresso option:\00"
@str.27 = [63 x i8] c" fast, ness, nirr, nunwrap, onset, pos, strong,\00"
@str.28 = [43 x i8] c" eat, eatdots, kiss, random\00"
@str.29 = [34 x i8] c" -o[type] Select output format:\00"
@str.30 = [62 x i8] c" f, fd, fr, fdr, pleasure, eqntott, kiss, cons\00"
@str.31 = [42 x i8] c" -rn-m Select range for subcommands:\00"
@str.32 = [62 x i8] c" d1merge: first and last variables (0 ... m-1)\00"
@str.33 = [63 x i8] c" minterms: first and last variables (0 ... m-1)\00"
@str.34 = [59 x i8] c" opoall: first and last outputs (0 ... m-1)\00"
@str.35 = [44 x i8] c" -s Provide short execution summary\00"
@str.36 = [43 x i8] c" -t Provide longer execution trace\00"
@str.37 = [42 x i8] c" -x Suppress printing of solution\00"
@str.38 = [53 x i8] c" -v[type] Verbose debugging detail (-v '' for all)\00"
@str.39 = [38 x i8] c" -D[cmd] Execute subcommand 'cmd':\00"
@str.40 = [45 x i8] c" -Sn Select strategy for subcommands:\00"
@str.41 = [63 x i8] c" opo: bit2=exact bit1=repeated bit0=skip sparse\00"
@str.42 = [44 x i8] c" opoall: 0=minimize, 1=exact\00"
@str.43 = [66 x i8] c" pair: 0=algebraic, 1=strongd, 2=espresso, 3=exact\00"
@str.44 = [52 x i8] c" pairall: 0=minimize, 1=exact, 2=opo\00"
@str.45 = [49 x i8] c" so_espresso: 0=minimize, 1=exact\00"
@str.46 = [45 x i8] c" so_both: 0=minimize, 1=exact\00"
define i32 @usage() {
%1 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.1, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @str.25, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.26, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.27, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.28, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.29, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.30, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @str.31, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.32, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.33, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.34, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.35, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.36, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @str.37, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.38, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.39, i64 0, i64 0))
%18 = tail call i32 (...) @subcommands()
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.40, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.41, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.42, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @str.43, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.44, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.45, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.46, i64 0, i64 0))
ret i32 undef
}