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 3.0 Release Notes</title>
   8 </head>
   9 <body>
  10
  11 <h1>LLVM 3.0 Release Notes</h1>
  12
  13 <img align=right src="http://llvm.org/img/DragonSmall.png"
  14     width="136" height="136" alt="LLVM Dragon Logo">
  15
  16 <ol>
  17   <li><a href="#intro">Introduction</a></li>
  18   <li><a href="#subproj">Sub-project Status Update</a></li>
  19   <li><a href="#externalproj">External Projects Using LLVM 3.0</a></li>
  20   <li><a href="#whatsnew">What's New in LLVM 3.0?</a></li>
  21   <li><a href="GettingStarted.html">Installation Instructions</a></li>
  22   <li><a href="#knownproblems">Known Problems</a></li>
  23   <li><a href="#additionalinfo">Additional Information</a></li>
  24 </ol>
  25
  26 <div class="doc_author">
  27   <p>Written by the <a href="http://llvm.org/">LLVM Team</a></p>
  28 </div>
  29
  30 <!--
  31 <h1 style="color:red">These are in-progress notes for the upcoming LLVM 3.0
  32 release.<br>
  33 You may prefer the
  34 <a href="http://llvm.org/releases/2.9/docs/ReleaseNotes.html">LLVM 2.9
  35 Release Notes</a>.</h1>
  36  -->
  37
  38 <!-- *********************************************************************** -->
  39 <h2>
  40   <a name="intro">Introduction</a>
  41 </h2>
  42 <!-- *********************************************************************** -->
  43
  44 <div>
  45
  46 <p>This document contains the release notes for the LLVM Compiler
  47 Infrastructure, release 3.0.  Here we describe the status of LLVM, including
  48 major improvements from the previous release and significant known problems.
  49 All LLVM releases may be downloaded from the <a
  50 href="http://llvm.org/releases/">LLVM releases web site</a>.</p>
  51
  52 <p>For more information about LLVM, including information about the latest
  53 release, please check out the <a href="http://llvm.org/">main LLVM
  54 web site</a>.  If you have questions or comments, the <a
  55 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM Developer's
  56 Mailing List</a> is a good place to send them.</p>
  57
  58 <p>Note that if you are reading this file from a Subversion checkout or the
  59 main LLVM web page, this document applies to the <i>next</i> release, not the
  60 current one.  To see the release notes for a specific release, please see the
  61 <a href="http://llvm.org/releases/">releases page</a>.</p>
  62
  63 </div>
  64
  65 <!-- Features that need text if they're finished for 3.1:
  66   ARM EHABI
  67   combiner-aa?
  68   strong phi elim
  69   loop dependence analysis
  70   CorrelatedValuePropagation
  71   lib/Transforms/IPO/MergeFunctions.cpp => consider for 3.1.
  72  -->
  73
  74 <!-- *********************************************************************** -->
  75 <h2>
  76   <a name="subproj">Sub-project Status Update</a>
  77 </h2>
  78 <!-- *********************************************************************** -->
  79
  80 <div>
  81 <p>
  82 The LLVM 3.0 distribution currently consists of code from the core LLVM
  83 repository (which roughly includes the LLVM optimizers, code generators
  84 and supporting tools), the Clang repository and the llvm-gcc repository.  In
  85 addition to this code, the LLVM Project includes other sub-projects that are in
  86 development.  Here we include updates on these subprojects.
  87 </p>
  88
  89 <!--=========================================================================-->
  90 <h3>
  91 <a name="clang">Clang: C/C++/Objective-C Frontend Toolkit</a>
  92 </h3>
  93
  94 <div>
  95
  96 <p><a href="http://clang.llvm.org/">Clang</a> is an LLVM front end for the C,
  97 C++, and Objective-C languages. Clang aims to provide a better user experience
  98 through expressive diagnostics, a high level of conformance to language
  99 standards, fast compilation, and low memory use. Like LLVM, Clang provides a
 100 modular, library-based architecture that makes it suitable for creating or
 101 integrating with other development tools. Clang is considered a
 102 production-quality compiler for C, Objective-C, C++ and Objective-C++ on x86
 103 (32- and 64-bit), and for darwin/arm targets.</p>
 104
 105 <p>In the LLVM 3.0 time-frame, the Clang team has made many improvements:</p>
 106
 107 <ul>
 108   <li>Greatly improved support for building C++ applications, with greater stability and better diagnostics.</li>
 109
 110   <li><a href="http://clang.llvm.org/cxx_status.html">Improved support</a> for the <a href="http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=50372 ">C++ 2011</a> standard, including implementations of non-static data member initializers, alias templates, delegating constructors, the range-based for loop, and implicitly-generated move constructors and move assignment operators, among others.</li>
 111
 112   <li>Implemented support for some features of the upcoming C1x standard, including static assertions and generic selections.</li>
 113
 114   <li>Better detection of include and linking paths for system headers and libraries, especially for Linux distributions.</li>
 115
 116   <li>Implemented support for <a href="http://clang.llvm.org/docs/AutomaticReferenceCounting.html">Automatic Reference Counting</a> for Objective-C.</li>
 117
 118   <li>Implemented a number of optimizations in <tt>libclang</tt>, the Clang C interface, to improve the performance of code completion and the mapping from source locations to abstract syntax tree nodes.</li>
 119 </ul>
 120
 121
 122 <p>If Clang rejects your code but another compiler accepts it, please take a
 123 look at the <a href="http://clang.llvm.org/compatibility.html">language
 124 compatibility</a> guide to make sure this is not intentional or a known issue.
 125 </p>
 126
 127 </div>
 128
 129 <!--=========================================================================-->
 130 <h3>
 131 <a name="dragonegg">DragonEgg: GCC front-ends, LLVM back-end</a>
 132 </h3>
 133
 134 <div>
 135 <p>
 136 <a href="http://dragonegg.llvm.org/">DragonEgg</a> is a
 137 <a href="http://gcc.gnu.org/wiki/plugins">gcc plugin</a> that replaces GCC's
 138 optimizers and code generators with LLVM's.
 139 Currently it requires a patched version of gcc-4.5.
 140 The plugin can target the x86-32 and x86-64 processor families and has been
 141 used successfully on the Darwin, FreeBSD and Linux platforms.
 142 The Ada, C, C++ and Fortran languages work well.
 143 The plugin is capable of compiling plenty of Obj-C, Obj-C++ and Java but it is
 144 not known whether the compiled code actually works or not!
 145 </p>
 146
 147 <p>
 148 The 3.0 release has the following notable changes:
 149 <ul>
 150 <!--
 151 <li></li>
 152 -->
 153 </ul>
 154
 155 </div>
 156
 157 <!--=========================================================================-->
 158 <h3>
 159 <a name="compiler-rt">compiler-rt: Compiler Runtime Library</a>
 160 </h3>
 161
 162 <div>
 163 <p>
 164 The new LLVM <a href="http://compiler-rt.llvm.org/">compiler-rt project</a>
 165 is a simple library that provides an implementation of the low-level
 166 target-specific hooks required by code generation and other runtime components.
 167 For example, when compiling for a 32-bit target, converting a double to a 64-bit
 168 unsigned integer is compiled into a runtime call to the "__fixunsdfdi"
 169 function. The compiler-rt library provides highly optimized implementations of
 170 this and other low-level routines (some are 3x faster than the equivalent
 171 libgcc routines).</p>
 172
 173 <p>In the LLVM 3.0 timeframe,</p>
 174
 175 </div>
 176
 177 <!--=========================================================================-->
 178 <h3>
 179 <a name="lldb">LLDB: Low Level Debugger</a>
 180 </h3>
 181
 182 <div>
 183 <p>
 184 <a href="http://lldb.llvm.org/">LLDB</a> is a brand new member of the LLVM
 185 umbrella of projects. LLDB is a next generation, high-performance debugger. It
 186 is built as a set of reusable components which highly leverage existing
 187 libraries in the larger LLVM Project, such as the Clang expression parser, the
 188 LLVM disassembler and the LLVM JIT.</p>
 189
 190 <p>
 191 LLDB is has advanced by leaps and bounds in the 3.0 timeframe.  It is
 192 dramatically more stable and useful, and includes both a new <a
 193 href="http://lldb.llvm.org/tutorial.html">tutorial</a> and a <a
 194 href="http://lldb.llvm.org/lldb-gdb.html">side-by-side comparison with
 195 GDB</a>.</p>
 196
 197 </div>
 198
 199 <!--=========================================================================-->
 200 <h3>
 201 <a name="libc++">libc++: C++ Standard Library</a>
 202 </h3>
 203
 204 <div>
 205 <p>
 206 <a href="http://libcxx.llvm.org/">libc++</a> is another new member of the LLVM
 207 family.  It is an implementation of the C++ standard library, written from the
 208 ground up to specifically target the forthcoming C++'0X standard and focus on
 209 delivering great performance.</p>
 210
 211 <p>
 212 In the LLVM 3.0 timeframe,</p>
 213
 214 <p>
 215 Like compiler_rt, libc++ is now <a href="DeveloperPolicy.html#license">dual
 216   licensed</a> under the MIT and UIUC license, allowing it to be used more
 217   permissively.
 218 </p>
 219
 220 </div>
 221
 222
 223 <!--=========================================================================-->
 224 <h3>
 225 <a name="LLBrowse">LLBrowse: IR Browser</a>
 226 </h3>
 227
 228 <div>
 229 <p>
 230 <a href="http://llvm.org/svn/llvm-project/llbrowse/trunk/doc/LLBrowse.html">
 231   LLBrowse</a> is an interactive viewer for LLVM modules. It can load any LLVM
 232   module and displays its contents as an expandable tree view, facilitating an
 233   easy way to inspect types, functions, global variables, or metadata nodes. It
 234   is fully cross-platform, being based on the popular wxWidgets GUI toolkit.
 235 </p>
 236 </div>
 237
 238 <!--=========================================================================-->
 239 <h3>
 240 <a name="vmkit">VMKit</a>
 241 </h3>
 242
 243 <div>
 244 <p>The <a href="http://vmkit.llvm.org/">VMKit project</a> is an implementation
 245   of a Java Virtual Machine (Java VM or JVM) that uses LLVM for static and
 246   just-in-time compilation. As of LLVM 3.0, VMKit now supports generational
 247   garbage collectors. The garbage collectors are provided by the MMTk framework,
 248   and VMKit can be configured to use one of the numerous implemented collectors
 249   of MMTk.
 250 </p>
 251 </div>
 252
 253
 254 <!--=========================================================================-->
 255 <!--
 256 <h3>
 257 <a name="klee">KLEE: A Symbolic Execution Virtual Machine</a>
 258 </h3>
 259
 260 <div>
 261 <p>
 262 <a href="http://klee.llvm.org/">KLEE</a> is a symbolic execution framework for
 263 programs in LLVM bitcode form. KLEE tries to symbolically evaluate "all" paths
 264 through the application and records state transitions that lead to fault
 265 states. This allows it to construct testcases that lead to faults and can even
 266 be used to verify some algorithms.
 267 </p>
 268
 269 <p>UPDATE!</p>
 270 </div>-->
 271
 272 </div>
 273
 274 <!-- *********************************************************************** -->
 275 <h2>
 276   <a name="externalproj">External Open Source Projects Using LLVM 3.0</a>
 277 </h2>
 278 <!-- *********************************************************************** -->
 279
 280 <div>
 281
 282 <p>An exciting aspect of LLVM is that it is used as an enabling technology for
 283    a lot of other language and tools projects.  This section lists some of the
 284    projects that have already been updated to work with LLVM 3.0.</p>
 285
 286 <!--=========================================================================-->
 287
 288 <!-- FIXME: Comment out
 289 <h3>Crack Programming Language</h3>
 290
 291 <div>
 292 <p>
 293 <a href="http://code.google.com/p/crack-language/">Crack</a> aims to provide the
 294 ease of development of a scripting language with the performance of a compiled
 295 language. The language derives concepts from C++, Java and Python, incorporating
 296 object-oriented programming, operator overloading and strong typing.</p>
 297 </div>
 298 -->
 299
 300 <!--=========================================================================-->
 301 <h3>Glasgow Haskell Compiler (GHC)</h3>
 302
 303 <div>
 304
 305 <p>GHC is an open source, state-of-the-art programming suite for Haskell, a
 306    standard lazy functional programming language. It includes an optimizing
 307    static compiler generating good code for a variety of platforms, together
 308    with an interactive system for convenient, quick development.</p>
 309
 310 <p>GHC 7.0 and onwards include an LLVM code generator, supporting LLVM 2.8 and
 311    later. Since LLVM 2.9, GHC now includes experimental support for the ARM
 312    platform with LLVM 3.0.</p>
 313
 314 </div>
 315
 316 <!--=========================================================================-->
 317 <h3>gwXscript</h3>
 318
 319 <div>
 320
 321 <p><a href="http://botwars.tk/gwscript/">gwXscript</a> is an object oriented,
 322    aspect orientied programing language which can create both, executables (ELF,
 323    EXE) and shared libraries (DLL, SO, DYNLIB). The compiler is implemented in
 324    its own language and translates scripts into LLVM-IR which can be optimized
 325    and translated into native code by the LLVM framework. Source code in
 326    gwScript contains definitions that expand the namespaces. So you can build
 327    your project and simply 'plug out' features by removing a file. The remaining
 328    project does not leave scars since you directly separate concerns by the
 329    'template' feature of gwX. It is also possible to add new features to a
 330    project by just adding files and without editing the original project. This
 331    language is used for example to create games or content management systems
 332    that should be extendable.</p>
 333
 334 <p>gwXscript is strongly typed and offers comfort with its native types string,
 335    hash and array. You can easily write new libraries in gwXscript or native
 336    code. gwXscript is type safe and users should not be able to crash your
 337    program or execute malicious code except code that is eating CPU time.</p>
 338
 339 </div>
 340
 341 <!--=========================================================================-->
 342 <h3>Portable OpenCL (pocl)</h3>
 343
 344 <div>
 345
 346 <p>Portable OpenCL is an open source implementation of the OpenCL standard which
 347    can be easily adapted for new targets. One of the goals of the project is
 348    improving performance portability of OpenCL programs, avoiding the need for
 349    target-dependent manual optimizations. A "native" target is included, which
 350    allows running OpenCL kernels on the host (CPU).</p>
 351
 352 </div>
 353
 354 <!--=========================================================================-->
 355 <h3>Pure</h3>
 356
 357 <div>
 358 <p><a href="http://pure-lang.googlecode.com/">Pure</a> is an
 359   algebraic/functional programming language based on term rewriting. Programs
 360   are collections of equations which are used to evaluate expressions in a
 361   symbolic fashion. The interpreter uses LLVM as a backend to JIT-compile Pure
 362   programs to fast native code. Pure offers dynamic typing, eager and lazy
 363   evaluation, lexical closures, a hygienic macro system (also based on term
 364   rewriting), built-in list and matrix support (including list and matrix
 365   comprehensions) and an easy-to-use interface to C and other programming
 366   languages (including the ability to load LLVM bitcode modules, and inline C,
 367   C++, Fortran and Faust code in Pure programs if the corresponding LLVM-enabled
 368   compilers are installed).</p>
 369
 370 <p>Pure version 0.48 has been tested and is known to work with LLVM 3.0
 371   (and continues to work with older LLVM releases &gt;= 2.5).</p>
 372
 373 </div>
 374
 375 <!--=========================================================================-->
 376 <h3>Renderscript</h3>
 377
 378 <div>
 379
 380 <p><a href="http://developer.android.com/guide/topics/renderscript/index.html">Renderscript</a>
 381    is Android's advanced 3D graphics rendering and compute API. It provides a
 382    portable C99-based language with extensions to facilitate common use cases
 383    for enhancing graphics and thread level parallelism. The Renderscript
 384    compiler frontend is based on Clang/LLVM. It emits a portable bitcode format
 385    for the actual compiled script code, as well as reflects a Java interface for
 386    developers to control the execution of the compiled bitcode. Executable
 387    machine code is then generated from this bitcode by an LLVM backend on the
 388    device. Renderscript is thus able to provide a mechanism by which Android
 389    developers can improve performance of their applications while retaining
 390    portability.</p>
 391
 392 </div>
 393
 394 <!--=========================================================================-->
 395 <h3>SAFECode</h3>
 396
 397 <div>
 398
 399 <p><a href="http://safecode.cs.illinois.edu">SAFECode</a> is a memory safe C/C++
 400    compiler built using LLVM.  It takes standard, unannotated C/C++ code,
 401    analyzes the code to ensure that memory accesses and array indexing
 402    operations are safe, and instruments the code with run-time checks when
 403    safety cannot be proven statically.  SAFECode can be used as a debugging aid
 404    (like Valgrind) to find and repair memory safety bugs.  It can also be used
 405    to protect code from security attacks at run-time.</p>
 406
 407 </div>
 408
 409 <!--=========================================================================-->
 410 <h3>TTA-based Co-design Environment (TCE)</h3>
 411
 412 <div>
 413
 414 <p>TCE is a toolset for designing application-specific processors (ASP) based on
 415    the Transport triggered architecture (TTA). The toolset provides a complete
 416    co-design flow from C/C++ programs down to synthesizable VHDL and parallel
 417    program binaries. Processor customization points include the register files,
 418    function units, supported operations, and the interconnection network.</p>
 419
 420 <p>TCE uses Clang and LLVM for C/C++ language support, target independent
 421    optimizations and also for parts of code generation. It generates new
 422    LLVM-based code generators <i>on the fly</i> for the designed TTA processors
 423    and loads them in to the compiler backend as runtime libraries to avoid
 424    per-target recompilation of larger parts of the compiler chain.</p>
 425 </div>
 426
 427
 428 <!--=========================================================================-->
 429 <h3>Tart Programming Language</h3>
 430
 431 <div>
 432
 433 <p><a href="http://code.google.com/p/tart/">Tart</a> is a general-purpose,
 434    strongly typed programming language designed for application
 435    developers. Strongly inspired by Python and C#, Tart focuses on practical
 436    solutions for the professional software developer, while avoiding the clutter
 437    and boilerplate of legacy languages like Java and C++. Although Tart is still
 438    in development, the current implementation supports many features expected of
 439    a modern programming language, such as garbage collection, powerful
 440    bidirectional type inference, a greatly simplified syntax for template
 441    metaprogramming, closures and function literals, reflection, operator
 442    overloading, explicit mutability and immutability, and much more. Tart is
 443    flexible enough to accommodate a broad range of programming styles and
 444    philosophies, while maintaining a strong commitment to simplicity, minimalism
 445    and elegance in design.</p>
 446
 447 </div>
 448
 449 <!--=========================================================================-->
 450 <!--
 451 <h3>PinaVM</h3>
 452
 453 <div>
 454 <p><a href="http://gitorious.org/pinavm/pages/Home">PinaVM</a> is an open
 455 source, <a href="http://www.systemc.org/">SystemC</a> front-end. Unlike many
 456 other front-ends, PinaVM actually executes the elaboration of the
 457 program analyzed using LLVM's JIT infrastructure. It later enriches the
 458 bitcode with SystemC-specific information.</p>
 459 </div>
 460 -->
 461
 462
 463 <!--=========================================================================-->
 464 <!--
 465 <h3 id="icedtea">IcedTea Java Virtual Machine Implementation</h3>
 466
 467 <div>
 468 <p>
 469 <a href="http://icedtea.classpath.org/wiki/Main_Page">IcedTea</a> provides a
 470 harness to build OpenJDK using only free software build tools and to provide
 471 replacements for the not-yet free parts of OpenJDK.  One of the extensions that
 472 IcedTea provides is a new JIT compiler named <a
 473 href="http://icedtea.classpath.org/wiki/ZeroSharkFaq">Shark</a> which uses LLVM
 474 to provide native code generation without introducing processor-dependent
 475 code.
 476 </p>
 477
 478 <p> OpenJDK 7 b112, IcedTea6 1.9 and IcedTea7 1.13 and later have been tested
 479 and are known to work with LLVM 3.0 (and continue to work with older LLVM
 480 releases &gt;= 2.6 as well).</p>
 481 </div>
 482 -->
 483
 484 <!--=========================================================================-->
 485 <!--
 486 <h3>Polly - Polyhedral optimizations for LLVM</h3>
 487
 488 <div>
 489 <p>Polly is a project that aims to provide advanced memory access optimizations
 490 to better take advantage of SIMD units, cache hierarchies, multiple cores or
 491 even vector accelerators for LLVM. Built around an abstract mathematical
 492 description based on Z-polyhedra, it provides the infrastructure to develop
 493 advanced optimizations in LLVM and to connect complex external optimizers. In
 494 its first year of existence Polly already provides an exact value-based
 495 dependency analysis as well as basic SIMD and OpenMP code generation support.
 496 Furthermore, Polly can use PoCC(Pluto) an advanced optimizer for data-locality
 497 and parallelism.</p>
 498 </div>
 499 -->
 500
 501 <!--=========================================================================-->
 502 <!--
 503 <h3>Rubinius</h3>
 504
 505 <div>
 506   <p><a href="http://github.com/evanphx/rubinius">Rubinius</a> is an environment
 507   for running Ruby code which strives to write as much of the implementation in
 508   Ruby as possible. Combined with a bytecode interpreting VM, it uses LLVM to
 509   optimize and compile ruby code down to machine code. Techniques such as type
 510   feedback, method inlining, and deoptimization are all used to remove dynamism
 511   from ruby execution and increase performance.</p>
 512 </div>
 513 -->
 514
 515 <!--=========================================================================-->
 516 <!--
 517 <h3>
 518 <a name="FAUST">FAUST Real-Time Audio Signal Processing Language</a>
 519 </h3>
 520
 521 <div>
 522 <p>
 523 <a href="http://faust.grame.fr">FAUST</a> is a compiled language for real-time
 524 audio signal processing. The name FAUST stands for Functional AUdio STream. Its
 525 programming model combines two approaches: functional programming and block
 526 diagram composition. In addition with the C, C++, JAVA output formats, the
 527 Faust compiler can now generate LLVM bitcode, and works with LLVM 2.7-3.0.</p>
 528
 529 </div>
 530 -->
 531
 532 </div>
 533
 534 <!-- *********************************************************************** -->
 535 <h2>
 536   <a name="whatsnew">What's New in LLVM 3.0?</a>
 537 </h2>
 538 <!-- *********************************************************************** -->
 539
 540 <div>
 541
 542 <p>This release includes a huge number of bug fixes, performance tweaks and
 543 minor improvements.  Some of the major improvements and new features are listed
 544 in this section.
 545 </p>
 546
 547 <!--=========================================================================-->
 548 <h3>
 549 <a name="majorfeatures">Major New Features</a>
 550 </h3>
 551
 552 <div>
 553
 554 <p>LLVM 3.0 includes several major new capabilities:</p>
 555
 556 <ul>
 557
 558 <!--
 559 <li></li>
 560 -->
 561
 562 </ul>
 563
 564 </div>
 565
 566 <!--=========================================================================-->
 567 <h3>
 568 <a name="coreimprovements">LLVM IR and Core Improvements</a>
 569 </h3>
 570
 571 <div>
 572 <p>LLVM IR has several new features for better support of new targets and that
 573 expose new optimization opportunities:</p>
 574
 575 <ul>
 576 <!--
 577 <li></li>
 578 -->
 579 </ul>
 580
 581 </div>
 582
 583 <!--=========================================================================-->
 584 <h3>
 585 <a name="optimizer">Optimizer Improvements</a>
 586 </h3>
 587
 588 <div>
 589
 590 <p>In addition to a large array of minor performance tweaks and bug fixes, this
 591 release includes a few major enhancements and additions to the optimizers:</p>
 592
 593 <ul>
 594 <!--
 595 <li></li>
 596 -->
 597 </li>
 598
 599 </ul>
 600
 601 </div>
 602
 603 <!--=========================================================================-->
 604 <h3>
 605 <a name="mc">MC Level Improvements</a>
 606 </h3>
 607
 608 <div>
 609 <p>
 610 The LLVM Machine Code (aka MC) subsystem was created to solve a number
 611 of problems in the realm of assembly, disassembly, object file format handling,
 612 and a number of other related areas that CPU instruction-set level tools work
 613 in.</p>
 614
 615 <ul>
 616 <!--
 617 <li></li>
 618 -->
 619 </ul>
 620
 621 <p>For more information, please see the <a
 622 href="http://blog.llvm.org/2010/04/intro-to-llvm-mc-project.html">Intro to the
 623 LLVM MC Project Blog Post</a>.
 624 </p>
 625
 626 </div>
 627
 628 <!--=========================================================================-->
 629 <h3>
 630 <a name="codegen">Target Independent Code Generator Improvements</a>
 631 </h3>
 632
 633 <div>
 634
 635 <p>We have put a significant amount of work into the code generator
 636 infrastructure, which allows us to implement more aggressive algorithms and make
 637 it run faster:</p>
 638
 639 <ul>
 640 <!--
 641 <li></li>
 642 -->
 643 </ul>
 644 </div>
 645
 646 <!--=========================================================================-->
 647 <h3>
 648 <a name="x86">X86-32 and X86-64 Target Improvements</a>
 649 </h3>
 650
 651 <div>
 652 <p>New features and major changes in the X86 target include:
 653 </p>
 654
 655 <ul>
 656 <li>The CRC32 intrinsics have been renamed.  The intrinsics were previously
 657   @llvm.x86.sse42.crc32.[8|16|32] and @llvm.x86.sse42.crc64.[8|64].  They have
 658   been renamed to @llvm.x86.sse42.crc32.32.[8|16|32] and
 659   @llvm.x86.sse42.crc32.64.[8|64].</li>
 660
 661 </ul>
 662
 663 </div>
 664
 665 <!--=========================================================================-->
 666 <h3>
 667 <a name="ARM">ARM Target Improvements</a>
 668 </h3>
 669
 670 <div>
 671 <p>New features of the ARM target include:
 672 </p>
 673
 674 <ul>
 675 <!--
 676 <li></li>
 677 -->
 678 </ul>
 679 </div>
 680
 681 <!--=========================================================================-->
 682 <h3>
 683 <a name="OtherTS">Other Target Specific Improvements</a>
 684 </h3>
 685
 686 <div>
 687 <ul>
 688 <!--
 689 <li></li>
 690 -->
 691 </ul>
 692 </div>
 693
 694 <!--=========================================================================-->
 695 <h3>
 696 <a name="changes">Major Changes and Removed Features</a>
 697 </h3>
 698
 699 <div>
 700
 701 <p>If you're already an LLVM user or developer with out-of-tree changes based on
 702    LLVM 2.9, this section lists some "gotchas" that you may run into upgrading
 703    from the previous release.</p>
 704
 705 <ul>
 706   <li>The <code>LLVMC</code> front end code was removed while separating
 707       out language independence.</li>
 708   <li>The <code>LowerSetJmp</code> pass wasn't used effectively by any
 709       target and has been removed.</li>
 710   <li>The old <code>TailDup</code> pass was not used in the standard pipeline
 711       and was unable to update ssa form, so it has been removed.
 712   <li>The syntax of volatile loads and stores in IR has been changed to
 713       "<code>load volatile</code>"/"<code>store volatile</code>".  The old
 714       syntax ("<code>volatile load</code>"/"<code>volatile store</code>")
 715       is still accepted, but is now considered deprecated.</li>
 716 </ul>
 717
 718 <h4>Windows (32-bit)</h4>
 719 <div>
 720 <ul>
 721   <li>On Win32(MinGW32 and MSVC), Windows 2000 will not be supported.
 722       Windows XP or higher is required.</li>
 723 </ul>
 724 </div>
 725
 726 </div>
 727
 728 <!--=========================================================================-->
 729 <h3>
 730 <a name="api_changes">Internal API Changes</a>
 731 </h3>
 732
 733 <div>
 734
 735 <p>In addition, many APIs have changed in this release.  Some of the major
 736    LLVM API changes are:</p>
 737
 738 <ul>
 739 <li>The biggest and most pervasive change is that llvm::Type's are no longer
 740     returned or accepted as 'const' values.  Instead, just pass around non-const
 741     Type's.</li>
 742
 743 <li><code>PHINode::reserveOperandSpace</code> has been removed. Instead, you
 744   must specify how many operands to reserve space for when you create the
 745   PHINode, by passing an extra argument into <code>PHINode::Create</code>.</li>
 746
 747 <li>PHINodes no longer store their incoming BasicBlocks as operands. Instead,
 748   the list of incoming BasicBlocks is stored separately, and can be accessed
 749   with new functions <code>PHINode::block_begin</code>
 750   and <code>PHINode::block_end</code>.</li>
 751
 752 <li>Various functions now take an <code>ArrayRef</code> instead of either a pair
 753   of pointers (or iterators) to the beginning and end of a range, or a pointer
 754   and a length. Others now return an <code>ArrayRef</code> instead of a
 755   reference to a <code>SmallVector</code> or <code>std::vector</code>. These
 756   include:
 757 <ul>
 758 <!-- Please keep this list sorted. -->
 759 <li><code>CallInst::Create</code></li>
 760 <li><code>ComputeLinearIndex</code> (in <code>llvm/CodeGen/Analysis.h</code>)</li>
 761 <li><code>ConstantArray::get</code></li>
 762 <li><code>ConstantExpr::getExtractElement</code></li>
 763 <li><code>ConstantExpr::getGetElementPtr</code></li>
 764 <li><code>ConstantExpr::getInBoundsGetElementPtr</code></li>
 765 <li><code>ConstantExpr::getIndices</code></li>
 766 <li><code>ConstantExpr::getInsertElement</code></li>
 767 <li><code>ConstantExpr::getWithOperands</code></li>
 768 <li><code>ConstantFoldCall</code> (in <code>llvm/Analysis/ConstantFolding.h</code>)</li>
 769 <li><code>ConstantFoldInstOperands</code> (in <code>llvm/Analysis/ConstantFolding.h</code>)</li>
 770 <li><code>ConstantVector::get</code></li>
 771 <li><code>DIBuilder::createComplexVariable</code></li>
 772 <li><code>DIBuilder::getOrCreateArray</code></li>
 773 <li><code>ExtractValueInst::Create</code></li>
 774 <li><code>ExtractValueInst::getIndexedType</code></li>
 775 <li><code>ExtractValueInst::getIndices</code></li>
 776 <li><code>FindInsertedValue</code> (in <code>llvm/Analysis/ValueTracking.h</code>)</li>
 777 <li><code>gep_type_begin</code> (in <code>llvm/Support/GetElementPtrTypeIterator.h</code>)</li>
 778 <li><code>gep_type_end</code> (in <code>llvm/Support/GetElementPtrTypeIterator.h</code>)</li>
 779 <li><code>GetElementPtrInst::Create</code></li>
 780 <li><code>GetElementPtrInst::CreateInBounds</code></li>
 781 <li><code>GetElementPtrInst::getIndexedType</code></li>
 782 <li><code>InsertValueInst::Create</code></li>
 783 <li><code>InsertValueInst::getIndices</code></li>
 784 <li><code>InvokeInst::Create</code></li>
 785 <li><code>IRBuilder::CreateCall</code></li>
 786 <li><code>IRBuilder::CreateExtractValue</code></li>
 787 <li><code>IRBuilder::CreateGEP</code></li>
 788 <li><code>IRBuilder::CreateInBoundsGEP</code></li>
 789 <li><code>IRBuilder::CreateInsertValue</code></li>
 790 <li><code>IRBuilder::CreateInvoke</code></li>
 791 <li><code>MDNode::get</code></li>
 792 <li><code>MDNode::getIfExists</code></li>
 793 <li><code>MDNode::getTemporary</code></li>
 794 <li><code>MDNode::getWhenValsUnresolved</code></li>
 795 <li><code>SimplifyGEPInst</code> (in <code>llvm/Analysis/InstructionSimplify.h</code>)</li>
 796 <li><code>TargetData::getIndexedOffset</code></li>
 797 </ul></li>
 798
 799 <li>All forms of <code>StringMap::getOrCreateValue</code> have been remove
 800   except for the one which takes a <code>StringRef</code>.</li>
 801
 802 <li>The <code>LLVMBuildUnwind</code> function from the C API was removed. The
 803     LLVM <code>unwind</code> instruction has been deprecated for a long time and
 804     isn't used by the current front-ends. So this was removed during the
 805     exception handling rewrite.</li>
 806
 807 <li>The <code>LLVMAddLowerSetJmpPass</code> function from the C API was removed
 808     because the <code>LowerSetJmp</code> pass was removed.</li>
 809
 810 <li>The <code>DIBuilder</code> interface used by front ends to encode debugging
 811     information in the LLVM IR now expects clients to use <code>DIBuilder::finalize()</code>
 812     at the end of translation unit to complete debugging information encoding.</li>
 813
 814 <li>The way the type system works has been rewritten: <code>PATypeHolder</code>
 815 and <code>OpaqueType</code> are gone, and all APIs deal with <code>Type*</code>
 816 instead of <code>const Type*</code>.
 817 If you need to create recursive structures, then create a named structure,
 818 and use <code>setBody()</code> when all its elements are built.
 819 Type merging and refining is gone too: named structures are not
 820 merged with other structures, even if their layout is identical.
 821 (of course anonymous structures are still uniqued by layout).
 822 </li>
 823
 824 <li>TargetSelect.h moved to Support/ from Target/</li>
 825
 826 <li>UpgradeIntrinsicCall no longer upgrades pre-2.9 intrinsic calls
 827 (for example <code>llvm.memset.i32</code>).</li>
 828
 829 <li>It is mandatory to initialize all out-of-tree passes too and their dependencies now with
 830 <code>INITIALIZE_PASS{BEGIN,END,}</code> and <code>INITIALIZE_{PASS,AG}_DEPENDENCY</code>.</li>
 831
 832 <li>The interface for MemDepResult in MemoryDependenceAnalysis has been enhanced
 833     with new return types Unknown and NonFuncLocal, in addition to the existing
 834     types Clobber, Def, and NonLocal.</li>
 835
 836 </ul>
 837 </div>
 838
 839 </div>
 840
 841 <!-- *********************************************************************** -->
 842 <h2>
 843   <a name="knownproblems">Known Problems</a>
 844 </h2>
 845 <!-- *********************************************************************** -->
 846
 847 <div>
 848
 849 <p>This section contains significant known problems with the LLVM system,
 850 listed by component.  If you run into a problem, please check the <a
 851 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
 852 there isn't already one.</p>
 853
 854 <!-- ======================================================================= -->
 855 <h3>
 856   <a name="experimental">Experimental features included with this release</a>
 857 </h3>
 858
 859 <div>
 860
 861 <p>The following components of this LLVM release are either untested, known to
 862 be broken or unreliable, or are in early development.  These components should
 863 not be relied on, and bugs should not be filed against them, but they may be
 864 useful to some people.  In particular, if you would like to work on one of these
 865 components, please contact us on the <a
 866 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev list</a>.</p>
 867
 868 <ul>
 869 <li>The Alpha, CellSPU, MicroBlaze, MSP430, MIPS, PTX,
 870     and XCore backends are experimental.</li>
 871 <li><tt>llc</tt> "<tt>-filetype=obj</tt>" is experimental on all targets
 872     other than darwin and ELF X86 systems.</li>
 873
 874 </ul>
 875
 876 </div>
 877
 878 <!-- ======================================================================= -->
 879 <h3>
 880   <a name="x86-be">Known problems with the X86 back-end</a>
 881 </h3>
 882
 883 <div>
 884
 885 <ul>
 886   <li>The X86 backend does not yet support
 887     all <a href="http://llvm.org/PR879">inline assembly that uses the X86
 888     floating point stack</a>.  It supports the 'f' and 't' constraints, but not
 889     'u'.</li>
 890   <li>The X86-64 backend does not yet support the LLVM IR instruction
 891       <tt>va_arg</tt>. Currently, front-ends support variadic
 892       argument constructs on X86-64 by lowering them manually.</li>
 893   <li>Windows x64 (aka Win64) code generator has a few issues.
 894     <ul>
 895       <li>llvm-gcc cannot build the mingw-w64 runtime currently
 896        due to lack of support for the 'u' inline assembly
 897        constraint and for X87 floating point inline assembly.</li>
 898       <li>On mingw-w64, you will see unresolved symbol <tt>__chkstk</tt>
 899        due to <a href="http://llvm.org/bugs/show_bug.cgi?id=8919">Bug 8919</a>.
 900        It is fixed in <a href="http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110321/118499.html">r128206</a>.</li>
 901       <li>Miss-aligned MOVDQA might crash your program. It is due to
 902        <a href="http://llvm.org/bugs/show_bug.cgi?id=9483">Bug 9483</a>,
 903        lack of handling aligned internal globals.</li>
 904       </ul>
 905   </li>
 906
 907 </ul>
 908
 909 </div>
 910
 911 <!-- ======================================================================= -->
 912 <h3>
 913   <a name="ppc-be">Known problems with the PowerPC back-end</a>
 914 </h3>
 915
 916 <div>
 917
 918 <ul>
 919 <li>The Linux PPC32/ABI support needs testing for the interpreter and static
 920 compilation, and lacks support for debug information.</li>
 921 </ul>
 922
 923 </div>
 924
 925 <!-- ======================================================================= -->
 926 <h3>
 927   <a name="arm-be">Known problems with the ARM back-end</a>
 928 </h3>
 929
 930 <div>
 931
 932 <ul>
 933 <li>Thumb mode works only on ARMv6 or higher processors. On sub-ARMv6
 934 processors, thumb programs can crash or produce wrong
 935 results (<a href="http://llvm.org/PR1388">PR1388</a>).</li>
 936 <li>Compilation for ARM Linux OABI (old ABI) is supported but not fully tested.
 937 </li>
 938 </ul>
 939
 940 </div>
 941
 942 <!-- ======================================================================= -->
 943 <h3>
 944   <a name="sparc-be">Known problems with the SPARC back-end</a>
 945 </h3>
 946
 947 <div>
 948
 949 <ul>
 950 <li>The SPARC backend only supports the 32-bit SPARC ABI (-m32); it does not
 951     support the 64-bit SPARC ABI (-m64).</li>
 952 </ul>
 953
 954 </div>
 955
 956 <!-- ======================================================================= -->
 957 <h3>
 958   <a name="mips-be">Known problems with the MIPS back-end</a>
 959 </h3>
 960
 961 <div>
 962
 963 <ul>
 964 <li>64-bit MIPS targets are not supported yet.</li>
 965 </ul>
 966
 967 </div>
 968
 969 <!-- ======================================================================= -->
 970 <h3>
 971   <a name="alpha-be">Known problems with the Alpha back-end</a>
 972 </h3>
 973
 974 <div>
 975
 976 <ul>
 977
 978 <li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
 979 appropriate nops inserted to ensure restartability.</li>
 980
 981 </ul>
 982 </div>
 983
 984 <!-- ======================================================================= -->
 985 <h3>
 986   <a name="c-be">Known problems with the C back-end</a>
 987 </h3>
 988
 989 <div>
 990
 991 <p>The C backend has numerous problems and is not being actively maintained.
 992 Depending on it for anything serious is not advised.</p>
 993
 994 <ul>
 995 <li><a href="http://llvm.org/PR802">The C backend has only basic support for
 996     inline assembly code</a>.</li>
 997 <li><a href="http://llvm.org/PR1658">The C backend violates the ABI of common
 998     C++ programs</a>, preventing intermixing between C++ compiled by the CBE and
 999     C++ code compiled with <tt>llc</tt> or native compilers.</li>
1000 <li>The C backend does not support all exception handling constructs.</li>
1001 <li>The C backend does not support arbitrary precision integers.</li>
1002 </ul>
1003
1004 </div>
1005
1006
1007 <!-- ======================================================================= -->
1008 <h3>
1009   <a name="llvm-gcc">Known problems with the llvm-gcc front-end</a>
1010 </h3>
1011
1012 <div>
1013
1014 <p><b>LLVM 3.0 will be the last release of llvm-gcc.</b></p>
1015
1016 <p>llvm-gcc is generally very stable for the C family of languages.  The only
1017    major language feature of GCC not supported by llvm-gcc is the
1018    <tt>__builtin_apply</tt> family of builtins.   However, some extensions
1019    are only supported on some targets.  For example, trampolines are only
1020    supported on some targets (these are used when you take the address of a
1021    nested function).</p>
1022
1023 <p>Fortran support generally works, but there are still several unresolved bugs
1024    in <a href="http://llvm.org/bugs/">Bugzilla</a>.  Please see the
1025    tools/gfortran component for details.  Note that llvm-gcc is missing major
1026    Fortran performance work in the frontend and library that went into GCC after
1027    4.2.  If you are interested in Fortran, we recommend that you consider using
1028    <a href="#dragonegg">dragonegg</a> instead.</p>
1029
1030 <p>The llvm-gcc 4.2 Ada compiler has basic functionality, but is no longer being
1031 actively maintained.  If you are interested in Ada, we recommend that you
1032 consider using <a href="#dragonegg">dragonegg</a> instead.</p>
1033 </div>
1034
1035 </div>
1036
1037 <!-- *********************************************************************** -->
1038 <h2>
1039   <a name="additionalinfo">Additional Information</a>
1040 </h2>
1041 <!-- *********************************************************************** -->
1042
1043 <div>
1044
1045 <p>A wide variety of additional information is available on the <a
1046 href="http://llvm.org/">LLVM web page</a>, in particular in the <a
1047 href="http://llvm.org/docs/">documentation</a> section.  The web page also
1048 contains versions of the API documentation which is up-to-date with the
1049 Subversion version of the source code.
1050 You can access versions of these documents specific to this release by going
1051 into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
1052
1053 <p>If you have any questions or comments about LLVM, please feel free to contact
1054 us via the <a href="http://llvm.org/docs/#maillist"> mailing
1055 lists</a>.</p>
1056
1057 </div>
1058
1059 <!-- *********************************************************************** -->
1060
1061 <hr>
1062 <address>
1063   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
1064   src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"></a>
1065   <a href="http://validator.w3.org/check/referer"><img
1066   src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
1067
1068   <a href="http://llvm.org/">LLVM Compiler Infrastructure</a><br>
1069   Last modified: $Date$
1070 </address>
1071
1072 </body>
1073 </html>