| /* Language-dependent hooks for LTO. |
| Copyright (C) 2009-2022 Free Software Foundation, Inc. |
| Contributed by CodeSourcery, Inc. |
| |
| This file is part of GCC. |
| |
| GCC is free software; you can redistribute it and/or modify it under |
| the terms of the GNU General Public License as published by the Free |
| Software Foundation; either version 3, or (at your option) any later |
| version. |
| |
| GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
| WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GCC; see the file COPYING3. If not see |
| <http://www.gnu.org/licenses/>. */ |
| |
| #include "config.h" |
| #include "system.h" |
| #include "coretypes.h" |
| #include "target.h" |
| #include "function.h" |
| #include "basic-block.h" |
| #include "tree.h" |
| #include "gimple.h" |
| #include "stringpool.h" |
| #include "diagnostic-core.h" |
| #include "stor-layout.h" |
| #include "langhooks.h" |
| #include "langhooks-def.h" |
| #include "debug.h" |
| #include "lto-tree.h" |
| #include "lto.h" |
| #include "lto-common.h" |
| #include "stringpool.h" |
| #include "attribs.h" |
| |
| /* LTO specific dumps. */ |
| int lto_link_dump_id, decl_merge_dump_id, partition_dump_id; |
| |
| static tree handle_noreturn_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_leaf_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_const_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_malloc_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_pure_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_novops_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_nonnull_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_nothrow_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_sentinel_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_type_generic_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_transaction_pure_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_returns_twice_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_patchable_function_entry_attribute (tree *, tree, tree, |
| int, bool *); |
| static tree ignore_attribute (tree *, tree, tree, int, bool *); |
| |
| static tree handle_format_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_fnspec_attribute (tree *, tree, tree, int, bool *); |
| static tree handle_format_arg_attribute (tree *, tree, tree, int, bool *); |
| |
| /* Helper to define attribute exclusions. */ |
| #define ATTR_EXCL(name, function, type, variable) \ |
| { name, function, type, variable } |
| |
| /* Define attributes that are mutually exclusive with one another. */ |
| static const struct attribute_spec::exclusions attr_noreturn_exclusions[] = |
| { |
| ATTR_EXCL ("noreturn", true, true, true), |
| ATTR_EXCL ("alloc_align", true, true, true), |
| ATTR_EXCL ("alloc_size", true, true, true), |
| ATTR_EXCL ("const", true, true, true), |
| ATTR_EXCL ("malloc", true, true, true), |
| ATTR_EXCL ("pure", true, true, true), |
| ATTR_EXCL ("returns_twice", true, true, true), |
| ATTR_EXCL ("warn_unused_result", true, true, true), |
| ATTR_EXCL (NULL, false, false, false), |
| }; |
| |
| static const struct attribute_spec::exclusions attr_returns_twice_exclusions[] = |
| { |
| ATTR_EXCL ("noreturn", true, true, true), |
| ATTR_EXCL (NULL, false, false, false), |
| }; |
| |
| static const struct attribute_spec::exclusions attr_const_pure_exclusions[] = |
| { |
| ATTR_EXCL ("const", true, true, true), |
| ATTR_EXCL ("noreturn", true, true, true), |
| ATTR_EXCL ("pure", true, true, true), |
| ATTR_EXCL (NULL, false, false, false) |
| }; |
| |
| /* Table of machine-independent attributes supported in GIMPLE. */ |
| const struct attribute_spec lto_attribute_table[] = |
| { |
| /* { name, min_len, max_len, decl_req, type_req, fn_type_req, |
| affects_type_identity, handler, exclude } */ |
| { "noreturn", 0, 0, true, false, false, false, |
| handle_noreturn_attribute, |
| attr_noreturn_exclusions }, |
| { "leaf", 0, 0, true, false, false, false, |
| handle_leaf_attribute, NULL }, |
| /* The same comments as for noreturn attributes apply to const ones. */ |
| { "const", 0, 0, true, false, false, false, |
| handle_const_attribute, |
| attr_const_pure_exclusions }, |
| { "malloc", 0, 0, true, false, false, false, |
| handle_malloc_attribute, NULL }, |
| { "pure", 0, 0, true, false, false, false, |
| handle_pure_attribute, |
| attr_const_pure_exclusions }, |
| { "no vops", 0, 0, true, false, false, false, |
| handle_novops_attribute, NULL }, |
| { "nonnull", 0, -1, false, true, true, false, |
| handle_nonnull_attribute, NULL }, |
| { "nothrow", 0, 0, true, false, false, false, |
| handle_nothrow_attribute, NULL }, |
| { "patchable_function_entry", 1, 2, true, false, false, false, |
| handle_patchable_function_entry_attribute, |
| NULL }, |
| { "returns_twice", 0, 0, true, false, false, false, |
| handle_returns_twice_attribute, |
| attr_returns_twice_exclusions }, |
| { "sentinel", 0, 1, false, true, true, false, |
| handle_sentinel_attribute, NULL }, |
| { "type generic", 0, 0, false, true, true, false, |
| handle_type_generic_attribute, NULL }, |
| { "fn spec", 1, 1, false, true, true, false, |
| handle_fnspec_attribute, NULL }, |
| { "transaction_pure", 0, 0, false, true, true, false, |
| handle_transaction_pure_attribute, NULL }, |
| /* For internal use only. The leading '*' both prevents its usage in |
| source code and signals that it may be overridden by machine tables. */ |
| { "*tm regparm", 0, 0, false, true, true, false, |
| ignore_attribute, NULL }, |
| { NULL, 0, 0, false, false, false, false, NULL, NULL } |
| }; |
| |
| /* Give the specifications for the format attributes, used by C and all |
| descendants. */ |
| |
| const struct attribute_spec lto_format_attribute_table[] = |
| { |
| /* { name, min_len, max_len, decl_req, type_req, fn_type_req, |
| affects_type_identity, handler, exclude } */ |
| { "format", 3, 3, false, true, true, false, |
| handle_format_attribute, NULL }, |
| { "format_arg", 1, 1, false, true, true, false, |
| handle_format_arg_attribute, NULL }, |
| { NULL, 0, 0, false, false, false, false, NULL, NULL } |
| }; |
| |
| enum built_in_attribute |
| { |
| #define DEF_ATTR_NULL_TREE(ENUM) ENUM, |
| #define DEF_ATTR_INT(ENUM, VALUE) ENUM, |
| #define DEF_ATTR_STRING(ENUM, VALUE) ENUM, |
| #define DEF_ATTR_IDENT(ENUM, STRING) ENUM, |
| #define DEF_ATTR_TREE_LIST(ENUM, PURPOSE, VALUE, CHAIN) ENUM, |
| #include "builtin-attrs.def" |
| #undef DEF_ATTR_NULL_TREE |
| #undef DEF_ATTR_INT |
| #undef DEF_ATTR_STRING |
| #undef DEF_ATTR_IDENT |
| #undef DEF_ATTR_TREE_LIST |
| ATTR_LAST |
| }; |
| |
| static GTY(()) tree built_in_attributes[(int) ATTR_LAST]; |
| |
| /* Builtin types. */ |
| |
| enum lto_builtin_type |
| { |
| #define DEF_PRIMITIVE_TYPE(NAME, VALUE) NAME, |
| #define DEF_FUNCTION_TYPE_0(NAME, RETURN) NAME, |
| #define DEF_FUNCTION_TYPE_1(NAME, RETURN, ARG1) NAME, |
| #define DEF_FUNCTION_TYPE_2(NAME, RETURN, ARG1, ARG2) NAME, |
| #define DEF_FUNCTION_TYPE_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME, |
| #define DEF_FUNCTION_TYPE_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME, |
| #define DEF_FUNCTION_TYPE_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) NAME, |
| #define DEF_FUNCTION_TYPE_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6) NAME, |
| #define DEF_FUNCTION_TYPE_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7) NAME, |
| #define DEF_FUNCTION_TYPE_8(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8) NAME, |
| #define DEF_FUNCTION_TYPE_9(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9) NAME, |
| #define DEF_FUNCTION_TYPE_10(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9, ARG10) NAME, |
| #define DEF_FUNCTION_TYPE_11(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9, ARG10, ARG11) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_0(NAME, RETURN) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_1(NAME, RETURN, ARG1) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_2(NAME, RETURN, ARG1, ARG2) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG6) \ |
| NAME, |
| #define DEF_FUNCTION_TYPE_VAR_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6) NAME, |
| #define DEF_FUNCTION_TYPE_VAR_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7) NAME, |
| #define DEF_POINTER_TYPE(NAME, TYPE) NAME, |
| #include "builtin-types.def" |
| #undef DEF_PRIMITIVE_TYPE |
| #undef DEF_FUNCTION_TYPE_0 |
| #undef DEF_FUNCTION_TYPE_1 |
| #undef DEF_FUNCTION_TYPE_2 |
| #undef DEF_FUNCTION_TYPE_3 |
| #undef DEF_FUNCTION_TYPE_4 |
| #undef DEF_FUNCTION_TYPE_5 |
| #undef DEF_FUNCTION_TYPE_6 |
| #undef DEF_FUNCTION_TYPE_7 |
| #undef DEF_FUNCTION_TYPE_8 |
| #undef DEF_FUNCTION_TYPE_9 |
| #undef DEF_FUNCTION_TYPE_10 |
| #undef DEF_FUNCTION_TYPE_11 |
| #undef DEF_FUNCTION_TYPE_VAR_0 |
| #undef DEF_FUNCTION_TYPE_VAR_1 |
| #undef DEF_FUNCTION_TYPE_VAR_2 |
| #undef DEF_FUNCTION_TYPE_VAR_3 |
| #undef DEF_FUNCTION_TYPE_VAR_4 |
| #undef DEF_FUNCTION_TYPE_VAR_5 |
| #undef DEF_FUNCTION_TYPE_VAR_6 |
| #undef DEF_FUNCTION_TYPE_VAR_7 |
| #undef DEF_POINTER_TYPE |
| BT_LAST |
| }; |
| |
| typedef enum lto_builtin_type builtin_type; |
| |
| static GTY(()) tree builtin_types[(int) BT_LAST + 1]; |
| |
| static GTY(()) tree string_type_node; |
| static GTY(()) tree const_string_type_node; |
| static GTY(()) tree wint_type_node; |
| static GTY(()) tree intmax_type_node; |
| static GTY(()) tree uintmax_type_node; |
| static GTY(()) tree signed_size_type_node; |
| |
| /* Flags needed to process builtins.def. */ |
| int flag_isoc94; |
| int flag_isoc99; |
| int flag_isoc11; |
| int flag_isoc2x; |
| |
| /* Attribute handlers. */ |
| |
| /* Handle a "noreturn" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_noreturn_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| tree type = TREE_TYPE (*node); |
| |
| if (TREE_CODE (*node) == FUNCTION_DECL) |
| TREE_THIS_VOLATILE (*node) = 1; |
| else if (TREE_CODE (type) == POINTER_TYPE |
| && TREE_CODE (TREE_TYPE (type)) == FUNCTION_TYPE) |
| TREE_TYPE (*node) |
| = build_pointer_type |
| (build_type_variant (TREE_TYPE (type), |
| TYPE_READONLY (TREE_TYPE (type)), 1)); |
| else |
| gcc_unreachable (); |
| |
| return NULL_TREE; |
| } |
| |
| /* Handle a "leaf" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_leaf_attribute (tree *node, tree name, |
| tree ARG_UNUSED (args), |
| int ARG_UNUSED (flags), bool *no_add_attrs) |
| { |
| if (TREE_CODE (*node) != FUNCTION_DECL) |
| { |
| warning (OPT_Wattributes, "%qE attribute ignored", name); |
| *no_add_attrs = true; |
| } |
| if (!TREE_PUBLIC (*node)) |
| { |
| warning (OPT_Wattributes, "%qE attribute has no effect on unit local functions", name); |
| *no_add_attrs = true; |
| } |
| |
| return NULL_TREE; |
| } |
| |
| /* Handle a "const" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_const_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| if (TREE_CODE (*node) != FUNCTION_DECL |
| || !fndecl_built_in_p (*node)) |
| inform (UNKNOWN_LOCATION, "%s:%s: %E: %E", __FILE__, __func__, *node, name); |
| |
| tree type = TREE_TYPE (*node); |
| |
| /* See FIXME comment on noreturn in c_common_attribute_table. */ |
| if (TREE_CODE (*node) == FUNCTION_DECL) |
| TREE_READONLY (*node) = 1; |
| else if (TREE_CODE (type) == POINTER_TYPE |
| && TREE_CODE (TREE_TYPE (type)) == FUNCTION_TYPE) |
| TREE_TYPE (*node) |
| = build_pointer_type |
| (build_type_variant (TREE_TYPE (type), 1, |
| TREE_THIS_VOLATILE (TREE_TYPE (type)))); |
| else |
| gcc_unreachable (); |
| |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "malloc" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_malloc_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| if (TREE_CODE (*node) == FUNCTION_DECL |
| && POINTER_TYPE_P (TREE_TYPE (TREE_TYPE (*node)))) |
| DECL_IS_MALLOC (*node) = 1; |
| else |
| gcc_unreachable (); |
| |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "pure" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_pure_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| if (TREE_CODE (*node) == FUNCTION_DECL) |
| DECL_PURE_P (*node) = 1; |
| else |
| gcc_unreachable (); |
| |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "no vops" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_novops_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool *ARG_UNUSED (no_add_attrs)) |
| { |
| gcc_assert (TREE_CODE (*node) == FUNCTION_DECL); |
| DECL_IS_NOVOPS (*node) = 1; |
| return NULL_TREE; |
| } |
| |
| |
| /* Helper for nonnull attribute handling; fetch the operand number |
| from the attribute argument list. */ |
| |
| static bool |
| get_nonnull_operand (tree arg_num_expr, unsigned HOST_WIDE_INT *valp) |
| { |
| /* Verify the arg number is a constant. */ |
| if (!tree_fits_uhwi_p (arg_num_expr)) |
| return false; |
| |
| *valp = TREE_INT_CST_LOW (arg_num_expr); |
| return true; |
| } |
| |
| /* Handle the "nonnull" attribute. */ |
| |
| static tree |
| handle_nonnull_attribute (tree *node, tree ARG_UNUSED (name), |
| tree args, int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| tree type = *node; |
| |
| /* If no arguments are specified, all pointer arguments should be |
| non-null. Verify a full prototype is given so that the arguments |
| will have the correct types when we actually check them later. |
| Avoid diagnosing type-generic built-ins since those have no |
| prototype. */ |
| if (!args) |
| { |
| gcc_assert (prototype_p (type) |
| || !TYPE_ATTRIBUTES (type) |
| || lookup_attribute ("type generic", TYPE_ATTRIBUTES (type))); |
| |
| return NULL_TREE; |
| } |
| |
| /* Argument list specified. Verify that each argument number references |
| a pointer argument. */ |
| for (; args; args = TREE_CHAIN (args)) |
| { |
| tree argument; |
| unsigned HOST_WIDE_INT arg_num = 0, ck_num; |
| |
| if (!get_nonnull_operand (TREE_VALUE (args), &arg_num)) |
| gcc_unreachable (); |
| |
| argument = TYPE_ARG_TYPES (type); |
| if (argument) |
| { |
| for (ck_num = 1; ; ck_num++) |
| { |
| if (!argument || ck_num == arg_num) |
| break; |
| argument = TREE_CHAIN (argument); |
| } |
| |
| gcc_assert (argument |
| && TREE_CODE (TREE_VALUE (argument)) == POINTER_TYPE); |
| } |
| } |
| |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "nothrow" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_nothrow_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| if (TREE_CODE (*node) == FUNCTION_DECL) |
| TREE_NOTHROW (*node) = 1; |
| else |
| gcc_unreachable (); |
| |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "sentinel" attribute. */ |
| |
| static tree |
| handle_sentinel_attribute (tree *node, tree ARG_UNUSED (name), tree args, |
| int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| gcc_assert (stdarg_p (*node)); |
| |
| if (args) |
| { |
| tree position = TREE_VALUE (args); |
| gcc_assert (TREE_CODE (position) == INTEGER_CST); |
| if (tree_int_cst_lt (position, integer_zero_node)) |
| gcc_unreachable (); |
| } |
| |
| return NULL_TREE; |
| } |
| |
| /* Handle a "type_generic" attribute. */ |
| |
| static tree |
| handle_type_generic_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| /* Ensure we have a function type. */ |
| gcc_assert (TREE_CODE (*node) == FUNCTION_TYPE); |
| |
| /* Ensure we have a variadic function. */ |
| gcc_assert (!prototype_p (*node) || stdarg_p (*node)); |
| |
| return NULL_TREE; |
| } |
| |
| /* Handle a "transaction_pure" attribute. */ |
| |
| static tree |
| handle_transaction_pure_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), |
| int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| /* Ensure we have a function type. */ |
| gcc_assert (TREE_CODE (*node) == FUNCTION_TYPE); |
| |
| return NULL_TREE; |
| } |
| |
| /* Handle a "returns_twice" attribute. */ |
| |
| static tree |
| handle_returns_twice_attribute (tree *node, tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), |
| int ARG_UNUSED (flags), |
| bool * ARG_UNUSED (no_add_attrs)) |
| { |
| gcc_assert (TREE_CODE (*node) == FUNCTION_DECL); |
| |
| DECL_IS_RETURNS_TWICE (*node) = 1; |
| |
| return NULL_TREE; |
| } |
| |
| static tree |
| handle_patchable_function_entry_attribute (tree *, tree, tree, int, bool *) |
| { |
| /* Nothing to be done here. */ |
| return NULL_TREE; |
| } |
| |
| /* Ignore the given attribute. Used when this attribute may be usefully |
| overridden by the target, but is not used generically. */ |
| |
| static tree |
| ignore_attribute (tree * ARG_UNUSED (node), tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool *no_add_attrs) |
| { |
| *no_add_attrs = true; |
| return NULL_TREE; |
| } |
| |
| /* Handle a "format" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_format_attribute (tree * ARG_UNUSED (node), tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool *no_add_attrs) |
| { |
| *no_add_attrs = true; |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "format_arg" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| tree |
| handle_format_arg_attribute (tree * ARG_UNUSED (node), tree ARG_UNUSED (name), |
| tree ARG_UNUSED (args), int ARG_UNUSED (flags), |
| bool *no_add_attrs) |
| { |
| *no_add_attrs = true; |
| return NULL_TREE; |
| } |
| |
| |
| /* Handle a "fn spec" attribute; arguments as in |
| struct attribute_spec.handler. */ |
| |
| static tree |
| handle_fnspec_attribute (tree *node ATTRIBUTE_UNUSED, tree ARG_UNUSED (name), |
| tree args, int ARG_UNUSED (flags), |
| bool *no_add_attrs ATTRIBUTE_UNUSED) |
| { |
| gcc_assert (args |
| && TREE_CODE (TREE_VALUE (args)) == STRING_CST |
| && !TREE_CHAIN (args)); |
| return NULL_TREE; |
| } |
| |
| /* Cribbed from c-common.cc. */ |
| |
| static void |
| def_fn_type (builtin_type def, builtin_type ret, bool var, int n, ...) |
| { |
| tree t; |
| tree *args = XALLOCAVEC (tree, n); |
| va_list list; |
| int i; |
| bool err = false; |
| |
| va_start (list, n); |
| for (i = 0; i < n; ++i) |
| { |
| builtin_type a = (builtin_type) va_arg (list, int); |
| t = builtin_types[a]; |
| if (t == error_mark_node) |
| err = true; |
| args[i] = t; |
| } |
| va_end (list); |
| |
| t = builtin_types[ret]; |
| if (err) |
| t = error_mark_node; |
| if (t == error_mark_node) |
| ; |
| else if (var) |
| t = build_varargs_function_type_array (t, n, args); |
| else |
| t = build_function_type_array (t, n, args); |
| |
| builtin_types[def] = t; |
| } |
| |
| /* Used to help initialize the builtin-types.def table. When a type of |
| the correct size doesn't exist, use error_mark_node instead of NULL. |
| The later results in segfaults even when a decl using the type doesn't |
| get invoked. */ |
| |
| static tree |
| builtin_type_for_size (int size, bool unsignedp) |
| { |
| tree type = lang_hooks.types.type_for_size (size, unsignedp); |
| return type ? type : error_mark_node; |
| } |
| |
| /* Support for DEF_BUILTIN. */ |
| |
| static void |
| def_builtin_1 (enum built_in_function fncode, const char *name, |
| enum built_in_class fnclass, tree fntype, tree libtype, |
| bool both_p, bool fallback_p, bool nonansi_p, |
| tree fnattrs, bool implicit_p) |
| { |
| tree decl; |
| const char *libname; |
| |
| if (fntype == error_mark_node) |
| return; |
| |
| libname = name + strlen ("__builtin_"); |
| decl = add_builtin_function (name, fntype, fncode, fnclass, |
| (fallback_p ? libname : NULL), |
| fnattrs); |
| |
| if (both_p |
| && !flag_no_builtin |
| && !(nonansi_p && flag_no_nonansi_builtin)) |
| add_builtin_function (libname, libtype, fncode, fnclass, |
| NULL, fnattrs); |
| |
| set_builtin_decl (fncode, decl, implicit_p); |
| } |
| |
| |
| /* Initialize the attribute table for all the supported builtins. */ |
| |
| static void |
| lto_init_attributes (void) |
| { |
| /* Fill in the built_in_attributes array. */ |
| #define DEF_ATTR_NULL_TREE(ENUM) \ |
| built_in_attributes[(int) ENUM] = NULL_TREE; |
| #define DEF_ATTR_INT(ENUM, VALUE) \ |
| built_in_attributes[(int) ENUM] = build_int_cst (NULL_TREE, VALUE); |
| #define DEF_ATTR_STRING(ENUM, VALUE) \ |
| built_in_attributes[(int) ENUM] = build_string (strlen (VALUE), VALUE); |
| #define DEF_ATTR_IDENT(ENUM, STRING) \ |
| built_in_attributes[(int) ENUM] = get_identifier (STRING); |
| #define DEF_ATTR_TREE_LIST(ENUM, PURPOSE, VALUE, CHAIN) \ |
| built_in_attributes[(int) ENUM] \ |
| = tree_cons (built_in_attributes[(int) PURPOSE], \ |
| built_in_attributes[(int) VALUE], \ |
| built_in_attributes[(int) CHAIN]); |
| #include "builtin-attrs.def" |
| #undef DEF_ATTR_NULL_TREE |
| #undef DEF_ATTR_INT |
| #undef DEF_ATTR_STRING |
| #undef DEF_ATTR_IDENT |
| #undef DEF_ATTR_TREE_LIST |
| } |
| |
| /* Create builtin types and functions. VA_LIST_REF_TYPE_NODE and |
| VA_LIST_ARG_TYPE_NODE are used in builtin-types.def. */ |
| |
| static void |
| lto_define_builtins (tree va_list_ref_type_node ATTRIBUTE_UNUSED, |
| tree va_list_arg_type_node ATTRIBUTE_UNUSED) |
| { |
| #define DEF_PRIMITIVE_TYPE(ENUM, VALUE) \ |
| builtin_types[ENUM] = VALUE; |
| #define DEF_FUNCTION_TYPE_0(ENUM, RETURN) \ |
| def_fn_type (ENUM, RETURN, 0, 0); |
| #define DEF_FUNCTION_TYPE_1(ENUM, RETURN, ARG1) \ |
| def_fn_type (ENUM, RETURN, 0, 1, ARG1); |
| #define DEF_FUNCTION_TYPE_2(ENUM, RETURN, ARG1, ARG2) \ |
| def_fn_type (ENUM, RETURN, 0, 2, ARG1, ARG2); |
| #define DEF_FUNCTION_TYPE_3(ENUM, RETURN, ARG1, ARG2, ARG3) \ |
| def_fn_type (ENUM, RETURN, 0, 3, ARG1, ARG2, ARG3); |
| #define DEF_FUNCTION_TYPE_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \ |
| def_fn_type (ENUM, RETURN, 0, 4, ARG1, ARG2, ARG3, ARG4); |
| #define DEF_FUNCTION_TYPE_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \ |
| def_fn_type (ENUM, RETURN, 0, 5, ARG1, ARG2, ARG3, ARG4, ARG5); |
| #define DEF_FUNCTION_TYPE_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6) \ |
| def_fn_type (ENUM, RETURN, 0, 6, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6); |
| #define DEF_FUNCTION_TYPE_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7) \ |
| def_fn_type (ENUM, RETURN, 0, 7, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, ARG7); |
| #define DEF_FUNCTION_TYPE_8(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8) \ |
| def_fn_type (ENUM, RETURN, 0, 8, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, \ |
| ARG7, ARG8); |
| #define DEF_FUNCTION_TYPE_9(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9) \ |
| def_fn_type (ENUM, RETURN, 0, 9, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, \ |
| ARG7, ARG8, ARG9); |
| #define DEF_FUNCTION_TYPE_10(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9, ARG10) \ |
| def_fn_type (ENUM, RETURN, 0, 10, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, \ |
| ARG7, ARG8, ARG9, ARG10); |
| #define DEF_FUNCTION_TYPE_11(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7, ARG8, ARG9, ARG10, ARG11) \ |
| def_fn_type (ENUM, RETURN, 0, 11, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, \ |
| ARG7, ARG8, ARG9, ARG10, ARG11); |
| #define DEF_FUNCTION_TYPE_VAR_0(ENUM, RETURN) \ |
| def_fn_type (ENUM, RETURN, 1, 0); |
| #define DEF_FUNCTION_TYPE_VAR_1(ENUM, RETURN, ARG1) \ |
| def_fn_type (ENUM, RETURN, 1, 1, ARG1); |
| #define DEF_FUNCTION_TYPE_VAR_2(ENUM, RETURN, ARG1, ARG2) \ |
| def_fn_type (ENUM, RETURN, 1, 2, ARG1, ARG2); |
| #define DEF_FUNCTION_TYPE_VAR_3(ENUM, RETURN, ARG1, ARG2, ARG3) \ |
| def_fn_type (ENUM, RETURN, 1, 3, ARG1, ARG2, ARG3); |
| #define DEF_FUNCTION_TYPE_VAR_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \ |
| def_fn_type (ENUM, RETURN, 1, 4, ARG1, ARG2, ARG3, ARG4); |
| #define DEF_FUNCTION_TYPE_VAR_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \ |
| def_fn_type (ENUM, RETURN, 1, 5, ARG1, ARG2, ARG3, ARG4, ARG5); |
| #define DEF_FUNCTION_TYPE_VAR_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6) \ |
| def_fn_type (ENUM, RETURN, 1, 6, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6); |
| #define DEF_FUNCTION_TYPE_VAR_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \ |
| ARG6, ARG7) \ |
| def_fn_type (ENUM, RETURN, 1, 7, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6, ARG7); |
| #define DEF_POINTER_TYPE(ENUM, TYPE) \ |
| builtin_types[(int) ENUM] = build_pointer_type (builtin_types[(int) TYPE]); |
| |
| #include "builtin-types.def" |
| |
| #undef DEF_PRIMITIVE_TYPE |
| #undef DEF_FUNCTION_TYPE_0 |
| #undef DEF_FUNCTION_TYPE_1 |
| #undef DEF_FUNCTION_TYPE_2 |
| #undef DEF_FUNCTION_TYPE_3 |
| #undef DEF_FUNCTION_TYPE_4 |
| #undef DEF_FUNCTION_TYPE_5 |
| #undef DEF_FUNCTION_TYPE_6 |
| #undef DEF_FUNCTION_TYPE_7 |
| #undef DEF_FUNCTION_TYPE_8 |
| #undef DEF_FUNCTION_TYPE_9 |
| #undef DEF_FUNCTION_TYPE_10 |
| #undef DEF_FUNCTION_TYPE_11 |
| #undef DEF_FUNCTION_TYPE_VAR_0 |
| #undef DEF_FUNCTION_TYPE_VAR_1 |
| #undef DEF_FUNCTION_TYPE_VAR_2 |
| #undef DEF_FUNCTION_TYPE_VAR_3 |
| #undef DEF_FUNCTION_TYPE_VAR_4 |
| #undef DEF_FUNCTION_TYPE_VAR_5 |
| #undef DEF_FUNCTION_TYPE_VAR_6 |
| #undef DEF_FUNCTION_TYPE_VAR_7 |
| #undef DEF_POINTER_TYPE |
| builtin_types[(int) BT_LAST] = NULL_TREE; |
| |
| lto_init_attributes (); |
| |
| #define DEF_BUILTIN(ENUM, NAME, CLASS, TYPE, LIBTYPE, BOTH_P, FALLBACK_P,\ |
| NONANSI_P, ATTRS, IMPLICIT, COND) \ |
| if (NAME && COND) \ |
| def_builtin_1 (ENUM, NAME, CLASS, builtin_types[(int) TYPE], \ |
| builtin_types[(int) LIBTYPE], BOTH_P, FALLBACK_P, \ |
| NONANSI_P, built_in_attributes[(int) ATTRS], IMPLICIT); |
| #include "builtins.def" |
| } |
| |
| static GTY(()) tree registered_builtin_types; |
| |
| /* Language hooks. */ |
| |
| static bool |
| lto_complain_wrong_lang_p (const struct cl_option *option ATTRIBUTE_UNUSED) |
| { |
| /* The LTO front end inherits all the options from the first front |
| end that was used. However, not all the original front end |
| options make sense in LTO. |
| |
| A real solution would be to filter this in collect2, but collect2 |
| does not have access to all the option attributes to know what to |
| filter. So, in lto1 we silently accept inherited flags and do |
| nothing about it. */ |
| return false; |
| } |
| |
| static void |
| lto_init_options_struct (struct gcc_options *opts) |
| { |
| /* By default, C99-like requirements for complex multiply and divide. |
| ??? Until the complex method is encoded in the IL this is the only |
| safe choice. This will pessimize Fortran code with LTO unless |
| people specify a complex method manually or use -ffast-math. */ |
| opts->x_flag_complex_method = 2; |
| opts->x_flag_default_complex_method = opts->x_flag_complex_method; |
| } |
| |
| /* Handle command-line option SCODE. If the option takes an argument, it is |
| stored in ARG, which is otherwise NULL. VALUE holds either a numerical |
| argument or a binary value indicating whether the positive or negative form |
| of the option was supplied. */ |
| |
| const char *resolution_file_name; |
| static bool |
| lto_handle_option (size_t scode, const char *arg, |
| HOST_WIDE_INT value ATTRIBUTE_UNUSED, |
| int kind ATTRIBUTE_UNUSED, |
| location_t loc ATTRIBUTE_UNUSED, |
| const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED) |
| { |
| enum opt_code code = (enum opt_code) scode; |
| bool result = true; |
| |
| switch (code) |
| { |
| case OPT_fresolution_: |
| resolution_file_name = arg; |
| break; |
| |
| case OPT_Wabi: |
| warn_psabi = value; |
| break; |
| |
| case OPT_fwpa: |
| flag_wpa = value ? "" : NULL; |
| break; |
| |
| default: |
| break; |
| } |
| |
| return result; |
| } |
| |
| /* Perform post-option processing. Does additional initialization based on |
| command-line options. PFILENAME is the main input filename. Returns false |
| to enable subsequent back-end initialization. */ |
| |
| static bool |
| lto_post_options (const char **pfilename ATTRIBUTE_UNUSED) |
| { |
| /* -fltrans and -fwpa are mutually exclusive. Check for that here. */ |
| if (flag_wpa && flag_ltrans) |
| error ("%<-fwpa%> and %<-fltrans%> are mutually exclusive"); |
| |
| if (flag_ltrans) |
| { |
| flag_generate_lto = 0; |
| |
| /* During LTRANS, we are not looking at the whole program, only |
| a subset of the whole callgraph. */ |
| flag_whole_program = 0; |
| } |
| |
| if (flag_wpa) |
| flag_generate_lto = 1; |
| |
| /* Initialize the codegen flags according to the output type. */ |
| switch (flag_lto_linker_output) |
| { |
| case LTO_LINKER_OUTPUT_REL: /* .o: incremental link producing LTO IL */ |
| /* Configure compiler same way as normal frontend would do with -flto: |
| this way we read the trees (declarations & types), symbol table, |
| optimization summaries and link them. Subsequently we output new LTO |
| file. */ |
| flag_lto = ""; |
| flag_incremental_link = INCREMENTAL_LINK_LTO; |
| flag_whole_program = 0; |
| flag_wpa = 0; |
| flag_generate_lto = 1; |
| /* It would be cool to produce .o file directly, but our current |
| simple objects does not contain the lto symbol markers. Go the slow |
| way through the asm file. */ |
| lang_hooks.lto.begin_section = lhd_begin_section; |
| lang_hooks.lto.append_data = lhd_append_data; |
| lang_hooks.lto.end_section = lhd_end_section; |
| if (flag_ltrans) |
| error ("%<-flinker-output=rel%> and %<-fltrans%> are mutually " |
| "exclusive"); |
| break; |
| |
| case LTO_LINKER_OUTPUT_NOLTOREL: /* .o: incremental link producing asm */ |
| flag_whole_program = 0; |
| flag_incremental_link = INCREMENTAL_LINK_NOLTO; |
| break; |
| |
| case LTO_LINKER_OUTPUT_DYN: /* .so: PID library */ |
| /* On some targets, like i386 it makes sense to build PIC library wihout |
| -fpic for performance reasons. So no need to adjust flags. */ |
| break; |
| |
| case LTO_LINKER_OUTPUT_PIE: /* PIE binary */ |
| /* If -fPIC or -fPIE was used at compile time, be sure that |
| flag_pie is 2. */ |
| flag_pie = MAX (flag_pie, flag_pic); |
| flag_pic = flag_pie; |
| flag_shlib = 0; |
| break; |
| |
| case LTO_LINKER_OUTPUT_EXEC: /* Normal executable */ |
| flag_pic = 0; |
| flag_pie = 0; |
| flag_shlib = 0; |
| break; |
| |
| case LTO_LINKER_OUTPUT_UNKNOWN: |
| break; |
| } |
| |
| /* Excess precision other than "fast" requires front-end |
| support. */ |
| if (flag_excess_precision == EXCESS_PRECISION_DEFAULT) |
| flag_excess_precision = EXCESS_PRECISION_FAST; |
| |
| /* When partitioning, we can tear appart STRING_CSTs uses from the same |
| TU into multiple partitions. Without constant merging the constants |
| might not be equal at runtime. See PR50199. */ |
| if (!flag_merge_constants) |
| flag_merge_constants = 1; |
| |
| /* Initialize the compiler back end. */ |
| return false; |
| } |
| |
| /* Return a data type that has machine mode MODE. |
| If the mode is an integer, |
| then UNSIGNEDP selects between signed and unsigned types. |
| If the mode is a fixed-point mode, |
| then UNSIGNEDP selects between saturating and nonsaturating types. */ |
| |
| static tree |
| lto_type_for_mode (machine_mode mode, int unsigned_p) |
| { |
| tree t; |
| int i; |
| |
| if (mode == TYPE_MODE (integer_type_node)) |
| return unsigned_p ? unsigned_type_node : integer_type_node; |
| |
| if (mode == TYPE_MODE (signed_char_type_node)) |
| return unsigned_p ? unsigned_char_type_node : signed_char_type_node; |
| |
| if (mode == TYPE_MODE (short_integer_type_node)) |
| return unsigned_p ? short_unsigned_type_node : short_integer_type_node; |
| |
| if (mode == TYPE_MODE (long_integer_type_node)) |
| return unsigned_p ? long_unsigned_type_node : long_integer_type_node; |
| |
| if (mode == TYPE_MODE (long_long_integer_type_node)) |
| return unsigned_p ? long_long_unsigned_type_node : long_long_integer_type_node; |
| |
| for (i = 0; i < NUM_INT_N_ENTS; i ++) |
| if (int_n_enabled_p[i] |
| && mode == int_n_data[i].m) |
| return (unsigned_p ? int_n_trees[i].unsigned_type |
| : int_n_trees[i].signed_type); |
| |
| if (mode == QImode) |
| return unsigned_p ? unsigned_intQI_type_node : intQI_type_node; |
| |
| if (mode == HImode) |
| return unsigned_p ? unsigned_intHI_type_node : intHI_type_node; |
| |
| if (mode == SImode) |
| return unsigned_p ? unsigned_intSI_type_node : intSI_type_node; |
| |
| if (mode == DImode) |
| return unsigned_p ? unsigned_intDI_type_node : intDI_type_node; |
| |
| #if HOST_BITS_PER_WIDE_INT >= 64 |
| if (mode == TYPE_MODE (intTI_type_node)) |
| return unsigned_p ? unsigned_intTI_type_node : intTI_type_node; |
| #endif |
| |
| if (float16_type_node && mode == TYPE_MODE (float16_type_node)) |
| return float16_type_node; |
| |
| if (mode == TYPE_MODE (float_type_node)) |
| return float_type_node; |
| |
| if (mode == TYPE_MODE (double_type_node)) |
| return double_type_node; |
| |
| if (mode == TYPE_MODE (long_double_type_node)) |
| return long_double_type_node; |
| |
| if (mode == TYPE_MODE (void_type_node)) |
| return void_type_node; |
| |
| if (mode == TYPE_MODE (build_pointer_type (char_type_node)) |
| || mode == TYPE_MODE (build_pointer_type (integer_type_node))) |
| { |
| unsigned int precision |
| = GET_MODE_PRECISION (as_a <scalar_int_mode> (mode)); |
| return (unsigned_p |
| ? make_unsigned_type (precision) |
| : make_signed_type (precision)); |
| } |
| |
| if (COMPLEX_MODE_P (mode)) |
| { |
| machine_mode inner_mode; |
| tree inner_type; |
| |
| if (mode == TYPE_MODE (complex_float_type_node)) |
| return complex_float_type_node; |
| if (mode == TYPE_MODE (complex_double_type_node)) |
| return complex_double_type_node; |
| if (mode == TYPE_MODE (complex_long_double_type_node)) |
| return complex_long_double_type_node; |
| |
| if (mode == TYPE_MODE (complex_integer_type_node) && !unsigned_p) |
| return complex_integer_type_node; |
| |
| inner_mode = GET_MODE_INNER (mode); |
| inner_type = lto_type_for_mode (inner_mode, unsigned_p); |
| if (inner_type != NULL_TREE) |
| return build_complex_type (inner_type); |
| } |
| else if (GET_MODE_CLASS (mode) == MODE_VECTOR_BOOL |
| && valid_vector_subparts_p (GET_MODE_NUNITS (mode))) |
| { |
| unsigned int elem_bits = vector_element_size (GET_MODE_BITSIZE (mode), |
| GET_MODE_NUNITS (mode)); |
| tree bool_type = build_nonstandard_boolean_type (elem_bits); |
| return build_vector_type_for_mode (bool_type, mode); |
| } |
| else if (VECTOR_MODE_P (mode) |
| && valid_vector_subparts_p (GET_MODE_NUNITS (mode))) |
| { |
| machine_mode inner_mode = GET_MODE_INNER (mode); |
| tree inner_type = lto_type_for_mode (inner_mode, unsigned_p); |
| if (inner_type != NULL_TREE) |
| return build_vector_type_for_mode (inner_type, mode); |
| } |
| |
| if (dfloat32_type_node != NULL_TREE |
| && mode == TYPE_MODE (dfloat32_type_node)) |
| return dfloat32_type_node; |
| if (dfloat64_type_node != NULL_TREE |
| && mode == TYPE_MODE (dfloat64_type_node)) |
| return dfloat64_type_node; |
| if (dfloat128_type_node != NULL_TREE |
| && mode == TYPE_MODE (dfloat128_type_node)) |
| return dfloat128_type_node; |
| |
| if (ALL_SCALAR_FIXED_POINT_MODE_P (mode)) |
| { |
| if (mode == TYPE_MODE (short_fract_type_node)) |
| return unsigned_p ? sat_short_fract_type_node : short_fract_type_node; |
| if (mode == TYPE_MODE (fract_type_node)) |
| return unsigned_p ? sat_fract_type_node : fract_type_node; |
| if (mode == TYPE_MODE (long_fract_type_node)) |
| return unsigned_p ? sat_long_fract_type_node : long_fract_type_node; |
| if (mode == TYPE_MODE (long_long_fract_type_node)) |
| return unsigned_p ? sat_long_long_fract_type_node |
| : long_long_fract_type_node; |
| |
| if (mode == TYPE_MODE (unsigned_short_fract_type_node)) |
| return unsigned_p ? sat_unsigned_short_fract_type_node |
| : unsigned_short_fract_type_node; |
| if (mode == TYPE_MODE (unsigned_fract_type_node)) |
| return unsigned_p ? sat_unsigned_fract_type_node |
| : unsigned_fract_type_node; |
| if (mode == TYPE_MODE (unsigned_long_fract_type_node)) |
| return unsigned_p ? sat_unsigned_long_fract_type_node |
| : unsigned_long_fract_type_node; |
| if (mode == TYPE_MODE (unsigned_long_long_fract_type_node)) |
| return unsigned_p ? sat_unsigned_long_long_fract_type_node |
| : unsigned_long_long_fract_type_node; |
| |
| if (mode == TYPE_MODE (short_accum_type_node)) |
| return unsigned_p ? sat_short_accum_type_node : short_accum_type_node; |
| if (mode == TYPE_MODE (accum_type_node)) |
| return unsigned_p ? sat_accum_type_node : accum_type_node; |
| if (mode == TYPE_MODE (long_accum_type_node)) |
| return unsigned_p ? sat_long_accum_type_node : long_accum_type_node; |
| if (mode == TYPE_MODE (long_long_accum_type_node)) |
| return unsigned_p ? sat_long_long_accum_type_node |
| : long_long_accum_type_node; |
| |
| if (mode == TYPE_MODE (unsigned_short_accum_type_node)) |
| return unsigned_p ? sat_unsigned_short_accum_type_node |
| : unsigned_short_accum_type_node; |
| if (mode == TYPE_MODE (unsigned_accum_type_node)) |
| return unsigned_p ? sat_unsigned_accum_type_node |
| : unsigned_accum_type_node; |
| if (mode == TYPE_MODE (unsigned_long_accum_type_node)) |
| return unsigned_p ? sat_unsigned_long_accum_type_node |
| : unsigned_long_accum_type_node; |
| if (mode == TYPE_MODE (unsigned_long_long_accum_type_node)) |
| return unsigned_p ? sat_unsigned_long_long_accum_type_node |
| : unsigned_long_long_accum_type_node; |
| |
| if (mode == QQmode) |
| return unsigned_p ? sat_qq_type_node : qq_type_node; |
| if (mode == HQmode) |
| return unsigned_p ? sat_hq_type_node : hq_type_node; |
| if (mode == SQmode) |
| return unsigned_p ? sat_sq_type_node : sq_type_node; |
| if (mode == DQmode) |
| return unsigned_p ? sat_dq_type_node : dq_type_node; |
| if (mode == TQmode) |
| return unsigned_p ? sat_tq_type_node : tq_type_node; |
| |
| if (mode == UQQmode) |
| return unsigned_p ? sat_uqq_type_node : uqq_type_node; |
| if (mode == UHQmode) |
| return unsigned_p ? sat_uhq_type_node : uhq_type_node; |
| if (mode == USQmode) |
| return unsigned_p ? sat_usq_type_node : usq_type_node; |
| if (mode == UDQmode) |
| return unsigned_p ? sat_udq_type_node : udq_type_node; |
| if (mode == UTQmode) |
| return unsigned_p ? sat_utq_type_node : utq_type_node; |
| |
| if (mode == HAmode) |
| return unsigned_p ? sat_ha_type_node : ha_type_node; |
| if (mode == SAmode) |
| return unsigned_p ? sat_sa_type_node : sa_type_node; |
| if (mode == DAmode) |
| return unsigned_p ? sat_da_type_node : da_type_node; |
| if (mode == TAmode) |
| return unsigned_p ? sat_ta_type_node : ta_type_node; |
| |
| if (mode == UHAmode) |
| return unsigned_p ? sat_uha_type_node : uha_type_node; |
| if (mode == USAmode) |
| return unsigned_p ? sat_usa_type_node : usa_type_node; |
| if (mode == UDAmode) |
| return unsigned_p ? sat_uda_type_node : uda_type_node; |
| if (mode == UTAmode) |
| return unsigned_p ? sat_uta_type_node : uta_type_node; |
| } |
| |
| for (t = registered_builtin_types; t; t = TREE_CHAIN (t)) |
| if (TYPE_MODE (TREE_VALUE (t)) == mode) |
| return TREE_VALUE (t); |
| |
| return NULL_TREE; |
| } |
| |
| /* Return true if we are in the global binding level. */ |
| |
| static bool |
| lto_global_bindings_p (void) |
| { |
| return cfun == NULL; |
| } |
| |
| static void |
| lto_set_decl_assembler_name (tree decl) |
| { |
| /* This is almost the same as lhd_set_decl_assembler_name, except that |
| we need to uniquify file-scope names, even if they are not |
| TREE_PUBLIC, to avoid conflicts between individual files. */ |
| tree id; |
| |
| if (TREE_PUBLIC (decl)) |
| id = targetm.mangle_decl_assembler_name (decl, DECL_NAME (decl)); |
| else |
| { |
| const char *name = IDENTIFIER_POINTER (DECL_NAME (decl)); |
| char *label; |
| static unsigned long num; |
| |
| ASM_FORMAT_PRIVATE_NAME (label, name, num++); |
| id = get_identifier (label); |
| } |
| |
| SET_DECL_ASSEMBLER_NAME (decl, id); |
| } |
| |
| static tree |
| lto_pushdecl (tree t ATTRIBUTE_UNUSED) |
| { |
| /* Do nothing, since we get all information from DWARF and LTO |
| sections. */ |
| return NULL_TREE; |
| } |
| |
| static tree |
| lto_getdecls (void) |
| { |
| /* We have our own write_globals langhook, hence the getdecls |
| langhook shouldn't be used, except by dbxout.cc, so we can't |
| just abort here. */ |
| return NULL_TREE; |
| } |
| |
| static tree |
| lto_builtin_function (tree decl) |
| { |
| return decl; |
| } |
| |
| static void |
| lto_register_builtin_type (tree type, const char *name) |
| { |
| tree decl; |
| |
| if (!TYPE_NAME (type)) |
| { |
| decl = build_decl (UNKNOWN_LOCATION, TYPE_DECL, |
| get_identifier (name), type); |
| DECL_ARTIFICIAL (decl) = 1; |
| TYPE_NAME (type) = decl; |
| } |
| |
| registered_builtin_types = tree_cons (0, type, registered_builtin_types); |
| } |
| |
| /* Build nodes that would have be created by the C front-end; necessary |
| for including builtin-types.def and ultimately builtins.def. */ |
| |
| static void |
| lto_build_c_type_nodes (void) |
| { |
| gcc_assert (void_type_node); |
| |
| string_type_node = build_pointer_type (char_type_node); |
| const_string_type_node |
| = build_pointer_type (build_qualified_type (char_type_node, TYPE_QUAL_CONST)); |
| |
| if (strcmp (SIZE_TYPE, "unsigned int") == 0) |
| { |
| intmax_type_node = integer_type_node; |
| uintmax_type_node = unsigned_type_node; |
| signed_size_type_node = integer_type_node; |
| } |
| else if (strcmp (SIZE_TYPE, "long unsigned int") == 0) |
| { |
| intmax_type_node = long_integer_type_node; |
| uintmax_type_node = long_unsigned_type_node; |
| signed_size_type_node = long_integer_type_node; |
| } |
| else if (strcmp (SIZE_TYPE, "long long unsigned int") == 0) |
| { |
| intmax_type_node = long_long_integer_type_node; |
| uintmax_type_node = long_long_unsigned_type_node; |
| signed_size_type_node = long_long_integer_type_node; |
| } |
| else |
| { |
| int i; |
| |
| signed_size_type_node = NULL_TREE; |
| for (i = 0; i < NUM_INT_N_ENTS; i++) |
| if (int_n_enabled_p[i]) |
| { |
| char name[50], altname[50]; |
| sprintf (name, "__int%d unsigned", int_n_data[i].bitsize); |
| sprintf (altname, "__int%d__ unsigned", int_n_data[i].bitsize); |
| |
| if (strcmp (name, SIZE_TYPE) == 0 |
| || strcmp (altname, SIZE_TYPE) == 0) |
| { |
| intmax_type_node = int_n_trees[i].signed_type; |
| uintmax_type_node = int_n_trees[i].unsigned_type; |
| signed_size_type_node = int_n_trees[i].signed_type; |
| } |
| } |
| if (signed_size_type_node == NULL_TREE) |
| gcc_unreachable (); |
| } |
| |
| wint_type_node = unsigned_type_node; |
| pid_type_node = integer_type_node; |
| } |
| |
| /* Perform LTO-specific initialization. */ |
| |
| static bool |
| lto_init (void) |
| { |
| int i; |
| |
| /* Initialize LTO-specific data structures. */ |
| in_lto_p = true; |
| |
| /* We need to generate LTO if running in WPA mode. */ |
| flag_generate_lto = (flag_incremental_link == INCREMENTAL_LINK_LTO |
| || flag_wpa != NULL); |
| |
| /* Create the basic integer types. */ |
| build_common_tree_nodes (flag_signed_char); |
| |
| /* The global tree for the main identifier is filled in by |
| language-specific front-end initialization that is not run in the |
| LTO back-end. It appears that all languages that perform such |
| initialization currently do so in the same way, so we do it here. */ |
| if (main_identifier_node == NULL_TREE) |
| main_identifier_node = get_identifier ("main"); |
| |
| /* In the C++ front-end, fileptr_type_node is defined as a variant |
| copy of ptr_type_node, rather than ptr_node itself. The |
| distinction should only be relevant to the front-end, so we |
| always use the C definition here in lto1. |
| Likewise for const struct tm*. */ |
| for (unsigned i = 0; i < ARRAY_SIZE (builtin_structptr_types); ++i) |
| { |
| gcc_assert (builtin_structptr_types[i].node |
| == builtin_structptr_types[i].base); |
| gcc_assert (TYPE_MAIN_VARIANT (builtin_structptr_types[i].node) |
| == builtin_structptr_types[i].base); |
| } |
| |
| lto_build_c_type_nodes (); |
| gcc_assert (va_list_type_node); |
| |
| if (TREE_CODE (va_list_type_node) == ARRAY_TYPE) |
| { |
| tree x = build_pointer_type (TREE_TYPE (va_list_type_node)); |
| lto_define_builtins (x, x); |
| } |
| else |
| { |
| lto_define_builtins (build_reference_type (va_list_type_node), |
| va_list_type_node); |
| } |
| |
| targetm.init_builtins (); |
| build_common_builtin_nodes (); |
| |
| /* Assign names to the builtin types, otherwise they'll end up |
| as __unknown__ in debug info. |
| ??? We simply need to stop pre-seeding the streamer cache. |
| Below is modeled after from c-common.cc:c_common_nodes_and_builtins */ |
| #define NAME_TYPE(t,n) \ |
| if (t) \ |
| TYPE_NAME (t) = build_decl (UNKNOWN_LOCATION, TYPE_DECL, \ |
| get_identifier (n), t) |
| NAME_TYPE (integer_type_node, "int"); |
| NAME_TYPE (char_type_node, "char"); |
| NAME_TYPE (long_integer_type_node, "long int"); |
| NAME_TYPE (unsigned_type_node, "unsigned int"); |
| NAME_TYPE (long_unsigned_type_node, "long unsigned int"); |
| NAME_TYPE (long_long_integer_type_node, "long long int"); |
| NAME_TYPE (long_long_unsigned_type_node, "long long unsigned int"); |
| NAME_TYPE (short_integer_type_node, "short int"); |
| NAME_TYPE (short_unsigned_type_node, "short unsigned int"); |
| if (signed_char_type_node != char_type_node) |
| NAME_TYPE (signed_char_type_node, "signed char"); |
| if (unsigned_char_type_node != char_type_node) |
| NAME_TYPE (unsigned_char_type_node, "unsigned char"); |
| NAME_TYPE (float_type_node, "float"); |
| NAME_TYPE (double_type_node, "double"); |
| NAME_TYPE (long_double_type_node, "long double"); |
| NAME_TYPE (void_type_node, "void"); |
| NAME_TYPE (boolean_type_node, "bool"); |
| NAME_TYPE (complex_float_type_node, "complex float"); |
| NAME_TYPE (complex_double_type_node, "complex double"); |
| NAME_TYPE (complex_long_double_type_node, "complex long double"); |
| for (i = 0; i < NUM_INT_N_ENTS; i++) |
| if (int_n_enabled_p[i]) |
| { |
| char name[50]; |
| sprintf (name, "__int%d", int_n_data[i].bitsize); |
| NAME_TYPE (int_n_trees[i].signed_type, name); |
| } |
| #undef NAME_TYPE |
| |
| return true; |
| } |
| |
| /* Register c++-specific dumps. */ |
| |
| void |
| lto_register_dumps (gcc::dump_manager *dumps) |
| { |
| lto_link_dump_id = dumps->dump_register |
| (".lto-link", "ipa-lto-link", "ipa-lto-link", |
| DK_ipa, OPTGROUP_NONE, false); |
| decl_merge_dump_id = dumps->dump_register |
| (".lto-decl-merge", "ipa-lto-decl-merge", "ipa-lto-decl-merge", |
| DK_ipa, OPTGROUP_NONE, false); |
| partition_dump_id = dumps->dump_register |
| (".lto-partition", "ipa-lto-partition", "ipa-lto-partition", |
| DK_ipa, OPTGROUP_NONE, false); |
| } |
| |
| |
| /* Initialize tree structures required by the LTO front end. */ |
| |
| static void lto_init_ts (void) |
| { |
| tree_contains_struct[NAMESPACE_DECL][TS_DECL_MINIMAL] = 1; |
| } |
| |
| #undef LANG_HOOKS_NAME |
| #define LANG_HOOKS_NAME "GNU GIMPLE" |
| #undef LANG_HOOKS_OPTION_LANG_MASK |
| #define LANG_HOOKS_OPTION_LANG_MASK lto_option_lang_mask |
| #undef LANG_HOOKS_COMPLAIN_WRONG_LANG_P |
| #define LANG_HOOKS_COMPLAIN_WRONG_LANG_P lto_complain_wrong_lang_p |
| #undef LANG_HOOKS_INIT_OPTIONS_STRUCT |
| #define LANG_HOOKS_INIT_OPTIONS_STRUCT lto_init_options_struct |
| #undef LANG_HOOKS_REGISTER_DUMPS |
| #define LANG_HOOKS_REGISTER_DUMPS lto_register_dumps |
| #undef LANG_HOOKS_HANDLE_OPTION |
| #define LANG_HOOKS_HANDLE_OPTION lto_handle_option |
| #undef LANG_HOOKS_POST_OPTIONS |
| #define LANG_HOOKS_POST_OPTIONS lto_post_options |
| #undef LANG_HOOKS_GET_ALIAS_SET |
| #define LANG_HOOKS_GET_ALIAS_SET gimple_get_alias_set |
| #undef LANG_HOOKS_TYPE_FOR_MODE |
| #define LANG_HOOKS_TYPE_FOR_MODE lto_type_for_mode |
| #undef LANG_HOOKS_SET_DECL_ASSEMBLER_NAME |
| #define LANG_HOOKS_SET_DECL_ASSEMBLER_NAME lto_set_decl_assembler_name |
| #undef LANG_HOOKS_GLOBAL_BINDINGS_P |
| #define LANG_HOOKS_GLOBAL_BINDINGS_P lto_global_bindings_p |
| #undef LANG_HOOKS_PUSHDECL |
| #define LANG_HOOKS_PUSHDECL lto_pushdecl |
| #undef LANG_HOOKS_GETDECLS |
| #define LANG_HOOKS_GETDECLS lto_getdecls |
| #undef LANG_HOOKS_REGISTER_BUILTIN_TYPE |
| #define LANG_HOOKS_REGISTER_BUILTIN_TYPE lto_register_builtin_type |
| #undef LANG_HOOKS_BUILTIN_FUNCTION |
| #define LANG_HOOKS_BUILTIN_FUNCTION lto_builtin_function |
| #undef LANG_HOOKS_INIT |
| #define LANG_HOOKS_INIT lto_init |
| #undef LANG_HOOKS_PARSE_FILE |
| #define LANG_HOOKS_PARSE_FILE lto_main |
| #undef LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS |
| #define LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS true |
| #undef LANG_HOOKS_TYPES_COMPATIBLE_P |
| #define LANG_HOOKS_TYPES_COMPATIBLE_P NULL |
| #undef LANG_HOOKS_EH_PERSONALITY |
| #define LANG_HOOKS_EH_PERSONALITY lto_eh_personality |
| |
| /* Attribute hooks. */ |
| #undef LANG_HOOKS_COMMON_ATTRIBUTE_TABLE |
| #define LANG_HOOKS_COMMON_ATTRIBUTE_TABLE lto_attribute_table |
| #undef LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE |
| #define LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE lto_format_attribute_table |
| |
| #undef LANG_HOOKS_BEGIN_SECTION |
| #define LANG_HOOKS_BEGIN_SECTION lto_obj_begin_section |
| #undef LANG_HOOKS_APPEND_DATA |
| #define LANG_HOOKS_APPEND_DATA lto_obj_append_data |
| #undef LANG_HOOKS_END_SECTION |
| #define LANG_HOOKS_END_SECTION lto_obj_end_section |
| |
| #undef LANG_HOOKS_INIT_TS |
| #define LANG_HOOKS_INIT_TS lto_init_ts |
| |
| struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER; |
| |
| /* Language hooks that are not part of lang_hooks. */ |
| |
| tree |
| convert (tree type ATTRIBUTE_UNUSED, tree expr ATTRIBUTE_UNUSED) |
| { |
| gcc_unreachable (); |
| } |
| |
| /* Tree walking support. */ |
| |
| static enum lto_tree_node_structure_enum |
| lto_tree_node_structure (union lang_tree_node *t ATTRIBUTE_UNUSED) |
| { |
| return TS_LTO_GENERIC; |
| } |
| |
| #include "gtype-lto.h" |
| #include "gt-lto-lto-lang.h" |