2012-05-08 16:50:35 +00:00
|
|
|
opt - LLVM optimizer
|
|
|
|
====================
|
|
|
|
|
|
|
|
SYNOPSIS
|
|
|
|
--------
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
:program:`opt` [*options*] [*filename*]
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
DESCRIPTION
|
|
|
|
-----------
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
The :program:`opt` command is the modular LLVM optimizer and analyzer. It
|
|
|
|
takes LLVM source files as input, runs the specified optimizations or analyses
|
|
|
|
on it, and then outputs the optimized file or the analysis results. The
|
|
|
|
function of :program:`opt` depends on whether the :option:`-analyze` option is
|
|
|
|
given.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
When :option:`-analyze` is specified, :program:`opt` performs various analyses
|
|
|
|
of the input source. It will usually print the results on standard output, but
|
|
|
|
in a few cases, it will print output to standard error or generate a file with
|
|
|
|
the analysis output, which is usually done when the output is meant for another
|
2012-05-08 16:50:35 +00:00
|
|
|
program.
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
While :option:`-analyze` is *not* given, :program:`opt` attempts to produce an
|
|
|
|
optimized output file. The optimizations available via :program:`opt` depend
|
|
|
|
upon what libraries were linked into it as well as any additional libraries
|
|
|
|
that have been loaded with the :option:`-load` option. Use the :option:`-help`
|
|
|
|
option to determine what optimizations you can use.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
If ``filename`` is omitted from the command line or is "``-``", :program:`opt`
|
|
|
|
reads its input from standard input. Inputs can be in either the LLVM assembly
|
|
|
|
language format (``.ll``) or the LLVM bitcode format (``.bc``).
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
If an output filename is not specified with the :option:`-o` option,
|
|
|
|
:program:`opt` writes its output to the standard output.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
OPTIONS
|
|
|
|
-------
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -f
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
Enable binary output on terminals. Normally, :program:`opt` will refuse to
|
|
|
|
write raw bitcode output if the output stream is a terminal. With this option,
|
|
|
|
:program:`opt` will write raw bitcode regardless of the output device.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -help
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Print a summary of command line options.
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -o <filename>
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Specify the output filename.
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -S
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Write output in LLVM intermediate language (instead of bitcode).
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -{passname}
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
:program:`opt` provides the ability to run any of LLVM's optimization or
|
|
|
|
analysis passes in any order. The :option:`-help` option lists all the passes
|
|
|
|
available. The order in which the options occur on the command line are the
|
|
|
|
order in which they are executed (within pass constraints).
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -std-compile-opts
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
This is short hand for a standard list of *compile time optimization* passes.
|
2012-11-29 19:02:50 +00:00
|
|
|
This is typically used to optimize the output from the llvm-gcc front end. It
|
|
|
|
might be useful for other front end compilers as well. To discover the full
|
|
|
|
set of options available, use the following command:
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-06-12 15:45:07 +00:00
|
|
|
.. code-block:: sh
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
llvm-as < /dev/null | opt -std-compile-opts -disable-output -debug-pass=Arguments
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -disable-inlining
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
This option is only meaningful when :option:`-std-compile-opts` is given. It
|
|
|
|
simply removes the inlining pass from the standard list.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -disable-opt
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
This option is only meaningful when :option:`-std-compile-opts` is given. It
|
|
|
|
disables most, but not all, of the :option:`-std-compile-opts`. The ones that
|
|
|
|
remain are :option:`-verify`, :option:`-lower-setjmp`, and
|
|
|
|
:option:`-funcresolve`.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -strip-debug
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
This option causes opt to strip debug information from the module before
|
2012-11-29 19:02:50 +00:00
|
|
|
applying other optimizations. It is essentially the same as :option:`-strip`
|
|
|
|
but it ensures that stripping of debug information is done first.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -verify-each
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
This option causes opt to add a verify pass after every pass otherwise
|
|
|
|
specified on the command line (including :option:`-verify`). This is useful
|
|
|
|
for cases where it is suspected that a pass is creating an invalid module but
|
|
|
|
it is not clear which pass is doing it. The combination of
|
|
|
|
:option:`-std-compile-opts` and :option:`-verify-each` can quickly track down
|
|
|
|
this kind of problem.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -profile-info-file <filename>
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
Specify the name of the file loaded by the ``-profile-loader`` option.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -stats
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Print statistics.
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -time-passes
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Record the amount of time needed for each pass and print it to standard
|
|
|
|
error.
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -debug
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
If this is a debug build, this option will enable debug printouts from passes
|
|
|
|
which use the ``DEBUG()`` macro. See the `LLVM Programmer's Manual
|
|
|
|
<../ProgrammersManual.html>`_, section ``#DEBUG`` for more information.
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -load=<plugin>
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
Load the dynamic object ``plugin``. This object should register new
|
|
|
|
optimization or analysis passes. Once loaded, the object will add new command
|
|
|
|
line options to enable various optimizations or analyses. To see the new
|
|
|
|
complete list of optimizations, use the :option:`-help` and :option:`-load`
|
|
|
|
options together. For example:
|
2012-05-08 16:50:35 +00:00
|
|
|
|
2012-06-12 15:45:07 +00:00
|
|
|
.. code-block:: sh
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
opt -load=plugin.so -help
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
.. option:: -p
|
2012-05-08 16:50:35 +00:00
|
|
|
|
|
|
|
Print module after each transformation.
|
|
|
|
|
|
|
|
EXIT STATUS
|
|
|
|
-----------
|
|
|
|
|
2012-11-29 19:02:50 +00:00
|
|
|
If :program:`opt` succeeds, it will exit with 0. Otherwise, if an error
|
2012-05-08 16:50:35 +00:00
|
|
|
occurs, it will exit with a non-zero value.
|
2012-11-29 19:02:50 +00:00
|
|
|
|