blob: daf10405a087abe0202ec4e487ad312e8895198e [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001=pod
2
3=head1 NAME
4
5opt - LLVM optimizer
6
7=head1 SYNOPSIS
8
9B<opt> [I<options>] [I<filename>]
10
11=head1 DESCRIPTION
12
13The B<opt> command is the modular LLVM optimizer and analyzer. It takes LLVM
Daniel Dunbar0a2e0df2009-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000016B<opt> depends on whether the B<-analyze> option is given.
17
Daniel Dunbar0a2e0df2009-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.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023
24While B<-analyze> is I<not> given, B<opt> attempts to produce an optimized
Daniel Dunbar0a2e0df2009-09-15 20:31:28 +000025output file. The optimizations available via B<opt> depend upon what
Dan Gohmanf17a25c2007-07-18 16:29:46 +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 Dunbar0a2e0df2009-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).
Dan Gohmanf17a25c2007-07-18 16:29:46 +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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041=item B<-help>
42
43Print a summary of command line options.
44
45=item B<-o> I<filename>
46
47Specify the output filename.
48
Daniel Dunbar1c40a1e2009-09-07 04:03:44 +000049=item B<-S>
50
51Write output in LLVM intermediate language (instead of bitcode).
52
Dan Gohmanf17a25c2007-07-18 16:29:46 +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
67 llvm-as < /dev/null | opt -std-compile-opts -disable-output -debug-pass=Arguments
68
69=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
94=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
115Load 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:
119
120 opt -load=plugin.so -help
121
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
133=head1 AUTHORS
134
135Maintained by the LLVM Team (L<http://llvm.org>).
136
137=cut