Clang
LLVM | |
Original author(s) | Chris Lattner and others |
---|---|
Developer(s) | Apple Inc., Google Inc. and others |
Stable release | 3.2
/ 20 December 2012 |
Repository | |
Written in | C++ |
Operating system | Unix-like |
Platform | Cross-platform |
Type | Compiler |
License | University of Illinois/NCSA Open Source License[1] |
Website | clang |
Clang (/[invalid input: 'icon']ˈklæŋ/)[2] is a compiler front end for the C, C++, Objective-C and Objective-C++ programming languages. It uses LLVM as its back end and has been part of its releases since LLVM 2.6.
Its goal is to offer a replacement to the GNU Compiler Collection (GCC). Development is completely open-source,[3] with several major software development companies (e.g. Google, Apple) involved. Clang is available under the University of Illinois/NCSA License.
The Clang project includes the Clang front end and the Clang static analyzer among others.[4]
Background
Starting in 2005, Apple has made extensive use of LLVM in a number of commercial systems,[5] including the iPhone development kit and Xcode 3.1.
One of the first uses of LLVM was an OpenGL code compiler for Mac OS X that converts OpenGL calls into more fundamental calls for graphics processing units (GPU) that do not support certain features. This allowed Apple to support the entire OpenGL application programming interface (API) on computers using Intel Graphics Media Accelerator (GMA) chipsets, increasing performance on those machines.[6] For sufficiently capable GPUs, the code is compiled to take full advantage of the underlying hardware, but on GMA machines, LLVM compiles the same OpenGL code into subroutines to ensure it continues to work properly.
LLVM was originally intended to use GCC's front end, but GCC turned out to cause some problems for both the LLVM developers and Apple. GCC is a large and somewhat cumbersome system to develop; as one long-time GCC developer put it, "Trying to make the hippo dance is not really a lot of fun"[7] and a Google Summer of Code intern commented, "Reading GCC codebase has been a hard exercise for me. In fact it's the only project I know of that becomes more and more difficult as time passes."[8]
Apple software makes heavy use of Objective-C, but the Objective-C front-end in GCC is a low priority for the current GCC developers. Also, GCC does not fit smoothly into Apple's IDE.[9] Finally, GCC is GPL version 3 licensed, which requires developers who distribute extensions for (or modified versions of) GCC to make their source code available, whereas LLVM has a BSD-like license [10] which permits including the source into proprietary software.
Apple chose to develop a new compiler front end from scratch, supporting only C99, Objective-C and C++.[9] This "clang" project was open-sourced in July 2007.[11]
Design
Clang is intended specifically to work on top of LLVM.[10] The combination of Clang and LLVM provides the majority of a toolchain, allowing the replacement of the whole GCC stack. Because it is built with a library-based design, like the rest of LLVM, Clang is easy to embed into other applications. This is one reason why a majority of the OpenCL implementations are built with Clang and LLVM.[citation needed]
One of Clang's primary goals is to better support incremental compilation to allow the compiler to be more tightly tied to the IDE GUI. GCC is designed to work in a "classic" compile-link-debug cycle, and although it provides useful ways to support incremental and interrupted compiling on-the-fly, integrating them with other tools is not always easy. For instance, GCC uses a step called "fold" that is key to the overall compile process, which has the side effect of translating the code tree into a form that does not look very much like the original source code. If an error is found during or after the fold step, it can be difficult to translate that back into a single location in the original source. Additionally, vendors using the GCC stack within IDEs used separate tools to index the code to provide features like syntax highlighting and autocomplete.
Clang is designed to retain more information during the compilation process than GCC, and preserve the overall form of the original code. The objective of this is to make it easier to map errors back into the original source. The error reports offered by Clang are also aimed to be more detailed and specific, as well as machine-readable, so IDEs can index the output of the compiler during compilation. Modular design of the compiler can offer source code indexing, syntax checking, and other features normally associated with rapid application development systems. The parse tree is also more suitable for supporting automated code refactoring, as it remains in a parsable text form at all times. Changes to the program can be checked by diffing the intermediate form (IF).
Clang is modularized, based almost entirely on replaceable link-time libraries — as opposed to source-code modules that are combined at compile time — and well-documented. In some cases the libraries are provided in several versions that can be swapped out at runtime; for instance the parser comes with a version that offers performance measurement of the compile process.
Clang, as the name implies, is a compiler only for C and C-like languages. It does not offer compiler front-ends for languages other than C, C++, Objective-C, and Objective-C++. For other languages, including Java, Fortran, and Ada, LLVM remains dependent on GCC. In many cases, Clang can be used or swapped out for GCC as needed, with no other effects on the toolchain as a whole.[citation needed] It supports most of the commonly used GCC options.
Performance and GCC compatibility
Clang's developers claim that it provides reduced memory footprint and increased compilation speed compared to competing compilers, such as GCC. To support their claim, they present that, as of October 2007, Clang compiled the Carbon libraries well over twice as fast as GCC, while using about one-sixth GCC's memory and disk space.[12]
Clang's overall compatibility with GCC is very good, and its compilation speed typically better than GCC's.[13] The runtime performance of Clang/LLVM output used to be sometimes worse than GCC's,[13][14] but as of the middle of 2012, runtime performance has improved to the point where GCC wins some benchmarks and Clang others.[15]
Status history
This table presents only significant steps and releases in Clang history.
Date | Highlights |
---|---|
11 July 2007 | Clang frontend released under an open-source license |
25 February 2009 | Clang/LLVM able to compile a working FreeBSD kernel.[16][17] |
16 March 2009 | Clang/LLVM able to compile a working DragonFly BSD kernel.[18][19] |
23 October 2009 | Clang 1.0 released along with LLVM 2.6 for the first time. |
December 2009 | Code generation for C and Objective-C reach production quality (support for C++ and Objective-C++ still incomplete). Clang C++ able to parse GCC 4.2 libstdc++ and generate working code for non-trivial programs[10] and was able to compile itself[20] |
2 February 2010 | Clang self-hosting.[21] |
20 February 2010 | The source code of HelenOS was modified to successfully compile with Clang, and passed all kernel and user space regression tests on IA-32.[22] |
20 May 2010 | The latest version of Clang successfully built the Boost C++ libraries, and passed nearly all tests.[23] |
10 June 2010 | Clang/LLVM became an integral part of FreeBSD (The default compiler is still GCC)[24] |
25 October 2010 | Clang/LLVM able to compile a working modified Linux Kernel.[25] |
January 2011 | Preliminary work completed to support the draft C++0x standard, with a few of the draft's new features supported in the development version of clang.[26][27] |
10 February 2011 | Clang able to compile a working HotSpot Java Virtual Machine[13] |
28 February 2012 | Clang 3.0 able to rebuild more than 91% of the Debian archive [28] |
29 February 2012 | Clang now the default compiler in MINIX 3[29] |
12 May 2012 | Clang/LLVM is announced to replace GCC in FreeBSD [30] |
5 November 2012 | Clang now the default compiler in FreeBSD [31] |
See also
References
- ^ LLVM License, retrieved 18 September 2012
- ^ Christopher, Eric (3 July 2008). "simply wonder pronunciation of Clang". LLVMdev (Mailing list). Retrieved 9 July 2008.
{{cite mailing list}}
: Unknown parameter|mailinglist=
ignored (|mailing-list=
suggested) (help) - ^ Clang "Getting started" instructions, Clang.llvm.org, retrieved 18 September 2012
- ^ "Clang Static Analyzer". LLVM. Retrieved 3 September 2009.
- ^
Treat, Adam (19 February 2005). "mkspecs and patches for LLVM compile of Qt4". Qt4-preview-feedback (Mailing list).
{{cite mailing list}}
: Unknown parameter|mailinglist=
ignored (|mailing-list=
suggested) (help) - ^ Lattner, Chris (25 May 2007). LLVM for OpenGL and other stuff (Slides). LLVM Developers' Meeting.
{{cite conference}}
: External link in
(help); Unknown parameter|conferenceurl=
|conferenceurl=
ignored (|conference-url=
suggested) (help) - ^
Zadeck, Kenneth (19 November 2005). "Re: LLVM/GCC Integration Proposal". GCC development (Mailing list).
{{cite mailing list}}
: Unknown parameter|mailinglist=
ignored (|mailing-list=
suggested) (help) - ^
Apostolou, Dimitrios (5 July 2011). "GSOC - Student Roundup". GCC development (Mailing list).
{{cite mailing list}}
: Unknown parameter|mailinglist=
ignored (|mailing-list=
suggested) (help) - ^ a b
Naroff, Steve (25 May 2007). New LLVM C Front-end (Slides). LLVM Developers' Meeting.
{{cite conference}}
: External link in
(help); Unknown parameter|conferenceurl=
|conferenceurl=
ignored (|conference-url=
suggested) (help) - ^ a b c Clang team, clang: a C language family frontend for LLVM
- ^
Lattner, Chris (11 July 2007). "New LLVM C front-end: "clang"". cfe-dev (Mailing list).
{{cite mailing list}}
: Unknown parameter|mailinglist=
ignored (|mailing-list=
suggested) (help) - ^ Clang - Features and Goals: Fast compiles and Low Memory Use, October 2007
- ^ a b c Simonis, Volker (10 February 2011). "Compiling the HotSpot VM with Clang". Retrieved 13 February 2011.
While the overall GCC compatibility is excellent and the compile times are impressive, the performance of the generated code is still lacking behind a recent GCC version.
- ^ "Benchmarking LLVM & Clang Against GCC 4.5". Phoronix. 21 April 2010. Retrieved 13 February 2011.
Binaries from LLVM-GCC and Clang both struggled to compete with GCC 4.5.0 in the timed HMMer benchmark of a Pfam database search. LLVM-GCC and Clang were about 23% slower(...)Though LLVM / Clang isn't the performance champion at this point, both components continue to be under very active development and there will hopefully be more news to report in the coming months
- ^ "LLVM CLANG 3.1 GCC 4.7 INTEL CORE I7 BENCHMARKS". OpenBenchmarking.org. 2 July 2012. Retrieved 2 July 2012.
- ^ Divacky, Roman. "[ANNOUNCE] clang/llvm can compile booting FreeBSD kernel on i386/amd64".
- ^ Building FreeBSD with Clang, Wiki.freebsd.org, 24 August 2012, retrieved 18 September 2012
- ^ Hornung, Alex. "llvm/clang once more".
- ^ Clang, DragonFlyBSD, retrieved 18 September 2012
- ^ "Clang can compile LLVM and Clang". LLVM Project Blog.
- ^ "Clang Successfully Self-Hosts". LLVM Project Blog.
- ^ "HelenOS mainline changeset head,294".
- ^ Gregor, Doug. "Clang++ Builds Boost!". LLVM Project Blog.
- ^ Davis, Brad. "FreeBSD Status Reports April - June, 2010".
- ^ Clang builds a working Linux Kernel (Boots to RL5 with SMP, networking and X, self hosts), Lists.cs.uiuc.edu, retrieved 18 September 2012
- ^ Gregor, Douglas (26 January 2011). "New C++0x feature support in Clang" (Mailing list). Retrieved 29 January 2011.
- ^ "C++ and C++'0x Support in Clang". LLVM.
- ^ Ledru, Sylvestre. "Rebuild of the Debian archive with clang".
- ^ "Official Minix 3 website: News".
- ^ Gerzo, Daniel (12 May 2012). "FreeBSD Quarterly Status Report January-March, 2012" (Mailing list). Retrieved 14 May 2012.
- ^ Davis, Brooks (5 November 2012). "HEADS UP: Clang now the default on x86" (Mailing list). Retrieved 7 November 2012.
External links
- Official website
- LLVMdev: New LLVM C front-end: "clang", announcement (11 July 2007)
- Presentation: Ted Kremenek - Finding Bugs with the Clang Static Analyzer, Slides
- Presentation: Steve Naroff - Clang Internals, Slides
- 2009 DevMtg Clang presentation