blob: 204ea4d3d39a8c653c46a554c06810a7534c3b10 [file] [log] [blame]
Brian Gaeked4ba0a52004-07-01 20:29:08 +00001=pod
2
3=head1 NAME
4
5bugpoint - automatic test case reduction tool
6
7=head1 SYNOPSIS
8
Misha Brukman6c4644b2004-07-02 16:06:19 +00009B<bugpoint> [I<options>] [I<input LLVM ll/bc files>] [I<LLVM passes>] B<--args>
Misha Brukmanbbd97592004-07-02 15:42:20 +000010I<program arguments>
Brian Gaeked4ba0a52004-07-01 20:29:08 +000011
12=head1 DESCRIPTION
13
Misha Brukman0e217222004-07-02 15:36:29 +000014B<bugpoint> narrows down the source of problems in LLVM tools and passes. It
15can be used to debug three types of failures: optimizer crashes, miscompilations
16by optimizers, or bad native code generation (including problems in the static
17and JIT compilers). It aims to reduce large test cases to small, useful ones.
Misha Brukman32f139a2004-12-09 20:28:42 +000018For more information on the design and inner workings of B<bugpoint>, as well as
19advice for using bugpoint, see F<llvm/docs/Bugpoint.html> in the LLVM
20distribution.
Brian Gaeked4ba0a52004-07-01 20:29:08 +000021
22=head1 OPTIONS
23
24=over
25
26=item B<--additional-so> F<library>
27
28Load the dynamic shared object F<library> into the test program whenever it is
29run. This is useful if you are debugging programs which depend on non-LLVM
30libraries (such as the X or curses libraries) to run.
31
Nick Lewyckyf5ba8272008-10-26 23:59:36 +000032=item B<--append-exit-code>=I<{true,false}>
33
34Append the test programs exit code to the output file so that a change in exit
35code is considered a test failure. Defaults to false.
36
Brian Gaeked4ba0a52004-07-01 20:29:08 +000037=item B<--args> I<program args>
38
39Pass all arguments specified after -args to the test program whenever it runs.
40Note that if any of the I<program args> start with a '-', you should use:
41
42 bugpoint [bugpoint args] --args -- [program args]
43
44The "--" right after the B<--args> option tells B<bugpoint> to consider any
45options starting with C<-> to be part of the B<--args> option, not as options to
46B<bugpoint> itself.
47
48=item B<--tool-args> I<tool args>
49
50Pass all arguments specified after --tool-args to the LLVM tool under test
51(B<llc>, B<lli>, etc.) whenever it runs. You should use this option in the
52following way:
53
54 bugpoint [bugpoint args] --tool-args -- [tool args]
55
56The "--" right after the B<--tool-args> option tells B<bugpoint> to consider any
57options starting with C<-> to be part of the B<--tool-args> option, not as
58options to B<bugpoint> itself. (See B<--args>, above.)
59
Dan Gohman414cf502008-12-08 04:02:47 +000060=item B<--safe-tool-args> I<tool args>
61
Bill Wendlinga347bc672009-03-02 23:15:59 +000062Pass all arguments specified after B<--safe-tool-args> to the "safe" execution
Dan Gohman414cf502008-12-08 04:02:47 +000063tool.
64
Bill Wendlinga347bc672009-03-02 23:15:59 +000065=item B<--gcc-tool-args> I<gcc tool args>
66
67Pass all arguments specified after B<--gcc-tool-args> to the invocation of
68B<gcc>.
69
Brian Gaeked4ba0a52004-07-01 20:29:08 +000070=item B<--disable-{dce,simplifycfg}>
71
72Do not run the specified passes to clean up and reduce the size of the test
73program. By default, B<bugpoint> uses these passes internally when attempting to
74reduce test programs. If you're trying to find a bug in one of these passes,
75B<bugpoint> may crash.
76
Nick Lewyckyf433a7f2007-07-18 04:24:20 +000077=item B<--enable-valgrind>
78
79Use valgrind to find faults in the optimization phase. This will allow
80bugpoint to find otherwise asymptomatic problems caused by memory
81mis-management.
82
Patrick Jenkinsc884cfb2006-08-15 17:31:58 +000083=item B<-find-bugs>
84
85Continually randomize the specified passes and run them on the test program
Patrick Jenkins499b96d2006-08-15 17:39:40 +000086until a bug is found or the user kills B<bugpoint>.
Patrick Jenkinsc884cfb2006-08-15 17:31:58 +000087
Brian Gaeked4ba0a52004-07-01 20:29:08 +000088=item B<--help>
89
90Print a summary of command line options.
91
92=item B<--input> F<filename>
93
94Open F<filename> and redirect the standard input of the test program, whenever
95it runs, to come from that file.
96
97=item B<--load> F<plugin>
98
99Load the dynamic object F<plugin> into B<bugpoint> itself. This object should
100register new optimization passes. Once loaded, the object will add new command
101line options to enable various optimizations. To see the new complete list of
102optimizations, use the B<--help> and B<--load> options together; for example:
103
104 bugpoint --load myNewPass.so --help
105
Nick Lewyckyf433a7f2007-07-18 04:24:20 +0000106=item B<--mlimit> F<megabytes>
107
108Specifies an upper limit on memory usage of the optimization and codegen. Set
109to zero to disable the limit.
110
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000111=item B<--output> F<filename>
112
113Whenever the test program produces output on its standard output stream, it
114should match the contents of F<filename> (the "reference output"). If you
115do not use this option, B<bugpoint> will attempt to generate a reference output
Dan Gohman414cf502008-12-08 04:02:47 +0000116by compiling the program with the "safe" backend and running it.
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000117
118=item B<--profile-info-file> F<filename>
119
120Profile file loaded by B<--profile-loader>.
121
Dan Gohman414cf502008-12-08 04:02:47 +0000122=item B<--run-{int,jit,llc,cbe,custom}>
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000123
124Whenever the test program is compiled, B<bugpoint> should generate code for it
125using the specified code generator. These options allow you to choose the
Dan Gohman414cf502008-12-08 04:02:47 +0000126interpreter, the JIT compiler, the static native code compiler, the C
127backend, or a custom command (see B<--exec-command>) respectively.
128
129=item B<--safe-{llc,cbe,custom}>
130
131When debugging a code generator, B<bugpoint> should use the specified code
132generator as the "safe" code generator. This is a known-good code generator
133used to generate the "reference output" if it has not been provided, and to
134compile portions of the program that as they are excluded from the testcase.
135These options allow you to choose the
136static native code compiler, the C backend, or a custom command,
137(see B<--exec-command>) respectively. The interpreter and the JIT backends
138cannot currently be used as the "safe" backends.
139
140=item B<--exec-command> I<command>
141
142This option defines the command to use with the B<--run-custom> and
143B<--safe-custom> options to execute the bitcode testcase. This can
144be useful for cross-compilation.
145
146=item B<--safe-path> I<path>
147
148This option defines the path to the command to execute with the
149B<--safe-{int,jit,llc,cbe,custom}>
150option.
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000151
152=back
153
154=head1 EXIT STATUS
155
156If B<bugpoint> succeeds in finding a problem, it will exit with 0. Otherwise,
157if an error occurs, it will exit with a non-zero value.
158
159=head1 SEE ALSO
160
Reid Spencer80f843d2006-08-28 00:34:19 +0000161L<opt|opt>
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000162
163=head1 AUTHOR
164
Reid Spencer85d182f2006-03-14 05:42:07 +0000165Maintained by the LLVM Team (L<http://llvm.org>).
Brian Gaeked4ba0a52004-07-01 20:29:08 +0000166
167=cut