Teach ScalarEvolution how to reason about no-wrap flags on loops
[llvm/avr.git] / docs / UsingLibraries.html
blobb1a3b4de62c1e5bfb65c4675baef0db97f080f4a
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
2 <html>
3 <head>
4 <title>Using The LLVM Libraries</title>
5 <link rel="stylesheet" href="llvm.css" type="text/css">
6 </head>
7 <body>
8 <div class="doc_title">Using The LLVM Libraries</div>
9 <ol>
10 <li><a href="#abstract">Abstract</a></li>
11 <li><a href="#introduction">Introduction</a></li>
12 <li><a href="#descriptions">Library Descriptions</a></li>
13 <li><a href="#dependencies">Library Dependencies</a></li>
14 <li><a href="#rot">Linkage Rules Of Thumb</a>
15 <ol>
16 <li><a href="#always">Always link LLVMCore, LLVMSupport, LLVMSystem</a>
17 <li><a href="#onlyone">Never link both archive and re-linked</a>
18 </ol>
19 </li>
20 </ol>
22 <div class="doc_author">
23 <p>Written by <a href="mailto:rspencer@x10sys.com">Reid Spencer</a></p>
24 </div>
26 <p class="doc_warning">Warning: This document is out of date, please see <a href="CommandGuide/html/llvm-config.html">llvm-config</a> for more information.</p>
28 <!-- ======================================================================= -->
29 <div class="doc_section"><a name="abstract">Abstract</a></div>
30 <div class="doc_text">
31 <p>Amongst other things, LLVM is a toolkit for building compilers, linkers,
32 runtime executives, virtual machines, and other program execution related
33 tools. In addition to the LLVM tool set, the functionality of LLVM is
34 available through a set of libraries. To use LLVM as a toolkit for
35 constructing tools, a developer needs to understand what is contained in the
36 various libraries, what they depend on, and how to use them. Fortunately,
37 there is a tool, <tt>llvm-config</tt> to aid with this. This document
38 describes the contents of the libraries and how to use <tt>llvm-config</tt>
39 to generate command line options.
40 </p>
41 </div>
43 <!-- ======================================================================= -->
44 <div class="doc_section"> <a name="introduction">Introduction</a></div>
45 <div class="doc_text">
46 <p>If you're writing a compiler, virtual machine, or any other utility based
47 on LLVM, you'll need to figure out which of the many libraries files you will
48 need to link with to be successful. An understanding of the contents of these
49 libraries will be useful in coming up with an optimal specification for the
50 libraries to link with. The purpose of this document is to reduce some of
51 the trial and error that the author experienced in using LLVM.</p>
52 <p>LLVM produces two types of libraries: archives (ending in <tt>.a</tt>) and
53 objects (ending in <tt>.o</tt>). However, both are libraries. Libraries ending
54 in <tt>.o</tt> are known as re-linked libraries because they contain all the
55 compilation units of the library linked together as a single <tt>.o</tt> file.
56 Furthermore, several of the libraries have <em>both</em> forms of library. The
57 re-linked libraries are used whenever you want to include all symbols from the
58 library. The archive libraries are used whenever you want to only resolve
59 outstanding symbols at that point in the link without including everything in
60 the library. </p>
61 <p>If you're using the LLVM Makefile system to link your tools,you will use
62 the <tt>LLVMLIBS</tt> make variable.
63 (see the <a href="MakefileGuide.html#LLVMLIBS">Makefile Guide</a> for
64 details). This variable specifies which LLVM libraries to link into your tool
65 and the order in which they will be linked. You specify re-linked libraries by
66 naming the library without a suffix. You specify archive libraries by naming
67 the library with a <tt>.a</tt> suffix but without the <tt>lib</tt> prefix. The
68 order in which the libraries appear in the <tt>LLVMLIBS</tt> variable
69 definition is the order in which they will be linked. Getting this order
70 correct for your tool can sometimes be challenging.
71 </div>
72 <!-- ======================================================================= -->
73 <div class="doc_section"><a name="descriptions"></a>Library Descriptions</div>
74 <div class="doc_text">
75 <p>The table below categorizes each library
76 <table style="text-align:left">
77 <tr><th>Library</th><th>Forms</th><th>Description</th></tr>
78 <tr><th colspan="3">Core Libraries</th></tr>
79 <tr><td>LLVMArchive</td><td><tt>.a</tt></td>
80 <td>LLVM archive reading and writing</td></tr>
81 <tr><td>LLVMAsmParser</td><td><tt>.a</tt></td>
82 <td>LLVM assembly parsing</td></tr>
83 <tr><td>LLVMBCReader</td><td><tt>.a</tt></td>
84 <td>LLVM bitcode reading</td></tr>
85 <tr><td>LLVMBCWriter</td><td><tt>.a</tt></td>
86 <td>LLVM bitcode writing</td></tr>
87 <tr><td>LLVMCore</td><td><tt>.a</tt></td>
88 <td>LLVM core intermediate representation</td></tr>
89 <tr><td>LLVMDebugger</td><td><tt>.a</tt></td>
90 <td>Source level debugging support</td></tr>
91 <tr><td>LLVMLinker</td><td><tt>.a</tt></td>
92 <td>Bitcode and archive linking interface</td></tr>
93 <tr><td>LLVMSupport</td><td><tt>.a</tt></td>
94 <td>General support utilities</td></tr>
95 <tr><td>LLVMSystem</td><td><tt>.a</tt></td>
96 <td>Operating system abstraction layer</td></tr>
97 <tr><td>LLVMbzip2</td><td><tt>.a</tt></td>
98 <td>BZip2 compression library</td></tr>
100 <tr><th colspan="3">Analysis Libraries</th></tr>
101 <tr><td>LLVMAnalysis</td><td><tt>.a</tt></td>
102 <td>Various analysis passes.</td></tr>
103 <tr><td>LLVMDataStructure</td><td><tt>.o</tt></td>
104 <td>Data structure analysis passes.</td></tr>
105 <tr><td>LLVMipa</td><td><tt>.a</tt></td>
106 <td>Inter-procedural analysis passes.</td></tr>
108 <tr><th colspan="3">Transformation Libraries</th></tr>
109 <tr><td>LLVMInstrumentation</td><td><tt>.a</tt></td>
110 <td>Instrumentation passes.</td></tr>
111 <tr><td>LLVMipo</td><td><tt>.a</tt></td>
112 <td>All inter-procedural optimization passes.</td></tr>
113 <tr><td>LLVMScalarOpts</td><td><tt>.a</tt></td>
114 <td>All scalar optimization passes.</td></tr>
115 <tr><td>LLVMTransformUtils</td><td><tt>.a</tt></td>
116 <td>Transformation utilities used by many passes.</td></tr>
118 <tr><th colspan="3">Code Generation Libraries </th></tr>
119 <tr><td>LLVMCodeGen</td><td><tt>.o</tt></td>
120 <td>Native code generation infrastructure</td></tr>
121 <tr><td>LLVMSelectionDAG</td><td><tt>.o</tt></td>
122 <td>Aggressive instruction selector for directed acyclic graphs</td></tr>
124 <tr><th colspan="3">Target Libraries</th></tr>
125 <tr><td>LLVMAlpha</td><td><tt>.o</tt></td>
126 <td>Code generation for Alpha architecture</td></tr>
127 <tr><td>LLVMARM</td><td><tt>.o</tt></td>
128 <td>Code generation for ARM architecture</td></tr>
129 <tr><td>LLVMCBackend</td><td><tt>.o</tt></td>
130 <td>'C' language code generator.</td></tr>
131 <tr><td>LLVMPowerPC</td><td><tt>.o</tt></td>
132 <td>Code generation for PowerPC architecture</td></tr>
133 <tr><td>LLVMSparc</td><td><tt>.o</tt></td>
134 <td>Code generation for Sparc architecture</td></tr>
135 <tr><td>LLVMTarget</td><td><tt>.a</tt></td>
136 <td>Generic code generation utilities.</td></tr>
137 <tr><td>LLVMX86</td><td><tt>.o</tt></td>
138 <td>Code generation for Intel x86 architecture</td></tr>
140 <tr><th colspan="3">Runtime Libraries</th></tr>
141 <tr><td>LLVMInterpreter</td><td><tt>.o</tt></td>
142 <td>Bitcode Interpreter</td></tr>
143 <tr><td>LLVMJIT</td><td><tt>.o</tt></td>
144 <td>Bitcode JIT Compiler</td></tr>
145 <tr><td>LLVMExecutionEngine</td><td><tt>.o</tt></td>
146 <td>Virtual machine engine</td></tr>
147 </table>
148 </div>
150 <!-- ======================================================================= -->
151 <div class="doc_section"><a name="dependencies"></a>Using llvm-config</div>
152 <div class="doc_text">
153 <p>The <tt>llvm-config</tt> tool is a perl script that produces on its output
154 various kinds of information. For example, the source or object directories
155 used to build LLVM can be accessed by passing options to <tt>llvm-config</tt>.
156 For complete details on this tool, please see the
157 <a href="CommandGuide/html/llvm-config.html">manual page</a>.</p>
158 <p>To understand the relationships between libraries, the <tt>llvm-config</tt>
159 can be very useful. If all you know is that you want certain libraries to
160 be available, you can generate the complete set of libraries to link with
161 using one of four options, as below:</p>
162 <ol>
163 <li><tt>--ldflags</tt>. This generates the command line options necessary to
164 be passed to the <tt>ld</tt> tool in order to link with LLVM. Most notably,
165 the <tt>-L</tt> option is provided to specify a library search directory
166 that contains the LLVM libraries.</li>
167 <li><tt>--libs</tt>. This generates command line options suitable for
168 use with a gcc-style linker. That is, libraries are given with a -l option
169 and object files are given with a full path.</li>
170 <li><tt>--libnames</tt>. This generates a list of just the library file
171 names. If you know the directory in which these files reside (see --ldflags)
172 then you can find the libraries there.</li>
173 <li><tt>--libfiles</tt>. This generates the full path names of the
174 LLVM library files.</li>
175 </ol>
176 <p>If you wish to delve further into how <tt>llvm-config</tt> generates the
177 correct order (based on library dependencies), please see the tool named
178 <tt>GenLibDeps.pl</tt> in the <tt>utils</tt> source directory of LLVM.</p>
180 <!-- =======NOTE: =========================================================-->
181 <!-- === The following graphs and <dl> list are generated automatically ===-->
182 <!-- === by the util named GenLibDeps.pl in the llvm/utils directory. ===-->
183 <!-- === This should be updated whenever new libraries are added, ===-->
184 <!-- === removed, or changed ===-->
185 <!-- =======NOTE: =========================================================-->
186 <h2>Dependency Relationships Of Libraries</h2>
187 <p>This graph shows the dependency of archive libraries on other archive
188 libraries or objects. Where a library has both archive and object forms, only
189 the archive form is shown.</p>
190 <img src="img/libdeps.gif" alt="Library Dependencies"/>
191 <h2>Dependency Relationships Of Object Files</h2>
192 <p>This graph shows the dependency of object files on archive libraries or
193 other objects. Where a library has both object and archive forms, only the
194 dependency to the archive form is shown.</p>
195 <img src="img/objdeps.gif" alt="Object File Dependencies"/>
196 <p>The following list shows the dependency relationships between libraries in
197 textual form. The information is the same as shown on the graphs but arranged
198 alphabetically.</p>
199 <dl>
200 <dt><b>libLLVMAnalysis.a</b></dt><dd><ul>
201 <li>libLLVMCore.a</li>
202 <li>libLLVMSupport.a</li>
203 <li>libLLVMSystem.a</li>
204 <li>libLLVMTarget.a</li>
205 </ul></dd>
206 <dt><b>libLLVMArchive.a</b></dt><dd><ul>
207 <li>libLLVMBCReader.a</li>
208 <li>libLLVMCore.a</li>
209 <li>libLLVMSupport.a</li>
210 <li>libLLVMSystem.a</li>
211 </ul></dd>
212 <dt><b>libLLVMAsmParser.a</b></dt><dd><ul>
213 <li>libLLVMCore.a</li>
214 <li>libLLVMSystem.a</li>
215 </ul></dd>
216 <dt><b>libLLVMBCReader.a</b></dt><dd><ul>
217 <li>libLLVMCore.a</li>
218 <li>libLLVMSupport.a</li>
219 <li>libLLVMSystem.a</li>
220 </ul></dd>
221 <dt><b>libLLVMBCWriter.a</b></dt><dd><ul>
222 <li>libLLVMCore.a</li>
223 <li>libLLVMSupport.a</li>
224 <li>libLLVMSystem.a</li>
225 </ul></dd>
226 <dt><b>libLLVMCodeGen.a</b></dt><dd><ul>
227 <li>libLLVMAnalysis.a</li>
228 <li>libLLVMCore.a</li>
229 <li>libLLVMScalarOpts.a</li>
230 <li>libLLVMSupport.a</li>
231 <li>libLLVMSystem.a</li>
232 <li>libLLVMTarget.a</li>
233 <li>libLLVMTransformUtils.a</li>
234 </ul></dd>
235 <dt><b>libLLVMCore.a</b></dt><dd><ul>
236 <li>libLLVMSupport.a</li>
237 <li>libLLVMSystem.a</li>
238 </ul></dd>
239 <dt><b>libLLVMDebugger.a</b></dt><dd><ul>
240 <li>libLLVMBCReader.a</li>
241 <li>libLLVMCore.a</li>
242 <li>libLLVMSupport.a</li>
243 <li>libLLVMSystem.a</li>
244 </ul></dd>
245 <dt><b>libLLVMInstrumentation.a</b></dt><dd><ul>
246 <li>libLLVMCore.a</li>
247 <li>libLLVMScalarOpts.a</li>
248 <li>libLLVMSupport.a</li>
249 <li>libLLVMTransformUtils.a</li>
250 </ul></dd>
251 <dt><b>libLLVMLinker.a</b></dt><dd><ul>
252 <li>libLLVMArchive.a</li>
253 <li>libLLVMBCReader.a</li>
254 <li>libLLVMCore.a</li>
255 <li>libLLVMSupport.a</li>
256 <li>libLLVMSystem.a</li>
257 </ul></dd>
258 <dt><b>libLLVMScalarOpts.a</b></dt><dd><ul>
259 <li>libLLVMAnalysis.a</li>
260 <li>libLLVMCore.a</li>
261 <li>libLLVMSupport.a</li>
262 <li>libLLVMSystem.a</li>
263 <li>libLLVMTarget.a</li>
264 <li>libLLVMTransformUtils.a</li>
265 </ul></dd>
266 <dt><b>libLLVMSelectionDAG.a</b></dt><dd><ul>
267 <li>libLLVMAnalysis.a</li>
268 <li>libLLVMCodeGen.a</li>
269 <li>libLLVMCore.a</li>
270 <li>libLLVMSupport.a</li>
271 <li>libLLVMSystem.a</li>
272 <li>libLLVMTarget.a</li>
273 <li>libLLVMTransformUtils.a</li>
274 </ul></dd>
275 <dt><b>libLLVMSupport.a</b></dt><dd><ul>
276 <li>libLLVMSystem.a</li>
277 <li>libLLVMbzip2.a</li>
278 </ul></dd>
279 <dt><b>libLLVMSystem.a</b></dt><dd><ul>
280 </ul></dd>
281 <dt><b>libLLVMTarget.a</b></dt><dd><ul>
282 <li>libLLVMCore.a</li>
283 <li>libLLVMSupport.a</li>
284 <li>libLLVMSystem.a</li>
285 </ul></dd>
286 <dt><b>libLLVMTransformUtils.a</b></dt><dd><ul>
287 <li>libLLVMAnalysis.a</li>
288 <li>libLLVMCore.a</li>
289 <li>libLLVMSupport.a</li>
290 <li>libLLVMSystem.a</li>
291 <li>libLLVMTarget.a</li>
292 <li>libLLVMipa.a</li>
293 </ul></dd>
294 <dt><b>libLLVMbzip2.a</b></dt><dd><ul>
295 </ul></dd>
296 <dt><b>libLLVMipa.a</b></dt><dd><ul>
297 <li>libLLVMAnalysis.a</li>
298 <li>libLLVMCore.a</li>
299 <li>libLLVMSupport.a</li>
300 <li>libLLVMSystem.a</li>
301 </ul></dd>
302 <dt><b>libLLVMipo.a</b></dt><dd><ul>
303 <li>libLLVMAnalysis.a</li>
304 <li>libLLVMCore.a</li>
305 <li>libLLVMSupport.a</li>
306 <li>libLLVMSystem.a</li>
307 <li>libLLVMTarget.a</li>
308 <li>libLLVMTransformUtils.a</li>
309 <li>libLLVMipa.a</li>
310 </ul></dd>
311 <dt><b>libLLVMlto.a</b></dt><dd><ul>
312 <li>libLLVMAnalysis.a</li>
313 <li>libLLVMBCReader.a</li>
314 <li>libLLVMBCWriter.a</li>
315 <li>libLLVMCore.a</li>
316 <li>libLLVMLinker.a</li>
317 <li>libLLVMScalarOpts.a</li>
318 <li>libLLVMSupport.a</li>
319 <li>libLLVMSystem.a</li>
320 <li>libLLVMTarget.a</li>
321 <li>libLLVMipa.a</li>
322 <li>libLLVMipo.a</li>
323 </ul></dd>
324 <dt><b>LLVMARM.o</b></dt><dd><ul>
325 <li>libLLVMCodeGen.a</li>
326 <li>libLLVMCore.a</li>
327 <li>libLLVMSelectionDAG.a</li>
328 <li>libLLVMSupport.a</li>
329 <li>libLLVMSystem.a</li>
330 <li>libLLVMTarget.a</li>
331 </ul></dd>
332 <dt><b>LLVMAlpha.o</b></dt><dd><ul>
333 <li>libLLVMCodeGen.a</li>
334 <li>libLLVMCore.a</li>
335 <li>libLLVMSelectionDAG.a</li>
336 <li>libLLVMSupport.a</li>
337 <li>libLLVMSystem.a</li>
338 <li>libLLVMTarget.a</li>
339 </ul></dd>
340 <dt><b>LLVMCBackend.o</b></dt><dd><ul>
341 <li>libLLVMAnalysis.a</li>
342 <li>libLLVMCodeGen.a</li>
343 <li>libLLVMCore.a</li>
344 <li>libLLVMScalarOpts.a</li>
345 <li>libLLVMSupport.a</li>
346 <li>libLLVMSystem.a</li>
347 <li>libLLVMTarget.a</li>
348 <li>libLLVMTransformUtils.a</li>
349 <li>libLLVMipa.a</li>
350 </ul></dd>
351 <dt><b>LLVMExecutionEngine.o</b></dt><dd><ul>
352 <li>libLLVMCore.a</li>
353 <li>libLLVMSupport.a</li>
354 <li>libLLVMSystem.a</li>
355 <li>libLLVMTarget.a</li>
356 </ul></dd>
357 <dt><b>LLVMInterpreter.o</b></dt><dd><ul>
358 <li>LLVMExecutionEngine.o</li>
359 <li>libLLVMCodeGen.a</li>
360 <li>libLLVMCore.a</li>
361 <li>libLLVMSupport.a</li>
362 <li>libLLVMSystem.a</li>
363 <li>libLLVMTarget.a</li>
364 </ul></dd>
365 <dt><b>LLVMJIT.o</b></dt><dd><ul>
366 <li>LLVMExecutionEngine.o</li>
367 <li>libLLVMCore.a</li>
368 <li>libLLVMSupport.a</li>
369 <li>libLLVMSystem.a</li>
370 <li>libLLVMTarget.a</li>
371 </ul></dd>
372 <dt><b>LLVMPowerPC.o</b></dt><dd><ul>
373 <li>libLLVMCodeGen.a</li>
374 <li>libLLVMCore.a</li>
375 <li>libLLVMSelectionDAG.a</li>
376 <li>libLLVMSupport.a</li>
377 <li>libLLVMSystem.a</li>
378 <li>libLLVMTarget.a</li>
379 </ul></dd>
380 <dt><b>LLVMSparc.o</b></dt><dd><ul>
381 <li>libLLVMCodeGen.a</li>
382 <li>libLLVMCore.a</li>
383 <li>libLLVMSelectionDAG.a</li>
384 <li>libLLVMSupport.a</li>
385 <li>libLLVMSystem.a</li>
386 <li>libLLVMTarget.a</li>
387 </ul></dd>
388 <dt><b>LLVMX86.o</b></dt><dd><ul>
389 <li>libLLVMCodeGen.a</li>
390 <li>libLLVMCore.a</li>
391 <li>libLLVMSelectionDAG.a</li>
392 <li>libLLVMSupport.a</li>
393 <li>libLLVMSystem.a</li>
394 <li>libLLVMTarget.a</li>
395 </ul></dd>
396 </dl>
397 </div>
399 <!-- ======================================================================= -->
400 <div class="doc_section"><a name="rot">Linkage Rules Of Thumb</a></div>
401 <div class="doc_text">
402 <p>This section contains various "rules of thumb" about what files you
403 should link into your programs.</p>
404 </div>
405 <!-- ======================================================================= -->
406 <div class="doc_subsection"><a name="always">Always Link LLVMCore, LLVMSupport,
407 and LLVMSystem</a></div>
408 <div class="doc_text">
409 <p>No matter what you do with LLVM, the last three entries in the value of
410 your LLVMLIBS make variable should always be:
411 <tt>LLVMCore LLVMSupport.a LLVMSystem.a</tt>. There are no <tt>LLVM</tt>
412 programs that don't depend on these three.</p>
413 </div>
414 <!-- ======================================================================= -->
415 <div class="doc_subsection"><a name="onlyone">Never link both archive and
416 re-linked library</a></div>
417 <div class="doc_text">
418 <p>There is never any point to linking both the re-linked (<tt>.o</tt>) and
419 the archive (<tt>.a</tt>) versions of a library. Since the re-linked version
420 includes the entire library, the archive version will not resolve any symbols.
421 You could even end up with link error if you place the archive version before
422 the re-linked version on the linker's command line.</p>
423 </div>
424 <!-- ======================================================================= -->
425 <hr>
426 <div class="doc_footer">
427 <address>
428 <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
429 src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"/></a>
430 <a href="http://validator.w3.org/check/referer"><img
431 src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
432 <a href="mailto:rspencer@x10sys.com">Reid Spencer</a>
433 </address>
434 <a href="http://llvm.org">The LLVM Compiler Infrastructure</a>
435 <br>Last modified: $Date$ </div>
436 </body>
437 </html>
438 <!-- vim: sw=2 ts=2 ai