blob: 5c1ee22995f2ab7c4609c754130d74db1c0c5d93 [file] [log] [blame]
Chris Lattner1213bc72003-10-07 20:33:30 +00001<html>
2<title>LLVM: bugpoint tool</title>
3
4<body bgcolor=white>
5
6<center><h1>LLVM: <tt>bugpoint</tt> tool</h1></center>
7<HR>
8
9<h3>NAME</h3>
10<tt>bugpoint</tt>
11
12<h3>SYNOPSIS</h3>
Brian Gaekeb9b3c332003-10-19 17:03:59 +000013<tt>bugpoint [options] [input LLVM ll/bc files] [LLVM passes] --args &lt;program arguments&gt;...</tt>
Chris Lattner1213bc72003-10-07 20:33:30 +000014
15<img src="../Debugging.gif" width=444 height=314 align=right>
16<h3>DESCRIPTION</h3>
17
Brian Gaeke237b3662003-10-19 17:20:15 +000018The <tt>bugpoint</tt> tool narrows down the source of
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000019problems in LLVM tools and passes. It can be used to debug three types of
20failures: optimizer crashes, miscompilations by optimizers, or invalid native
Brian Gaeke237b3662003-10-19 17:20:15 +000021code generation. It aims to reduce large test cases to small, useful ones.
22For example,
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000023if <tt><a href="gccas.html">gccas</a></tt> crashes while optimizing a file, it
24will identify the optimization (or combination of optimizations) that causes the
25crash, and reduce the file down to a small example which triggers the crash.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +000026
Brian Gaeke237b3662003-10-19 17:20:15 +000027<a name="designphilosophy">
28<h4>Design Philosophy</h4>
29
Chris Lattner129e7a82003-10-19 17:27:12 +000030<tt>bugpoint</tt> is designed to be a useful tool without requiring any
Brian Gaekeb9b3c332003-10-19 17:03:59 +000031hooks into the LLVM infrastructure at all. It works with any and all LLVM
Chris Lattner5cd840c2003-10-18 20:54:37 +000032passes and code generators, and does not need to "know" how they work. Because
33of this, it may appear to do a lot of stupid things or miss obvious
Brian Gaeke237b3662003-10-19 17:20:15 +000034simplifications. <tt>bugpoint</tt> is also designed to trade off programmer
35time for computer time in the compiler-debugging process; consequently, it may
36take a long period of (unattended) time to reduce a test case, but we feel it
37is still worth it. :-) <p>
Chris Lattner5cd840c2003-10-18 20:54:37 +000038
Brian Gaeke6ff33102003-10-19 17:30:36 +000039<a name="automaticdebuggerselection">
40<h4>Automatic Debugger Selection</h4>
Chris Lattner5cd840c2003-10-18 20:54:37 +000041
Brian Gaeke237b3662003-10-19 17:20:15 +000042<tt>bugpoint</tt> reads each <tt>.bc</tt> or <tt>.ll</tt> file
43specified on the command line and links them together into a single module,
44called the test program. If any LLVM passes are
45specified on the command line, it runs these passes on the test program. If
Brian Gaeke6ff33102003-10-19 17:30:36 +000046any of the passes crash, or if they produce malformed output,
47<tt>bugpoint</tt> starts the <a href="#crashdebug">crash debugger</a>.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +000048
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000049Otherwise, if the <a href="#opt_output"><tt>-output</tt></a> option was not
Brian Gaeke237b3662003-10-19 17:20:15 +000050specified, <tt>bugpoint</tt> runs the test program with the C backend (which
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000051is assumed to generate good code) to generate a reference output. Once
Brian Gaeke237b3662003-10-19 17:20:15 +000052<tt>bugpoint</tt> has a reference output for the test program, it tries
53executing it
54with the <a href="#opt_run-">selected</a> code generator. If
55the resulting output differs from the reference output, it assumes the
Brian Gaeke6ff33102003-10-19 17:30:36 +000056difference resulted from a code generator failure, and starts the
57<a href="#codegendebug">code generator debugger</a>.<p>
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000058
Brian Gaeke237b3662003-10-19 17:20:15 +000059Otherwise, <tt>bugpoint</tt> runs the test program after all of the LLVM passes
60have been applied to it. If its output differs from the reference output,
61it assumes the difference resulted from a failure in one of the LLVM passes,
Brian Gaeke6ff33102003-10-19 17:30:36 +000062and enters the
63<a href="#miscompilationdebug">miscompilation debugger</a>. Otherwise,
Brian Gaeke237b3662003-10-19 17:20:15 +000064there is no problem <tt>bugpoint</tt> can debug.<p>
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000065
66<a name="crashdebug">
Brian Gaeke6ff33102003-10-19 17:30:36 +000067<h4>Crash debugger</h4>
Chris Lattner1213bc72003-10-07 20:33:30 +000068
Brian Gaeke237b3662003-10-19 17:20:15 +000069If an optimizer crashes, <tt>bugpoint</tt> will try as hard as it can to
70reduce the list of passes and the size of the test program. First,
71<tt>bugpoint</tt> figures out which combination of passes triggers the bug. This
72is useful when debugging a problem exposed by <tt>gccas</tt>, for example,
Chris Lattner129e7a82003-10-19 17:27:12 +000073because it runs over 25 optimizations.<p>
Misha Brukman3f717222003-10-16 18:14:43 +000074
Brian Gaeke6ff33102003-10-19 17:30:36 +000075Next, <tt>bugpoint</tt> tries removing functions from the test program, to
76reduce its
77size. Usually it is able to reduce a test program
Brian Gaeke237b3662003-10-19 17:20:15 +000078to a single function, when debugging intraprocedural optimizations. Once the
79number of
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000080functions has been reduced, it attempts to delete various edges in the control
81flow graph, to reduce the size of the function as much as possible. Finally,
Brian Gaekeb9b3c332003-10-19 17:03:59 +000082<tt>bugpoint</tt> deletes any individual LLVM instructions whose absence does
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000083not eliminate the failure. At the end, <tt>bugpoint</tt> should tell you what
84passes crash, give you a bytecode file, and give you instructions on how to
85reproduce the failure with <tt><a href="opt.html">opt</a></tt> or
86<tt><a href="analyze.html">analyze</a></tt>.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +000087
Chris Lattnerd1eb6f72003-10-18 20:36:15 +000088<a name="codegendebug">
Brian Gaeke6ff33102003-10-19 17:30:36 +000089<h4>Code generator debugger</h4>
Chris Lattner1213bc72003-10-07 20:33:30 +000090
Chris Lattner5cd840c2003-10-18 20:54:37 +000091The code generator debugger attempts to narrow down the amount of code that is
92being miscompiled by the <a href="#opt_run-">selected</a> code generator. To do
Brian Gaeke6ff33102003-10-19 17:30:36 +000093this, it takes the test program and partitions it into two pieces: one piece
Chris Lattner5cd840c2003-10-18 20:54:37 +000094which it compiles with the C backend (into a shared object), and one piece which
95it runs with either the JIT or the static LLC compiler. It uses several
96techniques to reduce the amount of code pushed through the LLVM code generator,
97to reduce the potential scope of the problem. After it is finished, it emits
Brian Gaeke6ff33102003-10-19 17:30:36 +000098two bytecode files (called "test" [to be compiled with the code generator] and
99"safe" [to be compiled with the C backend] respectively), and instructions for
100reproducing the problem. The code generator debugger assumes that the C
101backend produces good code.<p>
Chris Lattner5cd840c2003-10-18 20:54:37 +0000102
Brian Gaeke6ff33102003-10-19 17:30:36 +0000103If you are using the code generator debugger and get an error message that
Misha Brukman65797b82003-10-20 19:47:25 +0000104says "UNSUPPORTED: external function used as a global initializer!", try using
105the <tt>-run-llc</tt> option instead of the <tt>-run-jit</tt> option. This is
106due to an unimplemented feature in the code generator debugger.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000107
Chris Lattnerd1eb6f72003-10-18 20:36:15 +0000108<a name="miscompilationdebug">
Brian Gaeke6ff33102003-10-19 17:30:36 +0000109<h4>Miscompilation debugger</h4>
Chris Lattner1213bc72003-10-07 20:33:30 +0000110
Brian Gaeke6ff33102003-10-19 17:30:36 +0000111The miscompilation debugger works similarly to the code generator
112debugger. It works by splitting the test program into two pieces, running the
113optimizations specified on one piece, linking the two pieces back together,
114and then executing the result.
Chris Lattner5cd840c2003-10-18 20:54:37 +0000115It attempts to narrow down the list of passes to the one (or few) which are
Brian Gaeke6ff33102003-10-19 17:30:36 +0000116causing the miscompilation, then reduce the portion of the test program which is
117being miscompiled. The miscompilation debugger assumes that the selected
118code generator is working properly.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000119
Chris Lattner634ec562003-10-18 21:34:15 +0000120<a name="bugpoint notes">
121<h4>Advice for using <tt>bugpoint</tt></h4>
122
123<tt>bugpoint</tt> can be a remarkably useful tool, but it sometimes works in
124non-obvious ways. Here are some hints and tips:<p>
125
126<ol>
Brian Gaeke6ff33102003-10-19 17:30:36 +0000127<li>In the code generator and miscompilation debuggers, <tt>bugpoint</tt> only
Chris Lattner634ec562003-10-18 21:34:15 +0000128 works with programs that have deterministic output. Thus, if the program
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000129 outputs the date, time, or any other "random" data, <tt>bugpoint</tt> may
130 misinterpret differences in these data, when output, as the result of a
131 miscompilation. Programs should be temporarily modified to disable
132 outputs that are likely to vary from run to run.
Chris Lattner634ec562003-10-18 21:34:15 +0000133
Brian Gaeke6ff33102003-10-19 17:30:36 +0000134<li>In the code generator and miscompilation debuggers, debugging will go
Chris Lattner634ec562003-10-18 21:34:15 +0000135 faster if you manually modify the program or its inputs to reduce the
136 runtime, but still exhibit the problem.
137
138<li><tt>bugpoint</tt> is extremely useful when working on a new optimization:
139 it helps track down regressions quickly. To avoid having to relink
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000140 <tt>bugpoint</tt> every time you change your optimization however, have
Chris Lattner634ec562003-10-18 21:34:15 +0000141 <tt>bugpoint</tt> dynamically load your optimization with the <a
142 href="#opt_load"><tt>-load</tt></a> option.
143
144<li><tt>bugpoint</tt> can generate a lot of output and run for a long period of
145 time. It is often useful to capture the output of the program to file. For
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000146 example, in the C shell, you can type:<br>
Chris Lattnere99e7342003-10-19 17:37:33 +0000147 <tt>bugpoint ..... |&amp; tee bugpoint.log</tt>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000148 <br>to get a copy of <tt>bugpoint</tt>'s output in the file
Brian Gaeke768a3182003-10-19 17:37:12 +0000149 <tt>bugpoint.log</tt>, as well as on your terminal.
Chris Lattner634ec562003-10-18 21:34:15 +0000150
Brian Gaeke6ff33102003-10-19 17:30:36 +0000151<li><tt>bugpoint</tt> cannot debug problems with the linker. If
152 <tt>bugpoint</tt> crashes before you see its "All input ok" message,
153 you might try <tt>llvm-link -v</tt> on the same set of input files. If
154 that also crashes, you may be experiencing a linker bug.
155
Chris Lattner634ec562003-10-18 21:34:15 +0000156</ol>
157
Chris Lattner1213bc72003-10-07 20:33:30 +0000158<h3>OPTIONS</h3>
159
160<ul>
Chris Lattner5cd840c2003-10-18 20:54:37 +0000161 <li><tt>-additional-so &lt;library.so&gt;</tt><br>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000162 Load <tt>&lt;library.so&gt;</tt> into the test program whenever it is run.
163 This is useful if you are debugging programs which depend on non-LLVM
164 libraries (such as the X or curses libraries) to run.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000165
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000166 <li><tt>-args &lt;program args&gt;</tt><br>
167 Pass all arguments specified after <tt>-args</tt> to the
168 test program whenever it runs. Note that if any of
169 the <tt>&lt;program args&gt;</tt> start with a '-', you should use:
Chris Lattner0b4ffea2003-10-18 20:57:23 +0000170 <p>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000171 <tt>bugpoint &lt;bugpoint args&gt; -args -- &lt;program args&gt;</tt>
Chris Lattner0b4ffea2003-10-18 20:57:23 +0000172 <p>
173 The "<tt>--</tt>" right after the <tt>-args</tt> option tells
174 <tt>bugpoint</tt> to consider any options starting with <tt>-</tt> to be
175 part of the <tt>-args</tt> option, not as options to <tt>bugpoint</tt>
176 itself.<p>
Chris Lattner5cd840c2003-10-18 20:54:37 +0000177
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000178 <li><tt>-disable-{adce,dce,final-cleanup,simplifycfg}</tt><br>
179 Do not run the specified passes to clean up and reduce the size of the
180 test program. By default, <tt>bugpoint</tt> uses these passes internally
181 when attempting to reduce test programs. If you're trying to find
182 a bug in one of these passes, <tt>bugpoint</tt> may crash.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000183
Chris Lattner5cd840c2003-10-18 20:54:37 +0000184 <li> <tt>-help</tt><br>
185 Print a summary of command line options.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000186
Chris Lattner5cd840c2003-10-18 20:54:37 +0000187 <a name="opt_input"><li><tt>-input &lt;filename&gt;</tt><br>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000188 Open <tt>&lt;filename&gt;</tt> and redirect the standard input of the
189 test program, whenever it runs, to come from that file.
Chris Lattner1213bc72003-10-07 20:33:30 +0000190 <p>
191
Chris Lattner634ec562003-10-18 21:34:15 +0000192 <a name="opt_load"><li> <tt>-load &lt;plugin.so&gt;</tt><br>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000193 Load the dynamic object <tt>&lt;plugin.so&gt;</tt> into <tt>bugpoint</tt>
194 itself. This object should register new
Chris Lattner1213bc72003-10-07 20:33:30 +0000195 optimization passes. Once loaded, the object will add new command line
196 options to enable various optimizations. To see the new complete list
197 of optimizations, use the -help and -load options together:
198 <p>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000199 <tt>bugpoint -load &lt;plugin.so&gt; -help</tt>
Chris Lattner1213bc72003-10-07 20:33:30 +0000200 <p>
201
Chris Lattner5cd840c2003-10-18 20:54:37 +0000202 <a name="opt_output"><li><tt>-output &lt;filename&gt;</tt><br>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000203 Whenever the test program produces output on its standard output
204 stream, it should match the contents of <tt>&lt;filename&gt;</tt>
205 (the "reference output"). If you do not use this option,
206 <tt>bugpoint</tt> will attempt to generate a reference output by
207 compiling the program with the C backend and running it.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000208
Brian Gaeke28dbfce2003-10-19 17:35:35 +0000209 <a name="opt_run-"><li><tt>-run-{int,jit,llc,cbe}</tt><br>
Brian Gaekeb9b3c332003-10-19 17:03:59 +0000210 Whenever the test program is compiled, <tt>bugpoint</tt> should generate
211 code for it using the specified code generator. These options allow
212 you to choose the interpreter, the JIT compiler, the static native
213 code compiler, or the C backend, respectively.<p>
Chris Lattner1213bc72003-10-07 20:33:30 +0000214</ul>
215
216<h3>EXIT STATUS</h3>
217
218If <tt>bugpoint</tt> succeeds in finding a problem, it will exit with 0.
219Otherwise, if an error occurs, it will exit with a non-zero value.
220
221<h3>SEE ALSO</h3>
John Criswell589d91f2003-10-16 20:15:17 +0000222<a href="opt.html"><tt>opt</tt></a>,
Chris Lattner1213bc72003-10-07 20:33:30 +0000223<a href="analyze.html"><tt>analyze</tt></a>
224
225<HR>
226Maintained by the <a href="http://llvm.cs.uiuc.edu">LLVM Team</a>.
227</body>
228</html>