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.0 Release Notes</title>
   8 </head>
   9 <body>
  10
  11 <div class="doc_title">LLVM 2.0 Release Notes</div>
  12
  13 <ol>
  14   <li><a href="#intro">Introduction</a></li>
  15   <li><a href="#whatsnew">What's New?</a></li>
  16   <li><a href="GettingStarted.html">Installation Instructions</a></li>
  17   <li><a href="#portability">Portability and Supported Platforms</a></li>
  18   <li><a href="#knownproblems">Known Problems</a>
  19   <li><a href="#additionalinfo">Additional Information</a></li>
  20 </ol>
  21
  22 <div class="doc_author">
  23   <p>Written by the <a href="http://llvm.org">LLVM Team</a><p>
  24 </div>
  25
  26 <!-- *********************************************************************** -->
  27 <div class="doc_section">
  28   <a name="intro">Introduction</a>
  29 </div>
  30 <!-- *********************************************************************** -->
  31
  32 <div class="doc_text">
  33
  34 <p>This document contains the release notes for the LLVM compiler
  35 infrastructure, release 2.0.  Here we describe the status of LLVM, including any
  36 known problems and major improvements from the previous release.  All LLVM
  37 releases may be downloaded from the <a href="http://llvm.org/releases/">LLVM
  38 releases web site</a>.
  39
  40 <p>For more information about LLVM, including information about the latest
  41 release, please check out the <a href="http://llvm.org/">main LLVM
  42 web site</a>.  If you have questions or comments, the <a
  43 href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM developer's mailing
  44 list</a> is a good place to send them.</p>
  45
  46 <p>Note that if you are reading this file from CVS or the main LLVM web page,
  47 this document applies to the <i>next</i> release, not the current one.  To see
  48 the release notes for the current or previous releases, see the <a
  49 href="http://llvm.org/releases/">releases page</a>.</p>
  50
  51 </div>
  52
  53 <!-- *********************************************************************** -->
  54 <div class="doc_section">
  55   <a name="whatsnew">What's New?</a>
  56 </div>
  57 <!-- *********************************************************************** -->
  58
  59 <div class="doc_text">
  60
  61 <p>This is the eleventh public release of the LLVM Compiler Infrastructure.
  62 Being the first major release since 1.0, this release is different in several
  63 ways from our previous releases:</p>
  64
  65 <ol>
  66 <li>We took this as an opportunity to
  67 break backwards compatibility with the LLVM 1.x bytecode and .ll file format.
  68 If you have LLVM 1.9 .ll files that you would like to upgrade to LLVM 2.x, we
  69 recommend the use of the stand alone <a href="#llvm-upgrade">llvm-upgrade</a>
  70 tool (which is included with 2.0).  We intend to keep compatibility with .ll
  71 and .bc formats within the 2.x release series, like we did within the 1.x
  72 series.</li>
  73 <li>There are several significant change to the LLVM IR and internal APIs, such
  74     as a major overhaul of the type system, the completely new bitcode file
  75     format, etc.</li>
  76 <li>We designed the release around a 6 month release cycle instead of the usual
  77     3-month cycle.  This gave us extra time to develop and test some of the
  78     more invasive features in this release.</li>
  79 <li>LLVM 2.0 no longer supports the llvm-gcc3 front-end.</li>
  80 </ol>
  81
  82 <p>Note that while this is a major version bump, this release has been
  83    extensively tested on a wide range of software.  It is easy to say that this
  84    is our best release yet, in terms of both features and correctness.</p>
  85
  86 </div>
  87
  88 <!--=========================================================================-->
  89 <div class="doc_subsection">
  90 <a name="newfeatures">New Features in LLVM 2.0</a>
  91 </div>
  92
  93 <!--_________________________________________________________________________-->
  94 <div class="doc_subsubsection"><a name="majorchanges">Major Changes</a></div>
  95 <div class="doc_text">
  96 <p>blah
  97 </p>
  98
  99 <ul>
 100
 101 <li>llvm-gcc3 is now officially unsupported.  Users are required to
 102     upgrade to llvm-gcc4.  llvm-gcc4 includes many features over
 103     llvm-gcc3, is faster, and is much easier to build.</li>
 104
 105 <li>Integer types are now completely signless. This means that we
 106     have types like i8/i16/i32 instead of ubyte/sbyte/short/ushort/int
 107     etc. LLVM operations that depend on sign have been split up into
 108     separate instructions (<a href="http://llvm.org/PR950">PR950</a>).</li>
 109
 110 <li>Arbitrary bitwidth integers (e.g. i13, i36, i42, etc) are now
 111     supported in the LLVM IR and optimizations. However, neither llvm-gcc nor
 112     the native code generators support non-standard width integers
 113     (<a href="http://llvm.org/PR1043">PR1043</a>).</li>
 114
 115 <li>'type planes' have been removed (<a href="http://llvm.org/PR411">PR411</a>).
 116     It is no longer possible to have two values with the same name in the
 117     same symbol table.  This simplifies LLVM internals, allowing significant
 118     speedups.</li>
 119
 120 <li>Global variables and functions in .ll files are now prefixed with
 121     @ instead of % (<a href="http://llvm.org/PR645">PR645</a>).</li>
 122
 123 <li>The LLVM 1.x "bytecode" format has been replaced with a
 124     completely new binary representation, named 'bitcode'.  Because we
 125     plan to maintain binary compatibility between LLVM 2.x ".bc" files,
 126     this is an important change to get right.  Bitcode brings a number of
 127     advantages to the LLVM over the old bytecode format.  It is denser
 128     (files are smaller), more extensible, requires less memory to read,
 129     is easier to keep backwards compatible (so LLVM 2.5 will read 2.0 .bc
 130     files), and has many other nice features.</li>
 131
 132 <li>Support was added for alignment values on load and store
 133     instructions (<a href="http://www.llvm.org/PR400">PR400</a>).  This
 134     allows the IR to express loads that are not
 135     sufficiently aligned (e.g. due to pragma packed) or to capture extra
 136     alignment information. </li>
 137
 138 <li>LLVM now has a new MSIL backend. llc - march=msil will now turn LLVM
 139     into MSIL (".net") bytecode.  This is still fairly early development
 140     with a number of limitations.</li>
 141
 142 <li>Support has been added for 'protected visibility' in ELF.</li>
 143
 144 <li>Thread Local Storage with the __thread keyword was implemented along
 145     with added codegen support for Linux on X86 and ARM.</li>
 146
 147 <li>ELF symbol aliases supported has been added.</li>
 148
 149 <li>Added support for 'polymorphic intrinsics', allowing things like
 150     llvm.ctpop to work on arbitrary width integers.</li>
 151
 152 </ul>
 153
 154 </div>
 155
 156
 157 <!--_________________________________________________________________________-->
 158 <div class="doc_subsubsection"><a name="llvmgccfeatures">llvm-gcc
 159 Improvements</a></div>
 160 <div class="doc_text">
 161 <p>New features include:
 162 </p>
 163
 164 <ul>
 165 <li>Precompiled Headers (PCH) support has been implemented.</li>
 166
 167 <li>Support for external weak linkage and hidden visibility has been added.</li>
 168
 169 <li>Packed structure types are now supported , which allows LLVM to express
 170     unaligned data more naturally.</li>
 171
 172 <li>Inline assembly support has been improved and many bugs were fixed.
 173     The two large missing features are support for 80-bit floating point stack
 174     registers on X86 (<a href="http://llvm.org/PR879">PR879</a>), and support for inline asm in the C backend (<a href="http://llvm.org/PR802">PR802</a>).</li>
 175
 176 <li>Ada support, such as nested functions, has been improved.</li>
 177
 178 <li>Tracking function parameter/result attributes is now possible.</li>
 179
 180 <li>Its is now easier to configure llvm-gcc for linux.</li>
 181
 182 <li>Many enhancements have been added, such as improvements to NON_LVALUE_EXPR,
 183     arrays with non-zero base, structs with variable sized fields,
 184     VIEW_CONVERT_EXPR, CEIL_DIV_EXPR, and many other things.</li>
 185
 186 <li>Improved "attribute packed" support in the CFE, and handle many
 187     other obscure struct layout cases correctly.</li>
 188
 189 </ul>
 190
 191 </div>
 192
 193 <!--_________________________________________________________________________-->
 194 <div class="doc_subsubsection"><a name="optimizer">Optimizer
 195 Improvements</a></div>
 196 <div class="doc_text">
 197 <p>New features include:
 198 </p>
 199
 200 <ul>
 201 <li>The pass manager has been entirely rewritten, making it significantly
 202     smaller, simpler, and more extensible. Support has been added to run
 203     FunctionPasses interlaced with CallGraphSCCPasses.</li>
 204
 205 <li>The -scalarrepl pass can now promote unions containing FP values into
 206     a register, it can also handle unions of vectors of the same size.</li>
 207
 208 <li>The predicate simplifier pass has been improved, making it able to do
 209     simple value range propagation and eliminate more conditionals.</li>
 210
 211 <li>There is a new new LoopPass class. The passmanager has been
 212     modified to support it, and all existing loop xforms have been
 213     converted to use it. </li>
 214
 215 <li>There is a new loop rotation pass, which converts "for loops" into
 216     "do/while loops", where the condition is at the bottom of the loop.</li>
 217
 218 <li>ModulePasses may now use the result of FunctionPasses.</li>
 219
 220 <li>The [Post]DominatorSet classes have been removed from LLVM and clients switched to use the far-more-efficient ETForest class instead.  </li>
 221
 222 <li>The ImmediateDominator class has also been removed, and clients have been switched to use DominatorTree instead.</li>
 223
 224 </ul>
 225
 226 </div>
 227
 228 <!--_________________________________________________________________________-->
 229 <div class="doc_subsubsection"><a name="codegen">Code
 230 Generator Enhancements</a></div>
 231
 232 <div class="doc_text">
 233 <p>
 234 New features include:
 235 </p>
 236
 237 <ul>
 238 <li>Support for Zero-cost DWARF exception handling has been added. It is mostly
 239     complete and just in need of continued bug fixes and optimizations at
 240     this point.</li>
 241
 242 <li>Progress has been made on a direct Mach-o .o file writer. Many small
 243     apps work, but it is not quite complete yet.</li>
 244
 245 <li>Support was added for software floating point routines.</li>
 246
 247 <li>DWARF debug information generation has been improved.  LLVM now passes
 248     most of the GDB testsuite on MacOS and debug info is more dense.</li>
 249
 250 <li>A new register scavenger has been implemented, which is useful for
 251     finding free registers after register allocation.  This is useful when
 252     rewriting frame references on RISC targets, for example.</li>
 253
 254 <li>Heuristics have been added to avoid coalescing vregs with very large live
 255     ranges to physregs.</li>
 256
 257 <li>Support now exists for very simple (but still very useful)
 258     rematerialization the register allocator, enough to move
 259     instructions like "load immediate" and constant pool loads.</li>
 260
 261 <li>Significantly improved 'switch' lowering, improving codegen for
 262     sparse switches that have dense subregions, and implemented support
 263     for the shift/and trick.</li>
 264
 265 <li>The code generator now has more accurate and general hooks for
 266     describing addressing modes ("isLegalAddressingMode") to
 267     optimizations like loop strength reduction and code sinking.</li>
 268
 269 <li>The Loop Strength Reduction pass has been improved, and support added
 270     for sinking expressions across blocks to reduce register pressure.</li>
 271
 272 <li>Added support for tracking physreg sub-registers and super-registers
 273     in the code generator, as well as extensive register
 274     allocator changes to track them.</li>
 275
 276 <li>There is initial support for virtreg sub-registers
 277     (<a href="http://llvm.org/PR1350">PR1350</a>).</li>
 278
 279 </ul>
 280
 281 <p>In addition, the LLVM target description format has itself been extended in
 282  several ways:</p>
 283
 284 <ul>
 285 <li>Extended TargetData to support better target parameterization in
 286     the .ll/.bc files, eliminating the 'pointersize/endianness' attributes
 287     in the files (<a href="http://llvm.org/PR761">PR761</a>).</li>
 288
 289 <li>TargetData was generalized for finer grained alignment handling,
 290     handling of vector alignment, and handling of preferred alignment</li>
 291
 292 <li>LLVM now supports describing target calling conventions
 293     explicitly in .td files, reducing the amount of C++ code that needs
 294     to be written for a port.</li>
 295
 296 </ul>
 297
 298 </div>
 299
 300 <!--_________________________________________________________________________-->
 301 <div class="doc_subsubsection"><a name="specifictargets">Target-Specific
 302 Improvements</a></div>
 303
 304 <div class="doc_text">
 305
 306 <p>X86-Specific Code Generator Enhancements:
 307 </p>
 308
 309 <ul>
 310 <li>The scheduler was improved to better reduce register pressure on
 311     X86 and other targets that are register pressure sensitive</li>
 312 <li>Linux/x86-64 support has been improved.</li>
 313 <li>PIC support for linux/x86 has been added.</li>
 314 <li>Support now exists for the GCC regparm attribute, and code in the X86
 315     backend to respect it.</li>
 316 <li>Various improvements have been made for the X86-64 JIT, allowing it to
 317     generate code in the large code model</li>
 318 <li>LLVM now supports inline asm with multiple constraint letters per operand
 319     (like "ri") which is common in X86 inline asms.</li>
 320 <li>Early support has been added for X86 inline asm in the C backend.</li>
 321 <li>Added support for the X86 MMX instruction set.</li>
 322
 323 </ul>
 324
 325 <p>ARM-Specific Code Generator Enhancements:
 326 </p>
 327
 328 <ul>
 329 <li>Several improvements have been made to the ARM backend, including basic
 330     inline asm support, weak linkage support, static ctor/dtor support and
 331     many bug fixes.</li>
 332 <li>There are major enhancements to the ARM backend, including support for ARM
 333     v4-v6, vfp support, soft float, pre/postinc support, load/store multiple
 334     generation, constant pool entry motion (to support large functions),
 335     and enhancements to ARM constant island pass.
 336     </li>
 337 <li>Added support for Thumb code generation (an ARM subtarget).</li>
 338 <li>More aggressive size analysis for ARM inline asm strings was
 339     implemented.</li>
 340 </ul>
 341
 342 </div>
 343
 344 <p>Other Target-Specific Code Generator Enhancements:
 345 </p>
 346
 347 <ul>
 348 <li>The PowerPC 64 JIT now supports addressing code loaded above the 2G
 349      boundary.</li>
 350
 351 <li>Improved support for the Linux/ppc ABI and the linux/ppc JIT is fully
 352     functional now.  llvm-gcc and static compilation are not fully supported
 353     yet though.</li>
 354
 355 <li>Many bugs fixed for PowerPC 64.</li>
 356
 357 <li>Support was added for the ARM AAPCS and EABI ABIs and PIC codegen on
 358     arm/linux.</li>
 359
 360 <li>Several bugs in DWARF debug emission on linux and cygwin/mingw were fixed.
 361     Debugging basically works on these targets now.</li>
 362
 363 <li>Support has been added for the X86-64 large code model to the JIT,
 364     which is useful if JIT'd function bodies are more than 2G away from
 365     library functions.</li>
 366
 367 <li>Several bugs were fixed for DWARF debug info generation on arm/linux.</li>
 368
 369 </ul>
 370
 371 </div>
 372
 373
 374 <!--_________________________________________________________________________-->
 375 <div class="doc_subsubsection"><a name="other">Other Improvements</a></div>
 376 <div class="doc_text">
 377
 378 <p>This release includes many other improvements, including
 379 performance work, specifically designed to tune datastructure
 380 usage. This makes several critical components faster.</p>
 381
 382 <p>More specific changes include:</p>
 383
 384 <ul>
 385 <li>LLVM no longer relies on static destructors to shut itself down.  Instead,
 386     it lazily initializes itself and shuts down when llvm_shutdown() is
 387     explicitly called.</li>
 388
 389 <li>LLVM now has significantly fewer static constructors, reducing startup time.
 390     </li>
 391
 392 <li>Several classes have been refactored to reduce the amount of code that
 393     gets linked into apps that use the JIT.</li>
 394
 395 <li>Construction of intrinsic function declarations has been simplified.</li>
 396
 397 <li>The llvm-upgrade tool now exists. This migrates LLVM 1.9 .ll files to
 398     LLVM 2.0 syntax.</li>
 399
 400 <li>The gccas/gccld tools have been removed.</li>
 401
 402 <li>Support has been added to llvm-test for running on low-memory
 403     or slow machines (make SMALL_PROBLEM_SIZE=1).</li>
 404
 405 <li>llvm-test is now more portable and should build with MS Visual Studio.</li>
 406
 407 </ul>
 408 </div>
 409
 410 <!--_________________________________________________________________________-->
 411 <div class="doc_subsubsection"><a name="apichanges">API Changes</a></div>
 412 <div class="doc_text">
 413
 414 <p>LLVM 2.0 contains a revamp of the type system and several other significant
 415 internal changes.  If you are programming to the C++ API, be aware of the
 416 following major changes:</p>
 417
 418 <ul>
 419 <li>Pass registration is slightly different in LLVM 2.0 (you now needs an
 420    intptr_t in your constructor), as explained in the <a
 421    href="WritingAnLLVMPass.html#basiccode">Writing an LLVM Pass</a>
 422    document.</li>
 423
 424 <li><tt>ConstantBool</tt>, <tt>ConstantIntegral</tt> and <tt>ConstantInt</tt>
 425     classes have been merged together, we now just have
 426     <tt>ConstantInt</tt>.</li>
 427
 428 <li><tt>Type::IntTy</tt>, <tt>Type::UIntTy</tt>, <tt>Type::SByteTy</tt>, ... are
 429     replaced by <tt>Type::Int8Ty</tt>, <tt>Type::Int16Ty</tt>, etc.  LLVM types
 430     have always corresponded to fixed size types
 431     (e.g. long was always 64-bits), but the type system no longer includes
 432     information about the sign of the type.</li>
 433
 434 <li>Several classes (<tt>CallInst</tt>, <tt>GetElementPtrInst</tt>,
 435     <tt>ConstantArray</tt>, etc), that once took <tt>std::vector</tt> as
 436      arguments now take ranges instead.   For example, you can create a
 437     <tt>GetElementPtrInst</tt> with code like:
 438
 439     <pre>
 440       Value *Ops[] = { Op1, Op2, Op3 };
 441       GEP = new GetElementPtrInst(BasePtr, Ops, 3);
 442     </pre>
 443
 444     This avoids creation of a temporary vector (and a call to malloc/free).  If
 445     you have an std::vector, use code like this:
 446     <pre>
 447       std::vector&lt;Value*&gt; Ops = ...;
 448       GEP = new GetElementPtrInst(BasePtr, &amp;Ops[0], Ops.size());
 449     </pre>
 450
 451     </li>
 452
 453 <li>CastInst is now abstract and its functionality is split into several parts,
 454     one for each of the <a href="LangRef.html#convertops">new cast
 455     instructions</a>.</li>
 456
 457 <li><tt>Instruction::getNext()/getPrev()</tt> are now private (along with
 458     <tt>BasicBlock::getNext</tt>, etc), for efficiency reasons (they are now no
 459     longer just simple pointers).  Please use BasicBlock::iterator, etc instead.
 460 </li>
 461
 462 <li><tt>Module::getNamedFunction()</tt> is now called
 463     <tt>Module::getFunction()</tt>.</li>
 464
 465 <li><tt>SymbolTable.h</tt> has been split into <tt>ValueSymbolTable.h</tt> and
 466 <tt>TypeSymbolTable.h</tt>.</li>
 467 </ul>
 468 </div>
 469
 470
 471 <!-- *********************************************************************** -->
 472 <div class="doc_section">
 473   <a name="portability">Portability and Supported Platforms</a>
 474 </div>
 475 <!-- *********************************************************************** -->
 476
 477 <div class="doc_text">
 478
 479 <p>LLVM is known to work on the following platforms:</p>
 480
 481 <ul>
 482   <li>Intel and AMD machines running Red Hat Linux, Fedora Core and FreeBSD
 483       (and probably other unix-like systems).</li>
 484 <li>Intel and AMD machines running on Win32 using MinGW libraries (native)</li>
 485 <li>Sun UltraSPARC workstations running Solaris 8.</li>
 486 <li>Intel and AMD machines running on Win32 with the Cygwin libraries (limited
 487     support is available for native builds with Visual C++).</li>
 488 <li>PowerPC and X86-based Mac OS X systems, running 10.2 and above in 32-bit and
 489     64-bit modes.</li>
 490 <li>Alpha-based machines running Debian GNU/Linux.</li>
 491 <li>Itanium-based machines running Linux and HP-UX.</li>
 492 </ul>
 493
 494 <p>The core LLVM infrastructure uses
 495 <a href="http://www.gnu.org/software/autoconf/">GNU autoconf</a> to adapt itself
 496 to the machine and operating system on which it is built.  However, minor
 497 porting may be required to get LLVM to work on new platforms.  We welcome your
 498 portability patches and reports of successful builds or error messages.</p>
 499
 500 </div>
 501
 502 <!-- *********************************************************************** -->
 503 <div class="doc_section">
 504   <a name="knownproblems">Known Problems</a>
 505 </div>
 506 <!-- *********************************************************************** -->
 507
 508 <div class="doc_text">
 509
 510 <p>This section contains all known problems with the LLVM system, listed by
 511 component.  As new problems are discovered, they will be added to these
 512 sections.  If you run into a problem, please check the <a
 513 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
 514 there isn't already one.</p>
 515
 516 </div>
 517
 518 <!-- ======================================================================= -->
 519 <div class="doc_subsection">
 520   <a name="experimental">Experimental features included with this release</a>
 521 </div>
 522
 523 <div class="doc_text">
 524
 525 <p>The following components of this LLVM release are either untested, known to
 526 be broken or unreliable, or are in early development.  These components should
 527 not be relied on, and bugs should not be filed against them, but they may be
 528 useful to some people.  In particular, if you would like to work on one of these
 529 components, please contact us on the <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev list</a>.</p>
 530
 531 <ul>
 532 <li>The <tt>-cee</tt> pass is known to be buggy, and may be removed in in a
 533     future release.</li>
 534 <li>C++ EH support</li>
 535 <li>The IA64 code generator is experimental.</li>
 536 <li>The Alpha JIT is experimental.</li>
 537 <li>"<tt>-filetype=asm</tt>" (the default) is the only supported value for the
 538     <tt>-filetype</tt> llc option.</li>
 539 </ul>
 540
 541 </div>
 542
 543 <!-- ======================================================================= -->
 544 <div class="doc_subsection">
 545   <a name="x86-be">Known problems with the X86 back-end</a>
 546 </div>
 547
 548 <div class="doc_text">
 549
 550 <ul>
 551 <li>The X86 backend does not yet support <a href="http://llvm.org/PR879">inline
 552     assembly that uses the X86 floating point stack</a>.</li>
 553 </ul>
 554
 555 </div>
 556
 557 <!-- ======================================================================= -->
 558 <div class="doc_subsection">
 559   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 560 </div>
 561
 562 <div class="doc_text">
 563
 564 <ul>
 565 <li><a href="http://llvm.org/PR642">PowerPC backend does not correctly
 566 implement ordered FP comparisons</a>.</li>
 567 <li>The Linux PPC32/ABI support needs testing for the interpreter and static
 568 compilation, and lacks Dwarf debugging informations.
 569 </ul>
 570
 571 </div>
 572
 573 <!-- ======================================================================= -->
 574 <div class="doc_subsection">
 575   <a name="arm-be">Known problems with the ARM back-end</a>
 576 </div>
 577
 578 <div class="doc_text">
 579
 580 <ul>
 581 <li>The Thumb mode works only on ARMv6 or higher processors. On sub-ARMv6
 582 processors, any thumb program compiled with LLVM crashes or produces wrong
 583 results. (<a href="http://llvm.org/PR1388">PR1388</a>)</li>
 584 <li>Compilation for ARM Linux OABI (old ABI) is supported, but not fully tested.
 585 </li>
 586 <li>QEMU-ARM (<= 0.9.0) wrongly executes programs compiled with LLVM. A non-affected QEMU version must be used or this
 587 <a href="http://cvs.savannah.nongnu.org/viewcvs/qemu/target-arm/translate.c?root=qemu&r1=1.46&r2=1.47&makepatch=1&diff_format=h">
 588 patch</a> must be applied on QEMU.</li>
 589 </ul>
 590
 591 </div>
 592
 593 <!-- ======================================================================= -->
 594 <div class="doc_subsection">
 595   <a name="sparc-be">Known problems with the SPARC back-end</a>
 596 </div>
 597
 598 <div class="doc_text">
 599
 600 <ul>
 601 <li>The SPARC backend only supports the 32-bit SPARC ABI (-m32), it does not
 602     support the 64-bit SPARC ABI (-m64).</li>
 603 </ul>
 604
 605 </div>
 606
 607 <!-- ======================================================================= -->
 608 <div class="doc_subsection">
 609   <a name="alpha-be">Known problems with the Alpha back-end</a>
 610 </div>
 611
 612 <div class="doc_text">
 613
 614 <ul>
 615
 616 <li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
 617 appropriate nops inserted to ensure restartability.</li>
 618
 619 </ul>
 620 </div>
 621
 622 <!-- ======================================================================= -->
 623 <div class="doc_subsection">
 624   <a name="ia64-be">Known problems with the IA64 back-end</a>
 625 </div>
 626
 627 <div class="doc_text">
 628
 629 <ul>
 630
 631 <li>C++ programs are likely to fail on IA64, as calls to <tt>setjmp</tt> are
 632 made where the argument is not 16-byte aligned, as required on IA64. (Strictly
 633 speaking this is not a bug in the IA64 back-end; it will also be encountered
 634 when building C++ programs using the C back-end.)</li>
 635
 636 <li>The C++ front-end does not use <a href="http://llvm.org/PR406">IA64
 637 ABI compliant layout of v-tables</a>.  In particular, it just stores function
 638 pointers instead of function descriptors in the vtable.  This bug prevents
 639 mixing C++ code compiled with LLVM with C++ objects compiled by other C++
 640 compilers.</li>
 641
 642 <li>There are a few ABI violations which will lead to problems when mixing LLVM
 643 output with code built with other compilers, particularly for floating-point
 644 programs.</li>
 645
 646 <li>Defining vararg functions is not supported (but calling them is ok).</li>
 647
 648 <li>The Itanium backend has bitrotted somewhat.</li>
 649 </ul>
 650
 651 </div>
 652
 653 <!-- ======================================================================= -->
 654 <div class="doc_subsection">
 655   <a name="c-be">Known problems with the C back-end</a>
 656 </div>
 657
 658 <div class="doc_text">
 659
 660 <ul>
 661 <li><a href="http://llvm.org/PR802">The C backend does not support inline
 662     assembly code</a>.</li>
 663 </ul>
 664
 665 </div>
 666
 667
 668 <!-- ======================================================================= -->
 669 <div class="doc_subsection">
 670   <a name="c-fe">Known problems with the C front-end</a>
 671 </div>
 672
 673 <!-- _______________________________________________________________________ -->
 674 <div class="doc_subsubsection">Bugs</div>
 675
 676 <div class="doc_text">
 677
 678 <p>llvm-gcc4 does not currently support <a href="http://llvm.org/PR869">Link-Time
 679 Optimization</a> on most platforms "out-of-the-box".  Please inquire on the
 680 llvmdev mailing list if you are interested.</p>
 681
 682 </div>
 683
 684 <!-- _______________________________________________________________________ -->
 685 <div class="doc_subsubsection">
 686   Notes
 687 </div>
 688
 689 <div class="doc_text">
 690 <ul>
 691
 692 <li><p>"long double" is silently transformed by the front-end into "double".  There
 693 is no support for floating point data types of any size other than 32 and 64
 694 bits.</p></li>
 695
 696 <li><p>llvm-gcc does <b>not</b> support <tt>__builtin_apply</tt> yet.
 697   See <a href="http://gcc.gnu.org/onlinedocs/gcc/Constructing-Calls.html#Constructing%20Calls">Constructing Calls</a>: Dispatching a call to another function.</p>
 698 </li>
 699
 700 <li><p>llvm-gcc <b>partially</b> supports tthese GCC extensions:</p>
 701   <ol>
 702   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html#Nested%20Functions">Nested Functions</a>: As in Algol and Pascal, lexical scoping of functions.<br>
 703       Nested functions are supported, but llvm-gcc does not support non-local
 704       gotos or taking the address of a nested function.</li>
 705
 706   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#Function%20Attributes">Function Attributes</a>:
 707
 708       Declaring that functions have no side effects or that they can never
 709       return.<br>
 710
 711       <b>Supported:</b> <tt>alias</tt>, <tt>always_inline</tt>, <tt>cdecl</tt>,
 712       <tt>constructor</tt>, <tt>destructor</tt>,
 713       <tt>deprecated</tt>, <tt>fastcall</tt>, <tt>format</tt>,
 714       <tt>format_arg</tt>, <tt>non_null</tt>, <tt>noreturn</tt>, <tt>regparm</tt>
 715       <tt>section</tt>, <tt>stdcall</tt>, <tt>unused</tt>, <tt>used</tt>,
 716       <tt>visibility</tt>, <tt>warn_unused_result</tt>, <tt>weak</tt><br>
 717
 718       <b>Ignored:</b> <tt>noinline</tt>, <tt>pure</tt>, <tt>const</tt>, <tt>nothrow</tt>,
 719       <tt>malloc</tt>, <tt>no_instrument_function</tt></li>
 720   </ol>
 721 </li>
 722
 723 <li><p>llvm-gcc supports the vast majority of GCC extensions, including:</p>
 724
 725   <ol>
 726   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Pragmas.html#Pragmas">Pragmas</a>: Pragmas accepted by GCC.</li>
 727   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Local-Labels.html#Local%20Labels">Local Labels</a>: Labels local to a block.</li>
 728   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html#Other%20Builtins">Other Builtins</a>:
 729       Other built-in functions.</li>
 730   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html#Variable%20Attributes">Variable Attributes</a>:
 731       Specifying attributes of variables.</li>
 732   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html#Type%20Attributes">Type Attributes</a>:   Specifying attributes of types.</li>
 733   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Thread_002dLocal.html">Thread-Local</a>: Per-thread variables.</li>
 734   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html#Variable%20Length">Variable Length</a>:
 735       Arrays whose length is computed at run time.</li>
 736   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html#Labels%20as%20Values">Labels as Values</a>: Getting pointers to labels and computed gotos.</li>
 737   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html#Statement%20Exprs">Statement Exprs</a>:   Putting statements and declarations inside expressions.</li>
 738   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Typeof.html#Typeof">Typeof</a>: <code>typeof</code>: referring to the type of an expression.</li>
 739   <li><a href="http://gcc.gnu.org/onlinedocs/gcc-3.4.0/gcc/Lvalues.html#Lvalues">Lvalues</a>: Using <code>?:</code>, "<code>,</code>" and casts in lvalues.</li>
 740   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Conditionals.html#Conditionals">Conditionals</a>: Omitting the middle operand of a <code>?:</code> expression.</li>
 741   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Long-Long.html#Long%20Long">Long Long</a>: Double-word integers.</li>
 742   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Complex.html#Complex">Complex</a>:   Data types for complex numbers.</li>
 743   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Hex-Floats.html#Hex%20Floats">Hex Floats</a>:Hexadecimal floating-point constants.</li>
 744   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html#Zero%20Length">Zero Length</a>: Zero-length arrays.</li>
 745   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Empty-Structures.html#Empty%20Structures">Empty Structures</a>: Structures with no members.</li>
 746   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variadic-Macros.html#Variadic%20Macros">Variadic Macros</a>: Macros with a variable number of arguments.</li>
 747   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Escaped-Newlines.html#Escaped%20Newlines">Escaped Newlines</a>:  Slightly looser rules for escaped newlines.</li>
 748   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html#Extended%20Asm">Extended Asm</a>: Assembler instructions with C expressions as operands.</li>
 749   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Constraints.html#Constraints">Constraints</a>: Constraints for asm operands.</li>
 750   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Asm-Labels.html#Asm%20Labels">Asm Labels</a>: Specifying the assembler name to use for a C symbol.</li>
 751   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Explicit-Reg-Vars.html#Explicit%20Reg%20Vars">Explicit Reg Vars</a>: Defining variables residing in specified registers.</li>
 752   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html#Vector%20Extensions">Vector Extensions</a>: Using vector instructions through built-in functions.</li>
 753   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Target-Builtins.html#Target%20Builtins">Target Builtins</a>:   Built-in functions specific to particular targets.</li>
 754   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Subscripting.html#Subscripting">Subscripting</a>: Any array can be subscripted, even if not an lvalue.</li>
 755   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Pointer-Arith.html#Pointer%20Arith">Pointer Arith</a>: Arithmetic on <code>void</code>-pointers and function pointers.</li>
 756   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Initializers.html#Initializers">Initializers</a>: Non-constant initializers.</li>
 757   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Compound-Literals.html#Compound%20Literals">Compound Literals</a>: Compound literals give structures, unions,
 758 or arrays as values.</li>
 759   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html#Designated%20Inits">Designated Inits</a>: Labeling elements of initializers.</li>
 760   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Cast-to-Union.html#Cast%20to%20Union">Cast to Union</a>: Casting to union type from any member of the union.</li>
 761   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html#Case%20Ranges">Case Ranges</a>: `case 1 ... 9' and such.</li>
 762   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Mixed-Declarations.html#Mixed%20Declarations">Mixed Declarations</a>: Mixing declarations and code.</li>
 763   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Prototypes.html#Function%20Prototypes">Function Prototypes</a>: Prototype declarations and old-style definitions.</li>
 764   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Comments.html#C_002b_002b-Comments">C++ Comments</a>: C++ comments are recognized.</li>
 765   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Dollar-Signs.html#Dollar%20Signs">Dollar Signs</a>: Dollar sign is allowed in identifiers.</li>
 766   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Character-Escapes.html#Character%20Escapes">Character Escapes</a>: <code>\e</code> stands for the character &lt;ESC&gt;.</li>
 767   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Alignment.html#Alignment">Alignment</a>: Inquiring about the alignment of a type or variable.</li>
 768   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Inline.html#Inline">Inline</a>: Defining inline functions (as fast as macros).</li>
 769   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Alternate-Keywords.html#Alternate%20Keywords">Alternate Keywords</a>:<code>__const__</code>, <code>__asm__</code>, etc., for header files.</li>
 770   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Incomplete-Enums.html#Incomplete%20Enums">Incomplete Enums</a>:  <code>enum foo;</code>, with details to follow.</li>
 771   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Names.html#Function%20Names">Function Names</a>: Printable strings which are the name of the current function.</li>
 772   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Return-Address.html#Return%20Address">Return Address</a>: Getting the return or frame address of a function.</li>
 773   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Unnamed-Fields.html#Unnamed%20Fields">Unnamed Fields</a>: Unnamed struct/union fields within structs/unions.</li>
 774   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html#Attribute%20Syntax">Attribute Syntax</a>: Formal syntax for attributes.</li>
 775   </ol></li>
 776
 777 </ul>
 778
 779 <p>If you run into GCC extensions which have not been included in any of these
 780 lists, please let us know (also including whether or not they work).</p>
 781
 782 </div>
 783
 784 <!-- ======================================================================= -->
 785 <div class="doc_subsection">
 786   <a name="c++-fe">Known problems with the C++ front-end</a>
 787 </div>
 788
 789 <div class="doc_text">
 790
 791 <p>The C++ front-end is considered to be fully
 792 tested and works for a number of non-trivial programs, including LLVM
 793 itself, Qt, Mozilla, etc.</p>
 794
 795 <ul>
 796 <li>llvm-gcc4 only has partial support for <a href="http://llvm.org/PR870">C++
 797 Exception Handling</a>, and it is not enabled by default.</li>
 798
 799 <!-- NO EH Support!
 800
 801 <li>Destructors for local objects are not always run when a <tt>longjmp</tt> is
 802     performed. In particular, destructors for objects in the <tt>longjmp</tt>ing
 803     function and in the <tt>setjmp</tt> receiver function may not be run.
 804     Objects in intervening stack frames will be destroyed, however (which is
 805     better than most compilers).</li>
 806
 807 <li>The LLVM C++ front-end follows the <a
 808     href="http://www.codesourcery.com/cxx-abi">Itanium C++ ABI</a>.
 809     This document, which is not Itanium specific, specifies a standard for name
 810     mangling, class layout, v-table layout, RTTI formats, and other C++
 811     representation issues.  Because we use this API, code generated by the LLVM
 812     compilers should be binary compatible with machine code generated by other
 813     Itanium ABI C++ compilers (such as G++, the Intel and HP compilers, etc).
 814     <i>However</i>, the exception handling mechanism used by llvm-gcc3 is very
 815     different from the model used in the Itanium ABI, so <b>exceptions will not
 816     interact correctly</b>. </li>
 817 -->
 818 </ul>
 819
 820 </div>
 821
 822
 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>, including <a
 834 href="http://llvm.org/docs/">documentation</a> and <a
 835 href="http://llvm.org/pubs/">publications describing algorithms and
 836 components implemented in LLVM</a>.  The web page also contains versions of the
 837 API documentation which is up-to-date with the CVS version of the source code.
 838 You can access versions of these documents specific to this release by going
 839 into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 840
 841 <p>If you have any questions or comments about LLVM, please feel free to contact
 842 us via the <a href="http://llvm.org/docs/#maillist"> mailing
 843 lists</a>.</p>
 844
 845 </div>
 846
 847 <!-- *********************************************************************** -->
 848
 849 <hr>
 850 <address>
 851   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 852   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
 853   <a href="http://validator.w3.org/check/referer"><img
 854   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
 855
 856   <a href="http://llvm.org/">The LLVM Compiler Infrastructure</a><br>
 857   Last modified: $Date$
 858 </address>
 859
 860 </body>
 861 </html>