X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=ld%2Fldexp.h;h=0da39810aa0f3d69c92932beffcbbb0e89c3a4ca;hb=6b211b9cc3c61f514423869af51a17e4c2bc7531;hp=4c507bd4c3ace8630bb6969b765611915e1bb054;hpb=89cdebba1358d2b68fe98449be80bbc3338ebda5;p=deliverable%2Fbinutils-gdb.git diff --git a/ld/ldexp.h b/ld/ldexp.h index 4c507bd4c3..0da39810aa 100644 --- a/ld/ldexp.h +++ b/ld/ldexp.h @@ -1,23 +1,22 @@ /* ldexp.h - - Copyright 1991, 92, 93, 94, 95, 98, 2000 - Free Software Foundation, Inc. + Copyright (C) 1991-2016 Free Software Foundation, Inc. - This file is part of GLD, the Gnu Linker. + This file is part of the GNU Binutils. - GLD is free software; you can redistribute it and/or modify + This program 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 2, or (at your option) - any later version. + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. - GLD is distributed in the hope that it will be useful, + This program 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 GLD; see the file COPYING. If not, write to the Free - Software Foundation, 59 Temple Place - Suite 330, Boston, MA - 02111-1307, USA. */ + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, + MA 02110-1301, USA. */ #ifndef LDEXP_H #define LDEXP_H @@ -25,23 +24,29 @@ /* The result of an expression tree */ typedef struct { bfd_vma value; - struct lang_output_section_statement_struct *section; - boolean valid_p; + char *str; + asection *section; + bfd_boolean valid_p; } etree_value_type; +enum node_tree_enum { + etree_binary, + etree_trinary, + etree_unary, + etree_name, + etree_assign, + etree_provide, + etree_provided, + etree_value, + etree_assert, + etree_rel +}; + typedef struct { int node_code; - enum { etree_binary, - etree_trinary, - etree_unary, - etree_name, - etree_assign, - etree_provide, - etree_undef, - etree_unspec, - etree_value, - etree_assert, - etree_rel } node_class; + unsigned int lineno; + const char *filename; + enum node_tree_enum node_class; } node_type; typedef union etree_union { @@ -59,21 +64,23 @@ typedef union etree_union { } trinary; struct { node_type type; - CONST char *dst; + const char *dst; union etree_union *src; + bfd_boolean defsym; + bfd_boolean hidden; } assign; - struct { node_type type; union etree_union *child; } unary; struct { node_type type; - CONST char *name; + const char *name; } name; struct { node_type type; bfd_vma value; + char *str; } value; struct { node_type type; @@ -87,23 +94,143 @@ typedef union etree_union { } assert_s; } etree_type; -etree_type *exp_intop PARAMS ((bfd_vma)); -etree_type *exp_relop PARAMS ((asection *, bfd_vma)); -etree_value_type invalid PARAMS ((void)); -etree_value_type exp_fold_tree PARAMS ((etree_type *, struct - lang_output_section_statement_struct *, - lang_phase_type, - bfd_vma, bfd_vma *)); -etree_type *exp_binop PARAMS ((int, etree_type *, etree_type *)); -etree_type *exp_trinop PARAMS ((int,etree_type *, etree_type *, etree_type *)); -etree_type *exp_unop PARAMS ((int, etree_type *)); -etree_type *exp_nameop PARAMS ((int, CONST char *)); -etree_type *exp_assop PARAMS ((int, CONST char *, etree_type *)); -etree_type *exp_provide PARAMS ((const char *, etree_type *)); -etree_type *exp_assert PARAMS ((etree_type *, const char *)); -void exp_print_tree PARAMS ((etree_type *)); -bfd_vma exp_get_vma PARAMS ((etree_type *, bfd_vma, char *, lang_phase_type)); -int exp_get_value_int PARAMS ((etree_type *, int, char *, lang_phase_type)); -bfd_vma exp_get_abs_int PARAMS ((etree_type *, int, char *, lang_phase_type)); +/* Expression evaluation control. */ +typedef enum +{ + /* Parsing linker script. Will only return "valid" for expressions + that evaluate to a constant. */ + lang_first_phase_enum, + /* Prior to section sizing. */ + lang_mark_phase_enum, + /* During section sizing. */ + lang_allocating_phase_enum, + /* During assignment of symbol values when relaxation in progress. */ + lang_assigning_phase_enum, + /* Final assignment of symbol values. */ + lang_final_phase_enum +} lang_phase_type; + +union lang_statement_union; + +enum phase_enum { + /* We step through the first four states here as we see the + associated linker script tokens. */ + exp_dataseg_none, + exp_dataseg_align_seen, + exp_dataseg_relro_seen, + exp_dataseg_end_seen, + /* The last three states are final, and affect the value returned + by DATA_SEGMENT_ALIGN. */ + exp_dataseg_relro_adjust, + exp_dataseg_adjust, + exp_dataseg_done +}; + +enum relro_enum { + exp_dataseg_relro_none, + exp_dataseg_relro_start, + exp_dataseg_relro_end, +}; + +struct ldexp_control { + /* Modify expression evaluation depending on this. */ + lang_phase_type phase; + + /* Principally used for diagnostics. */ + bfd_boolean assigning_to_dot; + + /* Set if the current expression used "dot", SEGMENT_START or + ORIGIN, but not ABSOLUTE or combined symbols in a way that forces + an absolute result. Used in tracking symbols assigned from dot + outside of output section statements, in order to later convert + them from absolute. */ + bfd_boolean rel_from_abs; + + /* If evaluating an assignment, the destination. Cleared if an + etree_name NAME matches this, to signal a self-assignment. + Note that an etree_name DEFINED does not clear this field, nor + does the false branch of a trinary expression. */ + const char *assign_name; + + /* Working results. */ + etree_value_type result; + bfd_vma dot; + + /* Current dot and section passed to ldexp folder. */ + bfd_vma *dotp; + asection *section; + + /* State machine and results for DATASEG. */ + struct { + enum phase_enum phase; + + bfd_vma base, relro_offset, relro_end, end, pagesize, maxpagesize; + + enum relro_enum relro; + + union lang_statement_union *relro_start_stat; + union lang_statement_union *relro_end_stat; + } dataseg; +}; + +extern struct ldexp_control expld; + +/* A maps from a segment name to a base address. */ +typedef struct segment_struct { + /* The next segment in the linked list. */ + struct segment_struct *next; + /* The name of the sgement. */ + const char *name; + /* The base address for the segment. */ + bfd_vma value; + /* True if a SEGMENT_START directive corresponding to this segment + has been seen. */ + bfd_boolean used; +} segment_type; + +/* The segments specified by the user on the command-line. */ +extern segment_type *segments; + +typedef struct _fill_type fill_type; + +etree_type *exp_intop + (bfd_vma); +etree_type *exp_bigintop + (bfd_vma, char *); +etree_type *exp_relop + (asection *, bfd_vma); +void exp_fold_tree + (etree_type *, asection *, bfd_vma *); +void exp_fold_tree_no_dot + (etree_type *); +etree_type *exp_binop + (int, etree_type *, etree_type *); +etree_type *exp_trinop + (int,etree_type *, etree_type *, etree_type *); +etree_type *exp_unop + (int, etree_type *); +etree_type *exp_nameop + (int, const char *); +etree_type *exp_assign + (const char *, etree_type *, bfd_boolean); +etree_type *exp_defsym + (const char *, etree_type *); +etree_type *exp_provide + (const char *, etree_type *, bfd_boolean); +etree_type *exp_assert + (etree_type *, const char *); +void exp_print_tree + (etree_type *); +bfd_vma exp_get_vma + (etree_type *, bfd_vma, char *); +int exp_get_value_int + (etree_type *, int, char *); +fill_type *exp_get_fill + (etree_type *, fill_type *, char *); +bfd_vma exp_get_abs_int + (etree_type *, int, char *); +void ldexp_init (void); +void ldexp_finalize_syms (void); +void ldexp_finish (void); #endif