diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-01 13:23:51 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-17 18:38:50 +0100 |
| commit | 54985f5b2db36aff19255fd196032bd068caa2ba (patch) | |
| tree | f3d95159a489860518dec67633100bb1366dcd46 /builtin.c | |
| parent | f45b7c7caeb21d9d6baec8a4b9ef1b9821efaa95 (diff) | |
| download | sparse-dev-54985f5b2db36aff19255fd196032bd068caa2ba.tar.gz | |
builtin: make builtins more builtin
Currently, (most) builtin functions are declared like
normal function prototypes. Furthermore, these declarations
are done via the pre-buffer mechanism and thus need to be
tokenized & parsed like normal code.
This is far from being 'builtin' and involves unnneded
processing.
Change this by skipping this pre-buffer phase and directly creating
the appropriate symbol for them.
Note: the correct mechanism to be used to make them really builtin
is via init_builtins(), used when we have a real semantic
action for the builtin.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'builtin.c')
| -rw-r--r-- | builtin.c | 166 |
1 files changed, 166 insertions, 0 deletions
@@ -27,6 +27,7 @@ #include "expand.h" #include "symbol.h" #include "compat/bswap.h" +#include <stdarg.h> static int evaluate_to_int_const_expr(struct expression *expr) { @@ -259,3 +260,168 @@ void init_builtins(int stream) sym->op = ptr->op; } } + +static void declare_builtin(const char *name, struct symbol *rtype, int variadic, ...) +{ + int stream = 0; // FIXME + struct symbol *sym = create_symbol(stream, name, SYM_NODE, NS_SYMBOL); + struct symbol *fun = alloc_symbol(sym->pos, SYM_FN); + struct symbol *arg; + va_list args; + + sym->ctype.base_type = fun; + sym->ctype.modifiers = MOD_TOPLEVEL; + + fun->ctype.base_type = rtype; + fun->variadic = variadic; + + va_start(args, variadic); + while ((arg = va_arg(args, struct symbol *))) { + struct symbol *anode = alloc_symbol(sym->pos, SYM_NODE); + anode->ctype.base_type = arg; + add_symbol(&fun->arguments, anode); + } + va_end(args); +} + +void declare_builtins(void) +{ + struct symbol *va_list_ctype = &ptr_ctype; + + declare_builtin("__builtin_abort", &void_ctype, 0, NULL); + declare_builtin("__builtin_abs", &int_ctype , 0, &int_ctype, NULL); + declare_builtin("__builtin_alloca", &ptr_ctype, 0, size_t_ctype, NULL); + declare_builtin("__builtin_alpha_cmpbge", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_extbl", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_extwl", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_insbl", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_inslh", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_insql", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_alpha_inswl", &long_ctype, 0, &long_ctype, &long_ctype, NULL); + declare_builtin("__builtin_bcmp", &int_ctype , 0, &const_ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_bcopy", &void_ctype, 0, &const_ptr_ctype, &ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_bswap16", &ushort_ctype, 0, &ushort_ctype, NULL); + declare_builtin("__builtin_bswap32", &uint_ctype, 0, &uint_ctype, NULL); + declare_builtin("__builtin_bswap64", &ullong_ctype, 0, &ullong_ctype, NULL); + declare_builtin("__builtin_bzero", &void_ctype, 0, &ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_calloc", &ptr_ctype, 0, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_clrsb", &int_ctype, 0, &int_ctype, NULL); + declare_builtin("__builtin_clrsbl", &int_ctype, 0, &long_ctype, NULL); + declare_builtin("__builtin_clrsbll", &int_ctype, 0, &llong_ctype, NULL); + declare_builtin("__builtin_clz", &int_ctype, 0, &int_ctype, NULL); + declare_builtin("__builtin_clzl", &int_ctype, 0, &long_ctype, NULL); + declare_builtin("__builtin_clzll", &int_ctype, 0, &llong_ctype, NULL); + declare_builtin("__builtin_ctz", &int_ctype, 0, &int_ctype, NULL); + declare_builtin("__builtin_ctzl", &int_ctype, 0, &long_ctype, NULL); + declare_builtin("__builtin_ctzll", &int_ctype, 0, &llong_ctype, NULL); + declare_builtin("__builtin_exit", &void_ctype, 0, &int_ctype, NULL); + declare_builtin("__builtin_extract_return_addr", &ptr_ctype, 0, &ptr_ctype, NULL); + declare_builtin("__builtin_fabs", &double_ctype, 0, &double_ctype, NULL); + declare_builtin("__builtin_ffs", &int_ctype, 0, &int_ctype, NULL); + declare_builtin("__builtin_ffsl", &int_ctype, 0, &long_ctype, NULL); + declare_builtin("__builtin_ffsll", &int_ctype, 0, &llong_ctype, NULL); + declare_builtin("__builtin_frame_address", &ptr_ctype, 0, &uint_ctype, NULL); + declare_builtin("__builtin_free", &void_ctype, 0, &ptr_ctype, NULL); + declare_builtin("__builtin_huge_val", &double_ctype, 0, NULL); + declare_builtin("__builtin_huge_valf", &float_ctype, 0, NULL); + declare_builtin("__builtin_huge_vall", &ldouble_ctype, 0, NULL); + declare_builtin("__builtin_index", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL); + declare_builtin("__builtin_inf", &double_ctype, 0, NULL); + declare_builtin("__builtin_inff", &float_ctype, 0, NULL); + declare_builtin("__builtin_infl", &ldouble_ctype, 0, NULL); + declare_builtin("__builtin_isfinite", &int_ctype, 1, NULL); + declare_builtin("__builtin_isgreater", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_isgreaterequal", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_isinf_sign", &int_ctype, 1, NULL); + declare_builtin("__builtin_isless", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_islessequal", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_islessgreater", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_isnan", &int_ctype, 1, NULL); + declare_builtin("__builtin_isunordered", &int_ctype, 0, &float_ctype, &float_ctype, NULL); + declare_builtin("__builtin_labs", &long_ctype, 0, &long_ctype, NULL); + declare_builtin("__builtin_llabs", &llong_ctype, 0, &llong_ctype, NULL); + declare_builtin("__builtin_malloc", &ptr_ctype, 0, size_t_ctype, NULL); + declare_builtin("__builtin_memchr", &ptr_ctype, 0, &const_ptr_ctype, &int_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_memcmp", &int_ctype, 0, &const_ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_memcpy", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_memmove", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_mempcpy", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_memset", &ptr_ctype, 0, &ptr_ctype, &int_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_nan", &double_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_nanf", &float_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_nanl", &ldouble_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_object_size", size_t_ctype, 0, &const_ptr_ctype, &int_ctype, NULL); + declare_builtin("__builtin_parity", &int_ctype, 0, &uint_ctype, NULL); + declare_builtin("__builtin_parityl", &int_ctype, 0, &ulong_ctype, NULL); + declare_builtin("__builtin_parityll", &int_ctype, 0, &ullong_ctype, NULL); + declare_builtin("__builtin_popcount", &int_ctype, 0, &uint_ctype, NULL); + declare_builtin("__builtin_popcountl", &int_ctype, 0, &ulong_ctype, NULL); + declare_builtin("__builtin_popcountll", &int_ctype, 0, &ullong_ctype, NULL); + declare_builtin("__builtin_prefetch", &void_ctype, 1, &const_ptr_ctype, NULL); + declare_builtin("__builtin_printf", &int_ctype, 1, &const_string_ctype, NULL); + declare_builtin("__builtin_puts", &int_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_realloc", &ptr_ctype, 0, &ptr_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_return_address", &ptr_ctype, 0, &uint_ctype, NULL); + declare_builtin("__builtin_rindex", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL); + declare_builtin("__builtin_snprintf", &int_ctype, 1, &string_ctype, size_t_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_sprintf", &int_ctype, 1, &string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_stpcpy", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_stpncpy", &string_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strcasecmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strcasestr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strcat", &string_ctype, 0, &string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strchr", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL); + declare_builtin("__builtin_strcmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strcpy", &string_ctype, 0, &string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strcspn", size_t_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strdup", &string_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_strlen", size_t_ctype, 0, &const_string_ctype, NULL); + declare_builtin("__builtin_strncasecmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strncat", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strncmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strncpy", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strndup", &string_ctype, 0, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strnstr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin_strpbrk", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strrchr", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL); + declare_builtin("__builtin_strspn", size_t_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_strstr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin_trap", &void_ctype, 0, NULL); + declare_builtin("__builtin_unreachable", &void_ctype, 0, NULL); + declare_builtin("__builtin_va_arg_pack_len", size_t_ctype, 0, NULL); + declare_builtin("__builtin_vprintf", &int_ctype, 0, &const_string_ctype, va_list_ctype, NULL); + declare_builtin("__builtin_vsnprintf", &int_ctype, 0, &string_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL); + declare_builtin("__builtin_vsprintf", &int_ctype, 0, &string_ctype, &const_string_ctype, va_list_ctype, NULL); + + declare_builtin("__builtin___memcpy_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___memmove_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___mempcpy_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___memset_chk", &ptr_ctype, 0, &ptr_ctype, &int_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___snprintf_chk", &int_ctype, 1, &string_ctype, size_t_ctype, &int_ctype , size_t_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin___sprintf_chk", &int_ctype, 1, &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype, NULL); + declare_builtin("__builtin___stpcpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___strcat_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___strcpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___strncat_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___strncpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype, NULL); + declare_builtin("__builtin___vsnprintf_chk", &int_ctype, 0, &string_ctype, size_t_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL); + declare_builtin("__builtin___vsprintf_chk", &int_ctype, 0, &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL); + + declare_builtin("__sync_add_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_and_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_bool_compare_and_swap", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_add", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_and", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_nand", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_or", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_sub", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_fetch_and_xor", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_lock_release", &void_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_lock_test_and_set", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_nand_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_or_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_sub_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_synchronize", &void_ctype, 0, NULL); + declare_builtin("__sync_val_compare_and_swap", &int_ctype, 1, &ptr_ctype, NULL); + declare_builtin("__sync_xor_and_fetch", &int_ctype, 1, &ptr_ctype, NULL); +} |