LLVM (http://llvm.org/): LLVM version 3.8.0 Optimized build. Built Jul 9 2016 (11:22:59). Default target: x86_64-pc-linux-gnu Host CPU: ivybridge

OVERVIEW: LLVM automatic testcase reducer. See http://llvm.org/cmds/bugpoint.html for more information. USAGE: bugpoint-3.8 [options] --args <program arguments>... --tool-args <tool arguments>... --safe-tool-args <safe-tool arguments>... --gcc-tool-args <gcc-tool arguments>... --opt-args <opt arguments>... <input llvm ll/bc files> OPTIONS: General options: -O1 - Optimization level 1. Identical to 'opt -O1' -O2 - Optimization level 2. Identical to 'opt -O2' -O3 - Optimization level 3. Identical to 'opt -O3' -Xlinker=<string> - Additional arguments to pass to the linker -aarch64-neon-syntax - Choose style of NEON code to emit from AArch64 backend: =generic - Emit generic NEON assembly =apple - Emit Apple-style NEON assembly -abs-tolerance=<number> - Absolute error tolerated -additional-so=<string> - Additional shared objects to load into executing programs -append-exit-code - Append the exit code to the output so it gets diff'd too -args=<string> - <program arguments>... -bounds-checking-single-trap - Use one trap block per function -color - use colored syntax highlighting (default=autodetect) -compile-command=<string> - Command to compile the bitcode (use with -compile-custom) (default: llc) -cppfname=<function name> - Specify the name of the generated function -cppfor=<string> - Specify the name of the thing to generate -cppgen - Choose what kind of output to generate =program - Generate a complete program =module - Generate a module definition =contents - Generate contents of a module =function - Generate a function definition =functions - Generate all function definitions =inline - Generate an inline function =variable - Generate a variable definition =type - Generate a type definition -disable-block-extraction - Don't extract blocks when searching for miscompilations -disable-dce - Do not use the -dce pass to reduce testcases -disable-global-remove - Do not remove global variables -disable-loop-extraction - Don't extract loops when searching for miscompilations -disable-namedmd-remove - Do not remove global named metadata -disable-pass-list-reduction - Skip pass list reduction steps -disable-simplifycfg - Do not use the -simplifycfg pass to reduce testcases -disable-spill-fusing - Disable fusing of spill code into instructions -enable-implicit-null-checks - Fold null checks into faulting memory operations -enable-load-pre - -enable-objc-arc-opts - enable/disable all ARC Optimizations -enable-scoped-noalias - -enable-tbaa - -enable-valgrind - Run optimizations through valgrind -exec-command=<string> - Command to execute the bitcode (use with -run-custom) (default: simulate) -exhaustive-register-search - Exhaustive Search for registers bypassing the depth and interference cutoffs of last chance recoloring -filter-print-funcs=<function names> - Only print IR for functions whose name match this for all print-[before|after][-all] options -find-bugs - Run many different optimization sequences on program to find bugs -gcc=<string> - The gcc binary to use. -gcc-tool-args=<string> - <gcc-tool arguments>... -gpsize=<uint> - Global Pointer Addressing Size. The default size is 8. -imp-null-check-page-size=<uint> - The page size of the target in bytes -input=<string> - Filename to pipe in as stdin (default: /dev/null) -internalize-public-api-file=<filename> - A file containing list of symbol names to preserve -internalize-public-api-list=<list> - A list of symbol names to preserve -join-liveintervals - Coalesce copies (default=true) -keep-main - Force function reduction to keep main -limit-float-precision=<uint> - Generate low-precision inline sequences for some float libcalls -load=<pluginfilename> - Load the specified plugin -merror-missing-parenthesis - Error for missing parenthesis around predicate registers -merror-noncontigious-register - Error for register names that aren't contigious -mfuture-regs - Enable future registers -mips16-constant-islands - Enable mips16 constant islands. -mips16-hard-float - Enable mips16 hard float. -mlimit=<MBytes> - Maximum amount of memory to use. 0 disables check. Defaults to 400MB (800MB under valgrind). -mno-compound - Disable looking for compound instructions for Hexagon -mno-ldc1-sdc1 - Expand double precision loads and stores to their single precision counterparts -mno-pairing - Disable looking for duplex instructions for Hexagon -mtriple=<string> - Override target triple for module -mwarn-missing-parenthesis - Warn for missing parenthesis around predicate registers -mwarn-noncontigious-register - Warn for register names that arent contigious -mwarn-sign-mismatch - Warn for mismatching a signed and unsigned value -no-discriminators - Disable generation of discriminator information. -nvptx-sched4reg - NVPTX Specific: schedule for register pressue -opt-args=<string> - <opt arguments>... -opt-command=<string> - Path to opt. (default: search path for 'opt'.) -output=<string> - Specify a reference program output (for miscompilation detection) -output-prefix=<string> - Prefix to use for outputs (default: 'bugpoint') -print-after-all - Print IR after each pass -print-before-all - Print IR before each pass -print-machineinstrs=<pass-name> - Print machine instrs -rdf-dump - -rdf-limit=<uint> - -regalloc - Register allocator to use =default - pick register allocator based on -O option =basic - basic register allocator =fast - fast register allocator =greedy - greedy register allocator =pbqp - PBQP register allocator -rel-tolerance=<number> - Relative error tolerated -remote-client=<string> - Remote execution client (rsh/ssh) -remote-extra-options=<string> - Remote execution (rsh/ssh) extra options -remote-host=<string> - Remote execution (rsh/ssh) host -remote-port=<string> - Remote execution (rsh/ssh) port -remote-user=<string> - Remote execution (rsh/ssh) user id -replace-funcs-with-null - When stubbing functions, replace all uses will null -rewrite-map-file=<filename> - Symbol Rewrite Map -rng-seed=<seed> - Seed for the random number generator Specify the "test" i.e. suspect back-end: -auto - Use best guess -run-int - Execute with the interpreter -run-jit - Execute with JIT -run-llc - Compile with LLC -run-llc-ia - Compile with LLC with integrated assembler -llc-safe - Use LLC for all -compile-custom - Use -compile-command to define a command to compile the bitcode. Useful to avoid linking. -run-custom - Use -exec-command to define a command to execute the bitcode. Useful for cross-compilation. Specify "safe" i.e. known-good backend: -safe-auto - Use best guess -safe-run-llc - Compile with LLC -safe-run-custom - Use -exec-command to define a command to execute the bitcode. Useful for cross-compilation. -safe-path=<string> - Specify the path to the "safe" backend program -safe-tool-args=<string> - <safe-tool arguments>... -sample-profile-check-record-coverage=<N> - Emit a warning if less than N% of records in the input profile are matched to the IR. -sample-profile-check-sample-coverage=<N> - Emit a warning if less than N% of samples in the input profile are matched to the IR. -sample-profile-global-cold-threshold=<N> - Top-level functions that account for less than N% of all samples collected in the profile, will be marked as cold for the inliner to consider. -sample-profile-global-hot-threshold=<N> - Top-level functions that account for more than N% of all samples collected in the profile, will be marked as hot for the inliner to consider. -sample-profile-inline-hot-threshold=<N> - Inlined functions that account for more than N% of all samples collected in the parent function, will be inlined again. -sample-profile-max-propagate-iterations=<uint> - Maximum number of iterations to go through when propagating sample block/edge weights through the CFG. -save-temps - Save temporary files Passes available: -aa - Function Alias Analysis Results -aa-eval - Exhaustive Alias Analysis Precision Evaluator -adce - Aggressive Dead Code Elimination -add-discriminators - Add DWARF path discriminators -alignment-from-assumptions - Alignment from assumptions -always-inline - Inliner for always_inline functions -argpromotion - Promote 'by reference' arguments to scalars -asan - AddressSanitizer: detects use-after-free and out-of-bounds bugs. -asan-module - AddressSanitizer: detects use-after-free and out-of-bounds bugs.ModulePass -assumption-cache-tracker - Assumption Cache Tracker -barrier - A No-Op Barrier Pass -basicaa - Basic Alias Analysis (stateless AA impl) -basiccg - CallGraph Construction -bb-vectorize - Basic-Block Vectorization -bdce - Bit-Tracking Dead Code Elimination -block-freq - Block Frequency Analysis -bounds-checking - Run-time bounds checking -branch-prob - Branch Probability Analysis -break-crit-edges - Break critical edges in CFG -cfl-aa - CFL-Based Alias Analysis -consthoist - Constant Hoisting -constmerge - Merge Duplicate Global Constants -constprop - Simple constant propagation -correlated-propagation - Value Propagation -cost-model - Cost Model Analysis -cross-dso-cfi - Cross-DSO CFI -da - Dependence Analysis -dce - Dead Code Elimination -deadargelim - Dead Argument Elimination -deadarghaX0r - Dead Argument Hacking (BUGPOINT USE ONLY; DO NOT USE) -delinearize - Delinearization -demanded-bits - Demanded bits analysis -dfsan - DataFlowSanitizer: dynamic data flow analysis. -die - Dead Instruction Elimination -divergence - Divergence Analysis -domfrontier - Dominance Frontier Construction -domtree - Dominator Tree Construction -dot-callgraph - Print call graph to 'dot' file -dot-cfg - Print CFG of function to 'dot' file -dot-cfg-only - Print CFG of function to 'dot' file (with no function bodies) -dot-dom - Print dominance tree of function to 'dot' file -dot-dom-only - Print dominance tree of function to 'dot' file (with no function bodies) -dot-postdom - Print postdominance tree of function to 'dot' file -dot-postdom-only - Print postdominance tree of function to 'dot' file (with no function bodies) -dot-regions - Print regions of function to 'dot' file -dot-regions-only - Print regions of function to 'dot' file (with no function bodies) -dse - Dead Store Elimination -early-cse - Early CSE -elim-avail-extern - Eliminate Available Externally Globals -external-aa - External Alias Analysis -extract-blocks - Extract Basic Blocks From Module (for bugpoint use) -flattencfg - Flatten the CFG -float2int - Float to int -forceattrs - Force set function attributes -function-import - Summary Based Function Import -functionattrs - Deduce function attributes -globaldce - Dead Global Elimination -globalopt - Global Variable Optimizer -globals-aa - Globals Alias Analysis -gvn - Global Value Numbering -indvars - Induction Variable Simplification -inferattrs - Infer set function attributes -inline - Function Integration/Inlining -insert-gcov-profiling - Insert instrumentation for GCOV profiling -instcombine - Combine redundant instructions -instcount - Counts the various types of Instructions -instnamer - Assign names to anonymous instructions -instrprof - Frontend instrumentation-based coverage lowering. -instsimplify - Remove redundant instructions -internalize - Internalize Global Symbols -intervals - Interval Partition Construction -ipconstprop - Interprocedural constant propagation -ipsccp - Interprocedural Sparse Conditional Constant Propagation -irce - Inductive range check elimination -iv-users - Induction Variable Users -jump-threading - Jump Threading -lazy-value-info - Lazy Value Information Analysis -lcssa - Loop-Closed SSA Form Pass -licm - Loop Invariant Code Motion -lint - Statically lint-checks LLVM IR -load-combine - Combine Adjacent Loads -loop-accesses - Loop Access Analysis -loop-deletion - Delete dead loops -loop-distribute - Loop Distribition -loop-extract - Extract loops into new functions -loop-extract-single - Extract at most one loop into a new function -loop-idiom - Recognize loop idioms -loop-instsimplify - Simplify instructions in loops -loop-interchange - Interchanges loops for cache reuse -loop-load-elim - Loop Load Elimination -loop-reduce - Loop Strength Reduction -loop-reroll - Reroll loops -loop-rotate - Rotate Loops -loop-simplify - Canonicalize natural loops -loop-unroll - Unroll loops -loop-unswitch - Unswitch loops -loop-vectorize - Loop Vectorization -loops - Natural Loop Information -lower-expect - Lower 'expect' Intrinsics -loweratomic - Lower atomic intrinsics to non-atomic form -lowerbitsets - Lower bitset metadata -lowerinvoke - Lower invoke and unwind, for unwindless code generators -lowerswitch - Lower SwitchInst's to branches -mem2reg - Promote Memory to Register -memcpyopt - MemCpy Optimization -memdep - Memory Dependence Analysis -mergefunc - Merge Functions -mergereturn - Unify function exit nodes -metarenamer - Assign new names to everything -mldst-motion - MergedLoadStoreMotion -module-debuginfo - Decodes module-level debug info -msan - MemorySanitizer: detects uninitialized reads. -nary-reassociate - Nary reassociation -objc-arc - ObjC ARC optimization -objc-arc-aa - ObjC-ARC-Based Alias Analysis -objc-arc-apelim - ObjC ARC autorelease pool elimination -objc-arc-contract - ObjC ARC contraction -objc-arc-expand - ObjC ARC expansion -pa-eval - Evaluate ProvenanceAnalysis on all pairs -partial-inliner - Partial Inliner -partially-inline-libcalls - Partially inline calls to library functions -pgo-instr-gen - PGO instrumentation. -pgo-instr-use - Read PGO instrumentation profile. -place-backedge-safepoints-impl - Place Backedge Safepoints -place-safepoints - Place Safepoints -postdomtree - Post-Dominator Tree Construction -print-alias-sets - Alias Set Printer -print-bb - Print BB to stderr -print-function - Print function to stderr -print-memdeps - Print MemDeps of function -print-memderefs - Memory Dereferenciblity of pointers in function -print-module - Print module to stderr -prune-eh - Remove unused exception handling info -reassociate - Reassociate expressions -reg2mem - Demote all values to stack slots -regions - Detect single entry single exit regions -rewrite-statepoints-for-gc - Make relocations explicit at statepoints -rpo-functionattrs - Deduce function attributes in RPO -safe-stack - Safe Stack instrumentation pass -sample-profile - Sample Profile loader -sancov - SanitizerCoverage: TODO.ModulePass -scalar-evolution - Scalar Evolution Analysis -scalarizer - Scalarize vector operations -scalarrepl - Scalar Replacement of Aggregates (DT) -scalarrepl-ssa - Scalar Replacement of Aggregates (SSAUp) -sccp - Sparse Conditional Constant Propagation -scev-aa - ScalarEvolution-based Alias Analysis -scoped-noalias - Scoped NoAlias Alias Analysis -separate-const-offset-from-gep - Split GEPs to a variadic base and a constant offset for better CSE -simplifycfg - Simplify the CFG -sink - Code sinking -slp-vectorizer - SLP Vectorizer -slsr - Straight line strength reduction -speculative-execution - Speculatively execute instructions -sroa - Scalar Replacement Of Aggregates -strip - Strip all symbols from a module -strip-dead-debug-info - Strip debug info for unused symbols -strip-dead-prototypes - Strip Unused Function Prototypes -strip-debug-declare - Strip all llvm.dbg.declare intrinsics -strip-nondebug - Strip all symbols, except dbg symbols, from a module -structurizecfg - Structurize the CFG -tailcallelim - Tail Call Elimination -targetlibinfo - Target Library Information -tbaa - Type-Based Alias Analysis -tsan - ThreadSanitizer: detects data races. -tti - Target Transform Information -verify - Module Verifier -view-callgraph - View call graph -view-cfg - View CFG of function -view-cfg-only - View CFG of function (with no function bodies) -view-dom - View dominance tree of function -view-dom-only - View dominance tree of function (with no function bodies) -view-postdom - View postdominance tree of function -view-postdom-only - View postdominance tree of function (with no function bodies) -view-regions - View regions of function -view-regions-only - View regions of function (with no function bodies) -silence-passes - Suppress output of running passes (both stdout and stderr) -stackmap-version=<int> - Specify the stackmap encoding version (default = 1) -stats - Enable statistics output from program (available with Asserts) -std-link-opts - Include the standard link time optimizations -summary-file=<string> - The summary file to use for function importing. -time-passes - Time each pass, printing elapsed time for each on exit -timeout=<seconds> - Number of seconds program is allowed to run before it is killed (default is 300s), 0 disables timeout -tool-args=<string> - <tool arguments>... -verify-debug-info - -verify-dom-info - Verify dominator info (time consuming) -verify-loop-info - Verify loop info (time consuming) -verify-regalloc - Verify during register allocation -verify-region-info - Verify region info (time consuming) -verify-scev - Verify ScalarEvolution's backedge taken counts (slow) -x86-asm-syntax - Choose style of code to emit from X86 backend: =att - Emit AT&T-style assembly =intel - Emit Intel-style assembly Generic Options: -help - Display available options (-help-hidden for more) -help-list - Display list of available options (-help-list-hidden for more) -version - Display the version of this program