2 * TCC - Tiny C Compiler
4 * Copyright (c) 2001-2004 Fabrice Bellard
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
27 #define CONFIG_TCC_STATIC
44 #include <sys/timeb.h>
45 #include <io.h> /* open, close etc. */
46 #include <direct.h> /* getcwd */
47 #define inline __inline
50 #define __aligned(n) __declspec(align(n))
53 #define uplong unsigned long long
60 #include <sys/ucontext.h>
64 #endif /* !CONFIG_TCCBOOT */
67 #define uplong unsigned long
71 #define __aligned(n) __attribute__((aligned(n)))
89 /* preprocessor debug */
91 /* include file debug */
99 /* target selection */
100 //#define TCC_TARGET_I386 /* i386 code generator */
101 //#define TCC_TARGET_ARM /* ARMv4 code generator */
102 //#define TCC_TARGET_C67 /* TMS320C67xx code generator */
103 //#define TCC_TARGET_X86_64 /* x86-64 code generator */
105 /* default target is I386 */
106 #if !defined(TCC_TARGET_I386) && !defined(TCC_TARGET_ARM) && \
107 !defined(TCC_TARGET_C67) && !defined(TCC_TARGET_X86_64)
108 #define TCC_TARGET_I386
111 #if !defined(_WIN32) && !defined(TCC_UCLIBC) && !defined(TCC_TARGET_ARM) && \
112 !defined(TCC_TARGET_C67) && !defined(TCC_TARGET_X86_64)
113 #define CONFIG_TCC_BCHECK /* enable bound checking code */
116 #if defined(_WIN32) && !defined(TCC_TARGET_PE)
117 #define CONFIG_TCC_STATIC
120 /* define it to include assembler support */
121 #if !defined(TCC_TARGET_ARM) && !defined(TCC_TARGET_C67)
122 #define CONFIG_TCC_ASM
125 /* object format selection */
126 #if defined(TCC_TARGET_C67)
127 #define TCC_TARGET_COFF
130 #if !defined(_WIN32) && !defined(CONFIG_TCCBOOT)
131 #define CONFIG_TCC_BACKTRACE
140 /* path to find crt1.o, crti.o and crtn.o. Only needed when generating
141 executables or dlls */
142 #define CONFIG_TCC_CRT_PREFIX CONFIG_SYSROOT "/usr/lib"
144 #define INCLUDE_STACK_SIZE 32
145 #define IFDEF_STACK_SIZE 64
146 #define VSTACK_SIZE 256
147 #define STRING_MAX_SIZE 1024
148 #define PACK_STACK_SIZE 8
150 #define TOK_HASH_SIZE 8192 /* must be a power of two */
151 #define TOK_ALLOC_INCR 512 /* must be a power of two */
152 #define TOK_MAX_SIZE 4 /* token max size in int unit when stored in string */
154 /* token symbol management */
155 typedef struct TokenSym
{
156 struct TokenSym
*hash_next
;
157 struct Sym
*sym_define
; /* direct pointer to define */
158 struct Sym
*sym_label
; /* direct pointer to label */
159 struct Sym
*sym_struct
; /* direct pointer to structure */
160 struct Sym
*sym_identifier
; /* direct pointer to identifier */
161 int tok
; /* token number */
167 typedef unsigned short nwchar_t
;
169 typedef int nwchar_t
;
172 typedef struct CString
{
173 int size
; /* size in bytes */
174 void *data
; /* either 'char *' or 'nwchar_t *' */
176 void *data_allocated
; /* if non NULL, data has been malloced */
179 /* type definition */
180 typedef struct CType
{
186 typedef union CValue
{
192 unsigned int ul
; /* address (should be unsigned long on 64 bit cpu) */
194 unsigned long long ull
;
195 struct CString
*cstr
;
201 typedef struct SValue
{
202 CType type
; /* type */
203 unsigned short r
; /* register + flags */
204 unsigned short r2
; /* second register, used for 'long long'
205 type. If not used, set to VT_CONST */
206 CValue c
; /* constant, if VT_CONST */
207 struct Sym
*sym
; /* symbol, if (VT_SYM | VT_CONST) */
210 /* symbol management */
212 int v
; /* symbol token */
213 long r
; /* associated register */
215 long c
; /* associated number */
216 int *d
; /* define token stream */
218 CType type
; /* associated type */
220 struct Sym
*next
; /* next related symbol */
221 long jnext
; /* next jump label */
223 struct Sym
*prev
; /* prev symbol in stack */
224 struct Sym
*prev_tok
; /* previous symbol for this token */
227 /* section definition */
228 /* XXX: use directly ELF structure for parameters ? */
229 /* special flag to indicate that the section should not be linked to
231 #define SHF_PRIVATE 0x80000000
233 /* special flag, too */
234 #define SECTION_ABS ((void *)1)
236 typedef struct Section
{
237 unsigned long data_offset
; /* current data offset */
238 unsigned char *data
; /* section data */
239 unsigned long data_allocated
; /* used for realloc() handling */
240 int sh_name
; /* elf section name (only used during output) */
241 int sh_num
; /* elf section number */
242 int sh_type
; /* elf section type */
243 int sh_flags
; /* elf section flags */
244 int sh_info
; /* elf section info */
245 int sh_addralign
; /* elf section alignment */
246 int sh_entsize
; /* elf entry size */
247 unsigned long sh_size
; /* section size (only used during output) */
248 unsigned long sh_addr
; /* address at which the section is relocated */
249 unsigned long sh_offset
; /* file offset */
250 int nb_hashed_syms
; /* used to resize the hash table */
251 struct Section
*link
; /* link to another section */
252 struct Section
*reloc
; /* corresponding section for relocation, if any */
253 struct Section
*hash
; /* hash table for symbols */
254 struct Section
*next
;
255 char name
[1]; /* section name */
258 typedef struct DLLReference
{
264 /* GNUC attribute definition */
265 typedef struct AttributeDef
{
269 int func_attr
; /* calling convention, exports, ... */
272 /* -------------------------------------------------- */
273 /* gr: wrappers for casting sym->r for other purposes */
282 #define FUNC_CALL(r) (((func_attr_t*)&(r))->func_call)
283 #define FUNC_EXPORT(r) (((func_attr_t*)&(r))->func_export)
284 #define FUNC_IMPORT(r) (((func_attr_t*)&(r))->func_import)
285 #define FUNC_ARGS(r) (((func_attr_t*)&(r))->func_args)
286 /* -------------------------------------------------- */
288 #define SYM_STRUCT 0x40000000 /* struct/union/enum symbol space */
289 #define SYM_FIELD 0x20000000 /* struct/union field symbol space */
290 #define SYM_FIRST_ANOM 0x10000000 /* first anonymous sym */
292 /* stored in 'Sym.c' field */
293 #define FUNC_NEW 1 /* ansi function prototype */
294 #define FUNC_OLD 2 /* old function prototype */
295 #define FUNC_ELLIPSIS 3 /* ansi function prototype with ... */
297 /* stored in 'Sym.r' field */
298 #define FUNC_CDECL 0 /* standard c call */
299 #define FUNC_STDCALL 1 /* pascal c call */
300 #define FUNC_FASTCALL1 2 /* first param in %eax */
301 #define FUNC_FASTCALL2 3 /* first parameters in %eax, %edx */
302 #define FUNC_FASTCALL3 4 /* first parameter in %eax, %edx, %ecx */
303 #define FUNC_FASTCALLW 5 /* first parameter in %ecx, %edx */
305 /* field 'Sym.t' for macros */
306 #define MACRO_OBJ 0 /* object like macro */
307 #define MACRO_FUNC 1 /* function like macro */
309 /* field 'Sym.r' for C labels */
310 #define LABEL_DEFINED 0 /* label is defined */
311 #define LABEL_FORWARD 1 /* label is forward defined */
312 #define LABEL_DECLARED 2 /* label is declared but never used */
314 /* type_decl() types */
315 #define TYPE_ABSTRACT 1 /* type without variable */
316 #define TYPE_DIRECT 2 /* type with variable */
318 #define IO_BUF_SIZE 8192
320 typedef struct BufferedFile
{
324 int line_num
; /* current line number - here to simplify code */
325 int ifndef_macro
; /* #ifndef macro / #endif search */
326 int ifndef_macro_saved
; /* saved ifndef_macro */
327 int *ifdef_stack_ptr
; /* ifdef_stack value at the start of the file */
328 char inc_type
; /* type of include */
329 char inc_filename
[512]; /* filename specified by the user */
330 char filename
[1024]; /* current filename - here to simplify code */
331 unsigned char buffer
[IO_BUF_SIZE
+ 1]; /* extra size for CH_EOB char */
334 #define CH_EOB '\\' /* end of buffer or '\0' char in file */
335 #define CH_EOF (-1) /* end of file */
337 /* parsing state (used to save parser state to reparse part of the
338 source several times) */
339 typedef struct ParseState
{
346 /* used to record tokens */
347 typedef struct TokenString
{
354 /* inline functions */
355 typedef struct InlineFunc
{
361 /* include file cache, used to find files faster and also to eliminate
362 inclusion if the include file is protected by #ifndef ... #endif */
363 typedef struct CachedInclude
{
365 int hash_next
; /* -1 if none */
366 char type
; /* '"' or '>' to give include type */
367 char filename
[1]; /* path specified in #include */
370 #define CACHED_INCLUDES_HASH_SIZE 512
372 #ifdef CONFIG_TCC_ASM
373 typedef struct ExprValue
{
378 #define MAX_ASM_OPERANDS 30
379 typedef struct ASMOperand
{
380 int id
; /* GCC 3 optionnal identifier (0 if number only supported */
382 char asm_str
[16]; /* computed asm string for operand */
383 SValue
*vt
; /* C value of the expression */
384 int ref_index
; /* if >= 0, gives reference to a output constraint */
385 int input_index
; /* if >= 0, gives reference to an input constraint */
386 int priority
; /* priority, used to assign registers */
387 int reg
; /* if >= 0, register number used for this operand */
388 int is_llong
; /* true if double register value */
389 int is_memory
; /* true if memory operand */
390 int is_rw
; /* for '+' modifier */
397 BufferedFile
**include_stack_ptr
;
398 int *ifdef_stack_ptr
;
400 /* include file handling */
401 char **include_paths
;
402 int nb_include_paths
;
403 char **sysinclude_paths
;
404 int nb_sysinclude_paths
;
405 CachedInclude
**cached_includes
;
406 int nb_cached_includes
;
408 char **library_paths
;
409 int nb_library_paths
;
411 /* array of all loaded dlls (including those referenced by loaded
413 DLLReference
**loaded_dlls
;
418 int nb_sections
; /* number of sections, including first dummy section */
420 Section
**priv_sections
;
421 int nb_priv_sections
; /* number of private sections */
426 unsigned long *got_offsets
;
428 /* give the correspondance from symtab indexes to dynsym indexes */
429 int *symtab_to_dynsym
;
431 /* temporary dynamic symbol sections (for dll loading) */
432 Section
*dynsymtab_section
;
433 /* exported dynamic symbol section */
436 int nostdinc
; /* if true, no standard headers are added */
437 int nostdlib
; /* if true, no standard libraries are added */
438 int nocommon
; /* if true, do not use common symbols for .bss data */
440 /* if true, static linking is performed */
443 /* soname as specified on the command line (-soname) */
446 /* if true, all symbols are exported */
449 /* if true, only link in referenced objects from archive */
452 /* address of text section */
453 unsigned long text_addr
;
456 /* output format, see TCC_OUTPUT_FORMAT_xxx */
459 /* C language options */
460 int char_is_unsigned
;
461 int leading_underscore
;
463 /* warning switches */
464 int warn_write_strings
;
465 int warn_unsupported
;
468 int warn_implicit_function_declaration
;
470 /* display some information during compilation */
472 /* compile with debug symbol (and use them if error during execution) */
474 /* compile with built-in memory and bounds checker */
476 /* give the path of the tcc libraries */
481 void (*error_func
)(void *opaque
, const char *msg
);
482 int error_set_jmp_enabled
;
486 jmp_buf error_jmp_buf
;
489 /* tiny assembler state */
492 /* see include_stack_ptr */
493 BufferedFile
*include_stack
[INCLUDE_STACK_SIZE
];
495 /* see ifdef_stack_ptr */
496 int ifdef_stack
[IFDEF_STACK_SIZE
];
498 /* see cached_includes */
499 int cached_includes_hash
[CACHED_INCLUDES_HASH_SIZE
];
502 int pack_stack
[PACK_STACK_SIZE
];
505 /* output file for preprocessing */
508 /* for tcc_relocate */
511 struct InlineFunc
**inline_fns
;
514 #ifdef TCC_TARGET_I386
518 #ifndef TCC_TARGET_PE
519 #ifdef TCC_TARGET_X86_64
520 /* write PLT and GOT here */
521 char *runtime_plt_and_got
;
522 unsigned int runtime_plt_and_got_offset
;
527 /* The current value can be: */
528 #define VT_VALMASK 0x00ff
529 #define VT_CONST 0x00f0 /* constant in vc
530 (must be first non register value) */
531 #define VT_LLOCAL 0x00f1 /* lvalue, offset on stack */
532 #define VT_LOCAL 0x00f2 /* offset on stack */
533 #define VT_CMP 0x00f3 /* the value is stored in processor flags (in vc) */
534 #define VT_JMP 0x00f4 /* value is the consequence of jmp true (even) */
535 #define VT_JMPI 0x00f5 /* value is the consequence of jmp false (odd) */
536 #define VT_LVAL 0x0100 /* var is an lvalue */
537 #define VT_SYM 0x0200 /* a symbol value is added */
538 #define VT_MUSTCAST 0x0400 /* value must be casted to be correct (used for
539 char/short stored in integer registers) */
540 #define VT_MUSTBOUND 0x0800 /* bound checking must be done before
541 dereferencing value */
542 #define VT_BOUNDED 0x8000 /* value is bounded. The address of the
543 bounding function call point is in vc */
544 #define VT_LVAL_BYTE 0x1000 /* lvalue is a byte */
545 #define VT_LVAL_SHORT 0x2000 /* lvalue is a short */
546 #define VT_LVAL_UNSIGNED 0x4000 /* lvalue is unsigned */
547 #define VT_LVAL_TYPE (VT_LVAL_BYTE | VT_LVAL_SHORT | VT_LVAL_UNSIGNED)
550 #define VT_INT 0 /* integer type */
551 #define VT_BYTE 1 /* signed byte type */
552 #define VT_SHORT 2 /* short type */
553 #define VT_VOID 3 /* void type */
554 #define VT_PTR 4 /* pointer */
555 #define VT_ENUM 5 /* enum definition */
556 #define VT_FUNC 6 /* function type */
557 #define VT_STRUCT 7 /* struct/union definition */
558 #define VT_FLOAT 8 /* IEEE float */
559 #define VT_DOUBLE 9 /* IEEE double */
560 #define VT_LDOUBLE 10 /* IEEE long double */
561 #define VT_BOOL 11 /* ISOC99 boolean type */
562 #define VT_LLONG 12 /* 64 bit integer */
563 #define VT_LONG 13 /* long integer (NEVER USED as type, only
565 #define VT_BTYPE 0x000f /* mask for basic type */
566 #define VT_UNSIGNED 0x0010 /* unsigned type */
567 #define VT_ARRAY 0x0020 /* array type (also has VT_PTR) */
568 #define VT_BITFIELD 0x0040 /* bitfield modifier */
569 #define VT_CONSTANT 0x0800 /* const modifier */
570 #define VT_VOLATILE 0x1000 /* volatile modifier */
571 #define VT_SIGNED 0x2000 /* signed type */
574 #define VT_EXTERN 0x00000080 /* extern definition */
575 #define VT_STATIC 0x00000100 /* static variable */
576 #define VT_TYPEDEF 0x00000200 /* typedef definition */
577 #define VT_INLINE 0x00000400 /* inline definition */
578 #define VT_IMPORT 0x00004000 /* win32: extern data imported from dll */
580 #define VT_STRUCT_SHIFT 16 /* shift for bitfield shift values */
582 /* type mask (except storage) */
583 #define VT_STORAGE (VT_EXTERN | VT_STATIC | VT_TYPEDEF | VT_INLINE | VT_IMPORT)
584 #define VT_TYPE (~(VT_STORAGE))
588 /* warning: the following compare tokens depend on i386 asm code */
595 #define TOK_Nset 0x98
596 #define TOK_Nclear 0x99
602 #define TOK_LAND 0xa0
606 #define TOK_MID 0xa3 /* inc/dec, to void constant */
608 #define TOK_UDIV 0xb0 /* unsigned division */
609 #define TOK_UMOD 0xb1 /* unsigned modulo */
610 #define TOK_PDIV 0xb2 /* fast division with undefined rounding for pointers */
611 #define TOK_CINT 0xb3 /* number in tokc */
612 #define TOK_CCHAR 0xb4 /* char constant in tokc */
613 #define TOK_STR 0xb5 /* pointer to string in tokc */
614 #define TOK_TWOSHARPS 0xb6 /* ## preprocessing token */
615 #define TOK_LCHAR 0xb7
616 #define TOK_LSTR 0xb8
617 #define TOK_CFLOAT 0xb9 /* float constant */
618 #define TOK_LINENUM 0xba /* line number info */
619 #define TOK_CDOUBLE 0xc0 /* double constant */
620 #define TOK_CLDOUBLE 0xc1 /* long double constant */
621 #define TOK_UMULL 0xc2 /* unsigned 32x32 -> 64 mul */
622 #define TOK_ADDC1 0xc3 /* add with carry generation */
623 #define TOK_ADDC2 0xc4 /* add with carry use */
624 #define TOK_SUBC1 0xc5 /* add with carry generation */
625 #define TOK_SUBC2 0xc6 /* add with carry use */
626 #define TOK_CUINT 0xc8 /* unsigned int constant */
627 #define TOK_CLLONG 0xc9 /* long long constant */
628 #define TOK_CULLONG 0xca /* unsigned long long constant */
629 #define TOK_ARROW 0xcb
630 #define TOK_DOTS 0xcc /* three dots */
631 #define TOK_SHR 0xcd /* unsigned shift right */
632 #define TOK_PPNUM 0xce /* preprocessor number */
634 #define TOK_SHL 0x01 /* shift left */
635 #define TOK_SAR 0x02 /* signed shift right */
637 /* assignement operators : normal operator or 0x80 */
638 #define TOK_A_MOD 0xa5
639 #define TOK_A_AND 0xa6
640 #define TOK_A_MUL 0xaa
641 #define TOK_A_ADD 0xab
642 #define TOK_A_SUB 0xad
643 #define TOK_A_DIV 0xaf
644 #define TOK_A_XOR 0xde
645 #define TOK_A_OR 0xfc
646 #define TOK_A_SHL 0x81
647 #define TOK_A_SAR 0x82
650 #define offsetof(type, field) ((size_t) &((type *)0)->field)
654 #define countof(tab) (sizeof(tab) / sizeof((tab)[0]))
657 #define TOK_EOF (-1) /* end of file */
658 #define TOK_LINEFEED 10 /* line feed */
660 /* all identificators and strings have token above that */
661 #define TOK_IDENT 256
663 /* only used for i386 asm opcodes definitions */
664 #define DEF_ASM(x) DEF(TOK_ASM_ ## x, #x)
667 DEF(TOK_ASM_ ## x ## b, #x "b") \
668 DEF(TOK_ASM_ ## x ## w, #x "w") \
669 DEF(TOK_ASM_ ## x ## l, #x "l") \
670 DEF(TOK_ASM_ ## x, #x)
673 DEF(TOK_ASM_ ## x ## w, #x "w") \
674 DEF(TOK_ASM_ ## x ## l, #x "l") \
675 DEF(TOK_ASM_ ## x, #x)
677 #ifdef TCC_TARGET_X86_64
679 #define DEF_BWLQ(x) \
680 DEF(TOK_ASM_ ## x ## b, #x "b") \
681 DEF(TOK_ASM_ ## x ## w, #x "w") \
682 DEF(TOK_ASM_ ## x ## l, #x "l") \
683 DEF(TOK_ASM_ ## x ## q, #x "q") \
684 DEF(TOK_ASM_ ## x, #x)
687 DEF(TOK_ASM_ ## x ## w, #x "w") \
688 DEF(TOK_ASM_ ## x ## l, #x "l") \
689 DEF(TOK_ASM_ ## x ## q, #x "q") \
690 DEF(TOK_ASM_ ## x, #x)
695 DEF(TOK_ASM_ ## f ## x ## s, "f" #x "s") \
696 DEF(TOK_ASM_ ## fi ## x ## l, "fi" #x "l") \
697 DEF(TOK_ASM_ ## f ## x ## l, "f" #x "l") \
698 DEF(TOK_ASM_ ## fi ## x ## s, "fi" #x "s")
701 DEF(TOK_ASM_ ## f ## x, "f" #x ) \
702 DEF(TOK_ASM_ ## f ## x ## p, "f" #x "p") \
705 #define DEF_ASMTEST(x) \
737 #define TOK_ASM_int TOK_INT
740 TOK_LAST
= TOK_IDENT
- 1,
741 #define DEF(id, str) id,
746 #define TOK_UIDENT TOK_DEFINE
749 #define snprintf _snprintf
750 #define vsnprintf _vsnprintf
752 #define strtold (long double)strtod
753 #define strtof (float)strtod
754 #define strtoll (long long)strtol
756 #elif defined(TCC_UCLIBC) || defined(__FreeBSD__) || defined(__DragonFly__) \
757 || defined(__OpenBSD__)
758 /* currently incorrect */
759 long double strtold(const char *nptr
, char **endptr
)
761 return (long double)strtod(nptr
, endptr
);
763 float strtof(const char *nptr
, char **endptr
)
765 return (float)strtod(nptr
, endptr
);
768 /* XXX: need to define this to use them in non ISOC99 context */
769 extern float strtof (const char *__nptr
, char **__endptr
);
770 extern long double strtold (const char *__nptr
, char **__endptr
);
774 #define IS_PATHSEP(c) (c == '/' || c == '\\')
775 #define IS_ABSPATH(p) (IS_PATHSEP(p[0]) || (p[0] && p[1] == ':' && IS_PATHSEP(p[2])))
776 #define PATHCMP stricmp
778 #define IS_PATHSEP(c) (c == '/')
779 #define IS_ABSPATH(p) IS_PATHSEP(p[0])
780 #define PATHCMP strcmp
783 void error(const char *fmt
, ...);
784 void error_noabort(const char *fmt
, ...);
785 void warning(const char *fmt
, ...);
787 void tcc_set_lib_path_w32(TCCState
*s
);
788 int tcc_set_flag(TCCState
*s
, const char *flag_name
, int value
);
789 void tcc_print_stats(TCCState
*s
, int64_t total_time
);
791 void tcc_free(void *ptr
);
792 void *tcc_malloc(unsigned long size
);
793 void *tcc_mallocz(unsigned long size
);
794 void *tcc_realloc(void *ptr
, unsigned long size
);
795 char *tcc_strdup(const char *str
);
797 char *tcc_basename(const char *name
);
798 char *tcc_fileextension (const char *name
);
799 char *pstrcpy(char *buf
, int buf_size
, const char *s
);
800 char *pstrcat(char *buf
, int buf_size
, const char *s
);
801 void dynarray_add(void ***ptab
, int *nb_ptr
, void *data
);
802 void dynarray_reset(void *pp
, int *n
);
804 #ifdef CONFIG_TCC_BACKTRACE
805 extern int num_callers
;
806 extern const char **rt_bound_error_msg
;
809 /* true if float/double/long double type */
810 static inline int is_float(int t
)
814 return bt
== VT_LDOUBLE
|| bt
== VT_DOUBLE
|| bt
== VT_FLOAT
;
817 /* space exlcuding newline */
818 static inline int is_space(int ch
)
820 return ch
== ' ' || ch
== '\t' || ch
== '\v' || ch
== '\f' || ch
== '\r';