Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / f2f92ba4d4af8ea0d4b099fb8923d56fa8f1b9c3 / . / docs / ReleaseNotes.html
blob: b1083da6cbb735190ae4d31f63ecf0ae35c9cb7b [file] [log] [blame]
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
2 "http://www.w3.org/TR/html4/strict.dtd">
3<html>
4<head>
Reid Spencer6454ed32004-11-18 18:38:58 +0000[diff] [blame]5 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
Daniel Dunbaradea4972012-04-19 20:20:34 +0000[diff] [blame]6 <link rel="stylesheet" href="_static/llvm.css" type="text/css">
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]7 <title>LLVM 3.1 Release Notes</title>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]8</head>
9<body>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]10
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]11<h1>LLVM 3.1 Release Notes</h1>
Mikhail Glushenkovea65d7d2008-10-13 02:08:34 +0000[diff] [blame]12
Jakub Staszakf8de54f2011-12-06 23:33:07 +0000[diff] [blame]13<div>
14<img style="float:right" src="http://llvm.org/img/DragonSmall.png"
15 width="136" height="136" alt="LLVM Dragon Logo">
16</div>
Chris Lattner0e464a92010-03-17 04:02:39 +0000[diff] [blame]17
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]18<ol>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]19 <li><a href="#intro">Introduction</a></li>
Chris Lattner96a445e2008-10-13 18:01:01 +0000[diff] [blame]20 <li><a href="#subproj">Sub-project Status Update</a></li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]21 <li><a href="#externalproj">External Projects Using LLVM 3.1</a></li>
22 <li><a href="#whatsnew">What's New in LLVM?</a></li>
Chris Lattner4b538b92004-04-30 22:17:12 +0000[diff] [blame]23 <li><a href="GettingStarted.html">Installation Instructions</a></li>
Dan Gohman44aa9212008-10-14 16:23:02 +0000[diff] [blame]24 <li><a href="#knownproblems">Known Problems</a></li>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]25 <li><a href="#additionalinfo">Additional Information</a></li>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]26</ol>
27
Chris Lattner7911ce22004-05-23 21:07:27 +0000[diff] [blame]28<div class="doc_author">
NAKAMURA Takumib9a33632011-04-09 02:13:37 +0000[diff] [blame]29 <p>Written by the <a href="http://llvm.org/">LLVM Team</a></p>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]30</div>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]31
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]32<h1 style="color:red">These are in-progress notes for the upcoming LLVM 3.1
Jeffrey Yasskinbec48772010-01-28 01:14:43 +0000[diff] [blame]33release.<br>
34You may prefer the
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]35<a href="http://llvm.org/releases/3.0/docs/ReleaseNotes.html">LLVM 3.0
Dan Gohmanb44f6c62010-05-03 23:51:05 +0000[diff] [blame]36Release Notes</a>.</h1>
Jeffrey Yasskinbec48772010-01-28 01:14:43 +0000[diff] [blame]37
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]38<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]39<h2>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]40 <a name="intro">Introduction</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]41</h2>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]42<!-- *********************************************************************** -->
43
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]44<div>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]45
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]46<p>This document contains the release notes for the LLVM Compiler
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]47 Infrastructure, release 3.1. Here we describe the status of LLVM, including
Chris Lattner1ab8ce92011-11-27 18:47:37 +0000[diff] [blame]48 major improvements from the previous release, improvements in various
49 subprojects of LLVM, and some of the current users of the code.
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]50 All LLVM releases may be downloaded from
51 the <a href="http://llvm.org/releases/">LLVM releases web site</a>.</p>
Chris Lattner19092612003-10-02 16:38:05 +0000[diff] [blame]52
Chris Lattner7506b1d2004-12-07 08:04:13 +0000[diff] [blame]53<p>For more information about LLVM, including information about the latest
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]54 release, please check out the <a href="http://llvm.org/">main LLVM web
55 site</a>. If you have questions or comments,
56 the <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVM
57 Developer's Mailing List</a> is a good place to send them.</p>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]58
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]59<p>Note that if you are reading this file from a Subversion checkout or the main
60 LLVM web page, this document applies to the <i>next</i> release, not the
61 current one. To see the release notes for a specific release, please see the
62 <a href="http://llvm.org/releases/">releases page</a>.</p>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]63
64</div>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]65
66
Chris Lattner96a445e2008-10-13 18:01:01 +0000[diff] [blame]67<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]68<h2>
Chris Lattner96a445e2008-10-13 18:01:01 +0000[diff] [blame]69 <a name="subproj">Sub-project Status Update</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]70</h2>
Chris Lattner96a445e2008-10-13 18:01:01 +0000[diff] [blame]71<!-- *********************************************************************** -->
Chris Lattnerea34f642008-06-08 21:34:41 +0000[diff] [blame]72
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]73<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]74
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]75<p>The LLVM 3.1 distribution currently consists of code from the core LLVM
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]76 repository (which roughly includes the LLVM optimizers, code generators and
Chris Lattnerc343e312011-11-10 20:15:40 +0000[diff] [blame]77 supporting tools), and the Clang repository. In
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]78 addition to this code, the LLVM Project includes other sub-projects that are
79 in development. Here we include updates on these subprojects.</p>
Chris Lattner96a445e2008-10-13 18:01:01 +0000[diff] [blame]80
Chris Lattner8348b472008-06-08 21:58:17 +0000[diff] [blame]81<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]82<h3>
Chris Lattnerfb97b2d2008-10-13 18:11:54 +0000[diff] [blame]83<a name="clang">Clang: C/C++/Objective-C Frontend Toolkit</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]84</h3>
Chris Lattner8348b472008-06-08 21:58:17 +0000[diff] [blame]85
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]86<div>
Chris Lattner8348b472008-06-08 21:58:17 +0000[diff] [blame]87
Chris Lattner095539f2010-04-26 17:42:18 +0000[diff] [blame]88<p><a href="http://clang.llvm.org/">Clang</a> is an LLVM front end for the C,
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]89 C++, and Objective-C languages. Clang aims to provide a better user
90 experience through expressive diagnostics, a high level of conformance to
91 language standards, fast compilation, and low memory use. Like LLVM, Clang
92 provides a modular, library-based architecture that makes it suitable for
93 creating or integrating with other development tools. Clang is considered a
94 production-quality compiler for C, Objective-C, C++ and Objective-C++ on x86
Chris Lattner1ab8ce92011-11-27 18:47:37 +0000[diff] [blame]95 (32- and 64-bit), and for Darwin/ARM targets.</p>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]96
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]97<p>In the LLVM 3.1 time-frame, the Clang team has made many improvements:</p>
Douglas Gregorba087df2011-10-15 00:48:01 +0000[diff] [blame]98<ul>
Seth Cantrellacc472a2012-05-08 23:34:38 +0000[diff] [blame]99 <li>C++11 support is greatly expanded including lambdas, initializer lists, constexpr, user-defined literals, and atomics.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]100 <li>...</li>
Douglas Gregorba087df2011-10-15 00:48:01 +0000[diff] [blame]101</ul>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]102
103 <p>For more details about the changes to Clang since the 2.9 release, see the
Chandler Carruthcc966de2011-11-29 00:32:43 +0000[diff] [blame]104<a href="http://clang.llvm.org/docs/ReleaseNotes.html">Clang release notes</a>
105</p>
Douglas Gregorba087df2011-10-15 00:48:01 +0000[diff] [blame]106
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]107
Duncan Sandsf3ba7af2011-04-06 08:07:40 +0000[diff] [blame]108<p>If Clang rejects your code but another compiler accepts it, please take a
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]109 look at the <a href="http://clang.llvm.org/compatibility.html">language
110 compatibility</a> guide to make sure this is not intentional or a known
111 issue.</p>
Bill Wendling741748a2008-10-27 09:27:33 +0000[diff] [blame]112
Chris Lattnerfb97b2d2008-10-13 18:11:54 +0000[diff] [blame]113</div>
114
115<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]116<h3>
Duncan Sands528a5102011-04-04 11:09:08 +0000[diff] [blame]117<a name="dragonegg">DragonEgg: GCC front-ends, LLVM back-end</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]118</h3>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]119
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]120<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]121<p><a href="http://dragonegg.llvm.org/">DragonEgg</a> is a
122 <a href="http://gcc.gnu.org/wiki/plugins">gcc plugin</a> that replaces GCC's
Duncan Sands5abd10a2012-05-11 19:59:43 +0000[diff] [blame]123 optimizers and code generators with LLVM's. It works with gcc-4.5 and gcc-4.6
124 (and partially with gcc-4.7), can target the x86-32/x86-64 and ARM processor
125 families, and has been successfully used on the Darwin, FreeBSD, KFreeBSD,
126 Linux and OpenBSD platforms. It fully supports Ada, C, C++ and Fortran. It
127 has partial support for Go, Java, Obj-C and Obj-C++.</p>
Duncan Sands749fd832010-04-02 09:23:15 +0000[diff] [blame]128
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]129<p>The 3.1 release has the following notable changes:</p>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]130
Chris Lattner1ab8ce92011-11-27 18:47:37 +0000[diff] [blame]131 <ul>
Duncan Sands77352c92011-11-10 18:44:29 +0000[diff] [blame]132
Duncan Sands5abd10a2012-05-11 19:59:43 +0000[diff] [blame]133 <li>Partial support for gcc-4.7. Ada support is poor, but other languages work
134 fairly well.</li>
135
136 <li>Support for ARM processors. Some essential gcc headers that are needed to
137 build DragonEgg for ARM are not installed by gcc. To work around this,
138 copy the missing headers from the gcc source tree.</li>
139
140 <li>Better optimization for Fortran by exploiting the fact that Fortran scalar
141 arguments have 'restrict' semantics.</li>
142
143 <li>Better optimization for all languages by passing information about type
144 aliasing and type ranges to the LLVM optimizers.</li>
145
146 <li>A regression test-suite was added.</li>
Duncan Sands77352c92011-11-10 18:44:29 +0000[diff] [blame]147
Duncan Sands4b1da2b2010-09-30 17:37:34 +0000[diff] [blame]148</ul>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]149
150</div>
151
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]152<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]153<h3>
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]154<a name="compiler-rt">compiler-rt: Compiler Runtime Library</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]155</h3>
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]156
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]157<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]158
159<p>The new LLVM <a href="http://compiler-rt.llvm.org/">compiler-rt project</a>
160 is a simple library that provides an implementation of the low-level
161 target-specific hooks required by code generation and other runtime
162 components. For example, when compiling for a 32-bit target, converting a
163 double to a 64-bit unsigned integer is compiled into a runtime call to the
164 "__fixunsdfdi" function. The compiler-rt library provides highly optimized
165 implementations of this and other low-level routines (some are 3x faster than
166 the equivalent libgcc routines).</p>
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]167
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]168<p>....</p>
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]169
170</div>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]171
172<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]173<h3>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]174<a name="lldb">LLDB: Low Level Debugger</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]175</h3>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]176
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]177<div>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]178
Chris Lattner9e896712011-11-27 18:53:41 +0000[diff] [blame]179<p>LLDB is a ground-up implementation of a command line debugger, as well as a
180 debugger API that can be used from other applications. LLDB makes use of the
181 Clang parser to provide high-fidelity expression parsing (particularly for
182 C++) and uses the LLVM JIT for target support.</p>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]183
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]184<p>...</p>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]185
186</div>
187
188<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]189<h3>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]190<a name="libc++">libc++: C++ Standard Library</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]191</h3>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]192
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]193<div>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]194
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]195<p>Like compiler_rt, libc++ is now <a href="DeveloperPolicy.html#license">dual
196 licensed</a> under the MIT and UIUC license, allowing it to be used more
197 permissively.</p>
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]198
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]199<p>...</p>
David Chisnall553284e2011-11-26 10:56:17 +0000[diff] [blame]200
Chris Lattnere07043c2010-09-29 05:30:03 +0000[diff] [blame]201</div>
202
Chris Lattner3d6a80a2011-04-07 03:08:22 +0000[diff] [blame]203<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]204<h3>
Chris Lattner3d6a80a2011-04-07 03:08:22 +0000[diff] [blame]205<a name="vmkit">VMKit</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]206</h3>
Chris Lattner3d6a80a2011-04-07 03:08:22 +0000[diff] [blame]207
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]208<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]209
Nicolas Geoffray54d5df92011-11-10 23:37:56 +0000[diff] [blame]210 <p>The <a href="http://vmkit.llvm.org/">VMKit project</a> is an
211 implementation of a Java Virtual Machine (Java VM or JVM) that uses LLVM for
212 static and just-in-time compilation.
213
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]214 <p>In the LLVM 3.1 time-frame, VMKit has had significant improvements on both
Nicolas Geoffray54d5df92011-11-10 23:37:56 +0000[diff] [blame]215 runtime and startup performance:</p>
216
217 <ul>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]218 <li>...</li>
Nicolas Geoffray54d5df92011-11-10 23:37:56 +0000[diff] [blame]219 </ul>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]220
Chris Lattner3d6a80a2011-04-07 03:08:22 +0000[diff] [blame]221</div>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]222
Tobias Grosser76213b82012-04-16 17:17:00 +0000[diff] [blame]223
224<!--=========================================================================-->
225<h3>
Tobias Grosser99a0b282012-04-16 17:18:49 +0000[diff] [blame]226<a name="Polly">Polly: Polyhedral Optimizer</a>
Tobias Grosser76213b82012-04-16 17:17:00 +0000[diff] [blame]227</h3>
228
229<div>
230
231 <p><a href="http://polly.llvm.org/">Polly</a> is an <em>experimental</em>
232 optimizer for data locality and parallelism. It currently provides high-level
233 loop optimizations and automatic parallelisation (using the OpenMP run time).
234 Work in the area of automatic SIMD and accelerator code generation was
235 started.
236
237 <p>Within the LLVM 3.1 time-frame there were the following highlights:</p>
238
239 <ul>
240 <li>Polly became an official LLVM project</li>
241 <li>Polly can be loaded directly into clang (Enabled by '-O3 -mllvm -polly'
242 )</li>
243 <li>An automatic scheduling optimizer (derived from <a
244 href="http://pluto-compiler.sourceforge.net/">Pluto</a>) was integrated. It
245 performs loop transformations to optimize for data-locality and parallelism.
246 The transformations include, but are not limited to interchange, fusion,
247 fission, skewing and tiling.
248 </li>
249 </ul>
250
251</div>
252
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]253</div>
Daniel Dunbar97b01a82010-10-04 17:39:47 +0000[diff] [blame]254
Chris Lattnerab68e9e2009-02-26 22:33:38 +0000[diff] [blame]255<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]256<h2>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]257 <a name="externalproj">External Open Source Projects Using LLVM 3.1</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]258</h2>
Chris Lattnerab68e9e2009-02-26 22:33:38 +0000[diff] [blame]259<!-- *********************************************************************** -->
260
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]261<div>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]262
263<p>An exciting aspect of LLVM is that it is used as an enabling technology for
264 a lot of other language and tools projects. This section lists some of the
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]265 projects that have already been updated to work with LLVM 3.1.</p>
Chris Lattner75547712010-10-03 23:49:06 +0000[diff] [blame]266
Bill Wendlingf8cfe2e2012-05-13 09:52:48 +0000[diff] [blame]267<h3>FAUST</h3>
268
269<div>
270
271<p>FAUST is a compiled language for real-time audio signal processing. The name
272 FAUST stands for Functional AUdio STream. Its programming model combines two
273 approaches: functional programming and block diagram composition. In addition
274 with the C, C++, Java, JavaScript output formats, the Faust compiler can
275 generate LLVM bitcode, and works with LLVM 2.7-3.1.</p>
276
277</div>
278
Bill Wendlingde86bea2012-05-11 21:42:37 +0000[diff] [blame]279<h3>Glasgow Haskell Compiler (GHC)</h3>
280
281<div>
282
283<p>GHC is an open source compiler and programming suite for Haskell, a lazy
284 functional programming language. It includes an optimizing static compiler
285 generating good code for a variety of platforms, together with an interactive
286 system for convenient, quick development.</p>
287
288<p>GHC 7.0 and onwards include an LLVM code generator, supporting LLVM 2.8 and
289 later.</p>
290
291</div>
292
Bill Wendlingf2f92ba2012-05-13 10:00:58 +0000[diff] [blame^]293<h3>LLVM D Compiler</h3>
294
295<div>
296
297<p><a href="https://github.com/ldc-developers/ldc">LLVM D Compiler</a> (LDC) is
298 a compiler for the D programming Language. It is based on the DMD frontend
299 and uses LLVM as backend.</p>
300
301</div>
302
Bill Wendling91071052012-05-13 09:55:24 +0000[diff] [blame]303<h3>Open Shading Language</h3>
304
305<div>
306
307<p>Open Shading Language (OSL) is a small but rich language for programmable
308 shading in advanced global illumination renderers and other applications,
309 ideal for describing materials, lights, displacement, and pattern
310 generation. It uses LLVM to JIT complex shader networks to x86 code at
311 runtime.</p>
312
313<p>OSL was developed by Sony Pictures Imageworks for use in its in-house
314 renderer used for feature film animation and visual effects, and is
315 distributed as open source software with the "New BSD" license. Its project
316 home page is:
317 <a href"http://github.com/imageworks/OpenShadingLanguage/">http://github.com/imageworks/OpenShadingLanguage/</a></p>
318
319</div>
320
Bill Wendling59a23e32012-05-13 09:59:27 +0000[diff] [blame]321<h3>Portable OpenCL (pocl)</h3>
322
323<div>
324
325<p>In addition to producing an easily portable open source OpenCL
326 implementation, another major goal pocl is improving performance portability
327 of OpenCL programs with compiler optimizations, reducing the need for
328 target-dependent manual optimizations. An important part of pocl is a set of
329 LLVM passes used to statically parallelize multiple work-items with the
330 kernel compiler, even in the presence of work-group barriers. This enables
331 static parallelization of the fine-grained static concurrency in the work
332 groups in multiple ways (SIMD, VLIW, superscalar,...).</p>
333
334</div>
335
Bill Wendlingde86bea2012-05-11 21:42:37 +0000[diff] [blame]336<h3>Pure</h3>
337
338<div>
339
Bill Wendling015d2ad2012-05-11 22:38:33 +0000[diff] [blame]340<p><a href="http://pure-lang.googlecode.com/">Pure</a> is an
341 algebraic/functional programming language based on term rewriting. Programs
342 are collections of equations which are used to evaluate expressions in a
343 symbolic fashion. The interpreter uses LLVM as a backend to JIT-compile Pure
344 programs to fast native code. Pure offers dynamic typing, eager and lazy
345 evaluation, lexical closures, a hygienic macro system (also based on term
346 rewriting), built-in list and matrix support (including list and matrix
347 comprehensions) and an easy-to-use interface to C and other programming
348 languages (including the ability to load LLVM bitcode modules, and inline C,
349 C++, Fortran and Faust code in Pure programs if the corresponding
350 LLVM-enabled compilers are installed).</p>
Bill Wendlingde86bea2012-05-11 21:42:37 +0000[diff] [blame]351
352<p>Pure version 0.54 has been tested and is known to work with LLVM 3.1 (and
353 continues to work with older LLVM releases >= 2.5).</p>
354
355</div>
Bill Wendling644ce532011-10-26 09:25:01 +0000[diff] [blame]356
Bill Wendling59a23e32012-05-13 09:59:27 +0000[diff] [blame]357<h3>TTA-based Co-design Environment (TCE)</h3>
358
359<div>
360
361<p>TCE is a toolset for designing application-specific processors (ASP) based on
362 the Transport triggered architecture (TTA). The toolset provides a complete
363 co-design flow from C/C++ programs down to synthesizable VHDL/Verilog and
364 parallel program binaries. Processor customization points include the
365 register files, function units, supported operations, and the interconnection
366 network.</p>
367
368<p>TCE uses Clang and LLVM for C/C++ language support, target independent
369 optimizations and also for parts of code generation. It generates new
370 LLVM-based code generators "on the fly" for the designed TTA processors and
371 loads them in to the compiler backend as runtime libraries to avoid
372 per-target recompilation of larger parts of the compiler chain.</p>
373
374</div>
375
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]376</div>
377
Chris Lattner8348b472008-06-08 21:58:17 +0000[diff] [blame]378<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]379<h2>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]380 <a name="whatsnew">What's New in LLVM 3.1?</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]381</h2>
Chris Lattner8348b472008-06-08 21:58:17 +0000[diff] [blame]382<!-- *********************************************************************** -->
383
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]384<div>
Chris Lattnerf8e0b4e2008-06-08 22:59:35 +0000[diff] [blame]385
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]386<p>This release includes a huge number of bug fixes, performance tweaks and
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]387 minor improvements. Some of the major improvements and new features are
388 listed in this section.</p>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]389
Chris Lattner914ce462010-04-22 06:28:20 +0000[diff] [blame]390<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]391<h3>
Chris Lattner252b83d2008-02-06 18:00:06 +0000[diff] [blame]392<a name="majorfeatures">Major New Features</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]393</h3>
Chris Lattner252b83d2008-02-06 18:00:06 +0000[diff] [blame]394
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]395<div>
Chris Lattner252b83d2008-02-06 18:00:06 +0000[diff] [blame]396
Chris Lattner1ab8ce92011-11-27 18:47:37 +0000[diff] [blame]397 <!-- Features that need text if they're finished for 3.1:
398 ARM EHABI
399 combiner-aa?
400 strong phi elim
401 loop dependence analysis
402 CorrelatedValuePropagation
403 lib/Transforms/IPO/MergeFunctions.cpp => consider for 3.1.
Chris Lattner1c80fbf2011-11-27 20:51:47 +0000[diff] [blame]404 Integrated assembler on by default for arm/thumb?
405
Chris Lattner1ab8ce92011-11-27 18:47:37 +0000[diff] [blame]406 -->
407
Chris Lattner1c80fbf2011-11-27 20:51:47 +0000[diff] [blame]408 <!-- Near dead:
Chris Lattnerdec23b62011-11-15 22:13:27 +0000[diff] [blame]409 Analysis/RegionInfo.h + Dom Frontiers
410 SparseBitVector: used in LiveVar.
Chris Lattner5a1731d2011-11-27 08:32:32 +0000[diff] [blame]411 llvm/lib/Archive - replace with lib object?
Chris Lattner1c80fbf2011-11-27 20:51:47 +0000[diff] [blame]412 -->
Chris Lattner6a007d12011-11-25 20:33:27 +0000[diff] [blame]413
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]414<p>LLVM 3.1 includes several major changes and big features:</p>
Bill Wendlingbc5f6dd2011-10-26 18:33:01 +0000[diff] [blame]415
Chris Lattner791f77b2008-06-05 06:25:56 +0000[diff] [blame]416<ul>
Evan Cheng28681862011-12-14 22:57:45 +0000[diff] [blame]417 <li><a href="../tools/clang/docs/AddressSanitizer.html">AddressSanitizer</a>,
418 a fast memory error detector.</li>
419 <li><a href="CodeGenerator.html#machineinstrbundle">MachineInstr Bundles</a>,
420 Support to model instruction bundling / packing.</li>
Jim Grosbach6e6b8222012-02-23 23:52:06 +0000[diff] [blame]421 <li><a href="#armintegratedassembler">ARM Integrated Assembler</a>,
422 A full featured assembler and direct-to-object support for ARM.</li>
Chandler Carruth268fde42012-04-17 01:10:35 +0000[diff] [blame]423 <li><a href="#blockplacement">Basic Block Placement</a>
424 Probability driven basic block placement.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]425 <li>....</li>
Chris Lattnerf304ffc2008-02-10 08:17:19 +0000[diff] [blame]426</ul>
Mikhail Glushenkovea65d7d2008-10-13 02:08:34 +0000[diff] [blame]427
Bill Wendlingbc5f6dd2011-10-26 18:33:01 +0000[diff] [blame]428</div>
429
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]430
Chris Lattner4f0fe432011-11-27 19:26:30 +0000[diff] [blame]431<!--=========================================================================-->
432<h3>
433<a name="coreimprovements">LLVM IR and Core Improvements</a>
434</h3>
435
436<div>
437
438<p>LLVM IR has several new features for better support of new targets and that
439 expose new optimization opportunities:</p>
440
Chris Lattner064caf92011-11-27 21:30:28 +0000[diff] [blame]441 <ul>
Dan Gohmaneb4c70b2011-12-20 01:10:56 +0000[diff] [blame]442 <li>IR support for half float</li>
Bill Wendling06d7e1b2012-02-06 21:59:44 +0000[diff] [blame]443 <li>IR support for vectors of pointers, including vector GEPs.</li>
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]444 <li>Module flags have been introduced. They convey information about the
445 module as a whole to LLVM subsystems.</li>
Rafael Espindola626c3462012-03-25 11:14:35 +0000[diff] [blame]446 <li>Loads can now have range metadata attached to them to describe the
Rafael Espindola692cd452012-03-24 19:02:32 +0000[diff] [blame]447 possible values being loaded.</li>
Chandler Carruthc76c94f2012-04-17 01:13:53 +0000[diff] [blame]448 <li>Inline cost heuristics have been completely overhauled and now closely
449 model constant propagation through call sites, disregard trivially dead
450 code costs, and can model C++ STL iterator patterns.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]451 <li>....</li>
Chris Lattner064caf92011-11-27 21:30:28 +0000[diff] [blame]452 </ul>
Andrew Trick5aab6382011-11-06 17:59:24 +0000[diff] [blame]453</div>
454
455<!--=========================================================================-->
456<h3>
Chris Lattneracce85d2008-02-10 07:46:44 +0000[diff] [blame]457<a name="optimizer">Optimizer Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]458</h3>
Chris Lattneracce85d2008-02-10 07:46:44 +0000[diff] [blame]459
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]460<div>
Chris Lattneracce85d2008-02-10 07:46:44 +0000[diff] [blame]461
Chris Lattner064caf92011-11-27 21:30:28 +0000[diff] [blame]462<p>In addition to many minor performance tweaks and bug fixes, this
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]463 release includes a few major enhancements and additions to the
464 optimizers:</p>
Chris Lattneracce85d2008-02-10 07:46:44 +0000[diff] [blame]465
466<ul>
Brendon Cahoonff730392012-04-14 16:54:12 +0000[diff] [blame]467 <li>The loop unroll pass now is able to unroll loops with run-time trip counts.
468 This feature is turned off by default, and is enabled with the
469 <code>-unroll-runtime</code> flag.</li>
Hal Finkel9068bf52012-04-16 03:49:43 +0000[diff] [blame]470 <li>A new basic-block autovectorization pass is available. Pass
471 <code>-vectorize</code> to run this pass along with some associated
Hal Finkel12c10b32012-04-16 17:06:49 +0000[diff] [blame]472 post-vectorization cleanup passes. For more information, see the EuroLLVM
473 2012 slides: <a href="http://llvm.org/devmtg/2012-04-12/Slides/Hal_Finkel.pdf">
474 Autovectorization with LLVM</a>.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]475 <li>....</li>
Chris Lattner11b66112010-10-04 02:42:39 +0000[diff] [blame]476</ul>
477
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]478</div>
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]479
Chris Lattner0b832202008-06-08 02:45:07 +0000[diff] [blame]480<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]481<h3>
Chris Lattner4ba2b652010-09-30 16:31:33 +0000[diff] [blame]482<a name="mc">MC Level Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]483</h3>
Chris Lattner4ba2b652010-09-30 16:31:33 +0000[diff] [blame]484
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]485<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]486
487<p>The LLVM Machine Code (aka MC) subsystem was created to solve a number of
488 problems in the realm of assembly, disassembly, object file format handling,
489 and a number of other related areas that CPU instruction-set level tools work
Chris Lattner2f206022011-11-27 22:03:34 +0000[diff] [blame]490 in. For more information, please see
491 the <a href="http://blog.llvm.org/2010/04/intro-to-llvm-mc-project.html">Intro
492 to the LLVM MC Project Blog Post</a>.</p>
Chris Lattner7d9b6b42010-10-02 21:59:30 +0000[diff] [blame]493
Chris Lattner7d9b6b42010-10-02 21:59:30 +0000[diff] [blame]494<ul>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]495 <li>....</li>
Chris Lattner7d9b6b42010-10-02 21:59:30 +0000[diff] [blame]496</ul>
497
NAKAMURA Takumi45c435a2011-04-05 08:24:22 +0000[diff] [blame]498</div>
Chris Lattner4ba2b652010-09-30 16:31:33 +0000[diff] [blame]499
Chris Lattner4ba2b652010-09-30 16:31:33 +0000[diff] [blame]500<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]501<h3>
Chris Lattner511433e2009-03-02 03:24:11 +0000[diff] [blame]502<a name="codegen">Target Independent Code Generator Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]503</h3>
Chris Lattner0b832202008-06-08 02:45:07 +0000[diff] [blame]504
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]505<div>
Chris Lattner0b832202008-06-08 02:45:07 +0000[diff] [blame]506
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]507<p>We have changed the way that the Type Legalizer legalizes vectors. The type
508 legalizer now attempts to promote integer elements. This enabled the
509 implementation of vector-select. Additionally, we see a performance boost on
510 workloads which use vectors of chars and shorts, since they are now promoted
511 to 32-bit types, which are better supported by the SIMD instruction set.
512 Floating point types are still widened as before.</p>
Nadav Rotem75597662011-12-20 08:02:50 +0000[diff] [blame]513
514
Mikhail Glushenkovf795ef02009-03-01 18:09:47 +0000[diff] [blame]515<p>We have put a significant amount of work into the code generator
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]516 infrastructure, which allows us to implement more aggressive algorithms and
517 make it run faster:</p>
Chris Lattner0b832202008-06-08 02:45:07 +0000[diff] [blame]518
519<ul>
Jakob Stoklund Olesen9897c622011-12-19 16:53:40 +0000[diff] [blame]520 <li>TableGen can now synthesize register classes that are only needed to
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]521 represent combinations of constraints from instructions and sub-registers.
522 The synthetic register classes inherit most of their properties form their
523 closest user-defined super-class.</li>
Jakob Stoklund Olesend9e5c762012-01-05 00:26:49 +0000[diff] [blame]524 <li><code>MachineRegisterInfo</code> now allows the reserved registers to be
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]525 frozen when register allocation starts. Target hooks should use the
Nadav Rotemfdc309c2012-02-26 08:35:53 +0000[diff] [blame]526 <code>MRI-&gt;canReserveReg(FramePtr)</code> method to avoid accidentally
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]527 disabling frame pointer elimination during register allocation.</li>
Jakob Stoklund Olesen7739cad2012-01-16 19:22:00 +0000[diff] [blame]528 <li>A new kind of <code>MachineOperand</code> provides a compact
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]529 representation of large clobber lists on call instructions. The register
530 mask operand references a bit mask of preserved registers. Everything else
531 is clobbered.</li>
Chris Lattner84977642007-09-21 03:54:09 +0000[diff] [blame]532</ul>
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]533
Anshuman Dasgupta4b479552012-04-12 15:17:35 +0000[diff] [blame]534<p> We added new TableGen infrastructure to support bundling for
535 Very Long Instruction Word (VLIW) architectures. TableGen can now
536 automatically generate a deterministic finite automaton from a VLIW
537 target's schedule description which can be queried to determine
538 legal groupings of instructions in a bundle.</p>
539
Anshuman Dasgupta3c1ded22012-04-14 20:59:13 +0000[diff] [blame]540<p> We have added a new target independent VLIW packetizer based on the
Anshuman Dasguptacff391a2012-04-14 20:57:13 +0000[diff] [blame]541 DFA infrastructure to group machine instructions into bundles.</p>
542
Chris Lattner84977642007-09-21 03:54:09 +0000[diff] [blame]543</div>
544
Chandler Carruth268fde42012-04-17 01:10:35 +0000[diff] [blame]545<h4>
546<a name="blockplacement">Basic Block Placement</a>
547</h4>
548<div>
549<p>A probability based block placement and code layout algorithm was added to
550LLVM's code generator. This layout pass supports probabilities derived from
551static heuristics as well as source code annotations such as
552<code>__builtin_expect</code>.</p>
553</div>
554
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]555<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]556<h3>
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]557<a name="x86">X86-32 and X86-64 Target Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]558</h3>
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]559
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]560<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]561
562<p>New features and major changes in the X86 target include:</p>
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]563
564<ul>
Nadav Rotem75597662011-12-20 08:02:50 +0000[diff] [blame]565 <li>Bug fixes and improved support for AVX1</li>
566 <li>Support for AVX2 (still incomplete at this point)</li>
Jakob Stoklund Olesen26246612012-02-16 18:22:39 +0000[diff] [blame]567 <li>Call instructions use the new register mask operands for faster compile
568 times and better support for different calling conventions. The old WINCALL
569 instructions are no longer needed.</li>
NAKAMURA Takumi847307a2012-04-07 02:24:20 +0000[diff] [blame]570 <li>DW2 Exception Handling is enabled on Cygwin and MinGW.</li>
Bill Wendling59fc1662012-04-16 05:24:52 +0000[diff] [blame]571 <li>Support for implicit TLS model used with MS VC runtime</li>
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]572</ul>
573
Chris Lattner917cc712009-03-02 02:37:32 +0000[diff] [blame]574</div>
Chris Lattner84977642007-09-21 03:54:09 +0000[diff] [blame]575
576<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]577<h3>
Chris Lattner61358ab2009-10-13 17:48:04 +0000[diff] [blame]578<a name="ARM">ARM Target Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]579</h3>
Chris Lattnerc441fb82009-03-01 02:30:21 +0000[diff] [blame]580
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]581<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]582
583<p>New features of the ARM target include:</p>
Chris Lattnerc441fb82009-03-01 02:30:21 +0000[diff] [blame]584
585<ul>
Jakob Stoklund Olesenf5bb45f2011-12-16 16:07:41 +0000[diff] [blame]586 <li>The constant island pass now supports basic block and constant pool entry
Jim Grosbach6e6b8222012-02-23 23:52:06 +0000[diff] [blame]587 alignments greater than 4 bytes.</li>
588 <li>On Darwin, the ARM target now has a full-featured integrated assembler.
589 </li>
590</ul>
Chris Lattner7b95c382011-11-15 22:23:46 +0000[diff] [blame]591
Jim Grosbach6e6b8222012-02-23 23:52:06 +0000[diff] [blame]592<h4>
593<a name="armintegratedassembler">ARM Integrated Assembler</a>
594</h4>
595<div>
596<p>The ARM target now includes a full featured macro assembler, including
597direct-to-object module support for clang. The assembler is currently enabled
598by default for Darwin only pending testing and any additional necessary
599platform specific support for Linux.</p>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]600
Jim Grosbach6e6b8222012-02-23 23:52:06 +0000[diff] [blame]601<p>Full support is included for Thumb1, Thumb2 and ARM modes, along with
602subtarget and CPU specific extensions for VFP2, VFP3 and NEON.</p>
603
604<p>The assembler is Unified Syntax only (see ARM Architecural Reference Manual
605for details). While there is some, and growing, support for pre-unfied (divided)
606syntax, there are still significant gaps in that support.</p>
607</div>
NAKAMURA Takumi9c55f592012-03-27 11:25:16 +0000[diff] [blame]608
609</div>
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]610<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]611<h3>
Akira Hatanaka5381cbf2011-11-15 21:33:05 +0000[diff] [blame]612<a name="MIPS">MIPS Target Improvements</a>
613</h3>
614
615<div>
616
Chris Lattner1cc489b2011-11-27 22:12:32 +0000[diff] [blame]617<p>This release has seen major new work on just about every aspect of the MIPS
618 backend. Some of the major new features include:</p>
Akira Hatanaka5381cbf2011-11-15 21:33:05 +0000[diff] [blame]619
620<ul>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]621 <li>....</li>
Akira Hatanaka5381cbf2011-11-15 21:33:05 +0000[diff] [blame]622</ul>
623</div>
Chris Lattner7b95c382011-11-15 22:23:46 +0000[diff] [blame]624
625<!--=========================================================================-->
626<h3>
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]627<a name="OtherTS">Other Target Specific Improvements</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]628</h3>
Chris Lattnerc441fb82009-03-01 02:30:21 +0000[diff] [blame]629
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]630<div>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]631
Tony Linthicume05e55d2012-04-13 19:09:44 +0000[diff] [blame]632<p>Support for Qualcomm's Hexagon VLIW processor has been added.</p>
633
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]634<ul>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]635 <li>....</li>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]636
Chris Lattnerd6cc2c22011-11-27 22:36:22 +0000[diff] [blame]637
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]638</ul>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]639
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]640</div>
Chris Lattner77d29b12008-06-05 08:02:49 +0000[diff] [blame]641
642<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]643<h3>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]644<a name="changes">Major Changes and Removed Features</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]645</h3>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]646
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]647<div>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]648
Bill Wendling2626dba2011-08-03 22:18:20 +0000[diff] [blame]649<p>If you're already an LLVM user or developer with out-of-tree changes based on
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]650 LLVM 3.1, this section lists some "gotchas" that you may run into upgrading
Bill Wendling2626dba2011-08-03 22:18:20 +0000[diff] [blame]651 from the previous release.</p>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]652
653<ul>
Bill Wendling190ec9b2012-02-16 10:23:43 +0000[diff] [blame]654 <li>LLVM 3.1 removes support for reading LLVM 2.9 bitcode files. Going
655 forward, we aim for all future versions of LLVM to read bitcode files and
656 <tt>.ll</tt> files produced by LLVM 3.0 and later.</li>
657 <li>The <tt>unwind</tt> instruction is now gone. With the introduction of the
658 new exception handling system in LLVM 3.0, the <tt>unwind</tt> instruction
659 became obsolete.</li>
Joerg Sonnenbergerdba86d82012-04-26 20:10:07 +0000[diff] [blame]660 <li>LLVM 3.0 and earlier automatically added the returns_twice fo functions
661 like setjmp based on the name. This functionality was removed in 3.1.
662 This affects Clang users, if -ffreestanding is used.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]663 <li>....</li>
Devang Patelb34dd132008-10-14 20:03:43 +0000[diff] [blame]664</ul>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]665
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]666</div>
667
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]668<!--=========================================================================-->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]669<h3>
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]670<a name="api_changes">Internal API Changes</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]671</h3>
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]672
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]673<div>
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]674
Chris Lattner1efe27e2011-04-06 00:45:11 +0000[diff] [blame]675<p>In addition, many APIs have changed in this release. Some of the major
Bill Wendling16005252011-08-02 06:20:17 +0000[diff] [blame]676 LLVM API changes are:</p>
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]677
678<ul>
Nick Lewycky98a92d12012-03-21 22:58:28 +0000[diff] [blame]679 <li>Target specific options have been moved from global variables to members
680 on the new <code>TargetOptions</code> class, which is local to each
681 <code>TargetMachine</code>. As a consequence, the associated flags will
682 no longer be accepted by <tt>clang -mllvm</tt>. This includes:
683<ul>
Nick Lewycky8a618a22012-03-23 00:56:26 +0000[diff] [blame]684<li><code>llvm::PrintMachineCode</code></li>
685<li><code>llvm::NoFramePointerElim</code></li>
686<li><code>llvm::NoFramePointerElimNonLeaf</code></li>
687<li><code>llvm::DisableFramePointerElim(const MachineFunction &)</code></li>
688<li><code>llvm::LessPreciseFPMADOption</code></li>
689<li><code>llvm::LessPrecideFPMAD()</code></li>
690<li><code>llvm::NoExcessFPPrecision</code></li>
691<li><code>llvm::UnsafeFPMath</code></li>
692<li><code>llvm::NoInfsFPMath</code></li>
693<li><code>llvm::NoNaNsFPMath</code></li>
694<li><code>llvm::HonorSignDependentRoundingFPMathOption</code></li>
695<li><code>llvm::HonorSignDependentRoundingFPMath()</code></li>
696<li><code>llvm::UseSoftFloat</code></li>
697<li><code>llvm::FloatABIType</code></li>
698<li><code>llvm::NoZerosInBSS</code></li>
699<li><code>llvm::JITExceptionHandling</code></li>
700<li><code>llvm::JITEmitDebugInfo</code></li>
701<li><code>llvm::JITEmitDebugInfoToDisk</code></li>
702<li><code>llvm::GuaranteedTailCallOpt</code></li>
703<li><code>llvm::StackAlignmentOverride</code></li>
704<li><code>llvm::RealignStack</code></li>
705<li><code>llvm::DisableJumpTables</code></li>
706<li><code>llvm::EnableFastISel</code></li>
707<li><code>llvm::getTrapFunctionName()</code></li>
708<li><code>llvm::EnableSegmentedStacks</code></li>
Nick Lewycky98a92d12012-03-21 22:58:28 +0000[diff] [blame]709</ul></li>
Duncan Sandse747fad2012-04-15 18:03:49 +0000[diff] [blame]710 <li>The MDBuilder class has been added to simplify the creation of
711 metadata.</li>
Chris Lattner21e1b7a2011-12-13 17:55:30 +0000[diff] [blame]712 <li>....</li>
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]713</ul>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]714
Daniel Dunbarf0233c62010-10-04 20:11:41 +0000[diff] [blame]715</div>
Chris Lattnerf6662f92008-10-13 17:57:36 +0000[diff] [blame]716
Nadav Rotemfdc309c2012-02-26 08:35:53 +0000[diff] [blame]717<!--=========================================================================-->
718<h3>
719<a name="tools_changes">Tools Changes</a>
720</h3>
721
722<div>
723
724<p>In addition, some tools have changed in this release. Some of the changes
725 are:</p>
726
727
728<ul>
729 <li>llvm-stress is a command line tool for generating random .ll files to fuzz
730 different LLVM components. </li>
Michael J. Spencer75338092012-04-19 19:27:54 +0000[diff] [blame]731 <li>llvm-ld has been removed. Use llvm-link or Clang instead.</li>
Nadav Rotemfdc309c2012-02-26 08:35:53 +0000[diff] [blame]732 <li>....</li>
733</ul>
734
735<ul>
736 <li>....</li>
737</ul>
738
739</div>
740
Gregory Szorcca347492012-05-12 21:12:22 +0000[diff] [blame]741
742<!--=========================================================================-->
743<h3>
744<a name="python">Python Bindings</a>
745</h3>
746
747<div>
748
749<p>Officially supported Python bindings have been added! Feature support is far
750from complete. The current bindings support interfaces to:</p>
751<ul>
752 <li>Object File Interface</li>
753 <li>Disassembler</li>
754</ul>
755
756<p>Using the Object File Interface, it is possible to inspect binary object files.
757Think of it as a Python version of readelf or llvm-objdump.</p>
758
759<p>Support for additional features is currently being developed by community
760contributors. If you are interested in shaping the direction of the Python
761bindings, please express your intent on IRC or the developers list.</p>
762
763</div>
764
Nadav Rotemfdc309c2012-02-26 08:35:53 +0000[diff] [blame]765</div>
766
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]767<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]768<h2>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]769 <a name="knownproblems">Known Problems</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]770</h2>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]771<!-- *********************************************************************** -->
772
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]773<div>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]774
Chris Lattner70e22012011-11-27 19:38:20 +0000[diff] [blame]775<p>LLVM is generally a production quality compiler, and is used by a broad range
776 of applications and shipping in many products. That said, not every
777 subsystem is as mature as the aggregate, particularly the more obscure
778 targets. If you run into a problem, please check the <a
779 href="http://llvm.org/bugs/">LLVM bug database</a> and submit a bug if
780 there isn't already one or ask on the <a
781 href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">LLVMdev
782 list</a>.</p>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]783
Chris Lattner70e22012011-11-27 19:38:20 +0000[diff] [blame]784 <p>Known problem areas include:</p>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]785
Chris Lattnerf5ee1702004-03-14 02:03:02 +0000[diff] [blame]786<ul>
Chris Lattner70e22012011-11-27 19:38:20 +0000[diff] [blame]787 <li>The Alpha, Blackfin, CellSPU, MSP430, PTX, SystemZ and
Chris Lattner1c80fbf2011-11-27 20:51:47 +0000[diff] [blame]788 XCore backends are experimental, and the Alpha, Blackfin and SystemZ
789 targets have already been removed from mainline.</li>
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]790
Chris Lattner70e22012011-11-27 19:38:20 +0000[diff] [blame]791 <li>The integrated assembler, disassembler, and JIT is not supported by
792 several targets. If an integrated assembler is not supported, then a
793 system assembler is required. For more details, see the <a
794 href="CodeGenerator.html#targetfeatures">Target Features Matrix</a>.
795 </li>
Michael J. Spencer60f790c2011-11-28 18:20:09 +0000[diff] [blame]796
Chris Lattner70e22012011-11-27 19:38:20 +0000[diff] [blame]797 <li>The C backend has numerous problems and is not being actively maintained.
798 Depending on it for anything serious is not advised.</li>
Chris Lattner26299222006-11-18 07:51:14 +0000[diff] [blame]799</ul>
800
801</div>
John Criswellc0c186d2005-11-08 21:11:33 +0000[diff] [blame]802
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]803<!-- *********************************************************************** -->
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]804<h2>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]805 <a name="additionalinfo">Additional Information</a>
NAKAMURA Takumi06c6d9a2011-04-18 01:17:51 +0000[diff] [blame]806</h2>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]807<!-- *********************************************************************** -->
808
NAKAMURA Takumi074eeaa2011-04-21 01:52:00 +0000[diff] [blame]809<div>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]810
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]811<p>A wide variety of additional information is available on
812 the <a href="http://llvm.org/">LLVM web page</a>, in particular in
813 the <a href="http://llvm.org/docs/">documentation</a> section. The web page
814 also contains versions of the API documentation which is up-to-date with the
815 Subversion version of the source code. You can access versions of these
816 documents specific to this release by going into the "<tt>llvm/doc/</tt>"
817 directory in the LLVM tree.</p>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]818
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]819<p>If you have any questions or comments about LLVM, please feel free to contact
Bill Wendling7b7fa742011-10-26 18:46:16 +0000[diff] [blame]820 us via the <a href="http://llvm.org/docs/#maillist"> mailing lists</a>.</p>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]821
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]822</div>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]823
824<!-- *********************************************************************** -->
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]825
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]826<hr>
Misha Brukman2061e892003-11-22 01:23:39 +0000[diff] [blame]827<address>
Misha Brukman38847d52003-12-21 22:53:21 +0000[diff] [blame]828 <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
Misha Brukman44408702008-12-11 17:34:48 +0000[diff] [blame]829 src="http://jigsaw.w3.org/css-validator/images/vcss-blue" alt="Valid CSS"></a>
Misha Brukman2061e892003-11-22 01:23:39 +0000[diff] [blame]830 <a href="http://validator.w3.org/check/referer"><img
Misha Brukman44408702008-12-11 17:34:48 +0000[diff] [blame]831 src="http://www.w3.org/Icons/valid-html401-blue" alt="Valid HTML 4.01"></a>
Misha Brukman2061e892003-11-22 01:23:39 +0000[diff] [blame]832
Chris Lattnerb4b0ce72007-05-18 00:44:29 +0000[diff] [blame]833 <a href="http://llvm.org/">LLVM Compiler Infrastructure</a><br>
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]834 Last modified: $Date$
Misha Brukman2061e892003-11-22 01:23:39 +0000[diff] [blame]835</address>
Chris Lattner79c3fe12003-10-02 04:57:28 +0000[diff] [blame]836
Misha Brukman500bc302003-11-22 00:38:41 +0000[diff] [blame]837</body>
838</html>