tinycc/TODO

101 lines
3.6 KiB
Plaintext
Raw Normal View History

2001-11-11 21:01:29 +03:00
TODO list:
2001-10-28 02:48:39 +03:00
2008-01-17 01:33:56 +03:00
Bugs:
- i386 fastcall is mostly wrong
2008-01-17 01:33:56 +03:00
- FPU st(0) is left unclean (kwisatz haderach). Incompatible with
optimized gcc/msc code
2003-01-06 23:19:20 +03:00
- see transparent union pb in /urs/include/sys/socket.h
- precise behaviour of typeof with arrays ? (__put_user macro)
but should suffice for most cases)
2003-05-24 20:12:58 +04:00
- handle '? x, y : z' in unsized variable initialization (',' is
considered incorrectly as separator in preparser)
2008-01-17 01:33:56 +03:00
- transform functions to function pointers in function parameters
(net/ipv4/ip_output.c)
2003-01-06 23:19:20 +03:00
- fix function pointer type display
- check section alignment in C
- fix invalid cast in comparison 'if (v == (int8_t)v)'
2002-12-08 17:34:02 +03:00
- finish varargs.h support (gcc 3.2 testsuite issue)
2002-11-24 18:58:28 +03:00
- fix static functions declared inside block
- fix multiple unions init
2008-01-17 01:33:56 +03:00
- make libtcc fully reentrant (except for the compilation stage itself).
2015-11-26 15:31:23 +03:00
- struct/union/enum definitions in nested scopes (see also Debian bug #770657)
- __STDC_IEC_559__: float f(void) { static float x = 0.0 / 0.0; return x; }
- memory may be leaked after errors (longjmp).
2008-01-17 01:33:56 +03:00
2015-11-21 03:04:58 +03:00
Portability:
- it is assumed that int is 32-bit and sizeof(int) == 4
- int is used when host or target size_t would make more sense
- TCC handles target floating-point (fp) values using the host's fp
arithmetic, which is simple and fast but may lead to exceptions
and inaccuracy and wrong representations when cross-compiling
2015-11-21 03:04:58 +03:00
Linking:
- static linking (-static) does not work
2015-11-21 03:04:58 +03:00
2008-01-17 01:33:56 +03:00
Bound checking:
- fix bound exit on RedHat 7.3
2002-08-31 16:44:16 +04:00
- setjmp is not supported properly in bound checking.
2002-01-05 22:50:17 +03:00
- fix bound check code with '&' on local variables (currently done
only for local arrays).
2002-11-03 03:44:38 +03:00
- bound checking and float/long long/struct copy code. bound
2002-08-31 16:44:16 +04:00
checking and symbol + offset optimization
2008-01-17 01:33:56 +03:00
Missing features:
- disable-asm and disable-bcheck options
- __builtin_expect()
- atexit (Nigel Horne)
- C99: add complex types (gcc 3.2 testsuite issue)
- postfix compound literals (see 20010124-1.c)
- interactive mode / integrated debugger
2001-11-11 21:01:29 +03:00
2002-11-24 18:58:28 +03:00
Optimizations:
- suppress specific anonymous symbol handling
- more parse optimizations (=even faster compilation)
- memory alloc optimizations (=even faster compilation)
2008-01-17 01:33:56 +03:00
- optimize VT_LOCAL + const
- better local variables handling (needed for other targets)
2002-11-24 18:58:28 +03:00
2001-11-11 21:01:29 +03:00
Not critical:
2002-08-18 18:34:02 +04:00
- C99: fix multiple compound literals inits in blocks (ISOC99
normative example - only relevant when using gotos! -> must add
boolean variable to tell if compound literal was already
initialized).
- add PowerPC generator and improve codegen for RISC (need
2002-08-18 18:44:08 +04:00
to suppress VT_LOCAL and use a base register instead).
2001-12-03 00:44:40 +03:00
- fix preprocessor symbol redefinition
2001-11-18 19:33:35 +03:00
- add portable byte code generator and interpreter for other
unsupported architectures.
2002-07-25 02:13:02 +04:00
- C++: variable declaration in for, minimal 'class' support.
2008-01-17 01:33:56 +03:00
- win32: __intxx. use resolve for bchecked malloc et al.
check exception code (exception filter func).
2002-08-18 18:34:02 +04:00
- handle void (__attribute__() *ptr)()
2015-11-21 03:04:58 +03:00
- VLAs are implemented in a way that is not compatible with signals:
http://lists.gnu.org/archive/html/tinycc-devel/2015-11/msg00018.html
2002-11-24 18:58:28 +03:00
2008-01-17 01:33:56 +03:00
Fixed (probably):
2002-11-24 18:58:28 +03:00
2008-01-17 01:33:56 +03:00
- bug with defines:
#define spin_lock(lock) do { } while (0)
#define wq_spin_lock spin_lock
#define TEST() wq_spin_lock(a)
- typedefs can be structure fields
- see bugfixes.diff + improvement.diff from Daniel Glockner
- long long constant evaluation
- add alloca()
- gcc '-E' option.
- #include_next support for /usr/include/limits ?
- function pointers/lvalues in ? : (linux kernel net/core/dev.c)
- win32: add __stdcall, check GetModuleHandle for dlls.
- macro substitution with nested definitions (ShangHongzhang)
- with "-run" and libtcc, a PLT is now built.
- '-E' option was improved
- packed attribute is now supported
- ARM and ARM64 code generators have been added.