#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*/ EXIT_FAILURE;
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
void disp_usage(void) {
  fprintf(stderr, "Usage: encode_vobs -P <webm|mkv|custom> "
                  "[-c custom encoding command]\n"
                  "                   [-a audio track ID] [-t tasks] "
                  "[-n nice]\n                   "
                  "[-e post_process_exec_command] <file1 ...>\n\n");
  fprintf(stderr, "tasks is how many files to process at a time. It "
                  "defaults to nr cores - 1.\n\n"
                  "nice is the priority to run the encode processes "
                  "at. It should be a value\nbetween 0 and 19. It "
                  "defaults to 10.\n\n"
                  "post_process_exec_command is the full path to an "
                  "executable that will be\ncalled after each processed "
                  "file, it will be passed the full path of the\n"
                  "newly processed file as argv[1].\n\n"
                  "audio track ID is the audio track to use from the "
                  "VOB (only for MKV\nprofile). Defaults to 1.\n\n"
                  "The custom profile expects a -c argument specifying "
                  "the encode command to\nuse. It takes two place "
                  "holders. %%i for the input file and %%o for the "
                  "output\nfile. e.g -c \"ffmpeg -i %%i %%o.webm\"\n");
  exit(EXIT_FAILURE);
}


x86 assembly (clang, -O0):
<disp_usage>:
push   %rbp
mov    %rsp,%rbp
mov    0x2eb5(%rip),%rax
mov    (%rax),%edi
lea    0xecc(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ea0(%rip),%rax
mov    (%rax),%edi
lea    0xf78(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e83(%rip),%rax
mov    (%rax),%edi
call   1040 <exit@plt>

x86 assembly (clang, -O2):
<disp_usage>:
push   %rbx
mov    0x2eb8(%rip),%rbx
mov    (%rbx),%edi
lea    0xecf(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf82(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e8d(%rip),%rax
mov    (%rax),%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [193 x i8] c"Usage: encode_vobs -P <webm|mkv|custom> [-c custom encoding command]\0A [-a audio track ID] [-t tasks] [-n nice]\0A [-e post_process_exec_command] <file1 ...>\0A\0A\00"
@.str.1 = [654 x i8] c"tasks is how many files to process at a time. It defaults to nr cores - 1.\0A\0Anice is the priority to run the encode processes at. It should be a value\0Abetween 0 and 19. It defaults to 10.\0A\0Apost_process_exec_command is the full path to an executable that will be\0Acalled after each processed file, it will be passed the full path of the\0Anewly processed file as argv[1].\0A\0Aaudio track ID is the audio track to use from the VOB (only for MKV\0Aprofile). Defaults to 1.\0A\0AThe custom profile expects a -c argument specifying the encode command to\0Ause. It takes two place holders. %%i for the input file and %%o for the output\0Afile. e.g -c \22ffmpeg -i %%i %%o.webm\22\0A\00"
@EXIT_FAILURE = global i32 0
define void @disp_usage() {
%1 = load i32, i32* @stderr
%2 = call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([193 x i8], [193 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([654 x i8], [654 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @EXIT_FAILURE
%6 = call i32 @exit(i32 %5)
unreachable
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [193 x i8] c"Usage: encode_vobs -P <webm|mkv|custom> [-c custom encoding command]\0A [-a audio track ID] [-t tasks] [-n nice]\0A [-e post_process_exec_command] <file1 ...>\0A\0A\00"
@.str.1 = [654 x i8] c"tasks is how many files to process at a time. It defaults to nr cores - 1.\0A\0Anice is the priority to run the encode processes at. It should be a value\0Abetween 0 and 19. It defaults to 10.\0A\0Apost_process_exec_command is the full path to an executable that will be\0Acalled after each processed file, it will be passed the full path of the\0Anewly processed file as argv[1].\0A\0Aaudio track ID is the audio track to use from the VOB (only for MKV\0Aprofile). Defaults to 1.\0A\0AThe custom profile expects a -c argument specifying the encode command to\0Ause. It takes two place holders. %%i for the input file and %%o for the output\0Afile. e.g -c \22ffmpeg -i %%i %%o.webm\22\0A\00"
@EXIT_FAILURE = global i32 0
define void @disp_usage() {
%1 = load i32, i32* @stderr
%2 = tail call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([193 x i8], [193 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = tail call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([654 x i8], [654 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @EXIT_FAILURE
%6 = tail call i32 @exit(i32 %5)
unreachable
}