#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(int);
int /*<<< orphan*/ printf(char *, char *);
__attribute__((noreturn)) void usage(char *name) {
  printf("%s [options] {UID} {nR1} {aR1} {nR2} {aR2}\n\n"
         "Options:\n"
         "-p     : select OpenCL Platform(s). Multiple allowed (1,2,3,etc.). "
         "[Default: all]\n"
         "-d     : select OpenCL Device(s). Multiple allowed (1,2,3,etc.). "
         "[Default: all]\n"
         "-D     : select OpenCL Device Type. 0: GPU, 1: CPU, 2: all. "
         "[Default: GPU]\n"
         "-S     : select the thread scheduler type. 0: sequential, 1: "
         "asynchronous. [Default 1]\n"
         "-P     : select the Profile, from 0 to 10. [Default: auto-tuning]\n"
         "-F     : force verify key with OpenCL instead of CPU. [Default: "
         "disabled]\n"
         "-Q     : select queue engine. 0: forward, 1: reverse, 2: random. "
         "[Default: 0]\n"
         "-s     : show the list of OpenCL platforms/devices, then exit\n"
         "-V     : enable debug messages\n"
         "-v     : show the version\n"
         "-h     : show this help\n\n",
         name);
  printf("Example, select devices 1, 2 and 3 using platform 1 and 2, with "
         "random queue engine:\n\n"
         "%s -D 2 -Q 2 -p 1,2 -d 1,2,3 2ab12bf2 4B71E49D 6A606453 D79BD94B "
         "16A2255B\n\n",
         name);
  exit(8);
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rsi
lea    0xec9(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rsi
lea    0x119d(%rip),%rdi
call   1030 <printf@plt>
mov    $0x8,%edi
call   1040 <exit@plt>

x86 assembly (clang, -O2):
<usage>:
push   %rbx
mov    %rdi,%rbx
lea    0xed5(%rip),%rdi
mov    %rbx,%rsi
call   1030 <printf@plt>
lea    0x11aa(%rip),%rdi
mov    %rbx,%rsi
call   1030 <printf@plt>
mov    $0x8,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@.str = [740 x i8] c"%s [options] {UID} {nR1} {aR1} {nR2} {aR2}\0A\0AOptions:\0A-p : select OpenCL Platform(s). Multiple allowed (1,2,3,etc.). [Default: all]\0A-d : select OpenCL Device(s). Multiple allowed (1,2,3,etc.). [Default: all]\0A-D : select OpenCL Device Type. 0: GPU, 1: CPU, 2: all. [Default: GPU]\0A-S : select the thread scheduler type. 0: sequential, 1: asynchronous. [Default 1]\0A-P : select the Profile, from 0 to 10. [Default: auto-tuning]\0A-F : force verify key with OpenCL instead of CPU. [Default: disabled]\0A-Q : select queue engine. 0: forward, 1: reverse, 2: random. [Default: 0]\0A-s : show the list of OpenCL platforms/devices, then exit\0A-V : enable debug messages\0A-v : show the version\0A-h : show this help\0A\0A\00"
@.str.1 = [162 x i8] c"Example, select devices 1, 2 and 3 using platform 1 and 2, with random queue engine:\0A\0A%s -D 2 -Q 2 -p 1,2 -d 1,2,3 2ab12bf2 4B71E49D 6A606453 D79BD94B 16A2255B\0A\0A\00"
define void @usage(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = call i32 @printf(i8* getelementptr inbounds ([740 x i8], [740 x i8]* @.str, i64 0, i64 0), i8* %3)
%5 = load i8*, i8** %2
%6 = call i32 @printf(i8* getelementptr inbounds ([162 x i8], [162 x i8]* @.str.1, i64 0, i64 0), i8* %5)
%7 = call i32 @exit(i32 8)
unreachable
}

LLVM IR (-O2):
@.str = [740 x i8] c"%s [options] {UID} {nR1} {aR1} {nR2} {aR2}\0A\0AOptions:\0A-p : select OpenCL Platform(s). Multiple allowed (1,2,3,etc.). [Default: all]\0A-d : select OpenCL Device(s). Multiple allowed (1,2,3,etc.). [Default: all]\0A-D : select OpenCL Device Type. 0: GPU, 1: CPU, 2: all. [Default: GPU]\0A-S : select the thread scheduler type. 0: sequential, 1: asynchronous. [Default 1]\0A-P : select the Profile, from 0 to 10. [Default: auto-tuning]\0A-F : force verify key with OpenCL instead of CPU. [Default: disabled]\0A-Q : select queue engine. 0: forward, 1: reverse, 2: random. [Default: 0]\0A-s : show the list of OpenCL platforms/devices, then exit\0A-V : enable debug messages\0A-v : show the version\0A-h : show this help\0A\0A\00"
@.str.1 = [162 x i8] c"Example, select devices 1, 2 and 3 using platform 1 and 2, with random queue engine:\0A\0A%s -D 2 -Q 2 -p 1,2 -d 1,2,3 2ab12bf2 4B71E49D 6A606453 D79BD94B 16A2255B\0A\0A\00"
define void @usage(i8* %0) {
%2 = tail call i32 @printf(i8* getelementptr inbounds ([740 x i8], [740 x i8]* @.str, i64 0, i64 0), i8* %0)
%3 = tail call i32 @printf(i8* getelementptr inbounds ([162 x i8], [162 x i8]* @.str.1, i64 0, i64 0), i8* %0)
%4 = tail call i32 @exit(i32 8)
unreachable
}