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.4 Release Notes</title>
   8 </head>
   9 <body>
  10
  11 <div class="doc_title">LLVM 1.4 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   <ul>
  20     <li><a href="#experimental">Experimental features included in this
  21                                 release</a>
  22     <li><a href="#core">Known problems with the LLVM Core</a>
  23     <li><a href="#c-fe">Known problems with the C Front-end</a>
  24     <li><a href="#c++-fe">Known problems with the C++ Front-end</a>
  25     <li><a href="#x86-be">Known problems with the X86 Back-end</a>
  26     <li><a href="#sparcv9-be">Known problems with the SparcV9 Back-end</a>
  27     <li><a href="#ppc-be">Known problems with the PowerPC Back-end</a>
  28     <li><a href="#c-be">Known problems with the C back-end</a>
  29   </ul></li>
  30   <li><a href="#additionalinfo">Additional Information</a></li>
  31 </ol>
  32
  33 <div class="doc_author">
  34   <p>Written by the <a href="http://llvm.cs.uiuc.edu">LLVM team</a><p>
  35 </div>
  36
  37 <!-- *********************************************************************** -->
  38 <div class="doc_section">
  39   <a name="intro">Introduction</a>
  40 </div>
  41 <!-- *********************************************************************** -->
  42
  43 <div class="doc_text">
  44
  45 <p>This document contains the release notes for the LLVM compiler
  46 infrastructure, release 1.4.  Here we describe the status of LLVM, including any
  47 known problems and bug fixes from the previous release.  The most up-to-date
  48 version of this document can be found on the <a
  49 href="http://llvm.cs.uiuc.edu/releases/1.4/">LLVM 1.4 web site</a>.  If you are
  50 not reading this on the LLVM web pages, you should probably go there because
  51 this document may be updated after the release.</p>
  52
  53 <p>For more information about LLVM, including information about potentially more
  54 current releases, please check out the <a href="http://llvm.cs.uiuc.edu">main
  55 web site</a>.  If you have questions or comments, the <a
  56 href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM developer's mailing
  57 list</a> is a good place to send them.</p>
  58
  59 <p>Note that if you are reading this file from CVS, this document applies
  60 to the <i>next</i> release, not the current one.  To see the release notes for
  61 the current or previous releases, see the <a
  62 href="http://llvm.cs.uiuc.edu/releases/">releases page</a>.</p>
  63
  64 </div>
  65
  66 <!-- *********************************************************************** -->
  67 <div class="doc_section">
  68   <a name="whatsnew">What's New?</a>
  69 </div>
  70 <!-- *********************************************************************** -->
  71
  72 <div class="doc_text">
  73
  74 <p>This is the fifth public release of the LLVM compiler infrastructure.</p>
  75
  76 <p> At this time, LLVM is known to correctly compile and run all C &amp; C++
  77 SPEC CPU95 &amp; 2000 benchmarks, the Olden benchmarks, and the Ptrdist
  78 benchmarks, and <b>many</b> other C and C++ programs.</p>
  79
  80 </div>
  81
  82 <!--=========================================================================-->
  83 <div class="doc_subsubsection">
  84 <a name="newfeatures">This release implements the following new features:</a>
  85 </div>
  86
  87 <div class="doc_text">
  88
  89 <ol>
  90   <li>The test/Programs hierarchy <a href="http://llvm.cs.uiuc.edu/PR257">has
  91       been moved out of the main LLVM tree</a> into a separate CVS repo and
  92       tarball. This shrinks the distribution size of LLVM itself dramatically.
  93   </li>
  94   <li>LLVM now optimizes global variables significantly more than it did
  95       before.</li>
  96   <li>LLVM now includes the new '<tt>undef</tt>' value and <a
  97       href="LangRef.html#i_unreachable"><tt>unreachable</tt></a> instruction,
  98       which give the optimizer more information about the behavior of the
  99       program.</li>
 100   <li>The LLVM makefiles have been improved to build LLVM much faster (2x) and
 101       includes new targets (like dist-check, uninstall). One important change is
 102       associated with <a href="http://llvm.cs.uiuc.edu/PR456>PR456">PR456</a>.
 103       The libraries and tools will now be built into
 104       <tt>$builddir/Debug/{bin,lib}</tt> instead of
 105       <tt>$builddir/tools/Debug</tt> and <tt>$builddir/lib/Debug</tt>. Similarly
 106       for <tt>Release</tt> and <tt>Profile</tt> builds.
 107   </li>
 108   <li>The LLVM source code is much more compatible with Microsoft Visual C++,
 109       including the JIT and runtime-code generation, though the entire system
 110       may not work with it.</li>
 111   <li>llvmgcc and llvmg++ now emit source line number information when '-g' is
 112       passed in.  This information can be used with llvm-db or other tools and
 113       passes.</li>
 114   <li>The target-to-JIT interfaces <a href="http://llvm.cs.uiuc.edu/PR283">are
 115       now much simpler</a> and more powerful.</li>
 116 </ol>
 117
 118 </div>
 119
 120
 121 <!--=========================================================================-->
 122 <div class="doc_subsubsection">
 123 In this release, the following missing features were implemented:
 124 </div>
 125
 126 <div class="doc_text">
 127
 128 <ol>
 129   <li><a href="http://llvm.cs.uiuc.edu/PR419">JIT interface should support
 130     arbitrary calls</a></li>
 131   <li>The <tt>llvm-ar</tt> tool was previously incomplete and didn't properly
 132   support other ar(1) implementations. This has been corrected. <tt>llvm-ar</tt>
 133   now fully supports all archive editing functions, table of contents listing,
 134   extraction, and printing. It can also read BSD4.4/MacOSX and SVR4 style
 135   archives. See <a
 136   href="http://llvm.cs.uiuc.edu/docs/CommandGuide/html/llvm-ar.html">llvm-ar</a>
 137   for details.</li>
 138 </ol>
 139
 140 </div>
 141
 142 <!--=========================================================================-->
 143 <div class="doc_subsubsection">
 144 <a name="qualityofimp">In this release, the following Quality of Implementation
 145 issues were fixed:</a>
 146 </div>
 147
 148 <div class="doc_text">
 149
 150 <ol>
 151 <li><a href="http://llvm.cs.uiuc.edu/PR426">[llvmg++] Tons of warnings are spewed when
 152     linking to libstdc++</a></li>
 153 <li><a href="http://llvm.cs.uiuc.edu/PR352">include/{Support,Config} ->
 154     include/llvm/{Support,Config}</a></li>
 155   <li>The names of the libraries generated by compiling LLVM source have been
 156   changed to ensure they do not conflict with other packages upon installation.
 157   Each LLVM library is now prefixed with LLVM and uses mixed clase. For example,
 158   the library <tt>libasmparser.a</tt> in 1.3 has become
 159   <tt>libLLVMAsmParser.a</tt> in release 1.4.</li>
 160 </ol>
 161
 162 </div>
 163
 164 <!--=========================================================================-->
 165 <div class="doc_subsubsection">
 166 In this release, the following build problems were fixed:
 167 </div>
 168
 169 <div class="doc_text">
 170 <ol>
 171   <li><a href="http://llvm.cs.uiuc.edu/PR256">[autoconf] further standardizing
 172     autoconf usage</a>. Various improvements in the configure.ac script were
 173   made as well as the makefile system.</li>
 174 </ol>
 175 </div>
 176
 177 <!--=========================================================================-->
 178 <div class="doc_subsubsection">
 179 <a name="codequality">This release includes the following Code Quality
 180 improvements:</a>
 181 </div>
 182
 183 <div class="doc_text">
 184 <ol>
 185 <li><a href="http://llvm.cs.uiuc.edu/PR362">Ugly code generated for
 186     std::min/std::max</a></li>
 187 </ol>
 188 </div>
 189
 190 <!--=========================================================================-->
 191 <div class="doc_subsubsection">
 192 <a name="bugfix">In this release, the following bugs in the previous release
 193 were fixed:</a>
 194 </div>
 195
 196 <div class="doc_text">
 197
 198 <p>Bugs fixed in the LLVM Core:</p>
 199
 200 <ol>
 201 <li><a href="http://llvm.cs.uiuc.edu/PR420">[licm] LICM invalidates alias analysis info
 202     and uses broken information</a> (optimizer crash)</li>
 203 <li><a href="http://llvm.cs.uiuc.edu/PR422">[asmwriter] Asmwriter is really slow for
 204     functions with lots of values</a></li>
 205 <li><a href="http://llvm.cs.uiuc.edu/PR423">[anders-aa] Andersen's AA is completely
 206     broken in LLVM 1.3</a></li>
 207 <li><a href="http://llvm.cs.uiuc.edu/PR430">[bcwriter] Empty compaction tables
 208     defined</a></li>
 209 <li><a href="http://llvm.cs.uiuc.edu/PR227">[X86] llc output for functions w/certain
 210     names tickles GNU 'as' bugs</a></li>
 211 </ol>
 212
 213 <p>Bugs in the C/C++ front-end:</p>
 214
 215 <ol>
 216 <li><a href="http://llvm.cs.uiuc.edu/PR445">[llvmg++] not enough templates are instantiated</a></li>
 217 <li><a href="http://llvm.cs.uiuc.edu/PR450">[llvmg++] Extern const globals cannot be
 218 marked 'constant' if they have nontrivial ctors or dtors</a></li>
 219 <li><a href="http://llvm.cs.uiuc.edu/PR461">[llvmgcc] Crash compiling unnamed
 220     bitfield which does not increase struct size</a></li>
 221 </ol>
 222
 223 <p>Bugs fixed in the Sparc V9 back-end:</p>
 224
 225 <ol>
 226 <li><a href="http://llvm.cs.uiuc.edu/PR428">[sparcv9] regalloc assertion
 227     failure with certain indirect calls</a></li>
 228 </ol>
 229
 230 </div>
 231
 232 <!-- *********************************************************************** -->
 233 <div class="doc_section">
 234   <a name="portability">Portability and Supported Platforms</a>
 235 </div>
 236 <!-- *********************************************************************** -->
 237
 238 <div class="doc_text">
 239
 240 <p>LLVM is known to work in the following platforms:</p>
 241
 242 <ul>
 243 <li>Intel and AMD machines running Red Hat Linux and FreeBSD (and probably
 244     other unix-like systems).</li>
 245 <li>Sun UltraSPARC workstations running Solaris 8.</li>
 246 <li>Intel and AMD machines running on Win32 with the Cygwin libraries.</li>
 247 <li>PowerPC-based Mac OS X boxes, running 10.2 and above.</li>
 248 </ul>
 249
 250 <p>The core LLVM infrastructure uses
 251 <a href="http://www.gnu.org/software/autoconf/">GNU autoconf</a> to adapt itself
 252 to the machine and operating system on which it is built.  However, minor
 253 porting may be required to get LLVM to work on new platforms.  We welcome your
 254 portability patches and reports of successful builds or error messages.</p>
 255
 256 <p>Note that the LLVM build system does not currently support directories with
 257 spaces on them when running on Win32/cygwin.  We strongly recommend running
 258 LLVM and the C frontend out of a top-level directory without spaces (e.g.,
 259 <tt>/cygdrive/c/llvm</tt>).  Also, make sure to install <b>all</b> of the
 260 cygwin packages.  By default, many important tools are not installed that
 261 are needed by the LLVM build process or test suite (e.g., /bin/time).  Finally,
 262 please make sure that there are no directories with spaces in them in your
 263 PATH environment variable.</p>
 264
 265 </div>
 266
 267 <!-- *********************************************************************** -->
 268 <div class="doc_section">
 269   <a name="knownproblems">Known Problems</a>
 270 </div>
 271 <!-- *********************************************************************** -->
 272
 273 <div class="doc_text">
 274
 275 <p>This section contains all known problems with the LLVM system, listed by
 276 component.  As new problems are discovered, they will be added to these
 277 sections.  If you run into a problem, please check the <a
 278 href="http://llvm.cs.uiuc.edu/bugs/">LLVM bug database</a> and submit a bug if
 279 there isn't already one.</p>
 280
 281 </div>
 282
 283 <!-- ======================================================================= -->
 284 <div class="doc_subsection">
 285   <a name="experimental">Experimental features included with this release</a>
 286 </div>
 287
 288 <div class="doc_text">
 289
 290 <p>The following components of this LLVM release are either untested, known to
 291 be broken or unreliable, or are in early development.  These components should
 292 not be relied on, and bugs should not be filed against them, but they may be
 293 useful to some people.  In particular, if you would like to work on one of these
 294 components, please contact us on the llvmdev list.</p>
 295
 296 <ul>
 297 <li>The following passes are incomplete or buggy: <tt>-pgmdep, -memdep,
 298     -ipmodref, -cee, -branch-combine, -instloops, -paths</tt></li>
 299 <li>The <tt>-pre</tt> pass is incomplete (there are cases it doesn't handle that
 300     it should) and not thoroughly tested.</li>
 301 <li>The <tt>llvm-db</tt> tool is in a very early stage of development.</li>
 302 </ul>
 303
 304 </div>
 305
 306 <!-- ======================================================================= -->
 307 <div class="doc_subsection">
 308   <a name="core">Known problems with the LLVM Core</a>
 309 </div>
 310
 311 <div class="doc_text">
 312
 313 <ul>
 314
 315 <li>In the JIT, <tt>dlsym</tt> on a symbol compiled by the JIT will not
 316 work.</li>
 317
 318 <li>The JIT does not use mutexes to protect its internal data structures.  As
 319 such, execution of a threaded program could cause these data structures to be
 320 corrupted.</li>
 321
 322 <li>Linking in static archive files (.a files) is slow (there is no symbol
 323 table in the archive).</li>
 324
 325 <li>The gccld program <a href="http://llvm.cs.uiuc.edu/PR139">does not link
 326 objects/archives in the order specified on the command line.</a></li>
 327
 328 <li><a href="http://llvm.cs.uiuc.edu/PR240">The lower-invoke pass does not mark
 329 values live across a setjmp as volatile</a>.  This missing feature only affects
 330 targets whose setjmp/longjmp libraries do not save and restore the entire
 331 register file.</li>
 332 </ul>
 333 </div>
 334
 335 <!-- ======================================================================= -->
 336 <div class="doc_subsection">
 337   <a name="c-fe">Known problems with the C front-end</a>
 338 </div>
 339
 340 <!-- _______________________________________________________________________ -->
 341 <div class="doc_subsubsection">Bugs</div>
 342
 343 <div class="doc_text">
 344 <ul>
 345 <li>C99 Variable sized arrays do not release stack memory when they go out of
 346     scope.  Thus, the following program may run out of stack space:
 347 <pre>
 348     for (i = 0; i != 1000000; ++i) {
 349       int X[n];
 350       foo(X);
 351     }
 352 </pre></li>
 353
 354 <li>Initialization of global union variables can only be done <a
 355 href="http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=162">with the largest union
 356 member</a>.</li>
 357
 358 <li><a href="http://llvm.cs.uiuc.edu/PR244">[llvm-gcc] Error when an implicitly
 359 external function is re-declared as static</a></li>
 360
 361 </ul>
 362 </div>
 363
 364 <!-- _______________________________________________________________________ -->
 365 <div class="doc_subsubsection">
 366   Notes
 367 </div>
 368
 369 <div class="doc_text">
 370
 371 <ul>
 372
 373 <li>Inline assembly is not yet supported.</li>
 374
 375 <li>"long double" is transformed by the front-end into "double".  There is no
 376 support for floating point data types of any size other than 32 and 64
 377 bits.</li>
 378
 379 <li>The following Unix system functionality has not been tested and may not
 380 work:
 381   <ol>
 382   <li><tt>sigsetjmp</tt>, <tt>siglongjmp</tt> - These are not turned into the
 383       appropriate <tt>invoke</tt>/<tt>unwind</tt> instructions.  Note that
 384       <tt>setjmp</tt> and <tt>longjmp</tt> <em>are</em> compiled correctly.
 385   <li><tt>getcontext</tt>, <tt>setcontext</tt>, <tt>makecontext</tt>
 386       - These functions have not been tested.
 387   </ol></li>
 388
 389 <li>Although many GCC extensions are supported, some are not.  In particular,
 390     the following extensions are known to <b>not be</b> supported:
 391   <ol>
 392   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Local-Labels.html#Local%20Labels">Local Labels</a>: Labels local to a block.</li>
 393   <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>
 394   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Constructing-Calls.html#Constructing%20Calls">Constructing Calls</a>: Dispatching a call to another function.</li>
 395   <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>
 396   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Constraints.html#Constraints">Constraints</a>: Constraints for asm operands.</li>
 397   <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>
 398   <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>
 399   <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>
 400   <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>
 401   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Thread-Local.html#Thread-Local">Thread-Local</a>: Per-thread variables.</li>
 402   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Pragmas.html#Pragmas">Pragmas</a>: Pragmas accepted by GCC.</li>
 403   </ol>
 404
 405   <p>The following GCC extensions are <b>partially</b> supported.  An ignored
 406   attribute means that the LLVM compiler ignores the presence of the attribute,
 407   but the code should still work.  An unsupported attribute is one which is
 408   ignored by the LLVM compiler and will cause a different interpretation of
 409   the program.</p>
 410
 411   <ol>
 412   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html#Variable%20Length">Variable Length</a>:
 413       Arrays whose length is computed at run time.<br>
 414       Supported, but allocated stack space is not freed until the function returns (noted above).</li>
 415
 416   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#Function%20Attributes">Function Attributes</a>:
 417
 418       Declaring that functions have no side effects or that they can never
 419       return.<br>
 420
 421       <b>Supported:</b> <tt>format</tt>, <tt>format_arg</tt>, <tt>non_null</tt>,
 422       <tt>constructor</tt>, <tt>destructor</tt>, <tt>unused</tt>,
 423       <tt>deprecated</tt>, <tt>warn_unused_result</tt>, <tt>weak</tt><br>
 424
 425       <b>Ignored:</b> <tt>noreturn</tt>, <tt>noinline</tt>,
 426       <tt>always_inline</tt>, <tt>pure</tt>, <tt>const</tt>, <tt>nothrow</tt>,
 427       <tt>malloc</tt>, <tt>no_instrument_function</tt>, <tt>cdecl</tt><br>
 428
 429       <b>Unsupported:</b> <tt>used</tt>, <tt>section</tt>, <tt>alias</tt>,
 430       <tt>visibility</tt>, <tt>regparm</tt>, <tt>stdcall</tt>,
 431       <tt>fastcall</tt>, all other target specific attributes</li>
 432
 433   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html#Variable%20Attributes">Variable Attributes</a>:
 434       Specifying attributes of variables.<br>
 435       <b>Supported:</b> <tt>cleanup</tt>, <tt>common</tt>, <tt>nocommon</tt>,
 436                         <tt>deprecated</tt>, <tt>transparent_union</tt>,
 437                         <tt>unused</tt>, <tt>weak</tt><br>
 438
 439       <b>Unsupported:</b> <tt>aligned</tt>, <tt>mode</tt>, <tt>packed</tt>,
 440                         <tt>section</tt>, <tt>shared</tt>, <tt>tls_model</tt>,
 441                         <tt>vector_size</tt>, <tt>dllimport</tt>,
 442                         <tt>dllexport</tt>, all target specific attributes.</li>
 443
 444   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html#Type%20Attributes">Type Attributes</a>:   Specifying attributes of types.<br>
 445       <b>Supported:</b> <tt>transparent_union</tt>, <tt>unused</tt>,
 446                         <tt>deprecated</tt>, <tt>may_alias</tt><br>
 447
 448       <b>Unsupported:</b> <tt>aligned</tt>, <tt>packed</tt>,
 449                         all target specific attributes.</li>
 450
 451   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html#Other%20Builtins">Other Builtins</a>:
 452       Other built-in functions.<br>
 453       We support all builtins which have a C language equivalent (e.g.,
 454          <tt>__builtin_cos</tt>),  <tt>__builtin_alloca</tt>,
 455          <tt>__builtin_types_compatible_p</tt>, <tt>__builtin_choose_expr</tt>,
 456          <tt>__builtin_constant_p</tt>, and <tt>__builtin_expect</tt>
 457          (currently ignored).  We also support builtins for ISO C99 floating
 458          point comparison macros (e.g., <tt>__builtin_islessequal</tt>).</li>
 459   </ol>
 460
 461   <p>The following extensions <b>are</b> known to be supported:</p>
 462
 463   <ol>
 464   <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>
 465   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html#Statement%20Exprs">Statement Exprs</a>:   Putting statements and declarations inside expressions.</li>
 466   <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>
 467   <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>
 468   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Conditionals.html#Conditionals">Conditionals</a>: Omitting the middle operand of a <code>?:</code> expression.</li>
 469   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Long-Long.html#Long%20Long">Long Long</a>: Double-word integers.</li>
 470   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Complex.html#Complex">Complex</a>:   Data types for complex numbers.</li>
 471   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Hex-Floats.html#Hex%20Floats">Hex Floats</a>:Hexadecimal floating-point constants.</li>
 472   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html#Zero%20Length">Zero Length</a>: Zero-length arrays.</li>
 473   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Empty-Structures.html#Empty%20Structures">Empty Structures</a>: Structures with no members.</li>
 474   <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>
 475   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Escaped-Newlines.html#Escaped%20Newlines">Escaped Newlines</a>:  Slightly looser rules for escaped newlines.</li>
 476   <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>
 477   <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>
 478   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Initializers.html#Initializers">Initializers</a>: Non-constant initializers.</li>
 479   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Compound-Literals.html#Compound%20Literals">Compound Literals</a>: Compound literals give structures, unions,
 480 or arrays as values.</li>
 481   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html#Designated%20Inits">Designated Inits</a>: Labeling elements of initializers.</li>
 482   <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>
 483   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html#Case%20Ranges">Case Ranges</a>: `case 1 ... 9' and such.</li>
 484   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Mixed-Declarations.html#Mixed%20Declarations">Mixed Declarations</a>: Mixing declarations and code.</li>
 485   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Function-Prototypes.html#Function%20Prototypes">Function Prototypes</a>: Prototype declarations and old-style definitions.</li>
 486   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/C---Comments.html#C++%20Comments">C++ Comments</a>: C++ comments are recognized.</li>
 487   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Dollar-Signs.html#Dollar%20Signs">Dollar Signs</a>: Dollar sign is allowed in identifiers.</li>
 488   <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>
 489   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Alignment.html#Alignment">Alignment</a>: Inquiring about the alignment of a type or variable.</li>
 490   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Inline.html#Inline">Inline</a>: Defining inline functions (as fast as macros).</li>
 491   <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>
 492   <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>
 493   <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>
 494   <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>
 495   <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>
 496   <li><a href="http://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html#Attribute%20Syntax">Attribute Syntax</a>: Formal syntax for attributes.</li>
 497   </ol></li>
 498
 499 </ul>
 500
 501 <p>If you run into GCC extensions which have not been included in any of these
 502 lists, please let us know (also including whether or not they work).</p>
 503
 504 </div>
 505
 506 <!-- ======================================================================= -->
 507 <div class="doc_subsection">
 508   <a name="c++-fe">Known problems with the C++ front-end</a>
 509 </div>
 510
 511 <div class="doc_text">
 512
 513 <p>For this release, the C++ front-end is considered to be fully functional but
 514 has not been tested as thoroughly as the C front-end.  It has been tested and
 515 works for a number of non-trivial programs, but there may be lurking bugs.
 516 Please report any bugs or problems.</p>
 517
 518 </div>
 519
 520 <!-- _______________________________________________________________________ -->
 521 <div class="doc_subsubsection">Bugs</div>
 522
 523 <div class="doc_text">
 524
 525 <ul>
 526 <li>The C++ front-end inherits all problems afflicting the <a href="#c-fe">C
 527     front-end</a>.</li>
 528
 529 <li><b>IA-64 specific</b>: The C++ front-end does not use <a
 530 href="http://llvm.cs.uiuc.edu/PR406">IA64 ABI compliant layout of v-tables</a>.
 531 In particular, it just stores function pointers instead of function
 532 descriptors in the vtable.  This bug prevents mixing C++ code compiled with
 533 LLVM with C++ objects compiled by other C++ compilers.</li>
 534
 535 </ul>
 536
 537 </div>
 538
 539 <!-- _______________________________________________________________________ -->
 540 <div class="doc_subsubsection">
 541   Notes
 542 </div>
 543
 544 <div class="doc_text">
 545
 546 <ul>
 547
 548 <li>The C++ front-end is based on a pre-release of the GCC 3.4 C++ parser.  This
 549 parser is significantly more standards compliant (and picky) than prior GCC
 550 versions.  For more information, see the C++ section of the <a
 551 href="http://gcc.gnu.org/gcc-3.4/changes.html">GCC 3.4 release notes</a>.</li>
 552
 553 <li>Destructors for local objects are not always run when a <tt>longjmp</tt> is
 554     performed. In particular, destructors for objects in the <tt>longjmp</tt>ing
 555     function and in the <tt>setjmp</tt> receiver function may not be run.
 556     Objects in intervening stack frames will be destroyed, however (which is
 557     better than most compilers).</li>
 558
 559 <li>The LLVM C++ front-end follows the <a
 560     href="http://www.codesourcery.com/cxx-abi">Itanium C++ ABI</a>.
 561     This document, which is not Itanium specific, specifies a standard for name
 562     mangling, class layout, v-table layout, RTTI formats, and other C++
 563     representation issues.  Because we use this API, code generated by the LLVM
 564     compilers should be binary compatible with machine code generated by other
 565     Itanium ABI C++ compilers (such as G++, the Intel and HP compilers, etc).
 566     <i>However</i>, the exception handling mechanism used by LLVM is very
 567     different from the model used in the Itanium ABI, so <b>exceptions will not
 568     interact correctly</b>. </li>
 569
 570 </ul>
 571
 572 </div>
 573
 574 <!-- ======================================================================= -->
 575 <div class="doc_subsection">
 576   <a name="x86-be">Known problems with the X86 back-end</a>
 577 </div>
 578
 579 <div class="doc_text">
 580
 581 <ul>
 582   <li>none yet</li>
 583 </ul>
 584
 585 </div>
 586
 587 <!-- ======================================================================= -->
 588 <div class="doc_subsection">
 589   <a name="sparcv9-be">Known problems with the SparcV9 back-end</a>
 590 </div>
 591
 592 <div class="doc_text">
 593
 594 <ul>
 595 <li><a href="http://llvm.cs.uiuc.edu/PR60">[sparcv9] SparcV9 backend miscompiles
 596 several programs in the LLVM test suite</a></li>
 597 </ul>
 598
 599 </div>
 600
 601 <!-- ======================================================================= -->
 602 <div class="doc_subsection">
 603   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 604 </div>
 605
 606 <div class="doc_text">
 607
 608 <ul>
 609 <li>none yet</li>
 610 </ul>
 611
 612 </div>
 613
 614 <!-- ======================================================================= -->
 615 <div class="doc_subsection">
 616   <a name="c-be">Known problems with the C back-end</a>
 617 </div>
 618
 619 <div class="doc_text">
 620
 621 <ul>
 622
 623 <li>The C back-end produces code that violates the ANSI C Type-Based Alias
 624 Analysis rules.  As such, special options may be necessary to compile the code
 625 (for example, GCC requires the <tt>-fno-strict-aliasing</tt> option).  This
 626 problem probably cannot be fixed.</li>
 627
 628 <li><a href="http://llvm.cs.uiuc.edu/PR33">Initializers for global variables</a>
 629 cannot include special floating point numbers like Not-A-Number or
 630 Infinity.</li>
 631
 632 <li><a href="http://llvm.cs.uiuc.edu/PR56">Zero arg vararg functions are not
 633 supported</a>.  This should not affect LLVM produced by the C or C++
 634 frontends.</li>
 635
 636 </ul>
 637
 638 </div>
 639
 640 <!-- *********************************************************************** -->
 641 <div class="doc_section">
 642   <a name="additionalinfo">Additional Information</a>
 643 </div>
 644 <!-- *********************************************************************** -->
 645
 646 <div class="doc_text">
 647
 648 <p>A wide variety of additional information is available on the LLVM web page,
 649 including mailing lists and publications describing algorithms and components
 650 implemented in LLVM.  The web page also contains versions of the API
 651 documentation which is up-to-date with the CVS version of the source code.  You
 652 can access versions of these documents specific to this release by going into
 653 the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 654
 655 <p>If you have any questions or comments about LLVM, please feel free to contact
 656 us via the <a href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">mailing
 657 lists</a>.</p>
 658
 659 </div>
 660
 661 <!-- *********************************************************************** -->
 662
 663 <hr>
 664 <address>
 665   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 666   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
 667   <a href="http://validator.w3.org/check/referer"><img
 668   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
 669
 670   <a href="http://llvm.cs.uiuc.edu">The LLVM Compiler Infrastructure</a><br>
 671   Last modified: $Date$
 672 </address>
 673
 674 </body>
 675 </html>