GNU Compiler Collection
|Initial release||23 May 1987|
|Stable release||4.9.1 / 16 July 2014|
|Preview release||4.9.0-rc1 / 11 April 2014|
|License||GNU GPL 3+ with GCC Runtime Library Exception|
The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages. GCC is a key component of the GNU toolchain. The Free Software Foundation (FSF) distributes GCC under the GNU General Public License (GNU GPL). GCC has played an important role in the growth of free software, as both a tool and an example.
Originally named the GNU C Compiler, because it only handled the C programming language, GCC 1.0 was released in 1987 and the compiler was extended to compile C++ in December of that year. Front ends were later developed for Objective-C, Objective-C++, Fortran, Java, Ada, and Go among others.
GCC has been ported to a wide variety of processor architectures, and is widely deployed as a tool in the development of both free software and proprietary software. GCC is also available for most embedded platforms, including Symbian (called gcce), AMCC, and Freescale Power Architecture-based chips. The compiler can target a wide variety of platforms, including video game consoles such as the PlayStation 2 and Dreamcast.
As well as being the official compiler of the GNU operating system, GCC has been adopted as the standard compiler by many other modern Unix-like computer operating systems, including Linux and the BSD family, although FreeBSD is moving to the LLVM system. Versions are also available for Microsoft Windows and other operating systems.
In an effort to bootstrap the GNU Operating System, Richard Stallman asked Andrew S. Tanenbaum, the author of the Amsterdam Compiler Kit (also known as the Free University Compiler Kit) if he could use that software for GNU. When Tanenbaum told him that while the Free University was free, the compiler was not, Stallman decided to write his own. Richard Stallman's initial plan was to rewrite an existing compiler from Lawrence Livermore Lab from Pastel to C with some help from Len Tower and others. Stallman wrote a new C front end for the Livermore compiler but then realized that it required megabytes of stack space, an impossibility on a 68000 Unix system with only 64K, and concluded he would have to write a new compiler from scratch. None of the Pastel compiler code ended up in GCC, though Stallman did use the C front end he had written.
GCC was first released March 22, 1987, available by FTP from MIT. Stallman was listed as the author but cited others for their contributions, including Jack Davidson and Christopher Fraser for the idea of using RTL as an intermediate language, Paul Rubin for writing most of the preprocessor and Leonard Tower for "parts of the parser, RTL generator, RTL definitions, and of the Vax machine description."
By 1991, GCC 1.x had reached a point of stability but architectural limitations prevented many desired improvements, so the FSF started work on GCC 2.x.
As GCC was licensed under the GPL, programmers wanting to work in other directions—particularly those writing interfaces for languages other than C—were free to develop their own fork of the compiler (provided they meet the GPL's terms, including its requirements to distribute source code). Multiple forks proved inefficient and unwieldy, however, and the difficulty in getting work accepted by the official GCC project was greatly frustrating for many. The FSF kept such close control on what was added to the official version of GCC 2.x that GCC was used as one example of the "cathedral" development model in Eric S. Raymond's essay The Cathedral and the Bazaar.
In 1997, a group of developers formed EGCS—Experimental/Enhanced GNU Compiler System—to merge several experimental forks into a single project. The basis of the merger was a GCC development snapshot taken between the 2.7 and 2.81 releases. Projects merged included g77 (Fortran), PGCC (P5 Pentium-optimized GCC), many C++ improvements, and many new architectures and operating system variants. EGCS development proved considerably more vigorous than GCC development, so much so that the FSF officially halted development on their GCC 2.x compiler, “blessed” EGCS as the official version of GCC and appointed the EGCS project as the GCC maintainers in April 1999. With the release of GCC 2.95 in July 1999 the two projects were once again united.
GCC has since been maintained by a varied group of programmers from around the world under the direction of a steering committee. It has been ported to more kinds of processors and operating systems than any other compiler.[unreliable source?]
|0.9||22 March 1987|
|1.0||23 May 1987|
|1.1||24 May 1987|
|1.2||1 June 1987|
|1.3||10 June 1987|
|1.4||13 June 1987|
|1.5||18 June 1987|
|1.6||2 July 1987|
|1.7||21 July 1987|
|1.8||10 August 1987|
|1.9||18 August 1987|
|1.1||22 August 1987|
|1.11||5 September 1987|
|1.12||3 October 1987|
|1.13||12 October 1987|
|1.14||6 November 1987|
|1.15||28 November 1987|
|g++ 1.15.3||18 December 1987|
|1.16||19 December 1987|
|1.17||9 January 1988|
|1.18||4 February 1988|
|1.19||29 March 1988|
|1.2||19 April 1988|
|1.21||1 May 1988|
|1.22||22 May 1988|
|1.23||26 June 1988|
|1.24||2 July 1988|
|1.25||3 August 1988|
|1.26||18 August 1988|
|1.27||5 September 1988|
|1.28||14 September 1988|
|1.29||6 October 1988|
|1.3||13 October 1988|
|1.31||19 November 1988|
|1.32||21 December 1988|
|1.33||1 February 1989|
|1.34||23 February 1989|
|1.35||26 April 1989|
|1.36||24 September 1989|
|g++ 1.36.3||16 January 1990|
|g++ 1.36.4||30 January 1990|
|1.37||11 February 1990|
|1.37.1||21 February 1990|
|g++ 1.37.0||28 February 1990|
|g++ 1.37.1||1 March 1990|
|1.38||21 December 1990|
|1.39||16 January 1991|
|g++ 1.39.1||4 May 1991|
|1.4||1 June 1991|
|g++ 1.40.3||19 October 1991|
|g++ 1.41.0||13 July 1992|
|1.41||27 August 1992|
|1.42||20 September 1992|
|g++ 1.42.0||20 September 1992|
|2.0||22 February 1992||Supported C, C++, and Objective C. Prior to this the C++ compiler was released separately from the C compiler|
|2.1||24 March 1992|
|2.2||8 June 1992|
|2.2.1||9 June 1992|
|2.2.2||14 June 1992|
|2.3||31 October 1992|
|2.3.1||1 November 1992|
|2.3.2||27 November 1992|
|2.3.3||26 December 1992|
|2.4.0||17 May 1993|
|2.4.1||26 May 1993|
|2.4.2||31 May 1993|
|2.4.3||1 June 1993|
|2.4.4||19 June 1993|
|2.4.5||20 June 1993|
|2.5.0||22 October 1993|
|2.5.1||31 October 1993|
|2.5.2||1 November 1993|
|2.5.3||11 November 1993|
|2.5.4||16 November 1993|
|2.5.5||27 November 1993|
|2.5.6||3 December 1993|
|2.5.7||12 December 1993|
|2.5.8||24 January 1994|
|2.6.0||14 July 1994|
|2.6.1||1 November 1994|
|2.6.2||12 November 1994|
|2.6.3||30 November 1994|
|2.7.0||16 June 1995|
|2.7.1||12 November 1995|
|2.7.2||26 November 1995|
|18.104.22.168||29 June 1996|
|22.214.171.124||29 January 1997|
|126.96.36.199||22 August 1997|
|egcs 1.0||3 December 1997||Added Fortran front end (g77). However, g77 was not included with releases 2.8.0 or 2.8.1|
|egcs 1.0.1||6 January 1998|
|2.8.0||7 January 1998|
|2.8.1||2 March 1998|
|egcs 1.0.2||16 March 1998|
|egcs 1.0.3||15 May 1998|
|egcs 1.1||3 September 1998|
|egcs 1.1.1||1 December 1998|
|egcs 1.1.2||15 March 1999|
|2.95||31 July 1999||Included front ends for C, C++, Objective C, CHILL, Fortran (g77), and Java (gcj)|
|2.95.1||19 August 1999|
|2.95.2||24 October 1999|
|2.95.3||16 March 2001|
|3.0||18 June 2001||CHILL compiler removed|
|3.0.1||20 August 2001|
|3.0.2||25 October 2001|
|3.0.3||20 December 2001|
|3.0.4||20 February 2002|
|3.1||15 May 2002||Added Ada compiler (gnat)|
|3.1.1||25 July 2002|
|3.2||14 August 2002|
|3.2.1||19 November 2002|
|3.2.2||5 February 2003|
|3.2.3||22 April 2003|
|3.3||13 May 2003|
|3.3.1||8 August 2003|
|3.3.2||17 October 2003|
|3.3.3||14 February 2004|
|3.4.0||18 April 2004|
|3.3.4||31 May 2004|
|3.4.1||1 July 2004|
|3.4.2||6 September 2004|
|3.3.5||30 September 2004|
|3.4.3||4 November 2004|
|3.3.6||3 May 2005|
|3.4.4||18 May 2005|
|4.0.0||20 April 2005||Fortran front end changed from g77 to gfortran|
|4.0.1||7 July 2005|
|4.0.2||28 September 2005|
|3.4.5||30 November 2005|
|4.1.0||28 February 2006|
|3.4.6||6 March 2006|
|4.0.3||10 March 2006|
|4.1.1||24 May 2006|
|4.0.4||31 January 2007|
|4.1.2||13 February 2007|
|4.2.0||13 May 2007|
|4.2.1||18 July 2007|
|4.2.2||7 October 2007|
|4.2.3||1 February 2008|
|4.3.0||5 March 2008|
|4.2.4||19 May 2008|
|4.3.1||6 June 2008|
|4.3.2||27 August 2008|
|4.3.3||24 January 2009|
|4.4.0||21 April 2009|
|4.4.1||22 July 2009|
|4.3.4||4 August 2009|
|4.4.2||15 October 2009|
|4.4.3||21 January 2010|
|4.5.0||14 April 2010||Several minor new features (new targets, new language dialects) and a couple of major new features: link-time optimization and plugins|
|4.4.4||29 April 2010|
|4.3.5||22 May 2010|
|4.5.1||31 July 2010|
|4.4.5||1 October 2010|
|4.5.2||16 December 2010|
|4.6.0||25 March 2011||Support added for the Go language|
|4.4.6||16 April 2011|
|4.5.3||28 April 2011|
|4.3.6||27 June 2011|
|4.6.1||27 June 2011|
|4.6.2||26 October 2011|
|4.6.3||1 March 2012|
|4.4.7||13 March 2012|
|4.7.0||22 March 2012|
|4.7.1||14 June 2012|
|4.5.4||2 July 2012|
|4.7.2||20 September 2012|
|4.8.0||22 March 2013|
|4.7.3||11 April 2013|
|4.6.4||12 April 2013|
|4.8.1||31 May 2013|
|4.8.2||16 October 2013|
|4.9.0||22 April 2014|
|4.9.1||16 July 2014|
GCC's external interface follows Unix conventions. Users invoke a language-specific driver program (
gcc for C,
g++ for C++, etc.), which interprets command arguments, calls the actual compiler, runs the assembler on their output, and then possibly runs the linker to produce a complete executable binary.
Each of the language compilers is a separate program that reads source code and outputs machine code. All have a common internal structure. A per-language front end parses the source code in that language and produces an abstract syntax tree ("tree" for short).
These are, if necessary, converted to the middle end's input representation, called GENERIC form; the middle end then gradually transforms the program towards its final form. Compiler optimizations and static code analysis techniques (such as FORTIFY_SOURCE, a compiler directive that attempts to discover some buffer overflows) are applied to the code. These work on multiple representations, mostly the architecture-independent GIMPLE representation and the architecture-dependent RTL representation. Finally, machine code is produced using architecture-specific pattern matching originally based on an algorithm of Jack Davidson and Chris Fraser.
GCC was written primarily in C except for parts of the Ada front end. The distribution includes the standard libraries for Ada, C++, and Java whose code is mostly written in those languages. On some platforms, the distribution also includes a low-level runtime library, libgcc, written in a combination of machine-independent C and processor-specific machine code, designed primarily to handle arithmetic operations that the target processor cannot perform directly.
In May 2010, the GCC steering committee decided to allow use of a C++ compiler to compile GCC. The compiler was intended to be written in C plus a subset of features from C++. In particular, this was decided so that GCC's developers could use the destructors and generics features of C++.
In August 2012, the GCC steering committee announced that GCC now uses C++ as its implementation language. This means that to build GCC from sources, a C++ compiler is required that understands ISO/IEC C++03 standard.
Each front end uses a parser to produce the syntax tree abstraction of a given source file. Due to the syntax tree abstraction, source files of any of the different supported languages can be processed by the same back end. GCC started out using LALR parsers generated with Bison, but gradually switched to hand-written recursive-descent parsers; for C++ in 2004, and for C and Objective-C in 2006. Currently all front ends use hand-written recursive-descent parsers.
Until recently, the tree representation of the program was not fully independent of the processor being targeted.
The meaning of a tree was somewhat different for different language front ends, and front ends could provide their own tree codes. This was simplified with the introduction of GENERIC and GIMPLE, two new forms of language-independent trees that were introduced with the advent of GCC 4.0. GENERIC is more complex, based on the GCC 3.x Java front end's intermediate representation. GIMPLE is a simplified GENERIC, in which various constructs are lowered to multiple GIMPLE instructions. The C, C++ and Java front ends produce GENERIC directly in the front end. Other front ends instead have different intermediate representations after parsing and convert these to GENERIC.
In either case, the so-called "gimplifier" then converts this more complex form into the simpler SSA-based GIMPLE form that is the common language for a large number of powerful language- and architecture-independent global (function scope) optimizations.
GENERIC and GIMPLE
GENERIC is an intermediate representation language used as a "middle end" while compiling source code into executable binaries. A subset, called GIMPLE, is targeted by all the front ends of GCC.
The middle stage of GCC does all of the code analysis and optimization, working independently of both the compiled language and the target architecture, starting from the GENERIC representation and expanding it to Register Transfer Language (RTL). The GENERIC representation contains only the subset of the imperative programming constructs optimized by the middle end.
In transforming the source code to GIMPLE, complex expressions are split into a three address code using temporary variables. This representation was inspired by the SIMPLE representation proposed in the McCAT compiler by Laurie J. Hendren for simplifying the analysis and optimization of imperative programs.
Optimization can occur during any phase of compilation; however, the bulk of optimizations are performed after the syntax and semantic analysis of the front end and before the code generation of the back end; thus a common, even though somewhat contradictory, name for this part of the compiler is the "middle end."
The exact set of GCC optimizations varies from release to release as it develops, but includes the standard algorithms, such as loop optimization, jump threading, common subexpression elimination, instruction scheduling, and so forth. The RTL optimizations are of less importance with the addition of global SSA-based optimizations on GIMPLE trees, as RTL optimizations have a much more limited scope, and have less high-level information.
Some of these optimizations performed at this level include dead code elimination, partial redundancy elimination, global value numbering, sparse conditional constant propagation, and scalar replacement of aggregates. Array dependence based optimizations such as automatic vectorization and automatic parallelization are also performed. Profile-guided optimization is also possible.
The behavior of GCC's back end is partly specified by preprocessor macros and functions specific to a target architecture, for instance to define its endianness, word size, and calling conventions. The front part of the back end uses these to help decide RTL generation, so although GCC's RTL is nominally processor-independent, the initial sequence of abstract instructions is already adapted to the target. At any moment, the actual RTL instructions forming the program representation have to comply with the machine description of the target architecture.
The machine description file contains RTL patterns, along with operand constraints, and code snippets to output the final assembly. The constraints indicate that a particular RTL pattern might only apply (for example) to certain hardware registers, or (for example) allow immediate operand offsets of only a limited size (e.g. 12, 16, 24, ... bit offsets, etc.). During RTL generation, the constraints for the given target architecture are checked. In order to issue a given snippet of RTL, it must match one (or more) of the RTL patterns in the machine description file, and satisfy the constraints for that pattern; otherwise, it would be impossible to convert the final RTL into machine code.
Towards the end of compilation, valid RTL is reduced to a strict form in which each instruction refers to real machine registers and a pattern from the target's machine description file. Forming strict RTL is a complicated task; an important step is register allocation, where real hardware registers are chosen to replace the initially assigned pseudo-registers. This is followed by a "reloading" phase; any pseudo-registers that were not assigned a real hardware register are 'spilled' to the stack, and RTL to perform this spilling is generated. Likewise, offsets that are too large to fit into an actual instruction must be broken up and replaced by RTL sequences that will obey the offset constraints.
In the final phase, the machine code is built by calling a small snippet of code, associated with each pattern, to generate the real instructions from the target's instruction set, using the final registers, offsets, and addresses chosen during the reload phase. The assembly-generation snippet may be just a string, in which case a simple string substitution of the registers, offsets, and/or addresses into the string is performed. The assembly-generation snippet may also be a short block of C code, performing some additional work, but ultimately returning a string containing the valid machine code.
Some features of GCC include:
- Link-time optimization optimizes across object file boundaries to directly improve the linked binary. Link-time optimization relies on an intermediate file containing the serialization of some -Gimple- representation included in the object file. The file is generated alongside the object file during source compilation. Each source compilation generates a separate object file and link-time helper file. When the object files are linked, the compiler is executed again and uses the helper files to optimize code across the separately compiled object files.
- Plugins can extend the GCC compiler directly. Plugins allow a stock compiler to be tailored to specific needs by external code loaded as plugins. For example, plugins can add, replace, or even remove middle–end passes operating on Gimple representations. Several GCC plugins have already been published, notably the GCC Python Plugin, which links against libpython, and allows one to invoke arbitrary Python scripts from inside the compiler. The aim is to allow GCC plugins to be written in Python. The MELT plugin provides a high-level Lisp-like language to extend GCC.
The standard compiler releases since 4.6 include front ends for C (gcc), C++ (g++), Objective-C, Objective-C++, Fortran (gfortran), Java (gcj), Ada (GNAT), and Go (gccgo). Also available, but not in standard are Pascal (gpc), Mercury, Modula-2, Modula-3, PL/I, D (gdc), and VHDL (ghdl). A popular parallel language extension, OpenMP, is also supported.
The Fortran front end was g77 before version 4.0, which only supports FORTRAN 77. In newer versions, g77 is dropped in favor of the new gfortran front end that supports Fortran 95 and parts of Fortran 2003 as well. A front-end for CHILL was dropped due to a lack of maintenance.
GCC target processor families as of version 4.3 include:
Lesser-known target processors supported in the standard release have included:
Additional processors have been supported by GCC versions maintained separately from the FSF version:
The current stable version of GCC is 4.9.0; which was released on 22 April 2014. GCC now uses C++ as its implementation language.
GCC 4.6 supports many new Objective-C features, such as declared and synthesized properties, dot syntax, fast enumeration, optional protocol methods, method/protocol/class attributes, class extensions and a new GNU Objective-C runtime API. It also supports the Go programming language and includes the
libquadmath library, which provides quadruple-precision mathematical functions on targets supporting the
__float128 datatype. The library is used to provide the
REAL(16) type in GNU Fortran on such targets.
GCC uses many standard tools in its build, including Perl, Flex, Bison, and other common tools. In addition it currently requires three additional libraries to be present in order to build: GMP, MPC, and MPFR.
The trunk concentrates the major part of the development efforts, where new features are implemented and tested. Eventually, the code from the trunk will become the next major release of GCC.
Several companies make a business out of supplying and supporting GCC ports to various platforms, and chip manufacturers today consider a GCC port almost essential to the success of an architecture.
- "GCC Releases". GNU Project. Retrieved 2006-12-27.
- "GCC Runtime Library Exception". Retrieved 2013-02-28.
- "Programming Languages Supported by GCC". GNU Project. Retrieved 2014-06-23.
- "Symbian GCC Improvement Project". Retrieved 2007-11-08.
- "Linux Board Support Packages". Retrieved 2008-08-07.
- "setting up gcc as a cross-compiler". ps2stuff. 2002-06-08. Retrieved 2008-12-12.[dead link]
- "sh4 g++ guide". Archived from the original on 2002-12-20. Retrieved 2008-12-12.
- The Definitive Guide to GCC 2nd Edition (Definitive Guides). pp. XXVII.
- Stallman, Richard (September 20, 2011). "About the GNU Project". The GNU Project. Retrieved October 9, 2011.
- Puzo, Jerome E., ed. (February 1986). "Gnu's Zoo". GNU'S Bulletin (Free Software Foundation) 1 (1). Retrieved 2007-08-11.
- Richard M. Stallman (forwarded by Leonard H. Tower Jr.) (March 22, 1987). "GNU C compiler beta test release". comp.lang.c. Web link. Retrieved October 9, 2011.
- Stallman, Richard M. (24 April 1988), "Contributors to GNU CC", Internals of GNU CC, Free Software Foundation, Inc., p. 7, retrieved October 3, 2011
- Henkel-Wallace, David (15 August 1997), A new compiler project to merge the existing GCC forks, retrieved May 25, 2012
- "Pentium Compiler FAQ".
- "A Brief History of GCC".
- "The Short History of GCC development".
- "GCC Steering Committee".
- Linux Information Project (LINFO) accessed 2010-04-27
- GCC Releases, gnu.org. Accessed on line Mar. 26, 2014.
- GCC Development Plan, gnu.org. Accessed on line Mar. 26, 2014.
- "Security Features: Compile Time Buffer Checks (FORTIFY_SOURCE)". fedoraproject.org. Retrieved 2009-03-11.
- "languages used to make GCC".
- GCC Internals, GCC.org, Retrieved March 01, 2010.
- "GCC allows C++ – to some degree". The H. 1 June 2010.
- "An email by Richard Stallman on emacs-devel".
- "GCC 4.8 Release Series — Changes, New Features, and Fixes". Retrieved 4 October 2013.
- GCC 3.4 Release Series Changes, New Features, and Fixes
- GCC 4.1 Release Series Changes, New Features, and Fixes
- GENERIC in GNU Compiler Collection Internals
- GIMPLE in GNU Compiler Collection Internals
- McCAT at the Wayback Machine (archived August 12, 2004)
- Laurie J. Hendren
- From Source to Binary: The Inner Workings of GCC, by Diego Novillo, Red Hat Magazine, December 2004
- Profile-guided optimization is demonstrated here: http://gcc.gnu.org/install/build.html#TOC4
- "Link Time Optimization". GCC wiki. October 3, 2009. Retrieved July 8, 2013.
- "Plugins". GCC online documentation. Retrieved July 8, 2013.
- Starynkevitch, Basile. "GCC plugins thru the MELT example". Retrieved 10 April 2014.
- "About GCC MELT". Retrieved July 8, 2013.
- "GCC Front Ends", gnu.org, Retrieved November 25, 2011.
- "gdc project on bitbucket". Retrieved 3 July 2010.
- "Fortran 2003 Features in GNU Fortran".
- [PATCH] Remove chill, gcc.gnu.org, Retrieved July 29, 2010.
- "GCC UPC (GCC Unified Parallel C) | http://www.gccupc.org/". http://www.gccupc.org/<!. 2006-02-20. Retrieved 2009-03-11.
- "Hexagon Project Wiki".
- "sx-gcc: port gcc to nec sx vector cpu".
- "The GNU Compiler for the Java Programming Language". Retrieved 2010-04-22.
- "GCC 4.9 Release Series". Retrieved 2014-04-22.
- "GCC runtime exception". Retrieved 10 April 2014.
- "FSF Service Directory".
- Using the GNU Compiler Collection (GCC), Free Software Foundation, 2008.
- GNU Compiler Collection (GCC) Internals, Free Software Foundation, 2008.
- An Introduction to GCC, Network Theory Ltd., 2004 (Revised August 2005). ISBN 0-9541617-9-3.
- Arthur Griffith, GCC: The Complete Reference. McGrawHill / Osborne, 2002. ISBN 0-07-222405-3.
|Wikimedia Commons has media related to GCC.|
|Wikibooks has a book on the topic of: GNU C Compiler Internals|
- Official website
- GCC optimisations
- Collection of GCC 4.0.2 architecture and internals documents at I.I.T. Bombay.
- Kerner, Sean Michael (2006-03-02). "New GCC Heavy on Optimization". internetnews.com.
- Kerner, Sean Michael (2005-04-22). "Open Source GCC 4.0: Older, Faster". internetnews.com.
- From Source to Binary: The Inner Workings of GCC, by Diego Novillo, Red Hat Magazine, December 2004
- A 2003 paper on GENERIC and GIMPLE
- Marketing Cygnus Support, an essay covering GCC development for the 1990s, with 30 monthly reports for in the "Inside Cygnus Engineering" section near the end.
- EGCS 1.0 announcement
- EGCS 1.0 features list
- Fear of Forking, an essay by Rick Moen recording seven well-known forks, including the GCC/EGCS one