bugpoint --version (return code: 0)
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
bugpoint --help (return code: 0)
OVERVIEW: LLVM automatic testcase reducer. See
http://llvm.org/cmds/bugpoint.html for more information.
USAGE: bugpoint [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