#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 *, ...);
void print_usage(const char *name) {
  printf("usage: %s [-vhdix?] <filename>\n", name);
  printf(
      "\n"
      "   -d | --dump:                       dump intel firmware descriptor\n"
      "   -f | --layout <filename>           dump regions into a flashrom "
      "layout file\n"
      "   -x | --extract:                    extract intel fd modules\n"
      "   -i | --inject <region>:<module>    inject file <module> into region "
      "<region>\n"
      "   -n | --newlayout <filename>        update regions using a flashrom "
      "layout file\n"
      "   -s | --spifreq <17|20|30|33|48|50> set the SPI frequency\n"
      "   -D | --density <512|1|2|4|8|16>    set chip density (512 in KByte, "
      "others in MByte)\n"
      "   -C | --chip <0|1|2>                select spi chip on which to "
      "operate\n"
      "                                      can only be used once per run:\n"
      "                                      0 - both chips (default), 1 - "
      "first chip, 2 - second chip\n"
      "   -e | --em100                       set SPI frequency to 20MHz and "
      "disable\n"
      "                                      Dual Output Fast Read Support\n"
      "   -l | --lock                        Lock firmware descriptor and ME "
      "region\n"
      "   -u | --unlock                      Unlock firmware descriptor and ME "
      "region\n"
      "   -v | --version:                    print the version\n"
      "   -h | --help:                       print this help\n\n"
      "<region> is one of Descriptor, BIOS, ME, GbE, Platform\n"
      "\n");
}


x86 assembly (clang, -O0):
<print_usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rsi
lea    0xed9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xeeb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_usage>:
push   %rax
mov    %rdi,%rsi
lea    0xed5(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xee7(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [32 x i8] c"usage: %s [-vhdix?] <filename>\0A\00"
@.str.1 = [1229 x i8] c"\0A -d | --dump: dump intel firmware descriptor\0A -f | --layout <filename> dump regions into a flashrom layout file\0A -x | --extract: extract intel fd modules\0A -i | --inject <region>:<module> inject file <module> into region <region>\0A -n | --newlayout <filename> update regions using a flashrom layout file\0A -s | --spifreq <17|20|30|33|48|50> set the SPI frequency\0A -D | --density <512|1|2|4|8|16> set chip density (512 in KByte, others in MByte)\0A -C | --chip <0|1|2> select spi chip on which to operate\0A can only be used once per run:\0A 0 - both chips (default), 1 - first chip, 2 - second chip\0A -e | --em100 set SPI frequency to 20MHz and disable\0A Dual Output Fast Read Support\0A -l | --lock Lock firmware descriptor and ME region\0A -u | --unlock Unlock firmware descriptor and ME region\0A -v | --version: print the version\0A -h | --help: print this help\0A\0A<region> is one of Descriptor, BIOS, ME, GbE, Platform\0A\0A\00"
define void @print_usage(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str, i64 0, i64 0), i8* %3)
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([1229 x i8], [1229 x i8]* @.str.1, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [32 x i8] c"usage: %s [-vhdix?] <filename>\0A\00"
@str = [1228 x i8] c"\0A -d | --dump: dump intel firmware descriptor\0A -f | --layout <filename> dump regions into a flashrom layout file\0A -x | --extract: extract intel fd modules\0A -i | --inject <region>:<module> inject file <module> into region <region>\0A -n | --newlayout <filename> update regions using a flashrom layout file\0A -s | --spifreq <17|20|30|33|48|50> set the SPI frequency\0A -D | --density <512|1|2|4|8|16> set chip density (512 in KByte, others in MByte)\0A -C | --chip <0|1|2> select spi chip on which to operate\0A can only be used once per run:\0A 0 - both chips (default), 1 - first chip, 2 - second chip\0A -e | --em100 set SPI frequency to 20MHz and disable\0A Dual Output Fast Read Support\0A -l | --lock Lock firmware descriptor and ME region\0A -u | --unlock Unlock firmware descriptor and ME region\0A -v | --version: print the version\0A -h | --help: print this help\0A\0A<region> is one of Descriptor, BIOS, ME, GbE, Platform\0A\00"
define void @print_usage(i8* %0) {
%2 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str, i64 0, i64 0), i8* %0)
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([1228 x i8], [1228 x i8]* @str, i64 0, i64 0))
ret void
}