#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 *, char *, char *, char *);
void help(char *argv[]) {
  printf(
      "Matches a tree to a pattern tree\n"
      "\n"
      "Synopsis\n"
      "--------\n"
      "%s [-v] <target tree filename|-> <pattern tree>\n"
      "\n"
      "Input\n"
      "-----\n"
      "\n"
      "The first argument is the name of the file containing the target tree "
      "(to\n"
      "which support values are to be attributed), or '-' (in which case the "
      "tree\n"
      "is read on stdin).\n"
      "\n"
      "The second argument is a pattern tree\n"
      "\n"
      "Output\n"
      "------\n"
      "\n"
      "Outputs the target tree if the pattern tree is a subgraph of it.\n"
      "\n"
      "Options\n"
      "-------\n"
      "\n"
      "    -v: prints tree which do NOT match the pattern.\n"
      "\n"
      "Limits & Assumptions\n"
      "--------------------\n"
      "\n"
      "Assumes that the labels are leaf labels, and that they are unique in\n"
      "all trees (both target and pattern)\n"
      "\n"
      "Example\n"
      "-------\n"
      "\n"
      "# Prints trees in data/vrt_gen.nw where Tamias is closer to Homo than "
      "it is\n"
      "# to Vulpes:\n"
      "$ %s data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\n"
      "\n"
      "# Prints trees in data/vrt_gen.nw where Tamias is NOT closer to Homo "
      "than it is\n"
      "# to Vulpes:\n"
      "$ %s -v data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\n",
      argv[0], argv[0], argv[0]);
}


x86 assembly (clang, -O0):
<help>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rsi
mov    -0x8(%rbp),%rax
mov    (%rax),%rdx
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
lea    0xec8(%rip),%rdi
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<help>:
mov    (%rdi),%rcx
lea    0xee6(%rip),%rdi
mov    %rcx,%rsi
mov    %rcx,%rdx
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [920 x i8] c"Matches a tree to a pattern tree\0A\0ASynopsis\0A--------\0A%s [-v] <target tree filename|-> <pattern tree>\0A\0AInput\0A-----\0A\0AThe first argument is the name of the file containing the target tree (to\0Awhich support values are to be attributed), or '-' (in which case the tree\0Ais read on stdin).\0A\0AThe second argument is a pattern tree\0A\0AOutput\0A------\0A\0AOutputs the target tree if the pattern tree is a subgraph of it.\0A\0AOptions\0A-------\0A\0A -v: prints tree which do NOT match the pattern.\0A\0ALimits & Assumptions\0A--------------------\0A\0AAssumes that the labels are leaf labels, and that they are unique in\0Aall trees (both target and pattern)\0A\0AExample\0A-------\0A\0A# Prints trees in data/vrt_gen.nw where Tamias is closer to Homo than it is\0A# to Vulpes:\0A$ %s data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\0A\0A# Prints trees in data/vrt_gen.nw where Tamias is NOT closer to Homo than it is\0A# to Vulpes:\0A$ %s -v data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\0A\00"
define void @help(i8** %0) {
%2 = alloca i8**
store i8** %0, i8*** %2
%3 = load i8**, i8*** %2
%4 = getelementptr inbounds i8*, i8** %3, i64 0
%5 = load i8*, i8** %4
%6 = load i8**, i8*** %2
%7 = getelementptr inbounds i8*, i8** %6, i64 0
%8 = load i8*, i8** %7
%9 = load i8**, i8*** %2
%10 = getelementptr inbounds i8*, i8** %9, i64 0
%11 = load i8*, i8** %10
%12 = call i32 @printf(i8* getelementptr inbounds ([920 x i8], [920 x i8]* @.str, i64 0, i64 0), i8* %5, i8* %8, i8* %11)
ret void
}

LLVM IR (-O2):
@.str = [920 x i8] c"Matches a tree to a pattern tree\0A\0ASynopsis\0A--------\0A%s [-v] <target tree filename|-> <pattern tree>\0A\0AInput\0A-----\0A\0AThe first argument is the name of the file containing the target tree (to\0Awhich support values are to be attributed), or '-' (in which case the tree\0Ais read on stdin).\0A\0AThe second argument is a pattern tree\0A\0AOutput\0A------\0A\0AOutputs the target tree if the pattern tree is a subgraph of it.\0A\0AOptions\0A-------\0A\0A -v: prints tree which do NOT match the pattern.\0A\0ALimits & Assumptions\0A--------------------\0A\0AAssumes that the labels are leaf labels, and that they are unique in\0Aall trees (both target and pattern)\0A\0AExample\0A-------\0A\0A# Prints trees in data/vrt_gen.nw where Tamias is closer to Homo than it is\0A# to Vulpes:\0A$ %s data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\0A\0A# Prints trees in data/vrt_gen.nw where Tamias is NOT closer to Homo than it is\0A# to Vulpes:\0A$ %s -v data/vrt_gen.nw '((Tamias,Homo),Vulpes);'\0A\00"
define void @help(i8** nocapture %0) {
%2 = load i8*, i8** %0
%3 = tail call i32 @printf(i8* getelementptr inbounds ([920 x i8], [920 x i8]* @.str, i64 0, i64 0), i8* %2, i8* %2, i8* %2)
ret void
}