44e983ec8946001d9974c2fa6f9dee9f4e0fe64a
[oota-llvm.git] / docs / ReleaseNotes.html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
2                       "http://www.w3.org/TR/html4/strict.dtd">
3 <html>
4 <head>
5   <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
6   <link rel="stylesheet" href="llvm.css" type="text/css">
7   <title>LLVM 2.8 Release Notes</title>
8 </head>
9 <body>
10
11 <div class="doc_title">LLVM 2.8 Release Notes</div>
12
13 <img align=right src="http://llvm.org/img/DragonSmall.png"
14     width="136" height="136" alt="LLVM Dragon Logo">
15
16 <ol>
17   <li><a href="#intro">Introduction</a></li>
18   <li><a href="#subproj">Sub-project Status Update</a></li>
19   <li><a href="#externalproj">External Projects Using LLVM 2.8</a></li>
20   <li><a href="#whatsnew">What's New in LLVM 2.8?</a></li>
21   <li><a href="GettingStarted.html">Installation Instructions</a></li>
22   <li><a href="#portability">Portability and Supported Platforms</a></li>
23   <li><a href="#knownproblems">Known Problems</a></li>
24   <li><a href="#additionalinfo">Additional Information</a></li>
25 </ol>
26
27 <div class="doc_author">
28   <p>Written by the <a href="http://llvm.org">LLVM Team</a></p>
29 </div>
30
31 <h1 style="color:red">These are in-progress notes for the upcoming LLVM 2.8
32 release.<br>
33 You may prefer the
34 <a href="http://llvm.org/releases/2.7/docs/ReleaseNotes.html">LLVM 2.7
35 Release Notes</a>.</h1>
36
37 <!-- *********************************************************************** -->
38 <div class="doc_section">
39   <a name="intro">Introduction</a>
40 </div>
41 <!-- *********************************************************************** -->
42
43 <div class="doc_text">
44
45 <p>This document contains the release notes for the LLVM Compiler
46 Infrastructure, release 2.8.  Here we describe the status of LLVM, including
47 major improvements from the previous release and significant known problems.
48 All LLVM releases may be downloaded from the <a
49 href="http://llvm.org/releases/">LLVM releases web site</a>.</p>
50
51 <p>For more information about LLVM, including information about the latest
52 release, please check out the <a href="http://llvm.org/">main LLVM
53 web site</a>.  If you have questions or comments, the <a
54 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM Developer's
55 Mailing List</a> is a good place to send them.</p>
56
57 <p>Note that if you are reading this file from a Subversion checkout or the
58 main LLVM web page, this document applies to the <i>next</i> release, not the
59 current one.  To see the release notes for a specific release, please see the
60 <a href="http://llvm.org/releases/">releases page</a>.</p>
61
62 </div>
63  
64
65 <!--
66 Almost dead code.
67   include/llvm/Analysis/LiveValues.h => Dan
68   lib/Transforms/IPO/MergeFunctions.cpp => consider for 2.8.
69   llvm/Analysis/PointerTracking.h => Edwin wants this, consider for 2.8.
70   GEPSplitterPass
71 -->
72  
73    
74 <!-- Features that need text if they're finished for 2.8:
75   combiner-aa?
76   strong phi elim
77   llvm.dbg.value: variable debug info for optimized code
78   loop dependence analysis
79   TBAA
80  -->
81
82  <!-- for announcement email:
83  Logo web page.
84  Many new papers added to /pubs/
85    -->
86
87 <!-- *********************************************************************** -->
88 <div class="doc_section">
89   <a name="subproj">Sub-project Status Update</a>
90 </div>
91 <!-- *********************************************************************** -->
92
93 <div class="doc_text">
94 <p>
95 The LLVM 2.8 distribution currently consists of code from the core LLVM
96 repository (which roughly includes the LLVM optimizers, code generators
97 and supporting tools), the Clang repository and the llvm-gcc repository.  In
98 addition to this code, the LLVM Project includes other sub-projects that are in
99 development.  Here we include updates on these subprojects.
100 </p>
101
102 </div>
103
104
105 <!--=========================================================================-->
106 <div class="doc_subsection">
107 <a name="clang">Clang: C/C++/Objective-C Frontend Toolkit</a>
108 </div>
109
110 <div class="doc_text">
111
112 <p><a href="http://clang.llvm.org/">Clang</a> is an LLVM front end for the C,
113 C++, and Objective-C languages. Clang aims to provide a better user experience
114 through expressive diagnostics, a high level of conformance to language
115 standards, fast compilation, and low memory use. Like LLVM, Clang provides a
116 modular, library-based architecture that makes it suitable for creating or
117 integrating with other development tools. Clang is considered a
118 production-quality compiler for C and Objective-C on x86 (32- and 64-bit).</p>
119
120 <p>In the LLVM 2.8 time-frame, the Clang team has made many improvements:</p>
121
122 <ul>
123
124 </ul>
125 </div>
126
127 <!--=========================================================================-->
128 <div class="doc_subsection">
129 <a name="clangsa">Clang Static Analyzer</a>
130 </div>
131
132 <div class="doc_text">
133
134 <p>The <a href="http://clang-analyzer.llvm.org/">Clang Static Analyzer</a>
135    project is an effort to use static source code analysis techniques to
136    automatically find bugs in C and Objective-C programs (and hopefully <a
137    href="http://clang-analyzer.llvm.org/dev_cxx.html">C++ in the
138    future</a>!).  The tool is very good at finding bugs that occur on specific
139    paths through code, such as on error conditions.</p>
140
141 <p>In the LLVM 2.8 time-frame, 
142 </p>
143
144 </div>
145
146 <!--=========================================================================-->
147 <div class="doc_subsection">
148 <a name="vmkit">VMKit: JVM/CLI Virtual Machine Implementation</a>
149 </div>
150
151 <div class="doc_text">
152 <p>
153 The <a href="http://vmkit.llvm.org/">VMKit project</a> is an implementation of
154 a JVM and a CLI Virtual Machine (Microsoft .NET is an
155 implementation of the CLI) using LLVM for static and just-in-time
156 compilation.</p>
157
158 <p>With the release of LLVM 2.8, ...</p>
159
160 </div>
161
162
163 <!--=========================================================================-->
164 <div class="doc_subsection">
165 <a name="compiler-rt">compiler-rt: Compiler Runtime Library</a>
166 </div>
167
168 <div class="doc_text">
169 <p>
170 The new LLVM <a href="http://compiler-rt.llvm.org/">compiler-rt project</a>
171 is a simple library that provides an implementation of the low-level
172 target-specific hooks required by code generation and other runtime components.
173 For example, when compiling for a 32-bit target, converting a double to a 64-bit
174 unsigned integer is compiled into a runtime call to the "__fixunsdfdi"
175 function. The compiler-rt library provides highly optimized implementations of
176 this and other low-level routines (some are 3x faster than the equivalent
177 libgcc routines).</p>
178
179 <p>
180 All of the code in the compiler-rt project is available under the standard LLVM
181 License, a "BSD-style" license.  New in LLVM 2.8: 
182
183 Soft float support
184 </p>
185
186 </div>
187
188 <!--=========================================================================-->
189 <div class="doc_subsection">
190 <a name="dragonegg">DragonEgg: llvm-gcc ported to gcc-4.5</a>
191 </div>
192
193 <div class="doc_text">
194 <p>
195 <a href="http://dragonegg.llvm.org/">DragonEgg</a> is a port of llvm-gcc to
196 gcc-4.5.  Unlike llvm-gcc, which makes many intrusive changes to the underlying
197 gcc-4.2 code, dragonegg in theory does not require any gcc-4.5 modifications
198 whatsoever (currently one small patch is needed).  This is thanks to the new
199 <a href="http://gcc.gnu.org/wiki/plugins">gcc plugin architecture</a>, which
200 makes it possible to modify the behaviour of gcc at runtime by loading a plugin,
201 which is nothing more than a dynamic library which conforms to the gcc plugin
202 interface.  DragonEgg is a gcc plugin that causes the LLVM optimizers to be run
203 instead of the gcc optimizers, and the LLVM code generators instead of the gcc
204 code generators, just like llvm-gcc.  To use it, you add
205 "-fplugin=path/dragonegg.so" to the gcc-4.5 command line, and gcc-4.5 magically
206 becomes llvm-gcc-4.5!
207 </p>
208
209 <p>
210 DragonEgg is still a work in progress.  Currently C works very well, while C++,
211 Ada and Fortran work fairly well.  All other languages either don't work at all,
212 or only work poorly.  For the moment only the x86-32 and x86-64 targets are
213 supported, and only on linux and darwin (darwin needs an additional gcc patch).
214 </p>
215
216 <p>
217 2.8 status here.
218 </p>
219
220 </div>
221
222
223 <!--=========================================================================-->
224 <div class="doc_subsection">
225 <a name="mc">llvm-mc: Machine Code Toolkit</a>
226 </div>
227
228 <div class="doc_text">
229 <p>
230 The LLVM Machine Code (aka MC) sub-project of LLVM was created to solve a number
231 of problems in the realm of assembly, disassembly, object file format handling,
232 and a number of other related areas that CPU instruction-set level tools work
233 in. It is a sub-project of LLVM which provides it with a number of advantages
234 over other compilers that do not have tightly integrated assembly-level tools.
235 For a gentle introduction, please see the <a
236 href="http://blog.llvm.org/2010/04/intro-to-llvm-mc-project.html">Intro to the
237 LLVM MC Project Blog Post</a>.
238 </p>
239
240 <p>2.8 status here</p>
241 </div>  
242
243
244 <!-- *********************************************************************** -->
245 <div class="doc_section">
246   <a name="externalproj">External Open Source Projects Using LLVM 2.8</a>
247 </div>
248 <!-- *********************************************************************** -->
249
250 <div class="doc_text">
251
252 <p>An exciting aspect of LLVM is that it is used as an enabling technology for
253    a lot of other language and tools projects.  This section lists some of the
254    projects that have already been updated to work with LLVM 2.8.</p>
255 </div>
256
257
258 <!-- *********************************************************************** -->
259 <div class="doc_section">
260   <a name="whatsnew">What's New in LLVM 2.8?</a>
261 </div>
262 <!-- *********************************************************************** -->
263
264 <div class="doc_text">
265
266 <p>This release includes a huge number of bug fixes, performance tweaks and
267 minor improvements.  Some of the major improvements and new features are listed
268 in this section.
269 </p>
270
271 </div>
272
273 <!--=========================================================================-->
274 <div class="doc_subsection">
275 <a name="orgchanges">LLVM Community Changes</a>
276 </div>
277
278 <div class="doc_text">
279
280 <p>In addition to changes to the code, between LLVM 2.7 and 2.8, a number of
281 organization changes have happened:
282 </p>
283
284 <ul>
285 </ul>
286 </div>
287
288 <!--=========================================================================-->
289 <div class="doc_subsection">
290 <a name="majorfeatures">Major New Features</a>
291 </div>
292
293 <div class="doc_text">
294
295 <p>LLVM 2.8 includes several major new capabilities:</p>
296
297 <ul>
298 <li>atomic lowering pass.</li>
299 <li>RegionInfo pass: opt -regions analyze" or "opt -view-regions". 
300 <!-- Tobias Grosser --></li>
301 <li>ARMGlobalMerge: <!-- Anton --> </li>
302 </ul>
303
304 </div>
305
306 <!--=========================================================================-->
307 <div class="doc_subsection">
308 <a name="coreimprovements">LLVM IR and Core Improvements</a>
309 </div>
310
311 <div class="doc_text">
312 <p>LLVM IR has several new features for better support of new targets and that
313 expose new optimization opportunities:</p>
314
315 <ul>
316
317 <li>LLVM 2.8 changes the internal order of operands in <a
318   href="http://llvm.org/doxygen/classllvm_1_1InvokeInst.html"><tt>InvokeInst</tt></a>
319   and <a href="http://llvm.org/doxygen/classllvm_1_1CallInst.html"><tt>CallInst</tt></a>.
320   To be portable across releases, resort to <tt>CallSite</tt> and the
321   high-level accessors, such as <tt>getCalledValue</tt> and <tt>setUnwindDest</tt>.
322 </li>
323 <li>
324   You can no longer pass use_iterators directly to cast<> (and similar), because
325   these routines tend to perform costly dereference operations more than once. You
326   have to dereference the iterators yourself and pass them in.
327 </li>
328 <li>
329   llvm.memcpy.*, llvm.memset.*, llvm.memmove.* (and possibly other?) intrinsics
330   take an extra parameter now (i1 isVolatile), totaling 5 parameters.
331   If you were creating these intrinsic calls and prototypes yourself (as opposed
332   to using Intrinsic::getDeclaration), you can use UpgradeIntrinsicFunction/UpgradeIntrinsicCall
333   to be portable accross releases.
334   Note that you cannot use Intrinsic::getDeclaration() in a backwards compatible
335   way (needs 2/3 types now, in 2.7 it needed just 1).
336 </li>
337 <li>
338   SetCurrentDebugLocation takes a DebugLoc now instead of a MDNode.
339   Change your code to use
340   SetCurrentDebugLocation(DebugLoc::getFromDILocation(...)).
341 </li>
342 <li>
343   VISIBILITY_HIDDEN is gone.
344 </li>
345 <li>
346   The <tt>RegisterPass</tt> and <tt>RegisterAnalysisGroup</tt> templates are
347   considered deprecated, but continue to function in LLVM 2.8.  Clients are  
348   strongly advised to use the upcoming <tt>INITIALIZE_PASS()</tt> and
349   <tt>INITIALIZE_AG_PASS()</tt> macros instead.
350 <li>
351   SMDiagnostic takes different parameters now. //FIXME: how to upgrade?
352 </li>
353 <li>
354   The constructor for the Triple class no longer tries to understand odd triple
355   specifications.  Frontends should ensure that they only pass valid triples to
356   LLVM.  The Triple::normalize utility method has been added to help front-ends
357   deal with funky triples.
358 <li>
359   Some APIs got renamed:
360   <ul>
361       <li>llvm_report_error -&gt; report_fatal_error</li>
362       <li>llvm_install_error_handler -&gt; install_fatal_error_handler</li>
363       <li>llvm::DwarfExceptionHandling -&gt; llvm::JITExceptionHandling</li>
364   </ul>
365 </li>
366 </ul>
367
368 </div>
369
370 <!--=========================================================================-->
371 <div class="doc_subsection">
372 <a name="optimizer">Optimizer Improvements</a>
373 </div>
374
375 <div class="doc_text">
376
377 <p>In addition to a large array of minor performance tweaks and bug fixes, this
378 release includes a few major enhancements and additions to the optimizers:</p>
379
380 <ul>
381
382 <li></li>
383
384 </ul>
385
386 </div>
387
388
389 <!--=========================================================================-->
390 <div class="doc_subsection">
391 <a name="executionengine">Interpreter and JIT Improvements</a>
392 </div>
393
394 <div class="doc_text">
395
396 <ul>
397 <li></li>
398
399 </ul>
400
401 </div>
402
403 <!--=========================================================================-->
404 <div class="doc_subsection">
405 <a name="codegen">Target Independent Code Generator Improvements</a>
406 </div>
407
408 <div class="doc_text">
409
410 <p>We have put a significant amount of work into the code generator
411 infrastructure, which allows us to implement more aggressive algorithms and make
412 it run faster:</p>
413
414 <ul>
415 <li>MachO writer works.</li>
416 </ul>
417 </div>
418
419 <!--=========================================================================-->
420 <div class="doc_subsection">
421 <a name="x86">X86-32 and X86-64 Target Improvements</a>
422 </div>
423
424 <div class="doc_text">
425 <p>New features of the X86 target include:
426 </p>
427
428 <ul>
429 <li>The X86 backend now supports holding X87 floating point stack values
430     in registers across basic blocks, dramatically improving performance of code
431     that uses long double, and when targetting CPUs that don't support SSE.</li>
432
433 </ul>
434
435 </div>
436
437 <!--=========================================================================-->
438 <div class="doc_subsection">
439 <a name="ARM">ARM Target Improvements</a>
440 </div>
441
442 <div class="doc_text">
443 <p>New features of the ARM target include:
444 </p>
445
446 <ul>
447
448 <li></li>
449
450 </ul>
451
452
453 </div>
454
455 <!--=========================================================================-->
456 <div class="doc_subsection">
457 <a name="newapis">New Useful APIs</a>
458 </div>
459
460 <div class="doc_text">
461
462 <p>This release includes a number of new APIs that are used internally, which
463    may also be useful for external clients.
464 </p>
465
466 <ul>
467 <li></li>
468 </ul>
469
470
471 </div>
472
473 <!--=========================================================================-->
474 <div class="doc_subsection">
475 <a name="otherimprovements">Other Improvements and New Features</a>
476 </div>
477
478 <div class="doc_text">
479 <p>Other miscellaneous features include:</p>
480
481 <ul>
482 <li></li>
483 </ul>
484
485 </div>
486
487
488 <!--=========================================================================-->
489 <div class="doc_subsection">
490 <a name="changes">Major Changes and Removed Features</a>
491 </div>
492
493 <div class="doc_text">
494
495 <p>If you're already an LLVM user or developer with out-of-tree changes based
496 on LLVM 2.7, this section lists some "gotchas" that you may run into upgrading
497 from the previous release.</p>
498
499 <ul>
500 <li>.ll file doesn't produce #uses comments anymore, to get them, run a .bc file
501    through "llvm-dis --show-annotations".</li>
502 <li>MSIL Backend removed.</li>
503 <li>ABCD and SSI passes removed.</li>
504 <li>'Union' LLVM IR feature removed.</li>
505 </ul>
506
507 <p>In addition, many APIs have changed in this release.  Some of the major LLVM
508 API changes are:</p>
509
510 <ul>
511 </ul>
512
513 </div>
514
515
516
517 <!-- *********************************************************************** -->
518 <div class="doc_section">
519   <a name="portability">Portability and Supported Platforms</a>
520 </div>
521 <!-- *********************************************************************** -->
522
523 <div class="doc_text">
524
525 <p>LLVM is known to work on the following platforms:</p>
526
527 <ul>
528 <li>Intel and AMD machines (IA32, X86-64, AMD64, EMT-64) running Red Hat
529     Linux, Fedora Core, FreeBSD and AuroraUX (and probably other unix-like
530     systems).</li>
531 <li>PowerPC and X86-based Mac OS X systems, running 10.4 and above in 32-bit
532     and 64-bit modes.</li>
533 <li>Intel and AMD machines running on Win32 using MinGW libraries (native).</li>
534 <li>Intel and AMD machines running on Win32 with the Cygwin libraries (limited
535     support is available for native builds with Visual C++).</li>
536 <li>Sun x86 and AMD64 machines running Solaris 10, OpenSolaris 0906.</li>
537 <li>Alpha-based machines running Debian GNU/Linux.</li>
538 </ul>
539
540 <p>The core LLVM infrastructure uses GNU autoconf to adapt itself
541 to the machine and operating system on which it is built.  However, minor
542 porting may be required to get LLVM to work on new platforms.  We welcome your
543 portability patches and reports of successful builds or error messages.</p>
544
545 </div>
546
547 <!-- *********************************************************************** -->
548 <div class="doc_section">
549   <a name="knownproblems">Known Problems</a>
550 </div>
551 <!-- *********************************************************************** -->
552
553 <div class="doc_text">
554
555 <p>This section contains significant known problems with the LLVM system,
556 listed by component.  If you run into a problem, please check the <a
557 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
558 there isn't already one.</p>
559
560 <ul>    
561 <li>LLVM will not correctly compile on Solaris and/or OpenSolaris
562 using the stock GCC 3.x.x series 'out the box',
563 See: <a href="GettingStarted.html#brokengcc">Broken versions of GCC and other tools</a>.
564 However, A <a href="http://pkg.auroraux.org/GCC">Modern GCC Build</a>
565 for x86/x86-64 has been made available from the third party AuroraUX Project
566 that has been meticulously tested for bootstrapping LLVM &amp; Clang.</li>
567 <li>There have been reports of Solaris and/or OpenSolaris build failures due
568 to an incompatibility in the nm program as well. The nm from binutils does seem
569 to work.</li>
570 </ul>
571
572 </div>
573
574 <!-- ======================================================================= -->
575 <div class="doc_subsection">
576   <a name="experimental">Experimental features included with this release</a>
577 </div>
578
579 <div class="doc_text">
580
581 <p>The following components of this LLVM release are either untested, known to
582 be broken or unreliable, or are in early development.  These components should
583 not be relied on, and bugs should not be filed against them, but they may be
584 useful to some people.  In particular, if you would like to work on one of these
585 components, please contact us on the <a
586 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev list</a>.</p>
587
588 <ul>
589 <li>The Alpha, SPU, MIPS, PIC16, Blackfin, MSP430, SystemZ and MicroBlaze
590     backends are experimental.</li>
591 <li><tt>llc</tt> "<tt>-filetype=asm</tt>" (the default) is the only
592     supported value for this option.  XXX Update me</li>
593 </ul>
594
595 </div>
596
597 <!-- ======================================================================= -->
598 <div class="doc_subsection">
599   <a name="x86-be">Known problems with the X86 back-end</a>
600 </div>
601
602 <div class="doc_text">
603
604 <ul>
605   <li>The X86 backend does not yet support
606     all <a href="http://llvm.org/PR879">inline assembly that uses the X86
607     floating point stack</a>.  It supports the 'f' and 't' constraints, but not
608     'u'.</li>
609   <li>Win64 code generation wasn't widely tested. Everything should work, but we
610     expect small issues to happen. Also, llvm-gcc cannot build the mingw64
611     runtime currently due to lack of support for the 'u' inline assembly
612     constraint and for X87 floating point inline assembly.</li>
613   <li>The X86-64 backend does not yet support the LLVM IR instruction
614       <tt>va_arg</tt>. Currently, front-ends support variadic
615       argument constructs on X86-64 by lowering them manually.</li>
616 </ul>
617
618 </div>
619
620 <!-- ======================================================================= -->
621 <div class="doc_subsection">
622   <a name="ppc-be">Known problems with the PowerPC back-end</a>
623 </div>
624
625 <div class="doc_text">
626
627 <ul>
628 <li>The Linux PPC32/ABI support needs testing for the interpreter and static
629 compilation, and lacks support for debug information.</li>
630 </ul>
631
632 </div>
633
634 <!-- ======================================================================= -->
635 <div class="doc_subsection">
636   <a name="arm-be">Known problems with the ARM back-end</a>
637 </div>
638
639 <div class="doc_text">
640
641 <ul>
642 <li>Thumb mode works only on ARMv6 or higher processors. On sub-ARMv6
643 processors, thumb programs can crash or produce wrong
644 results (<a href="http://llvm.org/PR1388">PR1388</a>).</li>
645 <li>Compilation for ARM Linux OABI (old ABI) is supported but not fully tested.
646 </li>
647 </ul>
648
649 </div>
650
651 <!-- ======================================================================= -->
652 <div class="doc_subsection">
653   <a name="sparc-be">Known problems with the SPARC back-end</a>
654 </div>
655
656 <div class="doc_text">
657
658 <ul>
659 <li>The SPARC backend only supports the 32-bit SPARC ABI (-m32); it does not
660     support the 64-bit SPARC ABI (-m64).</li>
661 </ul>
662
663 </div>
664
665 <!-- ======================================================================= -->
666 <div class="doc_subsection">
667   <a name="mips-be">Known problems with the MIPS back-end</a>
668 </div>
669
670 <div class="doc_text">
671
672 <ul>
673 <li>64-bit MIPS targets are not supported yet.</li>
674 </ul>
675
676 </div>
677
678 <!-- ======================================================================= -->
679 <div class="doc_subsection">
680   <a name="alpha-be">Known problems with the Alpha back-end</a>
681 </div>
682
683 <div class="doc_text">
684
685 <ul>
686
687 <li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
688 appropriate nops inserted to ensure restartability.</li>
689
690 </ul>
691 </div>
692
693 <!-- ======================================================================= -->
694 <div class="doc_subsection">
695   <a name="c-be">Known problems with the C back-end</a>
696 </div>
697
698 <div class="doc_text">
699
700 <ul>
701 <li><a href="http://llvm.org/PR802">The C backend has only basic support for
702     inline assembly code</a>.</li>
703 <li><a href="http://llvm.org/PR1658">The C backend violates the ABI of common
704     C++ programs</a>, preventing intermixing between C++ compiled by the CBE and
705     C++ code compiled with <tt>llc</tt> or native compilers.</li>
706 <li>The C backend does not support all exception handling constructs.</li>
707 <li>The C backend does not support arbitrary precision integers.</li>
708 </ul>
709
710 </div>
711
712
713 <!-- ======================================================================= -->
714 <div class="doc_subsection">
715   <a name="c-fe">Known problems with the llvm-gcc C and C++ front-end</a>
716 </div>
717
718 <div class="doc_text">
719
720 <p>The only major language feature of GCC not supported by llvm-gcc is
721     the <tt>__builtin_apply</tt> family of builtins.   However, some extensions
722     are only supported on some targets.  For example, trampolines are only
723     supported on some targets (these are used when you take the address of a
724     nested function).</p>
725
726 </div>
727
728 <!-- ======================================================================= -->
729 <div class="doc_subsection">
730   <a name="fortran-fe">Known problems with the llvm-gcc Fortran front-end</a>
731 </div>
732
733 <div class="doc_text">
734 <ul>
735 <li>Fortran support generally works, but there are still several unresolved bugs
736     in <a href="http://llvm.org/bugs/">Bugzilla</a>.  Please see the
737     tools/gfortran component for details.</li>
738 </ul>
739 </div>
740
741 <!-- ======================================================================= -->
742 <div class="doc_subsection">
743   <a name="ada-fe">Known problems with the llvm-gcc Ada front-end</a>
744 </div>
745
746 <div class="doc_text">
747 The llvm-gcc 4.2 Ada compiler works fairly well; however, this is not a mature
748 technology, and problems should be expected.
749 <ul>
750 <li>The Ada front-end currently only builds on X86-32.  This is mainly due
751 to lack of trampoline support (pointers to nested functions) on other platforms.
752 However, it <a href="http://llvm.org/PR2006">also fails to build on X86-64</a>
753 which does support trampolines.</li>
754 <li>The Ada front-end <a href="http://llvm.org/PR2007">fails to bootstrap</a>.
755 This is due to lack of LLVM support for <tt>setjmp</tt>/<tt>longjmp</tt> style
756 exception handling, which is used internally by the compiler.
757 Workaround: configure with <tt>--disable-bootstrap</tt>.</li>
758 <li>The c380004, <a href="http://llvm.org/PR2010">c393010</a>
759 and <a href="http://llvm.org/PR2421">cxg2021</a> ACATS tests fail
760 (c380004 also fails with gcc-4.2 mainline).
761 If the compiler is built with checks disabled then <a href="http://llvm.org/PR2010">c393010</a>
762 causes the compiler to go into an infinite loop, using up all system memory.</li>
763 <li>Some GCC specific Ada tests continue to crash the compiler.</li>
764 <li>The <tt>-E</tt> binder option (exception backtraces)
765 <a href="http://llvm.org/PR1982">does not work</a> and will result in programs
766 crashing if an exception is raised.  Workaround: do not use <tt>-E</tt>.</li>
767 <li>Only discrete types <a href="http://llvm.org/PR1981">are allowed to start
768 or finish at a non-byte offset</a> in a record.  Workaround: do not pack records
769 or use representation clauses that result in a field of a non-discrete type
770 starting or finishing in the middle of a byte.</li>
771 <li>The <tt>lli</tt> interpreter <a href="http://llvm.org/PR2009">considers
772 'main' as generated by the Ada binder to be invalid</a>.
773 Workaround: hand edit the file to use pointers for <tt>argv</tt> and
774 <tt>envp</tt> rather than integers.</li>
775 <li>The <tt>-fstack-check</tt> option <a href="http://llvm.org/PR2008">is
776 ignored</a>.</li>
777 </ul>
778 </div>
779
780 <!-- *********************************************************************** -->
781 <div class="doc_section">
782   <a name="additionalinfo">Additional Information</a>
783 </div>
784 <!-- *********************************************************************** -->
785
786 <div class="doc_text">
787
788 <p>A wide variety of additional information is available on the <a
789 href="http://llvm.org">LLVM web page</a>, in particular in the <a
790 href="http://llvm.org/docs/">documentation</a> section.  The web page also
791 contains versions of the API documentation which is up-to-date with the
792 Subversion version of the source code.
793 You can access versions of these documents specific to this release by going
794 into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
795
796 <p>If you have any questions or comments about LLVM, please feel free to contact
797 us via the <a href="http://llvm.org/docs/#maillist"> mailing
798 lists</a>.</p>
799
800 </div>
801
802 <!-- *********************************************************************** -->
803
804 <hr>
805 <address>
806   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
807   src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"></a>
808   <a href="http://validator.w3.org/check/referer"><img
809   src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
810
811   <a href="http://llvm.org/">LLVM Compiler Infrastructure</a><br>
812   Last modified: $Date$
813 </address>
814
815 </body>
816 </html>