blob: 4a16ffd510de857eece6b406555fbd7aa08eaa67 [file] [log] [blame]
Brian Gaekeff0c7662004-07-01 20:29:08 +00001=pod
2
3=head1 NAME
4
5bugpoint - automatic test case reduction tool
6
7=head1 SYNOPSIS
8
Misha Brukmanc08937a2004-07-02 16:06:19 +00009B<bugpoint> [I<options>] [I<input LLVM ll/bc files>] [I<LLVM passes>] B<--args>
Misha Brukmana856f5b2004-07-02 15:42:20 +000010I<program arguments>
Brian Gaekeff0c7662004-07-01 20:29:08 +000011
12=head1 DESCRIPTION
13
Misha Brukman595d32e2004-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 Brukmanee3b0452004-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 Gaekeff0c7662004-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 Lewycky33b1c302008-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 Gaekeff0c7662004-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 Gohman70ef4492008-12-08 04:02:47 +000060=item B<--safe-tool-args> I<tool args>
61
62Pass all arguments specified after --safe-tool-args to the "safe" execution
63tool.
64
Brian Gaekeff0c7662004-07-01 20:29:08 +000065=item B<--disable-{dce,simplifycfg}>
66
67Do not run the specified passes to clean up and reduce the size of the test
68program. By default, B<bugpoint> uses these passes internally when attempting to
69reduce test programs. If you're trying to find a bug in one of these passes,
70B<bugpoint> may crash.
71
Nick Lewycky254aa7c2007-07-18 04:24:20 +000072=item B<--enable-valgrind>
73
74Use valgrind to find faults in the optimization phase. This will allow
75bugpoint to find otherwise asymptomatic problems caused by memory
76mis-management.
77
Patrick Jenkins7d686d52006-08-15 17:31:58 +000078=item B<-find-bugs>
79
80Continually randomize the specified passes and run them on the test program
Patrick Jenkins80d92442006-08-15 17:39:40 +000081until a bug is found or the user kills B<bugpoint>.
Patrick Jenkins7d686d52006-08-15 17:31:58 +000082
Brian Gaekeff0c7662004-07-01 20:29:08 +000083=item B<--help>
84
85Print a summary of command line options.
86
87=item B<--input> F<filename>
88
89Open F<filename> and redirect the standard input of the test program, whenever
90it runs, to come from that file.
91
92=item B<--load> F<plugin>
93
94Load the dynamic object F<plugin> into B<bugpoint> itself. This object should
95register new optimization passes. Once loaded, the object will add new command
96line options to enable various optimizations. To see the new complete list of
97optimizations, use the B<--help> and B<--load> options together; for example:
98
99 bugpoint --load myNewPass.so --help
100
Nick Lewycky254aa7c2007-07-18 04:24:20 +0000101=item B<--mlimit> F<megabytes>
102
103Specifies an upper limit on memory usage of the optimization and codegen. Set
104to zero to disable the limit.
105
Brian Gaekeff0c7662004-07-01 20:29:08 +0000106=item B<--output> F<filename>
107
108Whenever the test program produces output on its standard output stream, it
109should match the contents of F<filename> (the "reference output"). If you
110do not use this option, B<bugpoint> will attempt to generate a reference output
Dan Gohman70ef4492008-12-08 04:02:47 +0000111by compiling the program with the "safe" backend and running it.
Brian Gaekeff0c7662004-07-01 20:29:08 +0000112
113=item B<--profile-info-file> F<filename>
114
115Profile file loaded by B<--profile-loader>.
116
Dan Gohman70ef4492008-12-08 04:02:47 +0000117=item B<--run-{int,jit,llc,cbe,custom}>
Brian Gaekeff0c7662004-07-01 20:29:08 +0000118
119Whenever the test program is compiled, B<bugpoint> should generate code for it
120using the specified code generator. These options allow you to choose the
Dan Gohman70ef4492008-12-08 04:02:47 +0000121interpreter, the JIT compiler, the static native code compiler, the C
122backend, or a custom command (see B<--exec-command>) respectively.
123
124=item B<--safe-{llc,cbe,custom}>
125
126When debugging a code generator, B<bugpoint> should use the specified code
127generator as the "safe" code generator. This is a known-good code generator
128used to generate the "reference output" if it has not been provided, and to
129compile portions of the program that as they are excluded from the testcase.
130These options allow you to choose the
131static native code compiler, the C backend, or a custom command,
132(see B<--exec-command>) respectively. The interpreter and the JIT backends
133cannot currently be used as the "safe" backends.
134
135=item B<--exec-command> I<command>
136
137This option defines the command to use with the B<--run-custom> and
138B<--safe-custom> options to execute the bitcode testcase. This can
139be useful for cross-compilation.
140
141=item B<--safe-path> I<path>
142
143This option defines the path to the command to execute with the
144B<--safe-{int,jit,llc,cbe,custom}>
145option.
Brian Gaekeff0c7662004-07-01 20:29:08 +0000146
147=back
148
149=head1 EXIT STATUS
150
151If B<bugpoint> succeeds in finding a problem, it will exit with 0. Otherwise,
152if an error occurs, it will exit with a non-zero value.
153
154=head1 SEE ALSO
155
Reid Spencer84f82f72006-08-28 00:34:19 +0000156L<opt|opt>
Brian Gaekeff0c7662004-07-01 20:29:08 +0000157
158=head1 AUTHOR
159
Reid Spencercd143fc2006-03-14 05:42:07 +0000160Maintained by the LLVM Team (L<http://llvm.org>).
Brian Gaekeff0c7662004-07-01 20:29:08 +0000161
162=cut