blob: daf10405a087abe0202ec4e487ad312e8895198e [file] [log] [blame]
Misha Brukman69985172004-07-01 15:25:04 +00001=pod
2
3=head1 NAME
4
5opt - LLVM optimizer
6
7=head1 SYNOPSIS
8
Misha Brukmanc08937a2004-07-02 16:06:19 +00009B<opt> [I<options>] [I<filename>]
Misha Brukman69985172004-07-01 15:25:04 +000010
11=head1 DESCRIPTION
12
Reid Spencer84f82f72006-08-28 00:34:19 +000013The B<opt> command is the modular LLVM optimizer and analyzer. It takes LLVM
Daniel Dunbar6db36f32009-09-15 20:31:28 +000014source files as input, runs the specified optimizations or analyses on it, and then
15outputs the optimized file or the analysis results. The function of
Reid Spencer84f82f72006-08-28 00:34:19 +000016B<opt> depends on whether the B<-analyze> option is given.
Misha Brukman69985172004-07-01 15:25:04 +000017
Daniel Dunbar6db36f32009-09-15 20:31:28 +000018When B<-analyze> is specified, B<opt> performs various analyses of the input
19source. It will usually print the results on standard output, but in a few
20cases, it will print output to standard error or generate a file with the
21analysis output, which is usually done when the output is meant for another
22program.
Misha Brukman69985172004-07-01 15:25:04 +000023
Reid Spencer84f82f72006-08-28 00:34:19 +000024While B<-analyze> is I<not> given, B<opt> attempts to produce an optimized
Daniel Dunbar6db36f32009-09-15 20:31:28 +000025output file. The optimizations available via B<opt> depend upon what
Reid Spencer84f82f72006-08-28 00:34:19 +000026libraries were linked into it as well as any additional libraries that have
27been loaded with the B<-load> option. Use the B<-help> option to determine
28what optimizations you can use.
29
30If I<filename> is omitted from the command line or is I<->, B<opt> reads its
Daniel Dunbar6db36f32009-09-15 20:31:28 +000031input from standard input. Inputs can be in either the LLVM assembly language
32format (.ll) or the LLVM bitcode format (.bc).
Misha Brukman69985172004-07-01 15:25:04 +000033
34If an output filename is not specified with the B<-o> option, B<opt>
35writes its output to the standard output.
36
37=head1 OPTIONS
38
39=over
40
Misha Brukman69985172004-07-01 15:25:04 +000041=item B<-help>
42
Reid Spencera1981ff2007-02-03 00:21:56 +000043Print a summary of command line options.
Misha Brukman69985172004-07-01 15:25:04 +000044
45=item B<-o> I<filename>
46
47Specify the output filename.
48
Daniel Dunbar53a99f92009-09-07 04:03:44 +000049=item B<-S>
50
51Write output in LLVM intermediate language (instead of bitcode).
52
Reid Spencera1981ff2007-02-03 00:21:56 +000053=item B<-{passname}>
54
55B<opt> provides the ability to run any of LLVM's optimization or analysis passes
56in any order. The B<-help> option lists all the passes available. The order in
57which the options occur on the command line are the order in which they are
58executed (within pass constraints).
59
60=item B<-std-compile-opts>
61
62This is short hand for a standard list of I<compile time optimization> passes.
63This is typically used to optimize the output from the llvm-gcc front end. It
64might be useful for other front end compilers as well. To discover the full set
65of options available, use the following command:
66
Reid Spencer463708a2007-02-03 00:32:23 +000067 llvm-as < /dev/null | opt -std-compile-opts -disable-output -debug-pass=Arguments
Reid Spencera1981ff2007-02-03 00:21:56 +000068
Reid Spencera1981ff2007-02-03 00:21:56 +000069=item B<-disable-inlining>
70
71This option is only meaningful when B<-std-compile-opts> is given. It simply
72removes the inlining pass from the standard list.
73
74=item B<-disable-opt>
75
76This option is only meaningful when B<-std-compile-opts> is given. It disables
77most, but not all, of the B<-std-compile-opts>. The ones that remain are
78B<-verify>, B<-lower-setjmp>, and B<-funcresolve>.
79
80=item B<-strip-debug>
81
82This option causes opt to strip debug information from the module before
83applying other optimizations. It is essentially the same as B<-strip> but it
84ensures that stripping of debug information is done first.
85
86=item B<-verify-each>
87
88This option causes opt to add a verify pass after every pass otherwise specified
89on the command line (including B<-verify>). This is useful for cases where it
90is suspected that a pass is creating an invalid module but it is not clear which
91pass is doing it. The combination of B<-std-compile-opts> and B<-verify-each>
92can quickly track down this kind of problem.
93
Misha Brukman69985172004-07-01 15:25:04 +000094=item B<-profile-info-file> I<filename>
95
96Specify the name of the file loaded by the -profile-loader option.
97
98=item B<-stats>
99
100Print statistics.
101
102=item B<-time-passes>
103
104Record the amount of time needed for each pass and print it to standard
105error.
106
107=item B<-debug>
108
109If this is a debug build, this option will enable debug printouts
110from passes which use the I<DEBUG()> macro. See the B<LLVM Programmer's
111Manual>, section I<#DEBUG> for more information.
112
113=item B<-load>=I<plugin>
114
Reid Spencer84f82f72006-08-28 00:34:19 +0000115Load the dynamic object I<plugin>. This object should register new optimization
116or analysis passes. Once loaded, the object will add new command line options to
117enable various optimizations or analyses. To see the new complete list of
118optimizations, use the B<-help> and B<-load> options together. For example:
Misha Brukman69985172004-07-01 15:25:04 +0000119
Reid Spencer463708a2007-02-03 00:32:23 +0000120 opt -load=plugin.so -help
Misha Brukman69985172004-07-01 15:25:04 +0000121
122=item B<-p>
123
124Print module after each transformation.
125
126=back
127
128=head1 EXIT STATUS
129
130If B<opt> succeeds, it will exit with 0. Otherwise, if an error
131occurs, it will exit with a non-zero value.
132
Misha Brukman69985172004-07-01 15:25:04 +0000133=head1 AUTHORS
134
Reid Spencercd143fc2006-03-14 05:42:07 +0000135Maintained by the LLVM Team (L<http://llvm.org>).
Misha Brukman69985172004-07-01 15:25:04 +0000136
137=cut