#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, char *);
void usage(FILE *fp, int argc, char **argv) {
  fprintf(
      fp,
      "FarosPolitoIMGVideocommunication sender program --- version "
      "1.1"
      " Copyright (C) 2012 Enrico Masala\n"
      "FarosPolitoIMGVideocommunication comes with ABSOLUTELY NO WARRANTY; for "
      "details see the enclosed LICENSE.txt file\n"
      "This is free software, and you are welcome to redistribute it under "
      "certain conditions;\n"
      "for details see the enclosed LICENSE.txt file\n"
      "\n"
      "This software is licensed under GPL v.2.0\n"
      "Please note that you are using it at your own risk\n"
      "\n"
      "Usage: %s [options]\n\n"
      "Options:\n"
      "-D | --device       name               Select device name "
      "[/dev/video0]\n"
      "-d | --device-info  name               Show device info\n"
      "-i | --input        number             Video input number \n"
      "-s | --standard     number             Video standard \n"
      "-w | --window-size <640*480>           (just an example) Video size\n"
      "-h | --help                            Print this message\n"
      "-H | --host                            Destination host\n"
      "-P | --port                            Destination port\n"
      "-L | --plr                             Packet loss rate\n"
      "-J | --jpg_pck                         Use JPG, make n pck/frame (no "
      "option->raw YUYV data)\n"
      "-Q | --quality                         JPG quality [0..100]\n"
      "-G | --grayscale                       JPG in grayscale\n"
      "-S | --skip                            number of frames to skip (1 = "
      "send half frame rate)\n"
      "-T | --absolute_clock                  1 = yes, use clock to measure "
      "delay (use NTP first on both PC)\n"
      "-C | --class                           Class to set in DS (=TOS<<2) "
      "field of IP packets\n"
      "\n",
      argv[0]);
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%rdx
lea    0xecb(%rip),%rsi
call   1030 <fprintf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<usage>:
mov    (%rdx),%rdx
lea    0xee6(%rip),%rsi
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@.str = [1497 x i8] c"FarosPolitoIMGVideocommunication sender program --- version 1.1 Copyright (C) 2012 Enrico Masala\0AFarosPolitoIMGVideocommunication comes with ABSOLUTELY NO WARRANTY; for details see the enclosed LICENSE.txt file\0AThis is free software, and you are welcome to redistribute it under certain conditions;\0Afor details see the enclosed LICENSE.txt file\0A\0AThis software is licensed under GPL v.2.0\0APlease note that you are using it at your own risk\0A\0AUsage: %s [options]\0A\0AOptions:\0A-D | --device name Select device name [/dev/video0]\0A-d | --device-info name Show device info\0A-i | --input number Video input number \0A-s | --standard number Video standard \0A-w | --window-size <640*480> (just an example) Video size\0A-h | --help Print this message\0A-H | --host Destination host\0A-P | --port Destination port\0A-L | --plr Packet loss rate\0A-J | --jpg_pck Use JPG, make n pck/frame (no option->raw YUYV data)\0A-Q | --quality JPG quality [0..100]\0A-G | --grayscale JPG in grayscale\0A-S | --skip number of frames to skip (1 = send half frame rate)\0A-T | --absolute_clock 1 = yes, use clock to measure delay (use NTP first on both PC)\0A-C | --class Class to set in DS (=TOS<<2) field of IP packets\0A\0A\00"
define void @usage(i32* %0, i32 %1, i8** %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i8**
store i32* %0, i32** %4
store i32 %1, i32* %5
store i8** %2, i8*** %6
%7 = load i32*, i32** %4
%8 = load i8**, i8*** %6
%9 = getelementptr inbounds i8*, i8** %8, i64 0
%10 = load i8*, i8** %9
%11 = call i32 @fprintf(i32* %7, i8* getelementptr inbounds ([1497 x i8], [1497 x i8]* @.str, i64 0, i64 0), i8* %10)
ret void
}

LLVM IR (-O2):
@.str = [1497 x i8] c"FarosPolitoIMGVideocommunication sender program --- version 1.1 Copyright (C) 2012 Enrico Masala\0AFarosPolitoIMGVideocommunication comes with ABSOLUTELY NO WARRANTY; for details see the enclosed LICENSE.txt file\0AThis is free software, and you are welcome to redistribute it under certain conditions;\0Afor details see the enclosed LICENSE.txt file\0A\0AThis software is licensed under GPL v.2.0\0APlease note that you are using it at your own risk\0A\0AUsage: %s [options]\0A\0AOptions:\0A-D | --device name Select device name [/dev/video0]\0A-d | --device-info name Show device info\0A-i | --input number Video input number \0A-s | --standard number Video standard \0A-w | --window-size <640*480> (just an example) Video size\0A-h | --help Print this message\0A-H | --host Destination host\0A-P | --port Destination port\0A-L | --plr Packet loss rate\0A-J | --jpg_pck Use JPG, make n pck/frame (no option->raw YUYV data)\0A-Q | --quality JPG quality [0..100]\0A-G | --grayscale JPG in grayscale\0A-S | --skip number of frames to skip (1 = send half frame rate)\0A-T | --absolute_clock 1 = yes, use clock to measure delay (use NTP first on both PC)\0A-C | --class Class to set in DS (=TOS<<2) field of IP packets\0A\0A\00"
define void @usage(i32* nocapture %0, i32 %1, i8** nocapture %2) {
%4 = load i8*, i8** %2
%5 = tail call i32 @fprintf(i32* %0, i8* getelementptr inbounds ([1497 x i8], [1497 x i8]* @.str, i64 0, i64 0), i8* %4)
ret void
}