#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 EXIT_FAILURE;
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stdout;
void satomi_usage(int status) {
  if (status == EXIT_FAILURE)
    fprintf(stdout, "Try 'satomi -h' for more information\n");
  else
    fprintf(stdout, "Usage: satomi [-v] [-h] <input_file>\n\n"
                    "Options:\n"
                    "\t-h"
                    "\t : display available options.\n"
                    "\t-v"
                    "\t : version.\n\n");
  exit(status);
}


x86 assembly (clang, -O0):
<satomi_usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    0x2eab(%rip),%rcx
cmp    (%rcx),%eax
jne    1157 <satomi_usage+0x37>
mov    0x2e94(%rip),%rax
mov    (%rax),%edi
lea    0xeb3(%rip),%rsi
call   1030 <fprintf@plt>
jmp    116c <satomi_usage+0x4c>
mov    0x2e7a(%rip),%rax
mov    (%rax),%edi
lea    0xebf(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0x4(%rbp),%edi
call   1040 <exit@plt>

x86 assembly (clang, -O2):
<satomi_usage>:
push   %rbx
mov    %edi,%ebx
mov    0x2eb6(%rip),%rax
cmp    %edi,(%rax)
mov    0x2ea5(%rip),%rax
mov    (%rax),%edi
lea    0xec4(%rip),%rax
lea    0xee3(%rip),%rsi
cmove  %rax,%rsi
call   1030 <fprintf@plt>
mov    %ebx,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@EXIT_FAILURE = global i32 0
@stdout = global i32 0
@.str = [38 x i8] c"Try 'satomi -h' for more information\0A\00"
@.str.1 = [99 x i8] c"Usage: satomi [-v] [-h] <input_file>\0A\0AOptions:\0A\09-h\09 : display available options.\0A\09-v\09 : version.\0A\0A\00"
define void @satomi_usage(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = load i32, i32* @EXIT_FAILURE
%5 = icmp eq i32 %3, %4
br i1 %5, label %6, label %9
6: ; preds = %1
%7 = load i32, i32* @stdout
%8 = call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0))
br label %12
9: ; preds = %1
%10 = load i32, i32* @stdout
%11 = call i32 @fprintf(i32 %10, i8* getelementptr inbounds ([99 x i8], [99 x i8]* @.str.1, i64 0, i64 0))
br label %12
12: ; preds = %9, %6
%13 = load i32, i32* %2
%14 = call i32 @exit(i32 %13)
unreachable
}

LLVM IR (-O2):
@EXIT_FAILURE = global i32 0
@stdout = global i32 0
@.str = [38 x i8] c"Try 'satomi -h' for more information\0A\00"
@.str.1 = [99 x i8] c"Usage: satomi [-v] [-h] <input_file>\0A\0AOptions:\0A\09-h\09 : display available options.\0A\09-v\09 : version.\0A\0A\00"
define void @satomi_usage(i32 %0) {
%2 = load i32, i32* @EXIT_FAILURE
%3 = icmp eq i32 %2, %0
%4 = load i32, i32* @stdout
%5 = select i1 %3, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([99 x i8], [99 x i8]* @.str.1, i64 0, i64 0)
%6 = tail call i32 @fprintf(i32 %4, i8* %5)
%7 = tail call i32 @exit(i32 %0)
unreachable
}