#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*/ fprintf(int /*<<< orphan*/, char *, ...);
int /*<<< orphan*/ stderr;
int usage(char *program) {
  fprintf(stderr, "\n");
  fprintf(stderr, "Usage: %s [options] devicename\n", program);
  fprintf(stderr,
          "-B		blank cd-rw disc before formatting\n"
          "-F		format cd-rw disc\n"
          "-O		CD-RW formatting 'old-style' for old CD-RW drives\n"
          "-M		select MRW format\n"
          "-R		restart MRW & DVD+RW format\n"
          "-G		grow last CD-RW/DVD-RW session\n"
          "-S		grow spare space DVD-RAM/BD-RE\n"
          "-s		format DVD+MRW/BD-RE with extra spare space\n"
          "-w		wait until completion of background format\n"
          "-p		explicitly set packet format\n"
          "-c num		media certification for DVD-RAM/BD-RE : "
          "0 no, 1 full, 2 quick\n"
          "-r		recompile defect list for DVD-RAM (cmplist)\n"
          "-h -H -I	help/inquiry formats\n"
          "-X format	expert format selector form 'fmt:blks:param' with -c\n"
          "-b blockingnr	in sectors (for CD-RW)\n"
          "-D 		verbose SCSI command errors\n");
  return 1;
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    0x2ebd(%rip),%rax
mov    (%rax),%edi
lea    0xef2(%rip),%rsi
mov    $0x0,%al
call   1030 <fprintf@plt>
mov    0x2ea6(%rip),%rax
mov    (%rax),%edi
mov    -0x8(%rbp),%rdx
lea    0xeb9(%rip),%rsi
mov    $0x0,%al
call   1030 <fprintf@plt>
mov    0x2e8b(%rip),%rax
mov    (%rax),%edi
lea    0xec2(%rip),%rsi
mov    $0x0,%al
call   1030 <fprintf@plt>
mov    $0x1,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<usage>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    0x2ec2(%rip),%r14
mov    (%r14),%edi
lea    0xef6(%rip),%rsi
xor    %eax,%eax
call   1030 <fprintf@plt>
mov    (%r14),%edi
lea    0xec7(%rip),%rsi
mov    %rbx,%rdx
xor    %eax,%eax
call   1030 <fprintf@plt>
mov    (%r14),%edi
lea    0xed3(%rip),%rsi
xor    %eax,%eax
call   1030 <fprintf@plt>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [2 x i8] c"\0A\00"
@.str.1 = [32 x i8] c"Usage: %s [options] devicename\0A\00"
@.str.2 = [649 x i8] c"-B\09\09blank cd-rw disc before formatting\0A-F\09\09format cd-rw disc\0A-O\09\09CD-RW formatting 'old-style' for old CD-RW drives\0A-M\09\09select MRW format\0A-R\09\09restart MRW & DVD+RW format\0A-G\09\09grow last CD-RW/DVD-RW session\0A-S\09\09grow spare space DVD-RAM/BD-RE\0A-s\09\09format DVD+MRW/BD-RE with extra spare space\0A-w\09\09wait until completion of background format\0A-p\09\09explicitly set packet format\0A-c num\09\09media certification for DVD-RAM/BD-RE : 0 no, 1 full, 2 quick\0A-r\09\09recompile defect list for DVD-RAM (cmplist)\0A-h -H -I\09help/inquiry formats\0A-X format\09expert format selector form 'fmt:blks:param' with -c\0A-b blockingnr\09in sectors (for CD-RW)\0A-D \09\09verbose SCSI command errors\0A\00"
define i32 @usage(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i32, i32* @stderr
%4 = call i32 (i32, i8*, ...) @fprintf(i32 %3, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%5 = load i32, i32* @stderr
%6 = load i8*, i8** %2
%7 = call i32 (i32, i8*, ...) @fprintf(i32 %5, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i8* %6)
%8 = load i32, i32* @stderr
%9 = call i32 (i32, i8*, ...) @fprintf(i32 %8, i8* getelementptr inbounds ([649 x i8], [649 x i8]* @.str.2, i64 0, i64 0))
ret i32 1
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [2 x i8] c"\0A\00"
@.str.1 = [32 x i8] c"Usage: %s [options] devicename\0A\00"
@.str.2 = [649 x i8] c"-B\09\09blank cd-rw disc before formatting\0A-F\09\09format cd-rw disc\0A-O\09\09CD-RW formatting 'old-style' for old CD-RW drives\0A-M\09\09select MRW format\0A-R\09\09restart MRW & DVD+RW format\0A-G\09\09grow last CD-RW/DVD-RW session\0A-S\09\09grow spare space DVD-RAM/BD-RE\0A-s\09\09format DVD+MRW/BD-RE with extra spare space\0A-w\09\09wait until completion of background format\0A-p\09\09explicitly set packet format\0A-c num\09\09media certification for DVD-RAM/BD-RE : 0 no, 1 full, 2 quick\0A-r\09\09recompile defect list for DVD-RAM (cmplist)\0A-h -H -I\09help/inquiry formats\0A-X format\09expert format selector form 'fmt:blks:param' with -c\0A-b blockingnr\09in sectors (for CD-RW)\0A-D \09\09verbose SCSI command errors\0A\00"
define i32 @usage(i8* %0) {
%2 = load i32, i32* @stderr
%3 = tail call i32 (i32, i8*, ...) @fprintf(i32 %2, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%4 = load i32, i32* @stderr
%5 = tail call i32 (i32, i8*, ...) @fprintf(i32 %4, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i8* %0)
%6 = load i32, i32* @stderr
%7 = tail call i32 (i32, i8*, ...) @fprintf(i32 %6, i8* getelementptr inbounds ([649 x i8], [649 x i8]* @.str.2, i64 0, i64 0))
ret i32 1
}