blob: 179c297c2209835d82d19ddbfe46a9a8954075fe [file] [log] [blame]
Daniel Dunbar3b709d52012-05-08 16:50:35 +00001opt - LLVM optimizer
2====================
3
Daniel Dunbar3b709d52012-05-08 16:50:35 +00004SYNOPSIS
5--------
6
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +00007:program:`opt` [*options*] [*filename*]
Daniel Dunbar3b709d52012-05-08 16:50:35 +00008
9DESCRIPTION
10-----------
11
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000012The :program:`opt` command is the modular LLVM optimizer and analyzer. It
13takes LLVM source files as input, runs the specified optimizations or analyses
14on it, and then outputs the optimized file or the analysis results. The
15function of :program:`opt` depends on whether the :option:`-analyze` option is
16given.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000017
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000018When :option:`-analyze` is specified, :program:`opt` performs various analyses
19of the input source. It will usually print the results on standard output, but
20in a few cases, it will print output to standard error or generate a file with
21the analysis output, which is usually done when the output is meant for another
Daniel Dunbar3b709d52012-05-08 16:50:35 +000022program.
23
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000024While :option:`-analyze` is *not* given, :program:`opt` attempts to produce an
25optimized output file. The optimizations available via :program:`opt` depend
26upon what libraries were linked into it as well as any additional libraries
27that have been loaded with the :option:`-load` option. Use the :option:`-help`
28option to determine what optimizations you can use.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000029
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000030If ``filename`` is omitted from the command line or is "``-``", :program:`opt`
31reads its input from standard input. Inputs can be in either the LLVM assembly
32language format (``.ll``) or the LLVM bitcode format (``.bc``).
Daniel Dunbar3b709d52012-05-08 16:50:35 +000033
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000034If an output filename is not specified with the :option:`-o` option,
35:program:`opt` writes its output to the standard output.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000036
37OPTIONS
38-------
39
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000040.. option:: -f
Daniel Dunbar3b709d52012-05-08 16:50:35 +000041
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000042 Enable binary output on terminals. Normally, :program:`opt` will refuse to
43 write raw bitcode output if the output stream is a terminal. With this option,
44 :program:`opt` will write raw bitcode regardless of the output device.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000045
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000046.. option:: -help
Daniel Dunbar3b709d52012-05-08 16:50:35 +000047
48 Print a summary of command line options.
49
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000050.. option:: -o <filename>
Daniel Dunbar3b709d52012-05-08 16:50:35 +000051
52 Specify the output filename.
53
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000054.. option:: -S
Daniel Dunbar3b709d52012-05-08 16:50:35 +000055
56 Write output in LLVM intermediate language (instead of bitcode).
57
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000058.. option:: -{passname}
Daniel Dunbar3b709d52012-05-08 16:50:35 +000059
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000060 :program:`opt` provides the ability to run any of LLVM's optimization or
61 analysis passes in any order. The :option:`-help` option lists all the passes
62 available. The order in which the options occur on the command line are the
63 order in which they are executed (within pass constraints).
Daniel Dunbar3b709d52012-05-08 16:50:35 +000064
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000065.. option:: -std-compile-opts
Daniel Dunbar3b709d52012-05-08 16:50:35 +000066
67 This is short hand for a standard list of *compile time optimization* passes.
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000068 This is typically used to optimize the output from the llvm-gcc front end. It
69 might be useful for other front end compilers as well. To discover the full
70 set of options available, use the following command:
Daniel Dunbar3b709d52012-05-08 16:50:35 +000071
Dmitri Gribenko0d887a02012-06-12 15:45:07 +000072 .. code-block:: sh
Daniel Dunbar3b709d52012-05-08 16:50:35 +000073
74 llvm-as < /dev/null | opt -std-compile-opts -disable-output -debug-pass=Arguments
75
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000076.. option:: -disable-inlining
Daniel Dunbar3b709d52012-05-08 16:50:35 +000077
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000078 This option is only meaningful when :option:`-std-compile-opts` is given. It
79 simply removes the inlining pass from the standard list.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000080
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000081.. option:: -disable-opt
Daniel Dunbar3b709d52012-05-08 16:50:35 +000082
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000083 This option is only meaningful when :option:`-std-compile-opts` is given. It
84 disables most, but not all, of the :option:`-std-compile-opts`. The ones that
85 remain are :option:`-verify`, :option:`-lower-setjmp`, and
86 :option:`-funcresolve`.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000087
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000088.. option:: -strip-debug
Daniel Dunbar3b709d52012-05-08 16:50:35 +000089
90 This option causes opt to strip debug information from the module before
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000091 applying other optimizations. It is essentially the same as :option:`-strip`
92 but it ensures that stripping of debug information is done first.
Daniel Dunbar3b709d52012-05-08 16:50:35 +000093
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000094.. option:: -verify-each
Daniel Dunbar3b709d52012-05-08 16:50:35 +000095
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +000096 This option causes opt to add a verify pass after every pass otherwise
97 specified on the command line (including :option:`-verify`). This is useful
98 for cases where it is suspected that a pass is creating an invalid module but
99 it is not clear which pass is doing it. The combination of
100 :option:`-std-compile-opts` and :option:`-verify-each` can quickly track down
101 this kind of problem.
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000102
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000103.. option:: -profile-info-file <filename>
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000104
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000105 Specify the name of the file loaded by the ``-profile-loader`` option.
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000106
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000107.. option:: -stats
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000108
109 Print statistics.
110
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000111.. option:: -time-passes
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000112
113 Record the amount of time needed for each pass and print it to standard
114 error.
115
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000116.. option:: -debug
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000117
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000118 If this is a debug build, this option will enable debug printouts from passes
119 which use the ``DEBUG()`` macro. See the `LLVM Programmer's Manual
120 <../ProgrammersManual.html>`_, section ``#DEBUG`` for more information.
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000121
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000122.. option:: -load=<plugin>
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000123
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000124 Load the dynamic object ``plugin``. This object should register new
125 optimization or analysis passes. Once loaded, the object will add new command
126 line options to enable various optimizations or analyses. To see the new
127 complete list of optimizations, use the :option:`-help` and :option:`-load`
128 options together. For example:
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000129
Dmitri Gribenko0d887a02012-06-12 15:45:07 +0000130 .. code-block:: sh
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000131
132 opt -load=plugin.so -help
133
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000134.. option:: -p
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000135
136 Print module after each transformation.
137
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000138EXIT STATUS
139-----------
140
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000141If :program:`opt` succeeds, it will exit with 0. Otherwise, if an error
Daniel Dunbar3b709d52012-05-08 16:50:35 +0000142occurs, it will exit with a non-zero value.
Dmitri Gribenkof03b5e92012-11-29 19:02:50 +0000143