Jump to content

GNU Compiler Collection: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m saying it is frequently critized is original research, move optimization point to correct section
m grammar
Line 116: Line 116:
GCC uses many standard tools in its build, including [[Perl]], [[Flex_lexical_analyser|Flex]], [[GNU_bison|Bison]], and other common tools. In addition it currently requires three additional libraries to be present in order to build: [[GNU_Multi-Precision_Library|GMP]], [[Multiple Precision Complex|MPC]], and [[MPFR]].
GCC uses many standard tools in its build, including [[Perl]], [[Flex_lexical_analyser|Flex]], [[GNU_bison|Bison]], and other common tools. In addition it currently requires three additional libraries to be present in order to build: [[GNU_Multi-Precision_Library|GMP]], [[Multiple Precision Complex|MPC]], and [[MPFR]].


The previous major version, '''4.5''', was initially released on April 14, 2010 (last minor version is 4.5.3, released on April 29, 2011). It included several minor new features (new targets, new language dialects) and a couple major new features:
The previous major version, '''4.5''', was initially released on April 14, 2010 (last minor version is 4.5.3, released on April 29, 2011). It included several minor new features (new targets, new language dialects) and a couple of major new features:
* ''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 [http://gcc.gnu.org/wiki/LinkTimeOptimization]. 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.
* ''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 [http://gcc.gnu.org/wiki/LinkTimeOptimization]. 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 [http://gcc.gnu.org/onlinedocs/gccint/Plugins.html]. 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:
* ''[[Plugins]]'' can extend the GCC compiler directly [http://gcc.gnu.org/onlinedocs/gccint/Plugins.html]. 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:

Revision as of 02:39, 6 February 2012

"Cc1" redirects here. For other uses of CC1 or CC-1, see CC1 (disambiguation).
GNU Compiler Collection
Developer(s)GNU Project
Initial releaseMay 23, 1987 (1987-05-23)[1]
Stable release
4.6.2 / October 26, 2011 (2011-10-26)
Repository
Written inC, C++
Operating systemCross-platform
PlatformGNU
TypeCompiler
LicenseGNU General Public License (version 3 or later)
Websitehttp://gcc.gnu.org

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. As well as being the official compiler of the unfinished GNU operating system, GCC has been adopted as the standard compiler by most other modern Unix-like computer operating systems, including Linux, the BSD family and Mac OS X. A port to RISC OS has also been developed extensively in recent years.[2] There is also an old (3.0) port of GCC to Plan9, running under its ANSI/POSIX Environment (APE). [3] GCC is also available for the widely-used Microsoft Windows operating systems, and for the ARM processor used by many portable devices.

GCC has been ported to a wide variety of processor architectures, and is widely deployed as a tool in commercial, proprietary and closed source software development environments. GCC is also available for most embedded platforms, including Symbian (called gcce),[4] AMCC and Freescale Power Architecture-based chips.[5] The compiler can target a wide variety of platforms, including videogame consoles such as the PlayStation 2[6] and Dreamcast.[7] Several companies[8] 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.[citation needed]

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.[1] Front ends were later developed for Objective-C, Objective-C++, Fortran, Java, Ada, and Go among others.[9]

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.

History

Richard Stallman's initial plan[10] was to rewrite an existing compiler from Lawrence Livermore Lab from Pastel to C with some help from Len Tower and others.[11] 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.[10] None of the Pastel compiler code ended up in GCC, though Stallman did use the C front end he had written.[10]

GCC was first released March 22, 1987, available by ftp from MIT.[12] 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."[13]

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.[citation needed]

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[citation needed] (provided they meet the GPL's terms, including its requirements to distribute source code). Multiple forks proved inefficient and unwieldy,[citation needed] however, and the difficulty in getting work accepted by the official GCC project was greatly frustrating for many.[citation needed] The FSF kept such close control on what was added to the official version of GCC 2.x[citation needed] that GCC was used as one example of the "cathedral" development model in Eric S. Raymond's essay The Cathedral and the Bazaar.

With the release of 4.4BSD in 1994, GCC became the default compiler for most BSD systems.[citation needed]

EGCS fork

In 1997, a group of developers formed EGCS (Experimental/Enhanced GNU Compiler System),[14] 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.[15][16]

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. Furthermore, the project explicitly adopted the "bazaar" model over the "cathedral" model. With the release of GCC 2.95 in July 1999, the two projects were once again united.

GCC is now maintained by a varied group of programmers from around the world, under the direction of a steering committee.[17] It has been ported to more kinds of processors and operating systems than any other compiler.[18]

Development

GCC stable release

The current stable version of GCC is 4.6.2, which was released on October 26, 2011.

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 previous major version, 4.5, was initially released on April 14, 2010 (last minor version is 4.5.3, released on April 29, 2011). It included several minor new features (new targets, new language dialects) and a couple of major new features:

  • 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 [1]. 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 [2]. 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:

GCC trunk

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, with version 4.7.

Uses

GCC is often chosen for developing software that is required to execute on a wide variety of hardware and/or operating systems.[citation needed] System-specific compilers provided by hardware or OS vendors can differ substantially, complicating both the software's source code and the scripts that invoke the compiler to build it.[citation needed] With GCC, most of the compiler is the same on every platform, so only code that explicitly uses platform-specific features must be rewritten for each system.[citation needed]

Languages

The standard compiler release 4.6 includes front ends for C (gcc), C++ (g++), Objective-C (gobjc), Fortran (gfortran), Java (gcj), Ada (GNAT), and Go (gccgo).[19] Also available, but not in standard are Pascal (gpc), Mercury, Modula-2, Modula-3, PL/I, D (gdc)[citation needed], 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.[20] As the later Fortran standards incorporate the F77 standard, standards-compliant F77 code is also standards-compliant F90/95 code, and so can be compiled without trouble in gfortran. A front-end for CHILL was dropped due to a lack of maintenance.[21]

A few experimental branches exist to support additional languages, such as the GCC UPC compiler[22] for Unified Parallel C.

Architectures

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 gcj Java compiler can target either a native machine language architecture or the Java Virtual Machine's Java bytecode.[25] When retargeting GCC to a new platform, bootstrapping is often used.

Structure

GCC's external interface is generally standard for a UNIX compiler. Users invoke a driver program named gcc, which interprets command arguments, decides which language compilers to use for each input file, 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 inputs 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,[26] 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 is 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.[27] 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.[28]

In May 2010, the GCC steering committee decided to allow use of a C++ compiler to compile GCC.[29] The compiler will 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++.[30]

Front-ends

Frontends vary internally, having to produce trees that can be handled by the backend. Currently, the parsers are all hand-coded recursive descent parsers, though there is no reason why a parser generator could not be used for new front-ends in the future (version 2 of the C compiler used a bison based grammar).

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 lowers this more complex form into the simpler SSA-based GIMPLE form that is the common language for a large number of new 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 the code analysis and optimization, working independently of both the compiled language and the target architecture, starting from the GENERIC[31] representation and expanding it to Register Transfer Language. The GENERIC representation contains only the subset of the imperative programming constructs optimised by the middle-end.

In transforming the source code to GIMPLE[32], 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[33] by Laurie J. Hendren[34] for simplifying the analysis and optimization of imperative programs.

Optimization

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 "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,[35] 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 as demonstrated here: http://gcc.gnu.org/install/build.html#TOC4

Theo de Raadt felt there was an over emphasis on optimization:

I would love a new C compiler, but mostly because I feel that the gcc model is unmaintainable in the long term. What the gcc people have created is a compiler that is heavy on optimization. The result of their imperfect efforts thus is a compiler that generates incorrect code from time to time, and this affects us all. That also makes it very slow. I would love to see a new C compiler that was fully compliant, did minimal optimization, was small and fast, and high quality.

— Theo de Raadt[36]

Back-end

The behavior of GCC's back end is partly specified by preprocessor macros and functions specific to a target architecture, for instance to define the 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 in 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.

Compatible IDEs

Most integrated development environments written for GNU/Linux and some for other operating systems support GCC. These include:

Debugging GCC programs

The primary tool used to debug GCC code is the GNU Debugger (gdb). Among more specialized tools are Valgrind, for finding memory errors and leaks, and the graph profiler (gprof) that can determine how much time is spent in which routines, and how often they are called; this requires programs to be compiled with profiling options.

Development Practices

GCC was criticised for its development practices by Linus Torvalds:

Are you surprised? The gcc developers seem to have had a total disregard for what people want or need, and every time some code generation issue comes up, there's a lot of people on the list that do language-lawyering, rather than admit that there might be a problem.

— Linus Torvalds[37]

References

  1. ^ a b "GCC Releases". GNU Project. Retrieved 2006-12-27.
  2. ^ "GNU Compiler Collection - Definition". http://www.wordiq.com/: wordiQ. Retrieved 2011-06-16. It is the standard compiler for the open source Unix-like operating systems, and certain proprietary operating systems derived therefrom such as Mac OS X. {{cite web}}: External link in |location= (help)
  3. ^ "Porting alien software to Plan 9 |". Bell Labs, Lucent. Retrieved 2011-09-06.
  4. ^ "Symbian GCC Improvement Project". Retrieved 2007-11-08.
  5. ^ "Linux Board Support Packages". Retrieved 2008-08-07.
  6. ^ "setting up gcc as a cross-compiler". ps2stuff. 2002-06-08. Retrieved 2008-12-12. [dead link]
  7. ^ "sh4 g++ guide". Archived from the original on 2002-12-20. Retrieved 2008-12-12. This guide is intended for people who want to compile C++ code for their Dreamcast systems
  8. ^ "FSF Service Directory".
  9. ^ "Programming Languages Supported by GCC". GNU Project. Retrieved 2011-11-25.
  10. ^ a b c Stallman, Richard (September 20, 2011). "About the GNU Project". The GNU Project. Retrieved October 9, 2011. Hoping to avoid the need to write the whole compiler myself, I obtained the source code for the Pastel compiler, which was a multiplatform compiler developed at Lawrence Livermore Lab. It supported, and was written in, an extended version of Pascal, designed to be a system-programming language. I added a C front end, and began porting it to the Motorola 68000 computer. But I had to give that up when I discovered that the compiler needed many megabytes of stack space, and the available 68000 Unix system would only allow 64k. ... I concluded I would have to write a new compiler from scratch. That new compiler is now known as GCC; none of the Pastel compiler is used in it, but I managed to adapt and use the C front end that I had written.
  11. ^ Puzo, Jerome E., ed. (February 1986). "Gnu's Zoo". GNU'S Bulletin. 1 (1). Free Software Foundation. Retrieved 2007-08-11. Although I have a portable C and Pascal compiler, ... most of the compiler is written in Pastel, ... so it must all be rewritten into C. Len Tower, the sole full-time GNU staff person, is working on this, with one or two assistants.
  12. ^ Richard M. Stallman (forwarded by Leonard H. Tower Jr.) (March 22, 1987). "GNU C compiler beta test release". Newsgroup: comp.lang.c. Retrieved October 9, 2011. The GNU C compiler is now available for ftp from the file /u2/emacs/gcc.tar on prep.ai.mit.edu. This includes machine descriptions for vax and sun, 60 pages of documentation on writing machine descriptions ... the ANSI standard (Nov 86) C preprocessor and 30 pages of reference manual for it. This compiler compiles itself correctly on the 68020 and did so recently on the vax. It recently compiled Emacs correctly on the 68020, and has also compiled tex-in-C and Kyoto Common Lisp.
  13. ^ Stallman, Richard M. (24 April 1988), "Contributors to GNU CC", Internals of GNU CC (PDF), Free Software Foundation, Inc., p. 7, retrieved October 3, 2011, The idea of using RTL and some of the optimization ideas came from the U. of Arizona Portable Optimizer, written by Jack Davidson and Christopher Fraser. ... Leonard Tower wrote parts of the parser, RTL generator, RTL definitions, and of the Vax machine description.
  14. ^ "Pentium Compiler FAQ".
  15. ^ "A Brief History of GCC".
  16. ^ "The Short History of GCC development".
  17. ^ "GCC steering committee".
  18. ^ Linux Information Project (LINFO) accessed 2010-04-27
  19. ^ "GCC Front Ends", gnu.org, Retrieved November 25, 2011.
  20. ^ "Fortran 2003 Features in GNU Fortran".
  21. ^ [PATCH] Remove chill, gcc.gnu.org, Retrieved July 29, 2010.
  22. ^ "GCC UPC (GCC Unified Parallel C) | intrepid.com". intrepid.com<!. 2006-02-20. Retrieved 2009-03-11.
  23. ^ "Hexagon Project Wiki". " "Hexagon dowload".
  24. ^ "sx-gcc: port gcc to nec sx vector cpu".
  25. ^ "The GNU Compiler for the Java Programming Language". Retrieved 2010-04-22.
  26. ^ "Security Features: Compile Time Buffer Checks (FORTIFY_SOURCE)". fedoraproject.org. Retrieved 2009-03-11.
  27. ^ "languages used to make GCC".
  28. ^ GCC Internals, GCC.org, Retrieved March 01, 2010.
  29. ^ "GCC allows C++ – to some degree". The H. 1 June 2010.
  30. ^ "An email by Richard Stallman on emacs-devel". The reason the GCC developers wanted to use it is for destructors and generics. These aren't much use in Emacs, which has GC and in which data types are handled at the Lisp level.
  31. ^ GENERIC in GNU Compiler Collection Internals
  32. ^ GIMPLE in GNU Compiler Collection Internals
  33. ^ McCAT
  34. ^ Laurie J. Hendren
  35. ^ From Source to Binary: The Inner Workings of GCC, by Diego Novillo, Red Hat Magazine, December 2004
  36. ^ Andrews, Jeremy (2006-05-02), "Interview: Theo de Raadt", KernelTrap, retrieved 2011-12-03
  37. ^ Torvalds, Linus (2007-10-25). "Re: Is gcc thread-unsafe?". linux-kernel (Mailing list). Retrieved 2011-12-03. {{cite mailing list}}: Unknown parameter |mailinglist= ignored (|mailing-list= suggested) (help)

See also

Further reading

Wikibooks has a book on the topic of: GNU C Compiler Internals
Retrieved from "https://en.wikipedia.org/w/index.php?title=GNU_Compiler_Collection&oldid=475328082"