blob: 3fed6845550a29e4b96a4bdc7a50aa5114fae72e [file] [log] [blame]
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +00001opt - LLVM optimizer
2====================
3
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +00004SYNOPSIS
5--------
6
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +00007:program:`opt` [*options*] [*filename*]
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +00008
9DESCRIPTION
10-----------
11
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000017
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000022program.
23
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000029
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000033
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000036
37OPTIONS
38-------
39
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000040.. option:: -f
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000041
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000045
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000046.. option:: -help
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000047
48 Print a summary of command line options.
49
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000050.. option:: -o <filename>
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000051
52 Specify the output filename.
53
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000054.. option:: -S
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000055
56 Write output in LLVM intermediate language (instead of bitcode).
57
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000058.. option:: -{passname}
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000059
Dmitri Gribenko6c80bcb2012-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 Dunbar8f4a8a62012-05-08 16:50:35 +000064
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000065.. option:: -std-compile-opts
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000066
67 This is short hand for a standard list of *compile time optimization* passes.
Sean Silvae0ddc732014-02-19 00:12:34 +000068 It might be useful for other front end compilers as well. To discover the
69 full set of options available, use the following command:
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000070
Dmitri Gribenkoa99fa5b2012-06-12 15:45:07 +000071 .. code-block:: sh
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000072
73 llvm-as < /dev/null | opt -std-compile-opts -disable-output -debug-pass=Arguments
74
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000075.. option:: -disable-inlining
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000076
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000077 This option is only meaningful when :option:`-std-compile-opts` is given. It
78 simply removes the inlining pass from the standard list.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000079
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000080.. option:: -disable-opt
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000081
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000082 This option is only meaningful when :option:`-std-compile-opts` is given. It
83 disables most, but not all, of the :option:`-std-compile-opts`. The ones that
84 remain are :option:`-verify`, :option:`-lower-setjmp`, and
85 :option:`-funcresolve`.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000086
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000087.. option:: -strip-debug
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000088
89 This option causes opt to strip debug information from the module before
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000090 applying other optimizations. It is essentially the same as :option:`-strip`
91 but it ensures that stripping of debug information is done first.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000092
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000093.. option:: -verify-each
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +000094
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +000095 This option causes opt to add a verify pass after every pass otherwise
96 specified on the command line (including :option:`-verify`). This is useful
97 for cases where it is suspected that a pass is creating an invalid module but
98 it is not clear which pass is doing it. The combination of
99 :option:`-std-compile-opts` and :option:`-verify-each` can quickly track down
100 this kind of problem.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000101
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000102.. option:: -profile-info-file <filename>
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000103
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000104 Specify the name of the file loaded by the ``-profile-loader`` option.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000105
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000106.. option:: -stats
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000107
108 Print statistics.
109
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000110.. option:: -time-passes
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000111
112 Record the amount of time needed for each pass and print it to standard
113 error.
114
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000115.. option:: -debug
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000116
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000117 If this is a debug build, this option will enable debug printouts from passes
118 which use the ``DEBUG()`` macro. See the `LLVM Programmer's Manual
119 <../ProgrammersManual.html>`_, section ``#DEBUG`` for more information.
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000120
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000121.. option:: -load=<plugin>
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000122
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000123 Load the dynamic object ``plugin``. This object should register new
124 optimization or analysis passes. Once loaded, the object will add new command
125 line options to enable various optimizations or analyses. To see the new
126 complete list of optimizations, use the :option:`-help` and :option:`-load`
127 options together. For example:
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000128
Dmitri Gribenkoa99fa5b2012-06-12 15:45:07 +0000129 .. code-block:: sh
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000130
131 opt -load=plugin.so -help
132
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000133.. option:: -p
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000134
135 Print module after each transformation.
136
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000137EXIT STATUS
138-----------
139
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000140If :program:`opt` succeeds, it will exit with 0. Otherwise, if an error
Daniel Dunbar8f4a8a62012-05-08 16:50:35 +0000141occurs, it will exit with a non-zero value.
Dmitri Gribenko6c80bcb2012-11-29 19:02:50 +0000142