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   <meta encoding="utf8">
   7   <link rel="stylesheet" href="llvm.css" type="text/css">
   8   <title>LLVM 2.9 Release Notes</title>
   9 </head>
  10 <body>
  11
  12 <h1 class="doc_title">LLVM 2.9 Release Notes</h1>
  13
  14 <img align=right src="http://llvm.org/img/DragonSmall.png"
  15     width="136" height="136" alt="LLVM Dragon Logo">
  16
  17 <ol>
  18   <li><a href="#intro">Introduction</a></li>
  19   <li><a href="#subproj">Sub-project Status Update</a></li>
  20   <li><a href="#externalproj">External Projects Using LLVM 2.9</a></li>
  21   <li><a href="#whatsnew">What's New in LLVM 2.9?</a></li>
  22   <li><a href="GettingStarted.html">Installation Instructions</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.9
  32 release.<br>
  33 You may prefer the
  34 <a href="http://llvm.org/releases/2.8/docs/ReleaseNotes.html">LLVM 2.8
  35 Release Notes</a>.</h1>
  36
  37 <!-- *********************************************************************** -->
  38 <h1>
  39   <a name="intro">Introduction</a>
  40 </h1>
  41 <!-- *********************************************************************** -->
  42
  43 <div class="doc_text">
  44
  45 <p>This document contains the release notes for the LLVM Compiler
  46 Infrastructure, release 2.9.  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 Almost dead code.
  66   lib/Transforms/IPO/MergeFunctions.cpp => consider for 3.0.
  67 -->
  68
  69
  70 <!-- Features that need text if they're finished for 3.0:
  71   combiner-aa?
  72   strong phi elim
  73   loop dependence analysis
  74   CorrelatedValuePropagation
  75  -->
  76
  77 <!-- *********************************************************************** -->
  78 <h1>
  79   <a name="subproj">Sub-project Status Update</a>
  80 </h1>
  81 <!-- *********************************************************************** -->
  82
  83 <div class="doc_text">
  84 <p>
  85 The LLVM 2.9 distribution currently consists of code from the core LLVM
  86 repository (which roughly includes the LLVM optimizers, code generators
  87 and supporting tools), the Clang repository and the llvm-gcc repository.  In
  88 addition to this code, the LLVM Project includes other sub-projects that are in
  89 development.  Here we include updates on these subprojects.
  90 </p>
  91
  92 </div>
  93
  94
  95 <!--=========================================================================-->
  96 <h2>
  97 <a name="clang">Clang: C/C++/Objective-C Frontend Toolkit</a>
  98 </h2>
  99
 100 <div class="doc_text">
 101
 102 <p><a href="http://clang.llvm.org/">Clang</a> is an LLVM front end for the C,
 103 C++, and Objective-C languages. Clang aims to provide a better user experience
 104 through expressive diagnostics, a high level of conformance to language
 105 standards, fast compilation, and low memory use. Like LLVM, Clang provides a
 106 modular, library-based architecture that makes it suitable for creating or
 107 integrating with other development tools. Clang is considered a
 108 production-quality compiler for C, Objective-C, C++ and Objective-C++ on x86
 109 (32- and 64-bit), and for darwin-arm targets.</p>
 110
 111 <p>In the LLVM 2.9 time-frame, the Clang team has made many improvements in C,
 112 C++ and Objective-C support.  C++ support is now generally rock solid, has
 113 been exercised on a broad variety of code, and has several new C++'0x features
 114 implemented (such as rvalue references and variadic templates).  LLVM 2.9 has
 115 also brought in a large range of bug fixes and minor features (e.g. __label__
 116 support), and is much more compatible with the Linux Kernel.</p>
 117
 118 <p>If Clang rejects your code that is built with another compiler, please take a
 119 look at the <a href="http://clang.llvm.org/compatibility.html">language
 120 compatibility</a> guide to make sure the issue isn't intentional or a known
 121 issue.
 122 </p>
 123
 124 <ul>
 125 </ul>
 126 </div>
 127
 128 <!--=========================================================================-->
 129 <h2>
 130 <a name="dragonegg">DragonEgg: GCC front-ends, LLVM back-end</a>
 131 </h2>
 132
 133 <div class="doc_text">
 134 <p>
 135 <a href="http://dragonegg.llvm.org/">DragonEgg</a> is a
 136 <a href="http://gcc.gnu.org/wiki/plugins">gcc plugin</a> that replaces GCC's
 137 optimizers and code generators with LLVM's.
 138 Currently it requires a patched version of gcc-4.5.
 139 The plugin can target the x86-32 and x86-64 processor families and has been
 140 used successfully on the Darwin, FreeBSD and Linux platforms.
 141 The Ada, C, C++ and Fortran languages work well.
 142 The plugin is capable of compiling plenty of Obj-C, Obj-C++ and Java but it is
 143 not known whether the compiled code actually works or not!
 144 </p>
 145
 146 <p>
 147 The 2.9 release has the following notable changes:
 148 <ul>
 149 <li>The plugin is much more stable when compiling Fortran.</li>
 150 <li>Inline asm where an asm output is tied to an input of a different size is
 151 now supported in many more cases.</li>
 152 <li>Basic support for the __float128 type was added.  It is now possible to
 153 generate LLVM IR from programs using __float128 but code generation does not
 154 work yet.</li>
 155 <li>Compiling Java programs no longer systematically crashes the plugin.</li>
 156 </ul>
 157
 158 </div>
 159
 160 <!--=========================================================================-->
 161 <h2>
 162 <a name="compiler-rt">compiler-rt: Compiler Runtime Library</a>
 163 </h2>
 164
 165 <div class="doc_text">
 166 <p>
 167 The new LLVM <a href="http://compiler-rt.llvm.org/">compiler-rt project</a>
 168 is a simple library that provides an implementation of the low-level
 169 target-specific hooks required by code generation and other runtime components.
 170 For example, when compiling for a 32-bit target, converting a double to a 64-bit
 171 unsigned integer is compiled into a runtime call to the "__fixunsdfdi"
 172 function. The compiler-rt library provides highly optimized implementations of
 173 this and other low-level routines (some are 3x faster than the equivalent
 174 libgcc routines).</p>
 175
 176 <p>
 177 All of the code in the compiler-rt project is available under the standard LLVM
 178 License, a "BSD-style" license.
 179
 180 compiler_rt is now dual licensed under MIT and UIUC license
 181
 182 Several minor changes for better ARM support.
 183
 184 New in LLVM 2.9,  UPDATE</p>
 185
 186 </div>
 187
 188 <!--=========================================================================-->
 189 <h2>
 190 <a name="lldb">LLDB: Low Level Debugger</a>
 191 </h2>
 192
 193 <div class="doc_text">
 194 <p>
 195 <a href="http://lldb.llvm.org/">LLDB</a> is a brand new member of the LLVM
 196 umbrella of projects. LLDB is a next generation, high-performance debugger. It
 197 is built as a set of reusable components which highly leverage existing
 198 libraries in the larger LLVM Project, such as the Clang expression parser, the
 199 LLVM disassembler and the LLVM JIT.</p>
 200
 201 <p>
 202 LLDB is in early development and not included as part of the LLVM 2.9 release,
 203
 204
 205
 206 <!--
 207 but is mature enough to support basic debugging scenarios on Mac OS X in C,
 208 Objective-C and C++.  We'd really like help extending and expanding LLDB to
 209 support new platforms, new languages, new architectures, and new features.-->
 210 </p>
 211
 212 </div>
 213
 214 <!--=========================================================================-->
 215 <h2>
 216 <a name="libc++">libc++: C++ Standard Library</a>
 217 </h2>
 218
 219 <div class="doc_text">
 220 <p>
 221 <a href="http://libcxx.llvm.org/">libc++</a> is another new member of the LLVM
 222 family.  It is an implementation of the C++ standard library, written from the
 223 ground up to specifically target the forthcoming C++'0X standard and focus on
 224 delivering great performance.</p>
 225
 226 <p>
 227 As of the LLVM 2.9 release, UPDATE!
 228
 229 libc++ is now dual licensed under MIT and UIUC license
 230
 231 <!--libc++ is virtually feature complete, but would
 232 benefit from more testing and better integration with Clang++.  It is also
 233 looking forward to the C++ committee finalizing the C++'0x standard.-->
 234 </p>
 235
 236 </div>
 237
 238
 239
 240 <!--=========================================================================-->
 241 <!--
 242 <h2>
 243 <a name="klee">KLEE: A Symbolic Execution Virtual Machine</a>
 244 </h2>
 245
 246 <div class="doc_text">
 247 <p>
 248 <a href="http://klee.llvm.org/">KLEE</a> is a symbolic execution framework for
 249 programs in LLVM bitcode form. KLEE tries to symbolically evaluate "all" paths
 250 through the application and records state transitions that lead to fault
 251 states. This allows it to construct testcases that lead to faults and can even
 252 be used to verify some algorithms.
 253 </p>
 254
 255 <p>UPDATE!</p>
 256 </div>-->
 257
 258
 259 <!-- *********************************************************************** -->
 260 <h1>
 261   <a name="externalproj">External Open Source Projects Using LLVM 2.9</a>
 262 </h1>
 263 <!-- *********************************************************************** -->
 264
 265 <div class="doc_text">
 266
 267 <p>An exciting aspect of LLVM is that it is used as an enabling technology for
 268    a lot of other language and tools projects.  This section lists some of the
 269    projects that have already been updated to work with LLVM 2.9.</p>
 270 </div>
 271
 272
 273
 274
 275 <!-- *********************************************************************** -->
 276 <h1>
 277   <a name="whatsnew">What's New in LLVM 2.9?</a>
 278 </h1>
 279 <!-- *********************************************************************** -->
 280
 281 <div class="doc_text">
 282
 283 <p>This release includes a huge number of bug fixes, performance tweaks and
 284 minor improvements.  Some of the major improvements and new features are listed
 285 in this section.
 286 </p>
 287
 288 </div>
 289
 290 <!--=========================================================================-->
 291 <h2>
 292 <a name="majorfeatures">Major New Features</a>
 293 </h2>
 294
 295 <div class="doc_text">
 296
 297 <p>LLVM 2.9 includes several major new capabilities:</p>
 298
 299 <ul>
 300 <li><pre>
 301   last release for llvm-gcc
 302 TBAA: On by default in clang.  Disable it with -fno-strict-aliasing.
 303   Could be more aggressive for structs.
 304
 305 Triple::normalize is new, llvm triples are always stored in normalized form internally.
 306
 307 Triple x86_64--mingw64 is obsoleted. Use x86_64--mingw32 instead.
 308
 309 MC Assembler: X86 now generates much better diagnostics for common errors,
 310     is much faster at matching instructions, is much more bug-compatible with
 311     the GAS assembler, and is now generally useful for a broad range of X86
 312     assembly.
 313
 314 New Nvidia PTX backend, not generally useful in 2.9 though.
 315
 316 Much better debug info generated, particularly in optimized code situations.
 317
 318 ARM Fast ISel
 319
 320 ELF MC support: on by default in clang.  There are still known missing features
 321   for human written assembly.
 322
 323 X86: Reimplemented all of MMX to introduce a new LLVM IR x86_mmx type.  Now
 324   random types like &lt;2 x i32&gt; are not iseld to mmx without emms.  The
 325   -disable-mmx flag is gone now.
 326
 327 Some basic <a href="CodeGenerator.html#mc">internals documentation</a> for MC.
 328
 329 MC Assembler support for .file and .loc.
 330
 331
 332 inline asm multiple alternative constraint support.
 333
 334 LoopIdiom: memset/memcpy formation.  Build with -ffreestanding or -fno-builtin
 335   if your memcpy is being compiled into infinite recursion.
 336
 337
 338 TargetLibraryInfo
 339
 340 X86 support for FS/GS relative loads and stores using address space 256/257 are
 341   reliable now.
 342
 343 ARM: New code placement pass.
 344
 345 unnamed_addr + PR8927
 346
 347 PointerTracking has been removed from mainline, moved to ClamAV.
 348
 349 EarlyCSE pass.
 350 LoopInstSimplify pass.
 351
 352 - DIBuilder provides simpler interface for front ends like Clang to encode debug info in LLVM IR.
 353   - This interface hides implementation details (e.g. DIDerivedType, existence of compile unit etc..) that any front end should not know about.
 354   For example,
 355   Ty = DebugFactory.CreateDerivedType(DW_TAG_volatile_type,
 356   findRegion(TYPE_CONTEXT(type)),
 357   StringRef(),
 358   getOrCreateFile(main_input_filename),
 359   0 /*line no*/,
 360   NodeSizeInBits(type),
 361   NodeAlignInBits(type),
 362   0 /*offset */,
 363   0 /* flags */,
 364   MainTy);
 365   can be replaced by
 366   DbgTy = DBuilder.createQualifiedType(DW_TAG_volatile_type, MainTy);
 367
 368 PPC: Switched to MCInstPrinter, and MCCodeEmitter.  Ready to implement support
 369   for directly writing out mach-o object files, but noone seems interested.
 370
 371 ARM: Improved code generation for Cortex-A8 and Cortex-A9 CPUs.
 372
 373 Scheduler now models operand latency and pipeline forwarding.
 374
 375 error_code + libsystem + PathV2 changes
 376   The system_error header from C++0x was added.
 377   * Use if (error_code ec = function()) to check for error conditions
 378   from functions which return it.
 379   * error_code::message returns a human readable description of the error.
 380
 381   PathV1 has been deprecated in favor of PathV2 (sorry I didn't finish
 382   this before the release).
 383   * No Path class, use a r-value convertible to a twine instead.
 384   * Assumes all paths are UTF-8.
 385
 386 new macho-dump tool
 387
 388 Major regalloc rewrite, not on by default for 2.9 and not advised to use it.
 389  * New basic register allocator that can be used as a safe fallback when
 390    debugging. Enable with -regalloc=basic.
 391  * New infrastructure for live range splitting. SplitKit can break a live
 392    interval into smaller pieces while preserving SSA form, and SpillPlacement
 393    can help find the best split points. This is a work in progress so the API
 394    is changing quickly.
 395  * The inline spiller has learned to clean up after live range splitting. It
 396    can hoist spills out of loops, and it can eliminate redundant spills.
 397    Rematerialization works with live range splitting.
 398  * New greedy register allocator using live range splitting. This will be the
 399    default register allocator in the next LLVM release, but it is not turned on
 400    by default in 2.9.
 401
 402 ARM: __builtin_prefetch turns into prefetch instructions.
 403
 404 MC assembler support for 3dNow! and 3DNowA instructions.
 405
 406 tblgen support for assembler aliases: <a
 407   href="CodeGenerator.html#na_instparsing">MnemonicAlias and InstAlias</a>
 408
 409 LoopIndexSplit pass was removed, unmaintained.
 410
 411 include/llvm/System merged into include/llvm/Support.
 412
 413 Win32 PE-COFF support in the MC assembler has made a lot of progress in the 2.9
 414   timeframe, but is still not generally useful.  Please see
 415   "http://llvm.org/bugs/showdependencytree.cgi?id=9100&amp;hide_resolved=1" for open bugs?
 416
 417 New <a href="WritingAnLLVMPass.html#RegionPass">RegionPass</a> infrastructure
 418   for region-based optimizations.
 419
 420 MicroBlaze: major updates for aggressive delay slot filler, MC-based assembly
 421    printing, assembly instruction parsing, ELF .o file emission, and MC
 422    instruction disassembler.
 423
 424 Countless ARM microoptimizations.
 425
 426 Speedups to various mid-level passes:
 427   GVN is much faster on functions with deep dominator trees / lots of BBs.
 428   DomTree and DominatorFrontier are much faster to compute, and preserved by
 429     more passes (so they are computed less often)
 430   SRoA is also much faster and doesn't use DominanceFrontier.
 431
 432
 433 new 'hotpatch' attribute: LangRef.html#fnattrs
 434
 435 APInt API changes, see PR5207.
 436
 437 DSE is more aggressive with stores of different types: e.g. a large store
 438   following a small one to the same address.
 439
 440 New naming rules in coding standards: CodingStandards.html#ll_naming
 441
 442 LiveDebugVariables is a new pass that keeps track of debugging information for
 443   user variables that are kept in registers in optimized builds.
 444
 445 We now optimize various idioms for overflow detection into check of the flag
 446   register on various CPUs, e.g.:
 447    unsigned long t = a+b;
 448    if (t &lt; a) ...
 449   into:
 450         addq    %rdi, %rbx
 451         jno     LBB0_2
 452
 453 X86: Much better codegen for several cases using adc/sbb instead of cmovs for
 454   conditional increment and other idioms.
 455
 456 MVT::Flag renamed to MVT::Glue
 457
 458 Removed the PartialSpecialization pass, it was unmaintained and buggy.
 459
 460 SPARC: Many improvements, including using the Y registers for multiplications
 461   and addition of a simple delay slot filler.
 462
 463 </pre></li>
 464 </ul>
 465
 466 Still todo: [110117-110228]
 467
 468
 469 </div>
 470
 471 <!--=========================================================================-->
 472 <h2>
 473 <a name="coreimprovements">LLVM IR and Core Improvements</a>
 474 </h2>
 475
 476 <div class="doc_text">
 477 <p>LLVM IR has several new features for better support of new targets and that
 478 expose new optimization opportunities:</p>
 479
 480 <ul>
 481 </ul>
 482
 483 </div>
 484
 485 <!--=========================================================================-->
 486 <h2>
 487 <a name="optimizer">Optimizer Improvements</a>
 488 </h2>
 489
 490 <div class="doc_text">
 491
 492 <p>In addition to a large array of minor performance tweaks and bug fixes, this
 493 release includes a few major enhancements and additions to the optimizers:</p>
 494
 495 <ul>
 496   <li>TBAA.</li>
 497   <li>LTO has been improved to use MC for parsing inline asm and now
 498   can build large programs like Firefox 4 on both OS X and Linux.</li>
 499 </ul>
 500
 501 <!--
 502 <p>In addition to these features that are done in 2.8, there is preliminary
 503    support in the release for Type Based Alias Analysis
 504   Preliminary work on TBAA but not usable in 2.8.
 505   New CorrelatedValuePropagation pass, not on by default in 2.8 yet.
 506 -->
 507
 508 </div>
 509
 510 <!--=========================================================================-->
 511 <h2>
 512 <a name="mc">MC Level Improvements</a>
 513 </h2>
 514
 515 <div class="doc_text">
 516 <p>
 517 The LLVM Machine Code (aka MC) subsystem was created to solve a number
 518 of problems in the realm of assembly, disassembly, object file format handling,
 519 and a number of other related areas that CPU instruction-set level tools work
 520 in.</p>
 521
 522 <ul>
 523   <li>MC is now used by default for ELF systems on x86 and
 524   x86-64.</li>
 525   <li>MC supports and CodeGen uses the <tt>.loc</tt> directives for
 526   producing line number debug info. This produces more compact line
 527   tables.</li>
 528   <li>MC supports the <tt>.cfi_*</tt> directives for producing DWARF
 529   frame information, but it is still not used by CodeGen by default.</li>
 530   <li>COFF support?</li>
 531 </ul>
 532
 533 <p>For more information, please see the <a
 534 href="http://blog.llvm.org/2010/04/intro-to-llvm-mc-project.html">Intro to the
 535 LLVM MC Project Blog Post</a>.
 536 </p>
 537
 538 </div>
 539
 540 <!--=========================================================================-->
 541 <h2>
 542 <a name="codegen">Target Independent Code Generator Improvements</a>
 543 </h2>
 544
 545 <div class="doc_text">
 546
 547 <p>We have put a significant amount of work into the code generator
 548 infrastructure, which allows us to implement more aggressive algorithms and make
 549 it run faster:</p>
 550
 551 <ul>
 552 <!-- SplitKit -->
 553 FastISel for ARM.
 554 </ul>
 555 </div>
 556
 557 <!--=========================================================================-->
 558 <h2>
 559 <a name="x86">X86-32 and X86-64 Target Improvements</a>
 560 </h2>
 561
 562 <div class="doc_text">
 563 <p>New features and major changes in the X86 target include:
 564 </p>
 565
 566 <ul>
 567   <li>Several bugs have been fixed for Windows x64 code generator.</li>
 568 </ul>
 569
 570 </div>
 571
 572 <!--=========================================================================-->
 573 <h2>
 574 <a name="ARM">ARM Target Improvements</a>
 575 </h2>
 576
 577 <div class="doc_text">
 578 <p>New features of the ARM target include:
 579 </p>
 580
 581 <ul>
 582 </ul>
 583 </div>
 584
 585
 586 <!--=========================================================================-->
 587 <h2>
 588 <a name="changes">Major Changes and Removed Features</a>
 589 </h2>
 590
 591 <div class="doc_text">
 592
 593 <p>If you're already an LLVM user or developer with out-of-tree changes based
 594 on LLVM 2.8, this section lists some "gotchas" that you may run into upgrading
 595 from the previous release.</p>
 596
 597 <ul>
 598 </ul>
 599
 600
 601
 602 <p>In addition, many APIs have changed in this release.  Some of the major LLVM
 603 API changes are:</p>
 604 <ul>
 605 </ul>
 606
 607 </div>
 608
 609 <!--=========================================================================-->
 610 <h2>
 611 <a name="devtree_changes">Development Infrastructure Changes</a>
 612 </h2>
 613
 614 <div class="doc_text">
 615
 616 <p>This section lists changes to the LLVM development infrastructure. This
 617 mostly impacts users who actively work on LLVM or follow development on
 618 mainline, but may also impact users who leverage the LLVM build infrastructure
 619 or are interested in LLVM qualification.</p>
 620
 621 <ul>
 622 </ul>
 623 </div>
 624
 625 <!-- *********************************************************************** -->
 626 <h1>
 627   <a name="knownproblems">Known Problems</a>
 628 </h1>
 629 <!-- *********************************************************************** -->
 630
 631 <div class="doc_text">
 632
 633 <p>This section contains significant known problems with the LLVM system,
 634 listed by component.  If you run into a problem, please check the <a
 635 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
 636 there isn't already one.</p>
 637
 638 </div>
 639
 640 <!-- ======================================================================= -->
 641 <h2>
 642   <a name="experimental">Experimental features included with this release</a>
 643 </h2>
 644
 645 <div class="doc_text">
 646
 647 <p>The following components of this LLVM release are either untested, known to
 648 be broken or unreliable, or are in early development.  These components should
 649 not be relied on, and bugs should not be filed against them, but they may be
 650 useful to some people.  In particular, if you would like to work on one of these
 651 components, please contact us on the <a
 652 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev list</a>.</p>
 653
 654 <ul>
 655 <li>The Alpha, Blackfin, CellSPU, MicroBlaze, MSP430, MIPS, PTX, SystemZ
 656     and XCore backends are experimental.</li>
 657 <li><tt>llc</tt> "<tt>-filetype=obj</tt>" is experimental on all targets
 658     other than darwin-i386 and darwin-x86_64. FIXME: Not true on ELF anymore?</li>
 659
 660 </ul>
 661
 662 </div>
 663
 664 <!-- ======================================================================= -->
 665 <h2>
 666   <a name="x86-be">Known problems with the X86 back-end</a>
 667 </h2>
 668
 669 <div class="doc_text">
 670
 671 <ul>
 672   <li>The X86 backend does not yet support
 673     all <a href="http://llvm.org/PR879">inline assembly that uses the X86
 674     floating point stack</a>.  It supports the 'f' and 't' constraints, but not
 675     'u'.</li>
 676   <li>The X86-64 backend does not yet support the LLVM IR instruction
 677       <tt>va_arg</tt>. Currently, front-ends support variadic
 678       argument constructs on X86-64 by lowering them manually.</li>
 679   <li>Windows x64 (aka Win64) code generator has a few issues.
 680     <ul>
 681       <li>llvm-gcc cannot build the mingw-w64 runtime currently
 682        due to lack of support for the 'u' inline assembly
 683        constraint and for X87 floating point inline assembly.</li>
 684       <li>On mingw-w64, you will see unresolved symbol <tt>__chkstk</tt>
 685        due to <a href="http://llvm.org/bugs/show_bug.cgi?id=8919">Bug 8919</a>.
 686        It is fixed in <a href="http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110321/118499.html">r128206</a>.</li>
 687       <li>Miss-aligned MOVDQA might crash your program. It is due to
 688        <a href="http://llvm.org/bugs/show_bug.cgi?id=9483">Bug 9483</a>,
 689        lack of handling aligned internal globals.</li>
 690       </ul>
 691   </li>
 692
 693 </ul>
 694
 695 </div>
 696
 697 <!-- ======================================================================= -->
 698 <h2>
 699   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 700 </h2>
 701
 702 <div class="doc_text">
 703
 704 <ul>
 705 <li>The Linux PPC32/ABI support needs testing for the interpreter and static
 706 compilation, and lacks support for debug information.</li>
 707 </ul>
 708
 709 </div>
 710
 711 <!-- ======================================================================= -->
 712 <h2>
 713   <a name="arm-be">Known problems with the ARM back-end</a>
 714 </h2>
 715
 716 <div class="doc_text">
 717
 718 <ul>
 719 <li>Thumb mode works only on ARMv6 or higher processors. On sub-ARMv6
 720 processors, thumb programs can crash or produce wrong
 721 results (<a href="http://llvm.org/PR1388">PR1388</a>).</li>
 722 <li>Compilation for ARM Linux OABI (old ABI) is supported but not fully tested.
 723 </li>
 724 </ul>
 725
 726 </div>
 727
 728 <!-- ======================================================================= -->
 729 <h2>
 730   <a name="sparc-be">Known problems with the SPARC back-end</a>
 731 </h2>
 732
 733 <div class="doc_text">
 734
 735 <ul>
 736 <li>The SPARC backend only supports the 32-bit SPARC ABI (-m32); it does not
 737     support the 64-bit SPARC ABI (-m64).</li>
 738 </ul>
 739
 740 </div>
 741
 742 <!-- ======================================================================= -->
 743 <h2>
 744   <a name="mips-be">Known problems with the MIPS back-end</a>
 745 </h2>
 746
 747 <div class="doc_text">
 748
 749 <ul>
 750 <li>64-bit MIPS targets are not supported yet.</li>
 751 </ul>
 752
 753 </div>
 754
 755 <!-- ======================================================================= -->
 756 <h2>
 757   <a name="alpha-be">Known problems with the Alpha back-end</a>
 758 </h2>
 759
 760 <div class="doc_text">
 761
 762 <ul>
 763
 764 <li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
 765 appropriate nops inserted to ensure restartability.</li>
 766
 767 </ul>
 768 </div>
 769
 770 <!-- ======================================================================= -->
 771 <h2>
 772   <a name="c-be">Known problems with the C back-end</a>
 773 </h2>
 774
 775 <div class="doc_text">
 776
 777 <p>The C backend has numerous problems and is not being actively maintained.
 778 Depending on it for anything serious is not advised.</p>
 779
 780 <ul>
 781 <li><a href="http://llvm.org/PR802">The C backend has only basic support for
 782     inline assembly code</a>.</li>
 783 <li><a href="http://llvm.org/PR1658">The C backend violates the ABI of common
 784     C++ programs</a>, preventing intermixing between C++ compiled by the CBE and
 785     C++ code compiled with <tt>llc</tt> or native compilers.</li>
 786 <li>The C backend does not support all exception handling constructs.</li>
 787 <li>The C backend does not support arbitrary precision integers.</li>
 788 </ul>
 789
 790 </div>
 791
 792
 793 <!-- ======================================================================= -->
 794 <h2>
 795   <a name="llvm-gcc">Known problems with the llvm-gcc front-end</a>
 796 </h2>
 797
 798 <div class="doc_text">
 799
 800 <p>llvm-gcc is generally very stable for the C family of languages.  The only
 801    major language feature of GCC not supported by llvm-gcc is the
 802    <tt>__builtin_apply</tt> family of builtins.   However, some extensions
 803    are only supported on some targets.  For example, trampolines are only
 804    supported on some targets (these are used when you take the address of a
 805    nested function).</p>
 806
 807 <p>Fortran support generally works, but there are still several unresolved bugs
 808    in <a href="http://llvm.org/bugs/">Bugzilla</a>.  Please see the
 809    tools/gfortran component for details.  Note that llvm-gcc is missing major
 810    Fortran performance work in the frontend and library that went into GCC after
 811    4.2.  If you are interested in Fortran, we recommend that you consider using
 812    <a href="#dragonegg">dragonegg</a> instead.</p>
 813
 814 <p>The llvm-gcc 4.2 Ada compiler has basic functionality, but is no longer being
 815 actively maintained.  If you are interested in Ada, we recommend that you
 816 consider using <a href="#dragonegg">dragonegg</a> instead.</p>
 817 </div>
 818
 819 <!-- *********************************************************************** -->
 820 <h1>
 821   <a name="additionalinfo">Additional Information</a>
 822 </h1>
 823 <!-- *********************************************************************** -->
 824
 825 <div class="doc_text">
 826
 827 <p>A wide variety of additional information is available on the <a
 828 href="http://llvm.org">LLVM web page</a>, in particular in the <a
 829 href="http://llvm.org/docs/">documentation</a> section.  The web page also
 830 contains versions of the API documentation which is up-to-date with the
 831 Subversion version of the source code.
 832 You can access versions of these documents specific to this release by going
 833 into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 834
 835 <p>If you have any questions or comments about LLVM, please feel free to contact
 836 us via the <a href="http://llvm.org/docs/#maillist"> mailing
 837 lists</a>.</p>
 838
 839 </div>
 840
 841 <!-- *********************************************************************** -->
 842
 843 <hr>
 844 <address>
 845   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 846   src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"></a>
 847   <a href="http://validator.w3.org/check/referer"><img
 848   src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
 849
 850   <a href="http://llvm.org/">LLVM Compiler Infrastructure</a><br>
 851   Last modified: $Date$
 852 </address>
 853
 854 </body>
 855 </html>