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