diff options
Diffstat (limited to 'builtin.c')
| -rw-r--r-- | builtin.c | 438 |
1 files changed, 196 insertions, 242 deletions
@@ -23,6 +23,7 @@ * THE SOFTWARE. */ +#include "builtin.h" #include "expression.h" #include "evaluate.h" #include "expand.h" @@ -357,265 +358,218 @@ static struct symbol_op overflow_p_op = { /* * Builtin functions */ -static struct symbol builtin_fn_type = { .type = SYM_FN /* , .variadic =1 */ }; -static struct sym_init { - const char *name; - struct symbol *base_type; - unsigned int modifiers; - struct symbol_op *op; -} builtins_table[] = { - { "__builtin_constant_p", &builtin_fn_type, MOD_TOPLEVEL, &constant_p_op }, - { "__builtin_safe_p", &builtin_fn_type, MOD_TOPLEVEL, &safe_p_op }, - { "__builtin_warning", &builtin_fn_type, MOD_TOPLEVEL, &warning_op }, - { "__builtin_expect", &builtin_fn_type, MOD_TOPLEVEL, &expect_op }, - { "__builtin_choose_expr", &builtin_fn_type, MOD_TOPLEVEL, &choose_op }, - { "__builtin_bswap16", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op }, - { "__builtin_bswap32", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op }, - { "__builtin_bswap64", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op }, - { "__builtin_clrsb", &builtin_fn_type, MOD_TOPLEVEL, &clrsb_op }, - { "__builtin_clrsbl", &builtin_fn_type, MOD_TOPLEVEL, &clrsb_op }, - { "__builtin_clrsbll", &builtin_fn_type, MOD_TOPLEVEL, &clrsb_op }, - { "__builtin_clz", &builtin_fn_type, MOD_TOPLEVEL, &clz_op }, - { "__builtin_clzl", &builtin_fn_type, MOD_TOPLEVEL, &clz_op }, - { "__builtin_clzll", &builtin_fn_type, MOD_TOPLEVEL, &clz_op }, - { "__builtin_ctz", &builtin_fn_type, MOD_TOPLEVEL, &ctz_op }, - { "__builtin_ctzl", &builtin_fn_type, MOD_TOPLEVEL, &ctz_op }, - { "__builtin_ctzll", &builtin_fn_type, MOD_TOPLEVEL, &ctz_op }, - { "__builtin_ffs", &builtin_fn_type, MOD_TOPLEVEL, &ffs_op }, - { "__builtin_ffsl", &builtin_fn_type, MOD_TOPLEVEL, &ffs_op }, - { "__builtin_ffsll", &builtin_fn_type, MOD_TOPLEVEL, &ffs_op }, - { "__builtin_isfinite", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_isinf", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_isinf_sign", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_isnan", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_isnormal", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_parity", &builtin_fn_type, MOD_TOPLEVEL, &parity_op }, - { "__builtin_parityl", &builtin_fn_type, MOD_TOPLEVEL, &parity_op }, - { "__builtin_parityll", &builtin_fn_type, MOD_TOPLEVEL, &parity_op }, - { "__builtin_popcount", &builtin_fn_type, MOD_TOPLEVEL, &popcount_op }, - { "__builtin_popcountl", &builtin_fn_type, MOD_TOPLEVEL, &popcount_op }, - { "__builtin_popcountll", &builtin_fn_type, MOD_TOPLEVEL, &popcount_op }, - { "__builtin_signbit", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op }, - { "__builtin_add_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op }, - { "__builtin_sub_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op }, - { "__builtin_mul_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op }, - { "__builtin_add_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op }, - { "__builtin_sub_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op }, - { "__builtin_mul_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op }, - { NULL, NULL, 0 } -}; +static struct symbol size_t_alias; -void init_builtins(int stream) +static struct symbol *get_ctype(struct symbol *sym) { - struct sym_init *ptr; - - builtin_fn_type.variadic = 1; - for (ptr = builtins_table; ptr->name; ptr++) { - struct symbol *sym; - sym = create_symbol(stream, ptr->name, SYM_NODE, NS_SYMBOL); - sym->ctype.base_type = ptr->base_type; - sym->ctype.modifiers = ptr->modifiers; - sym->op = ptr->op; - sym->builtin = 1; - } - - init_linearized_builtins(stream); + if (sym == &size_t_alias) + return size_t_ctype; + return sym; } -static void declare_builtin(const char *name, struct symbol *rtype, int variadic, ...) +static void declare_builtin(int stream, const struct builtin_fn *entry) { - int stream = 0; // FIXME - struct symbol *sym = create_symbol(stream, name, SYM_NODE, NS_SYMBOL); + struct symbol *sym = create_symbol(stream, entry->name, SYM_NODE, NS_SYMBOL); struct symbol *fun = alloc_symbol(sym->pos, SYM_FN); struct symbol *arg; - va_list args; + int i; sym->ctype.base_type = fun; sym->ctype.modifiers = MOD_TOPLEVEL; sym->builtin = 1; + sym->op = entry->op; - fun->ctype.base_type = rtype; - fun->variadic = variadic; + fun->ctype.base_type = get_ctype(entry->ret_type); + fun->variadic = entry->variadic; - va_start(args, variadic); - while ((arg = va_arg(args, struct symbol *))) { + for (i = 0; (arg = entry->args[i]); i++) { struct symbol *anode = alloc_symbol(sym->pos, SYM_NODE); - anode->ctype.base_type = arg; + anode->ctype.base_type = get_ctype(arg); add_symbol(&fun->arguments, anode); } - va_end(args); } -void declare_builtins(void) +static void declare_builtins(int stream, const struct builtin_fn tbl[]) { - 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_expect", &long_ctype, 0, &long_ctype ,&long_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", &int_ctype, 1, 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_isnormal", &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_sadd_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL); - declare_builtin("__builtin_saddl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL); - declare_builtin("__builtin_saddll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_ctype, NULL); - declare_builtin("__builtin_signbit", &int_ctype, 1, NULL); - declare_builtin("__builtin_smul_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL); - declare_builtin("__builtin_smull_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL); - declare_builtin("__builtin_smulll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_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_ssub_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL); - declare_builtin("__builtin_ssubl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL); - declare_builtin("__builtin_ssubll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_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_uadd_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL); - declare_builtin("__builtin_uaddl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL); - declare_builtin("__builtin_uaddll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, NULL); - declare_builtin("__builtin_umul_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL); - declare_builtin("__builtin_umull_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL); - declare_builtin("__builtin_umulll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, NULL); - declare_builtin("__builtin_unreachable", &void_ctype, 0, NULL); - declare_builtin("__builtin_usub_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL); - declare_builtin("__builtin_usubl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL); - declare_builtin("__builtin_usubll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, 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); - - // Blackfin-specific stuff - declare_builtin("__builtin_bfin_csync", &void_ctype, 0, NULL); - declare_builtin("__builtin_bfin_ssync", &void_ctype, 0, NULL); - declare_builtin("__builtin_bfin_norm_fr1x32", &int_ctype, 0, &int_ctype, NULL); - - // Nios-II-specific - declare_builtin("__builtin_rdctl", &int_ctype, 0, &int_ctype, NULL); - declare_builtin("__builtin_wrctl", &void_ctype, 0, &int_ctype, &int_ctype, NULL); - declare_builtin("__builtin_custom_ini", &int_ctype, 0, &int_ctype, NULL); + if (!tbl) + return; + + while (tbl->name) + declare_builtin(stream, tbl++); +} + +static const struct builtin_fn builtins_common[] = { +#define size_t_ctype &size_t_alias +#define va_list_ctype &ptr_ctype + { "__builtin_choose_expr", NULL, 1, .op = &choose_op }, + { "__builtin_constant_p", NULL, 1, .op = &constant_p_op }, + { "__builtin_expect", &long_ctype, 0, { &long_ctype ,&long_ctype }, .op = &expect_op }, + { "__builtin_safe_p", NULL, 1, .op = &safe_p_op }, + { "__builtin_warning", NULL, 1, .op = &warning_op }, + + { "__builtin_abort", &void_ctype, 0 }, + { "__builtin_abs", &int_ctype , 0, { &int_ctype }}, + { "__builtin_add_overflow", &bool_ctype, 1, .op = &overflow_op }, + { "__builtin_add_overflow_p", &bool_ctype, 1, .op = &overflow_p_op }, + { "__builtin_alloca", &ptr_ctype, 0, { size_t_ctype }}, + { "__builtin_bcmp", &int_ctype , 0, { &const_ptr_ctype, &const_ptr_ctype, size_t_ctype }}, + { "__builtin_bcopy", &void_ctype, 0, { &const_ptr_ctype, &ptr_ctype, size_t_ctype }}, + { "__builtin_bswap16", &ushort_ctype, 0, { &ushort_ctype }, .op = &bswap_op }, + { "__builtin_bswap32", &uint_ctype, 0, { &uint_ctype }, .op = &bswap_op }, + { "__builtin_bswap64", &ullong_ctype, 0, { &ullong_ctype }, .op = &bswap_op }, + { "__builtin_bzero", &void_ctype, 0, { &ptr_ctype, size_t_ctype }}, + { "__builtin_calloc", &ptr_ctype, 0, { size_t_ctype, size_t_ctype }}, + { "__builtin_clrsb", &int_ctype, 0, { &int_ctype }, .op = &clrsb_op }, + { "__builtin_clrsbl", &int_ctype, 0, { &long_ctype }, .op = &clrsb_op }, + { "__builtin_clrsbll", &int_ctype, 0, { &llong_ctype }, .op = &clrsb_op }, + { "__builtin_clz", &int_ctype, 0, { &int_ctype }, .op = &clz_op }, + { "__builtin_clzl", &int_ctype, 0, { &long_ctype }, .op = &clz_op }, + { "__builtin_clzll", &int_ctype, 0, { &llong_ctype }, .op = &clz_op }, + { "__builtin_ctz", &int_ctype, 0, { &int_ctype }, .op = &ctz_op }, + { "__builtin_ctzl", &int_ctype, 0, { &long_ctype }, .op = &ctz_op }, + { "__builtin_ctzll", &int_ctype, 0, { &llong_ctype }, .op = &ctz_op }, + { "__builtin_exit", &void_ctype, 0, { &int_ctype }}, + { "__builtin_extract_return_addr", &ptr_ctype, 0, { &ptr_ctype }}, + { "__builtin_fabs", &double_ctype, 0, { &double_ctype }}, + { "__builtin_ffs", &int_ctype, 0, { &int_ctype }, .op = &ffs_op }, + { "__builtin_ffsl", &int_ctype, 0, { &long_ctype }, .op = &ffs_op }, + { "__builtin_ffsll", &int_ctype, 0, { &llong_ctype }, .op = &ffs_op }, + { "__builtin_frame_address", &ptr_ctype, 0, { &uint_ctype }}, + { "__builtin_free", &void_ctype, 0, { &ptr_ctype }}, + { "__builtin_huge_val", &double_ctype, 0 }, + { "__builtin_huge_valf", &float_ctype, 0 }, + { "__builtin_huge_vall", &ldouble_ctype, 0 }, + { "__builtin_index", &string_ctype, 0, { &const_string_ctype, &int_ctype }}, + { "__builtin_inf", &double_ctype, 0 }, + { "__builtin_inff", &float_ctype, 0 }, + { "__builtin_infl", &ldouble_ctype, 0 }, + { "__builtin_isfinite", &int_ctype, 1, .op = &fp_unop_op }, + { "__builtin_isgreater", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_isgreaterequal", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_isinf", &int_ctype, 1, .op = &fp_unop_op }, + { "__builtin_isinf_sign", &int_ctype, 1, .op = &fp_unop_op }, + { "__builtin_isless", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_islessequal", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_islessgreater", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_isnan", &int_ctype, 1, .op = &fp_unop_op }, + { "__builtin_isnormal", &int_ctype, 1, .op = &fp_unop_op }, + { "__builtin_isunordered", &int_ctype, 0, { &float_ctype, &float_ctype }}, + { "__builtin_labs", &long_ctype, 0, { &long_ctype }}, + { "__builtin_llabs", &llong_ctype, 0, { &llong_ctype }}, + { "__builtin_malloc", &ptr_ctype, 0, { size_t_ctype }}, + { "__builtin_memchr", &ptr_ctype, 0, { &const_ptr_ctype, &int_ctype, size_t_ctype }}, + { "__builtin_memcmp", &int_ctype, 0, { &const_ptr_ctype, &const_ptr_ctype, size_t_ctype }}, + { "__builtin_memcpy", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype }}, + { "__builtin_memmove", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype }}, + { "__builtin_mempcpy", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype }}, + { "__builtin_memset", &ptr_ctype, 0, { &ptr_ctype, &int_ctype, size_t_ctype }}, + { "__builtin_mul_overflow", &bool_ctype, 1, .op = &overflow_op }, + { "__builtin_mul_overflow_p", &bool_ctype, 1, .op = &overflow_p_op }, + { "__builtin_nan", &double_ctype, 0, { &const_string_ctype }}, + { "__builtin_nanf", &float_ctype, 0, { &const_string_ctype }}, + { "__builtin_nanl", &ldouble_ctype, 0, { &const_string_ctype }}, + { "__builtin_object_size", size_t_ctype, 0, { &const_ptr_ctype, &int_ctype }}, + { "__builtin_parity", &int_ctype, 0, { &uint_ctype }, .op = &parity_op }, + { "__builtin_parityl", &int_ctype, 0, { &ulong_ctype }, .op = &parity_op }, + { "__builtin_parityll", &int_ctype, 0, { &ullong_ctype }, .op = &parity_op }, + { "__builtin_popcount", &int_ctype, 0, { &uint_ctype }, .op = &popcount_op }, + { "__builtin_popcountl", &int_ctype, 0, { &ulong_ctype }, .op = &popcount_op }, + { "__builtin_popcountll", &int_ctype, 0, { &ullong_ctype }, .op = &popcount_op }, + { "__builtin_prefetch", &void_ctype, 1, { &const_ptr_ctype }}, + { "__builtin_printf", &int_ctype, 1, { &const_string_ctype }}, + { "__builtin_puts", &int_ctype, 0, { &const_string_ctype }}, + { "__builtin_realloc", &ptr_ctype, 0, { &ptr_ctype, size_t_ctype }}, + { "__builtin_return_address", &ptr_ctype, 0, { &uint_ctype }}, + { "__builtin_rindex", &string_ctype, 0, { &const_string_ctype, &int_ctype }}, + { "__builtin_sadd_overflow", &bool_ctype, 0, { &int_ctype, &int_ctype, &int_ptr_ctype }}, + { "__builtin_saddl_overflow", &bool_ctype, 0, { &long_ctype, &long_ctype, &long_ptr_ctype }}, + { "__builtin_saddll_overflow", &bool_ctype, 0, { &llong_ctype, &llong_ctype, &llong_ptr_ctype }}, + { "__builtin_signbit", &int_ctype, 1 , .op = &fp_unop_op }, + { "__builtin_smul_overflow", &bool_ctype, 0, { &int_ctype, &int_ctype, &int_ptr_ctype }}, + { "__builtin_smull_overflow", &bool_ctype, 0, { &long_ctype, &long_ctype, &long_ptr_ctype }}, + { "__builtin_smulll_overflow", &bool_ctype, 0, { &llong_ctype, &llong_ctype, &llong_ptr_ctype }}, + { "__builtin_snprintf", &int_ctype, 1, { &string_ctype, size_t_ctype, &const_string_ctype }}, + { "__builtin_sprintf", &int_ctype, 1, { &string_ctype, &const_string_ctype }}, + { "__builtin_ssub_overflow", &bool_ctype, 0, { &int_ctype, &int_ctype, &int_ptr_ctype }}, + { "__builtin_ssubl_overflow", &bool_ctype, 0, { &long_ctype, &long_ctype, &long_ptr_ctype }}, + { "__builtin_ssubll_overflow", &bool_ctype, 0, { &llong_ctype, &llong_ctype, &llong_ptr_ctype }}, + { "__builtin_stpcpy", &string_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_stpncpy", &string_ctype, 0, { &const_string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strcasecmp", &int_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strcasestr", &string_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strcat", &string_ctype, 0, { &string_ctype, &const_string_ctype }}, + { "__builtin_strchr", &string_ctype, 0, { &const_string_ctype, &int_ctype }}, + { "__builtin_strcmp", &int_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strcpy", &string_ctype, 0, { &string_ctype, &const_string_ctype }}, + { "__builtin_strcspn", size_t_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strdup", &string_ctype, 0, { &const_string_ctype }}, + { "__builtin_strlen", size_t_ctype, 0, { &const_string_ctype }}, + { "__builtin_strncasecmp", &int_ctype, 0, { &const_string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strncat", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strncmp", &int_ctype, 0, { &const_string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strncpy", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strndup", &string_ctype, 0, { &const_string_ctype, size_t_ctype }}, + { "__builtin_strnstr", &string_ctype, 0, { &const_string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin_strpbrk", &string_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strrchr", &string_ctype, 0, { &const_string_ctype, &int_ctype }}, + { "__builtin_strspn", size_t_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_strstr", &string_ctype, 0, { &const_string_ctype, &const_string_ctype }}, + { "__builtin_sub_overflow", &bool_ctype, 1, .op = &overflow_op }, + { "__builtin_sub_overflow_p", &bool_ctype, 1, .op = &overflow_p_op }, + { "__builtin_trap", &void_ctype, 0 }, + { "__builtin_uadd_overflow", &bool_ctype, 0, { &uint_ctype, &uint_ctype, &uint_ptr_ctype }}, + { "__builtin_uaddl_overflow", &bool_ctype, 0, { &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype }}, + { "__builtin_uaddll_overflow", &bool_ctype, 0, { &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype }}, + { "__builtin_umul_overflow", &bool_ctype, 0, { &uint_ctype, &uint_ctype, &uint_ptr_ctype }}, + { "__builtin_umull_overflow", &bool_ctype, 0, { &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype }}, + { "__builtin_umulll_overflow", &bool_ctype, 0, { &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype }}, + { "__builtin_unreachable", &void_ctype, 0 }, + { "__builtin_usub_overflow", &bool_ctype, 0, { &uint_ctype, &uint_ctype, &uint_ptr_ctype }}, + { "__builtin_usubl_overflow", &bool_ctype, 0, { &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype }}, + { "__builtin_usubll_overflow", &bool_ctype, 0, { &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype }}, + { "__builtin_va_arg_pack_len", size_t_ctype, 0 }, + { "__builtin_vprintf", &int_ctype, 0, { &const_string_ctype, va_list_ctype }}, + { "__builtin_vsnprintf", &int_ctype, 0, { &string_ctype, size_t_ctype, &const_string_ctype, va_list_ctype }}, + { "__builtin_vsprintf", &int_ctype, 0, { &string_ctype, &const_string_ctype, va_list_ctype }}, + + { "__builtin___memcpy_chk", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___memmove_chk", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___mempcpy_chk", &ptr_ctype, 0, { &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___memset_chk", &ptr_ctype, 0, { &ptr_ctype, &int_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___snprintf_chk", &int_ctype, 1, { &string_ctype, size_t_ctype, &int_ctype , size_t_ctype, &const_string_ctype }}, + { "__builtin___sprintf_chk", &int_ctype, 1, { &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype }}, + { "__builtin___stpcpy_chk", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin___strcat_chk", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin___strcpy_chk", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype }}, + { "__builtin___strncat_chk", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___strncpy_chk", &string_ctype, 0, { &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype }}, + { "__builtin___vsnprintf_chk", &int_ctype, 0, { &string_ctype, size_t_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype }}, + { "__builtin___vsprintf_chk", &int_ctype, 0, { &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype }}, + + { "__sync_add_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_and_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_bool_compare_and_swap", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_add", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_and", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_nand", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_or", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_sub", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_fetch_and_xor", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_lock_release", &void_ctype, 1, { &ptr_ctype }}, + { "__sync_lock_test_and_set", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_nand_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_or_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_sub_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_synchronize", &void_ctype, 0 }, + { "__sync_val_compare_and_swap", &int_ctype, 1, { &ptr_ctype }}, + { "__sync_xor_and_fetch", &int_ctype, 1, { &ptr_ctype }}, + + { } +}; + +void init_builtins(int stream) +{ + declare_builtins(stream, builtins_common); + declare_builtins(stream, arch_target->builtins); + init_linearized_builtins(stream); } |