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.5 Release Notes</title>
   8 </head>
   9 <body>
  10
  11 <div class="doc_title">LLVM 2.5 Release Notes</div>
  12
  13 <ol>
  14   <li><a href="#intro">Introduction</a></li>
  15   <li><a href="#subproj">Sub-project Status Update</a></li>
  16   <li><a href="#externalproj">External Projects Using LLVM 2.5</a></li>
  17   <li><a href="#whatsnew">What's New in LLVM?</a></li>
  18   <li><a href="GettingStarted.html">Installation Instructions</a></li>
  19   <li><a href="#portability">Portability and Supported Platforms</a></li>
  20   <li><a href="#knownproblems">Known Problems</a></li>
  21   <li><a href="#additionalinfo">Additional Information</a></li>
  22 </ol>
  23
  24 <div class="doc_author">
  25   <p>Written by the <a href="http://llvm.org">LLVM Team</a></p>
  26 </div>
  27
  28 <!-- *********************************************************************** -->
  29 <div class="doc_section">
  30   <a name="intro">Introduction</a>
  31 </div>
  32 <!-- *********************************************************************** -->
  33
  34 <div class="doc_text">
  35
  36 <p>This document contains the release notes for the LLVM Compiler
  37 Infrastructure, release 2.5.  Here we describe the status of LLVM, including
  38 major improvements from the previous release and significant known problems.
  39 All LLVM releases may be downloaded from the <a
  40 href="http://llvm.org/releases/">LLVM releases web site</a>.</p>
  41
  42 <p>For more information about LLVM, including information about the latest
  43 release, please check out the <a href="http://llvm.org/">main LLVM
  44 web site</a>.  If you have questions or comments, the <a
  45 href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM Developer's Mailing
  46 List</a> is a good place to send them.</p>
  47
  48 <p>Note that if you are reading this file from a Subversion checkout or the
  49 main LLVM web page, this document applies to the <i>next</i> release, not the
  50 current one.  To see the release notes for a specific release, please see the
  51 <a href="http://llvm.org/releases/">releases page</a>.</p>
  52
  53 </div>
  54
  55 <!-- Unfinished features in 2.5:
  56   Machine LICM
  57   Machine Sinking
  58   target-specific intrinsics
  59   gold lto plugin
  60   pre-alloc splitter, strong phi elim
  61   llc -enable-value-prop, propagation of value info (sign/zero ext info) from
  62        one MBB to another
  63   debug info for optimized code
  64   interpreter + libffi
  65   postalloc scheduler: anti dependence breaking, hazard recognizer?
  66
  67  -->
  68
  69  <!-- for announcement email:
  70    -->
  71
  72 <!-- *********************************************************************** -->
  73 <div class="doc_section">
  74   <a name="subproj">Sub-project Status Update</a>
  75 </div>
  76 <!-- *********************************************************************** -->
  77
  78 <div class="doc_text">
  79 <p>
  80 The LLVM 2.5 distribution currently consists of code from the core LLVM
  81 repository (which roughly includes the LLVM optimizers, code generators and
  82 supporting tools) and the llvm-gcc repository.  In addition to this code, the
  83 LLVM Project includes other sub-projects that are in development.  The two which
  84 are the most actively developed are the <a href="#clang">Clang Project</a> and
  85 the <a href="#vmkit">VMKit Project</a>.
  86 </p>
  87
  88 </div>
  89
  90
  91 <!--=========================================================================-->
  92 <div class="doc_subsection">
  93 <a name="clang">Clang: C/C++/Objective-C Frontend Toolkit</a>
  94 </div>
  95
  96 <div class="doc_text">
  97
  98 <p>The <a href="http://clang.llvm.org/">Clang project</a> is an effort to build
  99 a set of new 'LLVM native' front-end technologies for the LLVM optimizer
 100 and code generator.  While Clang is not included in the LLVM 2.5 release, it
 101 is continuing to make major strides forward in all areas.  Its C and Objective-C
 102 parsing and code generation support is now very solid.  For example, it is
 103 capable of successfully building many real applications for X86-32 and X86-64,
 104 including <a href="http://wiki.freebsd.org/BuildingFreeBSDWithClang">the FreeBSD
 105 kernel</a>.  C++ is also making <a
 106 href="http://clang.llvm.org/cxx_status.html">incredible progress</a>, and work
 107 on templates has recently started.</p>
 108
 109 <p>While Clang is not yet production quality, it is progressing very nicely and
 110 is quite usable for building many C and Objective-C applications.  If you are
 111 interested in fast compiles and good diagnostics, we encourage you to try it out
 112 by <a href="http://clang.llvm.org/get_started.html">building from mainline</a>
 113 and reporting any issues you hit to the <a
 114 href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">Clang front-end mailing
 115 list</a>.</p>
 116
 117 <p>In the LLVM 2.5 time-frame, the Clang team has made many improvements:</p>
 118
 119 <ul>
 120 <li>Clang now has a new driver, which is focused on providing a GCC-compatible
 121     interface.</li>
 122 <li>The X86-64 ABI is now supported.</li>
 123 <li>Precompiled header support is now implemented.</li>
 124 <li>Objective-C support is significantly improved beyond LLVM 2.4, supporting
 125     many features, such as Objective-C Garbage Collection.</li>
 126 <li>Many many bugs are fixed.</li>
 127 </div>
 128
 129 <!--=========================================================================-->
 130 <div class="doc_subsection">
 131 <a name="clangsa">Clang Static Analyzer</a>
 132 </div>
 133
 134 <div class="doc_text">
 135
 136 <p>Previously announced in the last LLVM release, the Clang project also
 137 includes an early stage static source code analysis tool for <a
 138 href="http://clang.llvm.org/StaticAnalysis.html">automatically finding bugs</a>
 139 in C and Objective-C programs. The tool performs a growing set of checks to find
 140 bugs that occur on a specific path within a program.</p>
 141
 142 <p>In the LLVM 2.5 time-frame there have been many significant improvements to
 143 the analyzer's core path simulation engine and machinery for generating
 144 path-based bug reports to end-users. Particularly noteworthy improvements
 145 include experimental support for full field-sensitivity and reasoning about heap
 146 objects as well as an improved value-constraints subengine that does a much
 147 better job of reasoning about inequality relationships (e.g., <tt>x &gt; 2</tt>)
 148 between variables and constants.
 149
 150 <p>The set of checks performed by the static analyzer continue to expand, and
 151 future plans for the tool include full source-level inter-procedural analysis
 152 and deeper checks such as buffer overrun detection. There are many opportunities
 153 to extend and enhance the static analyzer, and anyone interested in working on
 154 this project is encouraged to get involved!</p>
 155
 156 </div>
 157
 158 <!--=========================================================================-->
 159 <div class="doc_subsection">
 160 <a name="vmkit">VMKit: JVM/CLI Virtual Machine Implementation</a>
 161 </div>
 162
 163 <div class="doc_text">
 164 <p>
 165 The <a href="http://vmkit.llvm.org/">VMKit project</a> is an implementation of
 166 a JVM and a CLI Virtual Machines (Microsoft .NET is an
 167 implementation of the CLI) using the Just-In-Time compiler of LLVM.</p>
 168
 169 <p>Following LLVM 2.5, VMKit has its first release ? that you can find on its
 170 <a href="http://vmkit.llvm.org/releases/">webpage</a>. The release includes
 171 bug fixes, cleanup and new features. The major changes are:</p>
 172
 173 <ul>
 174
 175 <li>Ahead of Time compiler: compiles .class files to llvm .bc. VMKit uses this
 176 functionality to native compile the standard classes (eg java.lang.String).
 177 Users can compile AOT .class files into dynamic libraries and run them with the
 178 help of VMKit.</li>
 179
 180 <li>New exception model: the dwarf exception model is very slow for
 181 exception-intensive applications, so the JVM has had a new implementation of
 182 exceptions which check at each function call if an exception happened. There is
 183 a low performance penalty on applications without exceptions, but it is a big
 184 gain for exception-intensive applications. For example the jack benchmark in
 185 Spec JVM98 is 6x faster (performance gain of 83%).</li>
 186
 187 <li>New support for OSX/X64, Linux/X64 (with the Boehm GC), Linux/ppc32.</li>
 188
 189 </ul>
 190 </div>
 191
 192 <!-- *********************************************************************** -->
 193 <div class="doc_section">
 194   <a name="externalproj">External Projects Using LLVM 2.5</a>
 195 </div>
 196 <!-- *********************************************************************** -->
 197
 198 <!--=========================================================================-->
 199 <div class="doc_subsection">
 200 <a name="pure">Pure</a>
 201 </div>
 202
 203 <div class="doc_text">
 204 <p>
 205 http://pure-lang.googlecode.com/
 206 </p>
 207
 208 <p>
 209 Pure is an algebraic/functional programming language based on term rewriting.
 210 Programs are collections of equations which are used to evaluate expressions in
 211 a symbolic fashion. Pure offers dynamic typing, eager and lazy evaluation,
 212 lexical closures, a hygienic macro system (also based on term rewriting),
 213 built-in list and matrix support (including list and matrix comprehensions) and
 214 an easy-to-use C interface. The interpreter uses LLVM as a backend to
 215  JIT-compile Pure programs to fast native code.</p>
 216
 217 <p>In addition to the usual algebraic data structures, Pure also has
 218 MATLAB-style matrices in order to support numeric computations and signal
 219 processing in an efficient way. Pure is mainly aimed at mathematical
 220 applications right now, but it has been designed as a general purpose language.
 221 The dynamic interpreter environment and the C interface make it possible to use
 222 it as a kind of functional scripting language for many application areas.
 223 </p>
 224 </div>
 225
 226
 227 <!--=========================================================================-->
 228 <div class="doc_subsection">
 229 <a name="ldc">LLVM D Compiler</a>
 230 </div>
 231
 232 <div class="doc_text">
 233 <p>
 234 http://www.dsource.org/projects/ldc
 235 </p>
 236
 237 <p>
 238 I'd like to inform that the LDC project (LLVM D
 239 Compiler) is working with release 2.5 of LLVM. In fact we've required
 240 2.5 in our trunk since the release was branched.
 241 The improvements in 2.5 have fixed a lot of problems with LDC, more
 242 specifically the new inline asm constraints, better debug info
 243 support, general bugfixes :) and better x86-64 support have allowed
 244 some major improvements in LDC, getting us much closer to being as
 245 fully featured as the original DMD compiler from DigitalMars.
 246 </p>
 247 </div>
 248
 249
 250
 251 <!-- *********************************************************************** -->
 252 <div class="doc_section">
 253   <a name="whatsnew">What's New in LLVM?</a>
 254 </div>
 255 <!-- *********************************************************************** -->
 256
 257 <div class="doc_text">
 258
 259 <p>This release includes a huge number of bug fixes, performance tweaks, and
 260 minor improvements.  Some of the major improvements and new features are listed
 261 in this section.
 262 </p>
 263 </div>
 264
 265 <!--=========================================================================-->
 266 <div class="doc_subsection">
 267 <a name="majorfeatures">Major New Features</a>
 268 </div>
 269
 270 <div class="doc_text">
 271
 272 <p>LLVM 2.5 includes several major new capabilities:</p>
 273
 274 <ul>
 275 <li><p>The code generator now supports arbitrary precision integers.
 276 Types like <tt>i33</tt> have long been valid in the LLVM IR, but previously
 277 could only be used with the interpreter.
 278 Now IR using such types can be compiled to native code on all targets.
 279 All operations are supported if the integer is not bigger than twice the
 280 target machine word size.
 281 Simple operations like loads, stores and shifts by a constant amount are
 282 supported for integers of any size.
 283 </p></li>
 284
 285 <!--
 286 Random stuff:
 287
 288 Pure project: http://code.google.com/p/pure-lang/
 289
 290
 291 xcore backend!
 292 fortran on darwin!
 293
 294 .ll parser rewrite, caret diags, better errors, less fragile (less likely to
 295    crash on strange things).  No longer depends on flex/bison.
 296 GCC inliner off, llvm handles always-inline.
 297 cmake mature?
 298 x86 backend GS segment -> addr space 256 (r62980)
 299 nocapture
 300 memdep (used by GVN and memcpyopt) is faster / more aggressive.
 301 how to write a backend doc docs/WritingAnLLVMBackend.html
 302 fastisel + exception handling
 303 vector widening <3 x float> -> <4 x float>
 304 arm port improvements? arm jit encoding stuff, constant island support?
 305 JIT TLS support on x86-32 but not x86-64.
 306 mem2reg now faster on code with huge basic blocks
 307 stack protectors/stack canaries, -fstack-protector, controllable on a
 308   per-function basis with attributes.
 309 shufflevector is generalized to allow different shuffle mask width than its
 310   input vectors.
 311 loop optimizer improves floating point induction variables
 312 llvm/Analysis/DebugInfo.h classes, llvm-gcc and clang and codegen use them.
 313     DebugInfoBuilder gone.
 314 asmprinters seperate from targets for jits
 315 PBQP register allocator now supports register coalescing.
 316 JIT supports exceptions on linux/x86-64 and linux/x86-64.
 317 integer overflow intrinsics for [us](add/sub/mul).  Supported on all targets,
 318   but only generates efficient code on x86.
 319 X86 backend now supports -disable-mmx.
 320 noalias attribute on return value indicates that function returns new memory
 321   (e.g. malloc).
 322 llvmc2 renamed to llvmc
 323 Jump threading more powerful: it is iterative, handles threading based on values
 324   with fully redundant and partially redundant loads.
 325 LSR improvements?
 326 ARM debug info support?
 327 unit test framework based on Google Test.
 328
 329 vector shift support + X86 backend.
 330 x86 JIT now detects core i7 and atom, autoconfiguring itself appropriately.
 331 SROA is more aggressive about promoting unions.
 332 non-zero __builtin_return_address values on X86.
 333 x86-64 now uses red zone (unless -mno-red-zone option is specified).
 334 private linkage.
 335
 336 llvm-gcc defaults to -fno-math-errno on all x86 targets.
 337
 338 initial support for debug line numbers when optimization enabled, not useful in
 339   2.5 but will be for 2.6.
 340 -->
 341
 342 </ul>
 343
 344 </div>
 345
 346
 347 <!--=========================================================================-->
 348 <div class="doc_subsection">
 349 <a name="llvm-gcc">llvm-gcc 4.2 Improvements</a>
 350 </div>
 351
 352 <div class="doc_text">
 353
 354 <p>LLVM fully supports the llvm-gcc 4.2 front-end, which marries the GCC
 355 front-ends and driver with the LLVM optimizer and code generator.  It currently
 356 includes support for the C, C++, Objective-C, Ada, and Fortran front-ends.</p>
 357
 358 <ul>
 359 <li>?</li>
 360 </ul>
 361
 362 </div>
 363
 364
 365 <!--=========================================================================-->
 366 <div class="doc_subsection">
 367 <a name="coreimprovements">LLVM Core Improvements</a>
 368 </div>
 369
 370 <div class="doc_text">
 371 <p>New features include:</p>
 372
 373 <ul>
 374 <li>?</li>
 375
 376 </ul>
 377
 378 </div>
 379
 380 <!--=========================================================================-->
 381 <div class="doc_subsection">
 382 <a name="optimizer">Optimizer Improvements</a>
 383 </div>
 384
 385 <div class="doc_text">
 386
 387 <p>In addition to a huge array of bug fixes and minor performance tweaks, this
 388 release includes a few major enhancements and additions to the optimizers:</p>
 389
 390 <ul>
 391
 392 <li>?</li>
 393
 394 </ul>
 395
 396 </div>
 397
 398 <!--=========================================================================-->
 399 <div class="doc_subsection">
 400 <a name="codegen">Code Generator Improvements</a>
 401 </div>
 402
 403 <div class="doc_text">
 404
 405 <p>We have put a significant amount of work into the code generator infrastructure,
 406 which allows us to implement more aggressive algorithms and make it run
 407 faster:</p>
 408
 409 <ul>
 410 <li>The type legalization logic has been completely rewritten, and is now
 411 more powerful (it supports arbitrary precision integer types for example)
 412 and hopefully more correct.
 413 The type legalizer converts operations on types that are not natively
 414 supported by the target machine into equivalent code sequences that only use
 415 natively supported types.
 416 The old type legalizer is still available and will be used if
 417 <tt>-disable-legalize-types</tt> is passed to <tt>llc</tt>.
 418 </li>
 419 <li>?</li>
 420
 421 </ul>
 422
 423 </div>
 424
 425
 426 <!--=========================================================================-->
 427 <div class="doc_subsection">
 428 <a name="pic16">PIC16 Target Improvements</a>
 429 </div>
 430
 431 <div class="doc_text">
 432 <p>New features of the PIC16 target include:
 433 </p>
 434
 435 <ul>
 436 <li>Both direct and indirect load/stores work now.</li>
 437 <li>Logical, bitwise and conditional operations now work for integer data
 438 types.</li>
 439 <li>Function calls involving basic types work now.</li>
 440 <li>Support for integer arrays.</li>
 441 <li>Compiler can now emit libcalls for operations not support by m/c insns.</li>
 442 <li>Support for both data and rom address spaces.</li>
 443 </li>
 444 </ul>
 445
 446 <p>Things not yet supported:</p>
 447
 448 <ul>
 449 <li>Floating point.</li>
 450 <li>Passing/returning aggregate types to/from functions.</li>
 451 <li>Variable arguments.</li>
 452 <li>Indirect function calls.</li>
 453 <li>Interrupts/prgrams.</li>
 454 <li>Debug info.</li>
 455 </li>
 456 </ul>
 457
 458 </div>
 459
 460
 461 <!--=========================================================================-->
 462 <div class="doc_subsection">
 463 <a name="othertargetspecific">Other Target Specific Improvements</a>
 464 </div>
 465
 466 <div class="doc_text">
 467 <p>New target-specific features include:
 468 </p>
 469
 470 <ul>
 471 <li>?</li>
 472 </ul>
 473
 474 </div>
 475
 476
 477 <!--=========================================================================-->
 478 <div class="doc_subsection">
 479 <a name="otherimprovements">Other Improvements</a>
 480 </div>
 481
 482 <div class="doc_text">
 483 <p>New features include:
 484 </p>
 485
 486 <ul>
 487 <li>?</li>
 488
 489 </ul>
 490
 491 </div>
 492
 493 <!--=========================================================================-->
 494 <div class="doc_subsection">
 495 <a name="changes">Major Changes and Removed Features</a>
 496 </div>
 497
 498 <div class="doc_text">
 499
 500 <p>If you're already an LLVM user or developer with out-of-tree changes based
 501 on LLVM 2.4, this section lists some "gotchas" that you may run into upgrading
 502 from the previous release.</p>
 503
 504 <ul>
 505
 506 <li>?</li>
 507 </ul>
 508
 509
 510 <p>In addition, many APIs have changed in this release.  Some of the major LLVM
 511 API changes are:</p>
 512
 513 <ul>
 514 <li>?</li>
 515 </ul>
 516
 517 <li>?</li>
 518 </ul>
 519
 520 </div>
 521
 522
 523
 524 <!-- *********************************************************************** -->
 525 <div class="doc_section">
 526   <a name="portability">Portability and Supported Platforms</a>
 527 </div>
 528 <!-- *********************************************************************** -->
 529
 530 <div class="doc_text">
 531
 532 <p>LLVM is known to work on the following platforms:</p>
 533
 534 <ul>
 535 <li>Intel and AMD machines (IA32, X86-64, AMD64, EMT-64) running Red Hat
 536 Linux, Fedora Core and FreeBSD (and probably other unix-like systems).</li>
 537 <li>PowerPC and X86-based Mac OS X systems, running 10.3 and above in 32-bit
 538 and 64-bit modes.</li>
 539 <li>Intel and AMD machines running on Win32 using MinGW libraries (native).</li>
 540 <li>Intel and AMD machines running on Win32 with the Cygwin libraries (limited
 541     support is available for native builds with Visual C++).</li>
 542 <li>Sun UltraSPARC workstations running Solaris 10.</li>
 543 <li>Alpha-based machines running Debian GNU/Linux.</li>
 544 <li>Itanium-based (IA64) machines running Linux and HP-UX.</li>
 545 </ul>
 546
 547 <p>The core LLVM infrastructure uses GNU autoconf to adapt itself
 548 to the machine and operating system on which it is built.  However, minor
 549 porting may be required to get LLVM to work on new platforms.  We welcome your
 550 portability patches and reports of successful builds or error messages.</p>
 551
 552 </div>
 553
 554 <!-- *********************************************************************** -->
 555 <div class="doc_section">
 556   <a name="knownproblems">Known Problems</a>
 557 </div>
 558 <!-- *********************************************************************** -->
 559
 560 <div class="doc_text">
 561
 562 <p>This section contains significant known problems with the LLVM system,
 563 listed by component.  If you run into a problem, please check the <a
 564 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
 565 there isn't already one.</p>
 566
 567 </div>
 568
 569 <!-- ======================================================================= -->
 570 <div class="doc_subsection">
 571   <a name="experimental">Experimental features included with this release</a>
 572 </div>
 573
 574 <div class="doc_text">
 575
 576 <p>The following components of this LLVM release are either untested, known to
 577 be broken or unreliable, or are in early development.  These components should
 578 not be relied on, and bugs should not be filed against them, but they may be
 579 useful to some people.  In particular, if you would like to work on one of these
 580 components, please contact us on the <a
 581 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev list</a>.</p>
 582
 583 <ul>
 584 <li>The MSIL, IA64, Alpha, SPU, MIPS, and PIC16 backends are experimental.</li>
 585 <li>The llc "<tt>-filetype=asm</tt>" (the default) is the only supported
 586     value for this option.</li>
 587 </ul>
 588
 589 </div>
 590
 591 <!-- ======================================================================= -->
 592 <div class="doc_subsection">
 593   <a name="x86-be">Known problems with the X86 back-end</a>
 594 </div>
 595
 596 <div class="doc_text">
 597
 598 <ul>
 599   <li>The X86 backend does not yet support
 600     all <a href="http://llvm.org/PR879">inline assembly that uses the X86
 601     floating point stack</a>.  It supports the 'f' and 't' constraints, but not
 602     'u'.</li>
 603   <li>The X86 backend generates inefficient floating point code when configured
 604     to generate code for systems that don't have SSE2.</li>
 605   <li>Win64 code generation wasn't widely tested. Everything should work, but we
 606     expect small issues to happen. Also, llvm-gcc cannot build mingw64 runtime
 607     currently due
 608     to <a href="http://llvm.org/PR2255">several</a>
 609     <a href="http://llvm.org/PR2257">bugs</a> due to lack of support for the
 610     'u' inline assembly constraint and X87 floating point inline assembly.</li>
 611   <li>The X86-64 backend does not yet support the LLVM IR instruction
 612       <tt>va_arg</tt>. Currently, the llvm-gcc front-end supports variadic
 613       argument constructs on X86-64 by lowering them manually.</li>
 614 </ul>
 615
 616 </div>
 617
 618 <!-- ======================================================================= -->
 619 <div class="doc_subsection">
 620   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 621 </div>
 622
 623 <div class="doc_text">
 624
 625 <ul>
 626 <li>The Linux PPC32/ABI support needs testing for the interpreter and static
 627 compilation, and lacks support for debug information.</li>
 628 </ul>
 629
 630 </div>
 631
 632 <!-- ======================================================================= -->
 633 <div class="doc_subsection">
 634   <a name="arm-be">Known problems with the ARM back-end</a>
 635 </div>
 636
 637 <div class="doc_text">
 638
 639 <ul>
 640 <li>Thumb mode works only on ARMv6 or higher processors. On sub-ARMv6
 641 processors, thumb programs can crash or produce wrong
 642 results (<a href="http://llvm.org/PR1388">PR1388</a>).</li>
 643 <li>Compilation for ARM Linux OABI (old ABI) is supported, but not fully tested.
 644 </li>
 645 <li>There is a bug in QEMU-ARM (&lt;= 0.9.0) which causes it to incorrectly
 646  execute
 647 programs compiled with LLVM.  Please use more recent versions of QEMU.</li>
 648 </ul>
 649
 650 </div>
 651
 652 <!-- ======================================================================= -->
 653 <div class="doc_subsection">
 654   <a name="sparc-be">Known problems with the SPARC back-end</a>
 655 </div>
 656
 657 <div class="doc_text">
 658
 659 <ul>
 660 <li>The SPARC backend only supports the 32-bit SPARC ABI (-m32), it does not
 661     support the 64-bit SPARC ABI (-m64).</li>
 662 </ul>
 663
 664 </div>
 665
 666 <!-- ======================================================================= -->
 667 <div class="doc_subsection">
 668   <a name="mips-be">Known problems with the MIPS back-end</a>
 669 </div>
 670
 671 <div class="doc_text">
 672
 673 <ul>
 674 <li>The O32 ABI is not fully supported.</li>
 675 <li>64-bit MIPS targets are not supported yet.</li>
 676 </ul>
 677
 678 </div>
 679
 680 <!-- ======================================================================= -->
 681 <div class="doc_subsection">
 682   <a name="alpha-be">Known problems with the Alpha back-end</a>
 683 </div>
 684
 685 <div class="doc_text">
 686
 687 <ul>
 688
 689 <li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
 690 appropriate nops inserted to ensure restartability.</li>
 691
 692 </ul>
 693 </div>
 694
 695 <!-- ======================================================================= -->
 696 <div class="doc_subsection">
 697   <a name="ia64-be">Known problems with the IA64 back-end</a>
 698 </div>
 699
 700 <div class="doc_text">
 701
 702 <ul>
 703 <li>The Itanium backend is highly experimental, and has a number of known
 704     issues.  We are looking for a maintainer for the Itanium backend.  If you
 705     are interested, please contact the LLVMdev mailing list.</li>
 706 </ul>
 707
 708 </div>
 709
 710 <!-- ======================================================================= -->
 711 <div class="doc_subsection">
 712   <a name="c-be">Known problems with the C back-end</a>
 713 </div>
 714
 715 <div class="doc_text">
 716
 717 <ul>
 718 <li><a href="http://llvm.org/PR802">The C backend has only basic support for
 719     inline assembly code</a>.</li>
 720 <li><a href="http://llvm.org/PR1658">The C backend violates the ABI of common
 721     C++ programs</a>, preventing intermixing between C++ compiled by the CBE and
 722     C++ code compiled with llc or native compilers.</li>
 723 <li>The C backend does not support all exception handling constructs.</li>
 724 <li>The C backend does not support arbitrary precision integers.</li>
 725 </ul>
 726
 727 </div>
 728
 729
 730 <!-- ======================================================================= -->
 731 <div class="doc_subsection">
 732   <a name="c-fe">Known problems with the llvm-gcc C front-end</a>
 733 </div>
 734
 735 <div class="doc_text">
 736
 737 <p>llvm-gcc does not currently support <a href="http://llvm.org/PR869">Link-Time
 738 Optimization</a> on most platforms "out-of-the-box".  Please inquire on the
 739 LLVMdev mailing list if you are interested.</p>
 740
 741 <p>The only major language feature of GCC not supported by llvm-gcc is
 742     the <tt>__builtin_apply</tt> family of builtins.   However, some extensions
 743     are only supported on some targets.  For example, trampolines are only
 744     supported on some targets (these are used when you take the address of a
 745     nested function).</p>
 746
 747 <p>If you run into GCC extensions which are not supported, please let us know.
 748 </p>
 749
 750 </div>
 751
 752 <!-- ======================================================================= -->
 753 <div class="doc_subsection">
 754   <a name="c++-fe">Known problems with the llvm-gcc C++ front-end</a>
 755 </div>
 756
 757 <div class="doc_text">
 758
 759 <p>The C++ front-end is considered to be fully
 760 tested and works for a number of non-trivial programs, including LLVM
 761 itself, Qt, Mozilla, etc.</p>
 762
 763 <ul>
 764 <li>Exception handling works well on the X86 and PowerPC targets. Currently
 765   only Linux and Darwin targets are supported (both 32 and 64 bit).</li>
 766 </ul>
 767
 768 </div>
 769
 770 <!-- ======================================================================= -->
 771 <div class="doc_subsection">
 772   <a name="fortran-fe">Known problems with the llvm-gcc Fortran front-end</a>
 773 </div>
 774
 775 <div class="doc_text">
 776 <ul>
 777 <li>Fortran support generally works, but there are still several unresolved bugs
 778     in Bugzilla.  Please see the tools/gfortran component for details.</li>
 779
 780 <li>The Fortran front-end currently does not build on Darwin (without tweaks)
 781     due to unresolved dependencies on the C front-end.</li>
 782 </ul>
 783 </div>
 784
 785 <!-- ======================================================================= -->
 786 <div class="doc_subsection">
 787   <a name="ada-fe">Known problems with the llvm-gcc Ada front-end</a>
 788 </div>
 789
 790 <div class="doc_text">
 791 The llvm-gcc 4.2 Ada compiler works fairly well, however this is not a mature
 792 technology and problems should be expected.
 793 <ul>
 794 <li>The Ada front-end currently only builds on X86-32.  This is mainly due
 795 to lack of trampoline support (pointers to nested functions) on other platforms,
 796 however it <a href="http://llvm.org/PR2006">also fails to build on X86-64</a>
 797 which does support trampolines.</li>
 798 <li>The Ada front-end <a href="http://llvm.org/PR2007">fails to bootstrap</a>.
 799 This is due to lack of LLVM support for <tt>setjmp</tt>/<tt>longjmp</tt> style
 800 exception handling, which is used internally by the compiler.
 801 Workaround: configure with --disable-bootstrap.</li>
 802 <li>The c380004, <a href="http://llvm.org/PR2010">c393010</a>
 803 and <a href="http://llvm.org/PR2421">cxg2021</a> ACATS tests fail
 804 (c380004 also fails with gcc-4.2 mainline).
 805 If the compiler is built with checks disabled then <a href="http://llvm.org/PR2010">c393010</a>
 806 causes the compiler to go into an infinite loop, using up all system memory.</li>
 807 <li>Some gcc specific Ada tests continue to crash the compiler.</li>
 808 <li>The -E binder option (exception backtraces)
 809 <a href="http://llvm.org/PR1982">does not work</a> and will result in programs
 810 crashing if an exception is raised.  Workaround: do not use -E.</li>
 811 <li>Only discrete types <a href="http://llvm.org/PR1981">are allowed to start
 812 or finish at a non-byte offset</a> in a record.  Workaround: do not pack records
 813 or use representation clauses that result in a field of a non-discrete type
 814 starting or finishing in the middle of a byte.</li>
 815 <li>The <tt>lli</tt> interpreter <a href="http://llvm.org/PR2009">considers
 816 'main' as generated by the Ada binder to be invalid</a>.
 817 Workaround: hand edit the file to use pointers for <tt>argv</tt> and
 818 <tt>envp</tt> rather than integers.</li>
 819 <li>The <tt>-fstack-check</tt> option <a href="http://llvm.org/PR2008">is
 820 ignored</a>.</li>
 821 </ul>
 822 </div>
 823
 824 <!-- *********************************************************************** -->
 825 <div class="doc_section">
 826   <a name="additionalinfo">Additional Information</a>
 827 </div>
 828 <!-- *********************************************************************** -->
 829
 830 <div class="doc_text">
 831
 832 <p>A wide variety of additional information is available on the <a
 833 href="http://llvm.org">LLVM web page</a>, in particular in the <a
 834 href="http://llvm.org/docs/">documentation</a> section.  The web page also
 835 contains versions of the API documentation which is up-to-date with the
 836 Subversion version of the source code.
 837 You can access versions of these documents specific to this release by going
 838 into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 839
 840 <p>If you have any questions or comments about LLVM, please feel free to contact
 841 us via the <a href="http://llvm.org/docs/#maillist"> mailing
 842 lists</a>.</p>
 843
 844 </div>
 845
 846 <!-- *********************************************************************** -->
 847
 848 <hr>
 849 <address>
 850   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 851   src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"></a>
 852   <a href="http://validator.w3.org/check/referer"><img
 853   src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
 854
 855   <a href="http://llvm.org/">LLVM Compiler Infrastructure</a><br>
 856   Last modified: $Date$
 857 </address>
 858
 859 </body>
 860 </html>