This commit is contained in:
bellard 2001-11-18 16:33:35 +00:00
parent b9455a7484
commit 34a14a08a3
3 changed files with 69 additions and 43 deletions

View File

@ -3,7 +3,7 @@
#
prefix=/usr/local
CFLAGS=-O2 -g -Wall -Wno-parentheses -I.
CFLAGS=-O2 -g -Wall -Wno-parentheses -Wno-missing-braces -I.
LIBS=-ldl
#CFLAGS=-O2 -g -Wall -Wno-parentheses -I. -pg -static -DPROFILE
#LIBS=
@ -32,11 +32,15 @@ test.out: tcc prog.c
run: tcc prog.c
./tcc -I. prog.c
run2: tcc tcc.c prog.c
./tcc -I. tcc.c -I. prog.c
# iterated test2 (compile tcc then compile prog.c !)
test2: tcc tcc.c prog.c
./tcc -I. tcc.c -I. prog.c > test.out2
@if diff -u test.ref test.out2 ; then echo "Auto Test2 OK"; fi
run3: tcc tcc.c prog.c
./tcc -I. tcc.c -I. tcc.c -I. prog.c
# iterated test3 (compile tcc then compile tcc then compile prog.c !)
test3: tcc tcc.c prog.c
./tcc -I. tcc.c -I. tcc.c -I. prog.c > test.out3
@if diff -u test.ref test.out3 ; then echo "Auto Test3 OK"; fi
# speed test
speed: tcc ex2 ex3
@ -70,13 +74,10 @@ clean:
# target for development
%.bin: %.c tcct
./tcct -I. $< $@
%.bin: %.c tcc
./tcc -o $@ -I. $<
$(DISAS) $@
tcct: tcc.c
gcc -DTEST $(CFLAGS) -o $@ $< -ldl
instr.o: instr.S
gcc -O2 -Wall -g -c -o $@ $<

77
README
View File

@ -5,12 +5,14 @@ Features:
--------
- SMALL! You can compile and execute C code everywhere, for example on
rescue disks (25KB for x86 executable).
rescue disks (27KB for x86 TCC executable).
- FAST! tcc generates optimized x86 code. No byte code overhead.
- FAST! tcc generates optimized x86 code. No byte code
overhead. Compiles, assemble and link about 7 times faster than 'gcc
-O0'.
- UNLIMITED! Any C dynamic library can be used directly. TCC is
heading torward full ANSI C compliance. TCC can of course compile
heading torward full ISOC99 compliance. TCC can of course compile
itself.
- Compile and execute C source directly. No linking or assembly
@ -27,7 +29,7 @@ Documentation:
***TCC currently only work on Linux x86***.
Type 'make install' to compile and install tcc in /usr/local and
Type 'make install' to compile and install tcc in /usr/local/bin and
/usr/local/lib/tcc.
2) Introduction
@ -64,7 +66,7 @@ files, add one which includes all your sources.
4) Examples
ex1.c: simplest example (hello world). Can also be launched directly
as a script: ./ex2.c.
as a script: './ex1.c'.
ex2.c: more complicated example: find a number with the four
operations given a list of numbers (benchmark).
@ -72,12 +74,12 @@ operations given a list of numbers (benchmark).
ex3.c: compute fibonacci numbers (benchmark).
ex4.c: more complicated: X11 program. Very complicated test in fact
because standard headers are being used ! Currently slow because
parsing does not use hash tables.
because standard headers are being used !
ex5.c: 'hello world' with standard glibc headers.
tcc.c: TCC can compile itself. Used to check the code generator.
tcc.c: TCC can of course compile itself. Used to check the code
generator.
prog.c: auto test for TCC which tests many subtle possible bugs. Used
when doing 'make test'.
@ -91,38 +93,57 @@ Exact differences with ANSI C:
rare cases, preprocessed numbers are not handled exactly as in ANSI
C. This approach has the advantage of being simpler and FAST!
- __LINE__, __FILE__, __DATE__, __TIME__ are currently not handled.
- #line not handled
2) C language
- Parsing: variables cannot be initialized ('int a = 1' or 'int tab[2] =
{1, 2}' not supported).
- Cannot pass struct/union as value. Cannot assign struct/union (use
memcpy instead).
- Types: floating point numbers are not supported.
- Types: floating point numbers are not supported yet.
- (BUG) 'char' and 'short' casts do not truncate correctly.
- 'sizeof' may not work if too complex expression is given.
Supported C extensions:
----------------------
- bit fields are not supported.
- 'inline' keyword is ignored.
- L'c' or L"string" for wide chars are parsed but not handled as wchar_t.
- Cannot initialize auto (=local) arrays with implicit size
(workaround: specificy exact size in array declaration). Cannot
initialize auto arrays with strings.
3) Linking
- extern variables must appear in a referenced dll and cannot appear
in current source.
Supported ANSI C extensions:
---------------------------
- 'inline' keyword is ignored (ISOC99).
- 'restrict' keyword is ignored (ISOC99).
- '__func__' is a string variable containing the current function name (ISOC99).
- variadic macros: __VA_ARGS__ can be used for function-like macros (ISOC99):
#define dprintf(level, __VA_ARGS__) printf(__VA_ARGS__).
- declarations can appear anywhere in a block (ISOC99).
- array and struct/union elements can be initialized in any order by
using designators (.e. { [0].x = 1 }) (ISOC99).
- binary digits can be entered ('0b101' instead of '5').
Technical Description:
---------------------
This is not my first C compiler (see my 'fbcc' compiler) but it
contains the first C preprocessor I wrote. The project started as a
joke to make the smallest C compiler. Then I expanded it torward ANSI
compliance. This C compiler is particular because each feature was
added while trying to be as simple and compact as possible. For
joke to make the smallest C compiler. Then I expanded it torward
ISOC99 compliance. This C compiler is particular because each feature
was added while trying to be as simple and compact as possible. For
example, no intermediate structure is used to store code or
expressions.
@ -137,10 +158,10 @@ registers are used. When more registers are needed, one register is
flushed in a new local variable.
Constant propagation is done for all operations. Multiplications and
divisions are optimized to shifts when appropriate. Logical operators
are optimized by maintaining a special cache for the processor
flags. &&, || and ! are optimized by maintaining a special 'jmp
target' value. No other jmp optimization is currently performed
divisions are optimized to shifts when appropriate. Comparison
operators are optimized by maintaining a special cache for the
processor flags. &&, || and ! are optimized by maintaining a special
'jmp target' value. No other jmp optimization is currently performed
because it would require to store the code in a more abstract fashion.
The types and values descriptions are stored in a single 'int'
@ -151,10 +172,10 @@ solution.
License:
-------
TCC is distributed under the GNU Generic Public License (see COPYING
TCC is distributed under the GNU General Public License (see COPYING
file).
I accept only patches where you give your copyright explictely to me
to simplify licensing issues.
Fabrice Bellard - Nov 11, 2001.
Fabrice Bellard - Nov 17, 2001.

12
TODO
View File

@ -2,10 +2,12 @@ TODO list:
Critical:
- initializers
- add hash tables for symbols (useful for long programs)
- add structure assign.
- fix 'char' and 'short' casts.
- 0 is pointer - fix type compare
- fix L'' and L"" wide chars
- add message if external function or variable not found.
- function pointers to forward reference (patch code generator).
- add float/double support (should be as small as possible while being
usable for RISC code generator too).
@ -13,6 +15,8 @@ Not critical:
- fix preprocessor symbol redefinition
- better constant opt (&&, ||, ?:)
- function pointers to forward reference (patch code generator)
- add ELF executable and shared library output option (would be needed
for completness!).
- add PowerPC code generator.
- add portable byte code generator and interpreter.
- add portable byte code generator and interpreter for other
unsupported architectures.