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 1.5 Release Notes</title>
   8 </head>
   9 <body>
  10
  11 <div class="doc_title">LLVM 1.5 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.cs.uiuc.edu">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 1.5.  Here we describe the status of LLVM, including any
  36 known problems and improvements from the previous release.  The most up-to-date
  37 version of this document can be found on the <a
  38 href="http://llvm.cs.uiuc.edu/releases/1.5/">LLVM 1.5 web site</a>.  If you are
  39 not reading this on the LLVM web pages, you should probably go there because
  40 this document may be updated after the release.</p>
  41
  42 <p>For more information about LLVM, including information about the latest
  43 release, please check out the <a href="http://llvm.cs.uiuc.edu">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 CVS or the main LLVM web page,
  49 this document applies to the <i>next</i> release, not the current one.  To see
  50 the release notes for the current or previous releases, see the <a
  51 href="http://llvm.cs.uiuc.edu/releases/">releases page</a>.</p>
  52
  53 </div>
  54
  55 <!-- *********************************************************************** -->
  56 <div class="doc_section">
  57   <a name="whatsnew">What's New?</a>
  58 </div>
  59 <!-- *********************************************************************** -->
  60
  61 <div class="doc_text">
  62
  63 <p>This is the sixth public release of the LLVM compiler infrastructure.</p>
  64
  65 <p> At this time, LLVM is known to correctly compile a broad range of C and
  66 C++ programs, including the SPEC CPU95 &amp; 2000 suite. TODO.  It also includes
  67 bug fixes for those problems found since the 1.4 release.</p>
  68
  69 </div>
  70
  71 <!--=========================================================================-->
  72 <div class="doc_subsubsection">
  73 <a name="newfeatures">This release implements the following new features:</a>
  74 </div>
  75
  76 <div class="doc_text">
  77 <ol>
  78   <li>LLVM now includes an <a href="http://llvm.cs.uiuc.edu/PR415">
  79       Interprocedural Sparse Conditional Constant Propagation</a> pass, named
  80      -ipsccp, which is run by default at link-time.</li>
  81   <li>LLVM 1.5 is now about 15% faster than LLVM 1.4 and its core data structures
  82       use about 30% less memory.</li>
  83   <li>LLVM includes new experimental native code generators for SparcV8 and
  84       Alpha.</li>
  85   <li>Support for Microsoft Visual Studio is improved, and <a
  86       href="GettingStartedVS.html">now documented</a>.</li>
  87 </ol>
  88
  89 </div>
  90
  91
  92 <!--=========================================================================-->
  93 <div class="doc_subsubsection">
  94 In this release, the following missing features were implemented:
  95 </div>
  96
  97 <div class="doc_text">
  98
  99 <ol>
 100    <li>LLVM can now create native shared libraries with '<tt>llvm-gcc ...
 101        -shared -Wl,-native</tt>' (or with <tt>-Wl,-native-cbe</tt>).</li>
 102    <li>LLVM now supports a new "<a href="LangRef.html#i_prefetch">llvm.prefetch
 103        </a>" intrinsic, and llvm-gcc now supports __builtin_prefetch.
 104 </ol>
 105
 106 </div>
 107
 108 <!--=========================================================================-->
 109 <div class="doc_subsubsection">
 110 <a name="qualityofimp">In this release, the following Quality of Implementation
 111 issues were fixed:</a>
 112 </div>
 113
 114 <div class="doc_text">
 115
 116 <ol>
 117    <li><a href="http://llvm.cs.uiuc.edu/PR448">Building LLVM in optimized mode
 118        should no longer cause GCC to hit swap in the PowerPC backend.</a></li>
 119 </ol>
 120 </div>
 121
 122 <!--=========================================================================-->
 123 <div class="doc_subsubsection">
 124 <a name="codequality">This release includes the following Code Quality
 125 improvements:</a>
 126 </div>
 127
 128 <div class="doc_text">
 129 <ol>
 130    <li></li>
 131 </ol>
 132 </div>
 133
 134 <!--=========================================================================-->
 135 <div class="doc_subsubsection">
 136 <a name="bugfix">In this release, the following bugs in the previous release
 137 were fixed:</a>
 138 </div>
 139
 140 <div class="doc_text">
 141
 142
 143 <p>Bugs fixed in the LLVM Core:</p>
 144 <ol>
 145    <li><a href="http://llvm.cs.uiuc.edu/PR491">[dse] DSE deletes stores that
 146        are partially overwritten by smaller stores</a></li>
 147 </ol>
 148
 149 <p>Code Generator Bugs:</p>
 150 <ol>
 151    <li><a href="http://llvm.cs.uiuc.edu/PR490">[cbackend] Logical constant
 152        expressions (and/or/xor) not implemented</a></li>
 153    <li><a href="http://llvm.cs.uiuc.edu/PR511">[cbackend] C backend does not
 154        respect 'volatile'</a></li>
 155 </ol>
 156
 157 <p>Bugs in the C/C++ front-end:</p>
 158 <ol>
 159    <li><a href="http://llvm.cs.uiuc.edu/PR487">[llvmgcc] llvm-gcc incorrectly
 160        rejects some constant initializers involving the addresses of array
 161        elements</a></li>
 162    <li><a href="http://llvm.cs.uiuc.edu/PR501">[llvm-g++] Crash compiling
 163        anonymous union</a></li>
 164    <li><a href="http://llvm.cs.uiuc.edu/PR509">[llvm-g++] Do not use dynamic
 165        initialization where static init will do</a></li>
 166    <li><a href="http://llvm.cs.uiuc.edu/PR510">[llvmgcc] Field offset
 167        miscalculated for some structure fields following bit fields</a></li>
 168    <li><a href="http://llvm.cs.uiuc.edu/PR513">[llvm-g++] Temporary lifetimes
 169        incorrect for short circuit logical operations</a></li>
 170    <li><a href="http://llvm.cs.uiuc.edu/PR517">[llvm-gcc] Crash compiling
 171        bitfield &lt;-&gt; aggregate assignment</a></li>
 172    <li><a href="http://llvm.cs.uiuc.edu/PR520">[llvm-g++] Error compiling
 173        virtual function thunk with an unnamed argument</a></li>
 174    <li><a href="http://llvm.cs.uiuc.edu/PR522">[llvm-gcc] Crash on certain
 175        C99 complex number routines</a></li>
 176    <li><a href="http://llvm.cs.uiuc.edu/PR529">[llvm-g++] Crash using placement
 177        new on an array type</a></li>
 178 </ol>
 179
 180 </div>
 181
 182 <!-- *********************************************************************** -->
 183 <div class="doc_section">
 184   <a name="portability">Portability and Supported Platforms</a>
 185 </div>
 186 <!-- *********************************************************************** -->
 187
 188 <div class="doc_text">
 189
 190 <p>LLVM is known to work on the following platforms:</p>
 191
 192 <ul>
 193 <li>Intel and AMD machines running Red Hat Linux and FreeBSD (and probably
 194     other unix-like systems).</li>
 195 <li>Sun UltraSPARC workstations running Solaris 8.</li>
 196 <li>Intel and AMD machines running on Win32 with the Cygwin libraries (limited
 197     support is available for native builds with Visual C++).</li>
 198 <li>PowerPC-based Mac OS X systems, running 10.2 and above.</li>
 199 </ul>
 200
 201 <p>The core LLVM infrastructure uses
 202 <a href="http://www.gnu.org/software/autoconf/">GNU autoconf</a> to adapt itself
 203 to the machine and operating system on which it is built.  However, minor
 204 porting may be required to get LLVM to work on new platforms.  We welcome your
 205 portability patches and reports of successful builds or error messages.</p>
 206
 207 </div>
 208
 209 <!-- *********************************************************************** -->
 210 <div class="doc_section">
 211   <a name="knownproblems">Known Problems</a>
 212 </div>
 213 <!-- *********************************************************************** -->
 214
 215 <div class="doc_text">
 216
 217 <p>This section contains all known problems with the LLVM system, listed by
 218 component.  As new problems are discovered, they will be added to these
 219 sections.  If you run into a problem, please check the <a
 220 href="http://llvm.cs.uiuc.edu/bugs/">LLVM bug database</a> and submit a bug if
 221 there isn't already one.</p>
 222
 223 </div>
 224
 225 <!-- ======================================================================= -->
 226 <div class="doc_subsection">
 227   <a name="experimental">Experimental features included with this release</a>
 228 </div>
 229
 230 <div class="doc_text">
 231
 232 <p>The following components of this LLVM release are either untested, known to
 233 be broken or unreliable, or are in early development.  These components should
 234 not be relied on, and bugs should not be filed against them, but they may be
 235 useful to some people.  In particular, if you would like to work on one of these
 236 components, please contact us on the llvmdev list.</p>
 237
 238 <ul>
 239 <li>The following passes are incomplete or buggy, and may be removed in future
 240     releases: <tt>-cee, -branch-combine, -instloops, -paths, -pre</tt></li>
 241 <li>The <tt>llvm-db</tt> tool is in a very early stage of development, but can
 242     be used to step through programs and inspect the stack.</li>
 243 <li>The "iterative scan" register allocator (enabled with -regalloc=iterativescan)
 244     is not stable.</li>
 245 <li>The SparcV8 and Alpha ports are experimental.</li>
 246 </ul>
 247
 248 </div>
 249
 250 <!-- ======================================================================= -->
 251 <div class="doc_subsection">
 252   <a name="core">Known problems with the LLVM Core</a>
 253 </div>
 254
 255 <div class="doc_text">
 256
 257 <ul>
 258   <li>In the JIT, <tt>dlsym</tt> on a symbol compiled by the JIT will not work.
 259   </li>
 260   <li>The JIT does not use mutexes to protect its internal data structures. As
 261   such, execution of a threaded program could cause these data structures to be
 262   corrupted.
 263   </li>
 264   <li><a href="http://llvm.cs.uiuc.edu/PR240">The lower-invoke pass does not
 265     mark values live across a setjmp as volatile</a>. This missing feature
 266   only affects targets whose setjmp/longjmp libraries do not save and restore
 267   the entire register file.</li>
 268 </ul>
 269 </div>
 270
 271 <!-- ======================================================================= -->
 272 <div class="doc_subsection">
 273   <a name="c-fe">Known problems with the C front-end</a>
 274 </div>
 275
 276 <!-- _______________________________________________________________________ -->
 277 <div class="doc_subsubsection">Bugs</div>
 278
 279 <div class="doc_text">
 280 <ul>
 281 <li>C99 Variable sized arrays do not release stack memory when they go out of
 282     scope.  Thus, the following program may run out of stack space:
 283 <pre>
 284     for (i = 0; i != 1000000; ++i) {
 285       int X[n];
 286       foo(X);
 287     }
 288 </pre></li>
 289
 290 <li>Initialization of global union variables can only be done <a
 291 href="http://llvm.cs.uiuc.edu/PR162">with the largest union member</a>.</li>
 292
 293 </ul>
 294 </div>
 295
 296 <!-- _______________________________________________________________________ -->
 297 <div class="doc_subsubsection">
 298   Notes
 299 </div>
 300
 301 <div class="doc_text">
 302
 303 <ul>
 304
 305 <li>Inline assembly is not yet supported.</li>
 306
 307 <li>"long double" is transformed by the front-end into "double".  There is no
 308 support for floating point data types of any size other than 32 and 64
 309 bits.</li>
 310
 311 <li>The following Unix system functionality has not been tested and may not
 312 work:
 313   <ol>
 314   <li><tt>sigsetjmp</tt>, <tt>siglongjmp</tt> - These are not turned into the
 315       appropriate <tt>invoke</tt>/<tt>unwind</tt> instructions.  Note that
 316       <tt>setjmp</tt> and <tt>longjmp</tt> <em>are</em> compiled correctly.
 317   <li><tt>getcontext</tt>, <tt>setcontext</tt>, <tt>makecontext</tt>
 318       - These functions have not been tested.
 319   </ol></li>
 320
 321 <li>Although many GCC extensions are supported, some are not.  In particular,
 322     the following extensions are known to <b>not be</b> supported:
 323   <ol>
 324   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Local-Labels.html#Local%20Labels">Local Labels</a>: Labels local to a block.</li>
 325   <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.</li>
 326   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Constructing-Calls.html#Constructing%20Calls">Constructing Calls</a>: Dispatching a call to another function.</li>
 327   <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>
 328   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Constraints.html#Constraints">Constraints</a>: Constraints for asm operands.</li>
 329   <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>
 330   <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>
 331   <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>
 332   <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>
 333   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Thread_002dLocal.html">Thread-Local</a>: Per-thread variables.</li>
 334   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Pragmas.html#Pragmas">Pragmas</a>: Pragmas accepted by GCC.</li>
 335   </ol>
 336
 337   <p>The following GCC extensions are <b>partially</b> supported.  An ignored
 338   attribute means that the LLVM compiler ignores the presence of the attribute,
 339   but the code should still work.  An unsupported attribute is one which is
 340   ignored by the LLVM compiler and will cause a different interpretation of
 341   the program.</p>
 342
 343   <ol>
 344   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html#Variable%20Length">Variable Length</a>:
 345       Arrays whose length is computed at run time.<br>
 346       Supported, but allocated stack space is not freed until the function returns (noted above).</li>
 347
 348   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#Function%20Attributes">Function Attributes</a>:
 349
 350       Declaring that functions have no side effects or that they can never
 351       return.<br>
 352
 353       <b>Supported:</b> <tt>format</tt>, <tt>format_arg</tt>, <tt>non_null</tt>,
 354       <tt>noreturn</tt>, <tt>constructor</tt>, <tt>destructor</tt>,
 355       <tt>unused</tt>,
 356       <tt>deprecated</tt>, <tt>warn_unused_result</tt>, <tt>weak</tt><br>
 357
 358       <b>Ignored:</b> <tt>noinline</tt>,
 359       <tt>always_inline</tt>, <tt>pure</tt>, <tt>const</tt>, <tt>nothrow</tt>,
 360       <tt>malloc</tt>, <tt>no_instrument_function</tt>, <tt>cdecl</tt><br>
 361
 362       <b>Unsupported:</b> <tt>used</tt>, <tt>section</tt>, <tt>alias</tt>,
 363       <tt>visibility</tt>, <tt>regparm</tt>, <tt>stdcall</tt>,
 364       <tt>fastcall</tt>, all other target specific attributes</li>
 365
 366   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html#Variable%20Attributes">Variable Attributes</a>:
 367       Specifying attributes of variables.<br>
 368       <b>Supported:</b> <tt>cleanup</tt>, <tt>common</tt>, <tt>nocommon</tt>,
 369                         <tt>deprecated</tt>, <tt>transparent_union</tt>,
 370                         <tt>unused</tt>, <tt>weak</tt><br>
 371
 372       <b>Unsupported:</b> <tt>aligned</tt>, <tt>mode</tt>, <tt>packed</tt>,
 373                         <tt>section</tt>, <tt>shared</tt>, <tt>tls_model</tt>,
 374                         <tt>vector_size</tt>, <tt>dllimport</tt>,
 375                         <tt>dllexport</tt>, all target specific attributes.</li>
 376
 377   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html#Type%20Attributes">Type Attributes</a>:   Specifying attributes of types.<br>
 378       <b>Supported:</b> <tt>transparent_union</tt>, <tt>unused</tt>,
 379                         <tt>deprecated</tt>, <tt>may_alias</tt><br>
 380
 381       <b>Unsupported:</b> <tt>aligned</tt>, <tt>packed</tt>,
 382                         all target specific attributes.</li>
 383
 384   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html#Other%20Builtins">Other Builtins</a>:
 385       Other built-in functions.<br>
 386       We support all builtins which have a C language equivalent (e.g.,
 387          <tt>__builtin_cos</tt>),  <tt>__builtin_alloca</tt>,
 388          <tt>__builtin_types_compatible_p</tt>, <tt>__builtin_choose_expr</tt>,
 389          <tt>__builtin_constant_p</tt>, and <tt>__builtin_expect</tt>
 390          (currently ignored).  We also support builtins for ISO C99 floating
 391          point comparison macros (e.g., <tt>__builtin_islessequal</tt>), and
 392          <tt>__builtin_prefetch</tt>.</li>
 393   </ol>
 394
 395   <p>The following extensions <b>are</b> known to be supported:</p>
 396
 397   <ol>
 398   <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>
 399   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html#Statement%20Exprs">Statement Exprs</a>:   Putting statements and declarations inside expressions.</li>
 400   <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>
 401   <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>
 402   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Conditionals.html#Conditionals">Conditionals</a>: Omitting the middle operand of a <code>?:</code> expression.</li>
 403   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Long-Long.html#Long%20Long">Long Long</a>: Double-word integers.</li>
 404   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Complex.html#Complex">Complex</a>:   Data types for complex numbers.</li>
 405   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Hex-Floats.html#Hex%20Floats">Hex Floats</a>:Hexadecimal floating-point constants.</li>
 406   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html#Zero%20Length">Zero Length</a>: Zero-length arrays.</li>
 407   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Empty-Structures.html#Empty%20Structures">Empty Structures</a>: Structures with no members.</li>
 408   <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>
 409   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Escaped-Newlines.html#Escaped%20Newlines">Escaped Newlines</a>:  Slightly looser rules for escaped newlines.</li>
 410   <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>
 411   <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>
 412   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Initializers.html#Initializers">Initializers</a>: Non-constant initializers.</li>
 413   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Compound-Literals.html#Compound%20Literals">Compound Literals</a>: Compound literals give structures, unions,
 414 or arrays as values.</li>
 415   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html#Designated%20Inits">Designated Inits</a>: Labeling elements of initializers.</li>
 416   <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>
 417   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html#Case%20Ranges">Case Ranges</a>: `case 1 ... 9' and such.</li>
 418   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Mixed-Declarations.html#Mixed%20Declarations">Mixed Declarations</a>: Mixing declarations and code.</li>
 419   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Prototypes.html#Function%20Prototypes">Function Prototypes</a>: Prototype declarations and old-style definitions.</li>
 420   <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>
 421   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Dollar-Signs.html#Dollar%20Signs">Dollar Signs</a>: Dollar sign is allowed in identifiers.</li>
 422   <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>
 423   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Alignment.html#Alignment">Alignment</a>: Inquiring about the alignment of a type or variable.</li>
 424   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Inline.html#Inline">Inline</a>: Defining inline functions (as fast as macros).</li>
 425   <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>
 426   <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>
 427   <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>
 428   <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>
 429   <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>
 430   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html#Attribute%20Syntax">Attribute Syntax</a>: Formal syntax for attributes.</li>
 431   </ol></li>
 432
 433 </ul>
 434
 435 <p>If you run into GCC extensions which have not been included in any of these
 436 lists, please let us know (also including whether or not they work).</p>
 437
 438 </div>
 439
 440 <!-- ======================================================================= -->
 441 <div class="doc_subsection">
 442   <a name="c++-fe">Known problems with the C++ front-end</a>
 443 </div>
 444
 445 <div class="doc_text">
 446
 447 <p>For this release, the C++ front-end is considered to be fully
 448 tested and works for a number of non-trivial programs, including LLVM
 449 itself.</p>
 450
 451 </div>
 452
 453 <!-- _______________________________________________________________________ -->
 454 <div class="doc_subsubsection">Bugs</div>
 455
 456 <div class="doc_text">
 457
 458 <ul>
 459 <li>The C++ front-end inherits all problems afflicting the <a href="#c-fe">C
 460     front-end</a>.</li>
 461
 462 <li><b>IA-64 specific</b>: The C++ front-end does not use <a
 463 href="http://llvm.cs.uiuc.edu/PR406">IA64 ABI compliant layout of v-tables</a>.
 464 In particular, it just stores function pointers instead of function
 465 descriptors in the vtable.  This bug prevents mixing C++ code compiled with
 466 LLVM with C++ objects compiled by other C++ compilers.</li>
 467
 468 </ul>
 469
 470 </div>
 471
 472 <!-- _______________________________________________________________________ -->
 473 <div class="doc_subsubsection">
 474   Notes
 475 </div>
 476
 477 <div class="doc_text">
 478
 479 <ul>
 480
 481 <li>The C++ front-end is based on a pre-release of the GCC 3.4 C++ parser.  This
 482 parser is significantly more standards compliant (and picky) than prior GCC
 483 versions.  For more information, see the C++ section of the <a
 484 href="http://gcc.gnu.org/gcc-3.4/changes.html">GCC 3.4 release notes</a>.</li>
 485
 486 <li>Destructors for local objects are not always run when a <tt>longjmp</tt> is
 487     performed. In particular, destructors for objects in the <tt>longjmp</tt>ing
 488     function and in the <tt>setjmp</tt> receiver function may not be run.
 489     Objects in intervening stack frames will be destroyed, however (which is
 490     better than most compilers).</li>
 491
 492 <li>The LLVM C++ front-end follows the <a
 493     href="http://www.codesourcery.com/cxx-abi">Itanium C++ ABI</a>.
 494     This document, which is not Itanium specific, specifies a standard for name
 495     mangling, class layout, v-table layout, RTTI formats, and other C++
 496     representation issues.  Because we use this API, code generated by the LLVM
 497     compilers should be binary compatible with machine code generated by other
 498     Itanium ABI C++ compilers (such as G++, the Intel and HP compilers, etc).
 499     <i>However</i>, the exception handling mechanism used by LLVM is very
 500     different from the model used in the Itanium ABI, so <b>exceptions will not
 501     interact correctly</b>. </li>
 502
 503 </ul>
 504
 505 </div>
 506
 507 <!-- ======================================================================= -->
 508 <div class="doc_subsection">
 509   <a name="x86-be">Known problems with the X86 back-end</a>
 510 </div>
 511
 512 <div class="doc_text">
 513
 514 <ul>
 515   <li>none yet</li>
 516 </ul>
 517
 518 </div>
 519
 520 <!-- ======================================================================= -->
 521 <div class="doc_subsection">
 522   <a name="sparcv9-be">Known problems with the SparcV9 back-end</a>
 523 </div>
 524
 525 <div class="doc_text">
 526
 527 <ul>
 528 <li><a href="http://llvm.cs.uiuc.edu/PR60">[sparcv9] SparcV9 backend miscompiles
 529 several programs in the LLVM test suite</a></li>
 530 </ul>
 531
 532 </div>
 533
 534 <!-- ======================================================================= -->
 535 <div class="doc_subsection">
 536   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 537 </div>
 538
 539 <div class="doc_text">
 540
 541 <ul>
 542 <li>none yet</li>
 543 </ul>
 544
 545 </div>
 546
 547 <!-- ======================================================================= -->
 548 <div class="doc_subsection">
 549   <a name="c-be">Known problems with the C back-end</a>
 550 </div>
 551
 552 <div class="doc_text">
 553
 554 <ul>
 555
 556 <li>The C back-end produces code that violates the ANSI C Type-Based Alias
 557 Analysis rules.  As such, special options may be necessary to compile the code
 558 (for example, GCC requires the <tt>-fno-strict-aliasing</tt> option).  This
 559 problem probably cannot be fixed.</li>
 560
 561 <li><a href="http://llvm.cs.uiuc.edu/PR56">Zero arg vararg functions are not
 562 supported</a>.  This should not affect LLVM produced by the C or C++
 563 frontends.</li>
 564
 565 </ul>
 566
 567 </div>
 568
 569 <!-- *********************************************************************** -->
 570 <div class="doc_section">
 571   <a name="additionalinfo">Additional Information</a>
 572 </div>
 573 <!-- *********************************************************************** -->
 574
 575 <div class="doc_text">
 576
 577 <p>A wide variety of additional information is available on the LLVM web page,
 578 including mailing lists and publications describing algorithms and components
 579 implemented in LLVM.  The web page also contains versions of the API
 580 documentation which is up-to-date with the CVS version of the source code.  You
 581 can access versions of these documents specific to this release by going into
 582 the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 583
 584 <p>If you have any questions or comments about LLVM, please feel free to contact
 585 us via the <a href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">mailing
 586 lists</a>.</p>
 587
 588 </div>
 589
 590 <!-- *********************************************************************** -->
 591
 592 <hr>
 593 <address>
 594   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 595   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
 596   <a href="http://validator.w3.org/check/referer"><img
 597   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
 598
 599   <a href="http://llvm.cs.uiuc.edu">The LLVM Compiler Infrastructure</a><br>
 600   Last modified: $Date$
 601 </address>
 602
 603 </body>
 604 </html>