123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100 |
- TODO list:
- Bugs:
- - i386 fastcall is mostly wrong
- - FPU st(0) is left unclean (kwisatz haderach). Incompatible with
- optimized gcc/msc code
- - 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)
- - handle '? x, y : z' in unsized variable initialization (',' is
- considered incorrectly as separator in preparser)
- - transform functions to function pointers in function parameters
- (net/ipv4/ip_output.c)
- - fix function pointer type display
- - check section alignment in C
- - fix invalid cast in comparison 'if (v == (int8_t)v)'
- - finish varargs.h support (gcc 3.2 testsuite issue)
- - fix static functions declared inside block
- - fix multiple unions init
- - make libtcc fully reentrant (except for the compilation stage itself).
- - 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).
- 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
- Linking:
- - static linking (-static) does not work
- Bound checking:
- - fix bound exit on RedHat 7.3
- - setjmp is not supported properly in bound checking.
- - fix bound check code with '&' on local variables (currently done
- only for local arrays).
- - bound checking and float/long long/struct copy code. bound
- checking and symbol + offset optimization
- 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
- Optimizations:
- - suppress specific anonymous symbol handling
- - more parse optimizations (=even faster compilation)
- - memory alloc optimizations (=even faster compilation)
- - optimize VT_LOCAL + const
- - better local variables handling (needed for other targets)
- Not critical:
- - 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
- to suppress VT_LOCAL and use a base register instead).
- - fix preprocessor symbol redefinition
- - add portable byte code generator and interpreter for other
- unsupported architectures.
- - C++: variable declaration in for, minimal 'class' support.
- - win32: __intxx. use resolve for bchecked malloc et al.
- check exception code (exception filter func).
- - handle void (__attribute__() *ptr)()
- - VLAs are implemented in a way that is not compatible with signals:
- http://lists.gnu.org/archive/html/tinycc-devel/2015-11/msg00018.html
- Fixed (probably):
- - 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.
|