Tiny C Compiler Explained
The Tiny C Compiler (a.k.a. TCC, tCc, or TinyCC) is an x86, X86-64 and ARM processor C compiler initially written by Fabrice Bellard. It is designed to work for slow computers with little disk space (e.g. on rescue disks). Windows operating system support was added in version 0.9.23 (17 June 2005). TCC is distributed under the GNU Lesser General Public License.
TCC claims to implement all of ANSI C (C89/C90),[2] much of the C99 ISO standard,[3] and many GNU C extensions including inline assembly.
Features
TCC has a number of features that differentiate it from other current C compilers:
- Its small file size (about 100 KB for the x86 TCC executable) and memory footprint allow it to be used directly from a single 1.44 M floppy disk, such as a rescue disk.
- TCC is intended to produce native x86, x86-64 and ARM code very quickly; according to Bellard, it compiles, assembles and links about nine times faster than GCC does.[4] As of 2023, the "mob" development branch also includes support for RISC-V and TMS320C67xx (a DSP chip).
- TCC has a number of compiler-specific language features intended to improve its practicality, such as an optional memory and bound checker, for improved code stability.
- TCC allows programs to be run automatically at compile time using a command-line switch. This allows programs to be run as a shell script under Unix-like systems that support the shebang interpreter directive syntax.
Compiled program performance
In general, TCC's implementation emphasizes smallness instead of optimally-performing results. TCC generates code in a single pass, and does not perform most of the optimizations performed by other compilers. TCC compiles every statement on its own, and at the end of each statement register values are written back to the stack and must be re-read even if the next line uses the values in registers (creating extraneous save/load pairs between statements). TCC uses only some of the available registers (e.g., on x86 it never uses ebx, esi, or edi because they need to be preserved across function calls).[5]
TCC performs a few optimizations, such as constant propagation for all operations, multiplications and divisions are optimized to shifts when appropriate, and comparison operators are specially optimized (by maintaining a special cache for the processor flags). It also does some simple register allocation, which prevents many extraneous save/load pairs inside a single statement.
Here are two benchmark examples:
- A recursive Fibonacci algorithm on a 1.8 GHz Intel Centrino laptop with 512 MB RAM yields a noticeable difference in results between Microsoft Visual C++ compiler 13.10.3052 and TCC. To calculate the 49th Fibonacci number, it took a MS Visual C++ program approximately 18% longer than the TCC compiled program.
- A test compared different C compilers by using them to compile the GNU C Compiler (GCC) itself, and then using the resulting compilers to compile GCC again. Compared to GCC 3.4.2, a TCC modified to compile GCC was able to compile the compiler ten times faster, but the resulting .exe it produced was 57% larger, and much slower, taking 2.2 times as long to compile GCC again.
The results were: Running cc1 (the GCC C compiler) on itself required 518 seconds when compiled using GCC 3.4.2, 545 seconds using Microsoft C compiler, and 1145 seconds using TCC. To create these compilers in the first place, GCC (3.4.2) took 744 seconds to compile the GCC compiler, whereas TCC took only 73 seconds. The level of optimization in each compiler was -O1 or similar.
Uses
- TCCBOOT,[6] a hack where TCC loads and boots a Linux kernel from source in about 10 seconds. That is to say, it is a "boot loader" that reads Linux kernel source code from disk, writes executable instructions to memory, and begins running it. This did require changes to the Linux build process.
- TCC has been used to compile GCC, though various patches were required to make this work.[7]
- TCC was used to demonstrate a defense against the trust attack.[8] It is also used in GNU Guix[9] in an attempt to make the distribution bootstrapable without using any binary.[10]
- Cinpy[11] is a Python library that allows you to implement functions with C in Python modules. The functions are compiled with TCC at runtime. The results are made callable in Python through the ctypes library.
- Comes installed on JavaScript Linux[12] (also by Bellard).
- Has been used as a reference for the compiled version of the Super Micro-Max Chess program source.[13]
History
TCC has its origins in the Obfuscated Tiny C Compiler (OTCC),[1] a program Bellard wrote to win the International Obfuscated C Code Contest (IOCCC) in 2001. After that time, Bellard expanded and deobfuscated the program to produce tcc.[1]
At some time prior to 4 February 2012 Fabrice Bellard updated the project's official web page to report that he was no longer working on TCC.[14]
Since Bellard's departure from the project, various people and groups have distributed patches or maintained forks of TCC to build upon or fix issues with TCC. This includes Dave Dodge's collection of unofficial tcc patches,[15] Debian and kfreebsd downstream patches,[16] and grischka's gcc patches.[17] Grischka also set up a public Git repository for the project[18] that contains a mob branch[19] where numerous contributions, including a shared build, cross-compilers, and SELinux compatibility were added. Grischka's GIT repository later became the official TCC repository (linked to by Fabrice Bellard's Savannah project page [20]).
Current status
As of December 2017 both the official TCC mailing list[21] and the official Git repository (as linked to by Fabrice Bellard's Savannah project page[22]) show active discussion and development by many developers and interested users. In December 2017, grischka announced on the mailing list that TCC version 0.9.27 was released.[23]
See also
External links
Notes and References
- Bellard, Fabrice. Obfuscated Tiny C Compiler, winning entry of IOCCC 2001. https://bellard.org/otcc/ and at the Internet Archive at https://web.archive.org/web/20130721162702/http://www.ioccc.org/2001/
- https://bellard.org/tcc/tcc-doc.html#SEC6 Tiny C Compiler Reference Documentation
- According to the project's TODO list complex types are the only missing C99 feature. Variable Length Arrays have been added in TCC 0.9.26
- Web site: TCC : Tiny C Compiler. bellard.org. 27 March 2023.
- Glöckner, Daniel. Re: Tinycc-devel (no subject), 8 September 2006.
- Web site: TCCBOOT: TinyCC Boot Loader. bellard.org. 27 March 2023.
- Web site: tinycc-devel (thread). lists.gnu.org. 27 March 2023.
- Wheeler, David A. Countering Trusting Trust through Diverse Double-Compiling. ACSAC.
- Web site: Guix Further Reduces Bootstrap Seed to 25% — 2020 — Blog — GNU Guix .
- Web site: Bootstrappable builds. bootstrappable.org. 29 March 2023.
- Web site: Cinpy. https://web.archive.org/web/20081120164629/http://www.cs.tut.fi/~ask/cinpy/. dead. 20 November 2008. 27 March 2023.
- Web site: JSLinux. bellard.org. 27 March 2023.
- Web site: Super Micro Chess. SourceForge. 27 March 2023.
- Web site: TCC : Tiny C Compiler. 4 February 2012. https://web.archive.org/web/20120204081201/http://bellard.org/tcc/ . 27 March 2023. 2012-02-04 .
- Web site: Unofficial tcc Patches. https://web.archive.org/web/20070331221112/http://www.dododge.net/tcc/patches.html. dead. 31 March 2007. www.dododge.net. 27 March 2023.
- Web site: Debian -- Details of package tcc in sid. packages.debian.org. 27 March 2023.
- grischka, GCC by TCC (some fixes), 29 September 2005
- grischka, Public Git Hosting for tcc
- grischka, mob branch for tcc
- Web site: Tiny C Compiler - Summary [Savannah]]. savannah.nongnu.org. 27 March 2023.
- Web site: tinycc-devel Archives. lists.gnu.org. 27 March 2023.
- Web site: Public Git Hosting - tinycc.git/summary. repo.or.cz. 27 March 2023.
- Web site: [Tinycc-devel] TCC version 0.9.27 is out]. lists.nongnu.org. 27 March 2023.