Commit | Line | Data |
---|---|---|
252b5132 | 1 | /* ldexp.h - |
2571583a | 2 | Copyright (C) 1991-2017 Free Software Foundation, Inc. |
252b5132 | 3 | |
f96b4a7b | 4 | This file is part of the GNU Binutils. |
252b5132 | 5 | |
f96b4a7b | 6 | This program is free software; you can redistribute it and/or modify |
252b5132 | 7 | it under the terms of the GNU General Public License as published by |
f96b4a7b NC |
8 | the Free Software Foundation; either version 3 of the License, or |
9 | (at your option) any later version. | |
252b5132 | 10 | |
f96b4a7b | 11 | This program is distributed in the hope that it will be useful, |
252b5132 RH |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
f96b4a7b NC |
17 | along with this program; if not, write to the Free Software |
18 | Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, | |
19 | MA 02110-1301, USA. */ | |
252b5132 RH |
20 | |
21 | #ifndef LDEXP_H | |
22 | #define LDEXP_H | |
23 | ||
24 | /* The result of an expression tree */ | |
89cdebba | 25 | typedef struct { |
252b5132 | 26 | bfd_vma value; |
2c382fb6 | 27 | char *str; |
408082ec | 28 | asection *section; |
b34976b6 | 29 | bfd_boolean valid_p; |
252b5132 RH |
30 | } etree_value_type; |
31 | ||
1e9cc1c2 NC |
32 | enum node_tree_enum { |
33 | etree_binary, | |
34 | etree_trinary, | |
35 | etree_unary, | |
36 | etree_name, | |
37 | etree_assign, | |
38 | etree_provide, | |
39 | etree_provided, | |
40 | etree_value, | |
41 | etree_assert, | |
42 | etree_rel | |
43 | }; | |
44 | ||
89cdebba | 45 | typedef struct { |
252b5132 | 46 | int node_code; |
f856040a | 47 | unsigned int lineno; |
dab69f68 | 48 | const char *filename; |
2e57b2af | 49 | enum node_tree_enum node_class; |
252b5132 RH |
50 | } node_type; |
51 | ||
89cdebba | 52 | typedef union etree_union { |
252b5132 RH |
53 | node_type type; |
54 | struct { | |
55 | node_type type; | |
56 | union etree_union *lhs; | |
57 | union etree_union *rhs; | |
58 | } binary; | |
59 | struct { | |
60 | node_type type; | |
61 | union etree_union *cond; | |
62 | union etree_union *lhs; | |
63 | union etree_union *rhs; | |
64 | } trinary; | |
65 | struct { | |
66 | node_type type; | |
2c382fb6 | 67 | const char *dst; |
252b5132 | 68 | union etree_union *src; |
eb8476a6 | 69 | bfd_boolean defsym; |
7af8e998 | 70 | bfd_boolean hidden; |
252b5132 | 71 | } assign; |
252b5132 RH |
72 | struct { |
73 | node_type type; | |
89cdebba | 74 | union etree_union *child; |
252b5132 RH |
75 | } unary; |
76 | struct { | |
77 | node_type type; | |
2c382fb6 | 78 | const char *name; |
252b5132 RH |
79 | } name; |
80 | struct { | |
81 | node_type type; | |
82 | bfd_vma value; | |
2c382fb6 | 83 | char *str; |
252b5132 RH |
84 | } value; |
85 | struct { | |
86 | node_type type; | |
87 | asection *section; | |
88 | bfd_vma value; | |
89 | } rel; | |
90 | struct { | |
91 | node_type type; | |
92 | union etree_union *child; | |
93 | const char *message; | |
94 | } assert_s; | |
95 | } etree_type; | |
2d20f7bf | 96 | |
2aa9aad9 NC |
97 | /* Expression evaluation control. */ |
98 | typedef enum | |
99 | { | |
100 | /* Parsing linker script. Will only return "valid" for expressions | |
101 | that evaluate to a constant. */ | |
e9ee469a | 102 | lang_first_phase_enum, |
2aa9aad9 | 103 | /* Prior to section sizing. */ |
e9ee469a | 104 | lang_mark_phase_enum, |
2aa9aad9 | 105 | /* During section sizing. */ |
e9ee469a | 106 | lang_allocating_phase_enum, |
2aa9aad9 | 107 | /* During assignment of symbol values when relaxation in progress. */ |
2f65ac72 | 108 | lang_assigning_phase_enum, |
2aa9aad9 | 109 | /* Final assignment of symbol values. */ |
e9ee469a AM |
110 | lang_final_phase_enum |
111 | } lang_phase_type; | |
112 | ||
b10a8ae0 L |
113 | union lang_statement_union; |
114 | ||
1e9cc1c2 | 115 | enum phase_enum { |
ea7c2e6c AM |
116 | /* We step through the first four states here as we see the |
117 | associated linker script tokens. */ | |
0f99513f L |
118 | exp_seg_none, |
119 | exp_seg_align_seen, | |
120 | exp_seg_relro_seen, | |
121 | exp_seg_end_seen, | |
ea7c2e6c | 122 | /* The last three states are final, and affect the value returned |
0f99513f L |
123 | by XXX_SEGMENT_ALIGN. */ |
124 | exp_seg_relro_adjust, | |
125 | exp_seg_adjust, | |
126 | exp_seg_done | |
1e9cc1c2 NC |
127 | }; |
128 | ||
129 | enum relro_enum { | |
0f99513f L |
130 | exp_seg_relro_none, |
131 | exp_seg_relro_start, | |
132 | exp_seg_relro_end, | |
1e9cc1c2 NC |
133 | }; |
134 | ||
0f99513f L |
135 | typedef struct { |
136 | enum phase_enum phase; | |
137 | ||
138 | bfd_vma base, relro_offset, relro_end, end, pagesize, maxpagesize; | |
139 | ||
140 | enum relro_enum relro; | |
141 | ||
142 | union lang_statement_union *relro_start_stat; | |
143 | union lang_statement_union *relro_end_stat; | |
144 | } seg_align_type; | |
145 | ||
e9ee469a AM |
146 | struct ldexp_control { |
147 | /* Modify expression evaluation depending on this. */ | |
148 | lang_phase_type phase; | |
149 | ||
150 | /* Principally used for diagnostics. */ | |
151 | bfd_boolean assigning_to_dot; | |
975f8a9e AM |
152 | |
153 | /* Set if the current expression used "dot", SEGMENT_START or | |
154 | ORIGIN, but not ABSOLUTE or combined symbols in a way that forces | |
155 | an absolute result. Used in tracking symbols assigned from dot | |
156 | outside of output section statements, in order to later convert | |
157 | them from absolute. */ | |
158 | bfd_boolean rel_from_abs; | |
159 | ||
4194268f AM |
160 | /* If evaluating an assignment, the destination. Cleared if an |
161 | etree_name NAME matches this, to signal a self-assignment. | |
162 | Note that an etree_name DEFINED does not clear this field, nor | |
163 | does the false branch of a trinary expression. */ | |
164 | const char *assign_name; | |
e9ee469a AM |
165 | |
166 | /* Working results. */ | |
167 | etree_value_type result; | |
168 | bfd_vma dot; | |
169 | ||
170 | /* Current dot and section passed to ldexp folder. */ | |
171 | bfd_vma *dotp; | |
172 | asection *section; | |
173 | ||
174 | /* State machine and results for DATASEG. */ | |
0f99513f | 175 | seg_align_type dataseg; |
e9ee469a AM |
176 | }; |
177 | ||
178 | extern struct ldexp_control expld; | |
252b5132 | 179 | |
ba916c8a MM |
180 | /* A maps from a segment name to a base address. */ |
181 | typedef struct segment_struct { | |
182 | /* The next segment in the linked list. */ | |
183 | struct segment_struct *next; | |
184 | /* The name of the sgement. */ | |
185 | const char *name; | |
186 | /* The base address for the segment. */ | |
187 | bfd_vma value; | |
188 | /* True if a SEGMENT_START directive corresponding to this segment | |
189 | has been seen. */ | |
190 | bfd_boolean used; | |
191 | } segment_type; | |
192 | ||
193 | /* The segments specified by the user on the command-line. */ | |
194 | extern segment_type *segments; | |
195 | ||
2c382fb6 AM |
196 | typedef struct _fill_type fill_type; |
197 | ||
b34976b6 | 198 | etree_type *exp_intop |
1579bae1 | 199 | (bfd_vma); |
b34976b6 | 200 | etree_type *exp_bigintop |
1579bae1 | 201 | (bfd_vma, char *); |
b34976b6 | 202 | etree_type *exp_relop |
1579bae1 | 203 | (asection *, bfd_vma); |
e9ee469a AM |
204 | void exp_fold_tree |
205 | (etree_type *, asection *, bfd_vma *); | |
e759c116 AM |
206 | void exp_fold_tree_no_dot |
207 | (etree_type *); | |
b34976b6 | 208 | etree_type *exp_binop |
1579bae1 | 209 | (int, etree_type *, etree_type *); |
b34976b6 | 210 | etree_type *exp_trinop |
1579bae1 | 211 | (int,etree_type *, etree_type *, etree_type *); |
b34976b6 | 212 | etree_type *exp_unop |
1579bae1 | 213 | (int, etree_type *); |
b34976b6 | 214 | etree_type *exp_nameop |
1579bae1 | 215 | (int, const char *); |
2e57b2af | 216 | etree_type *exp_assign |
eb8476a6 | 217 | (const char *, etree_type *, bfd_boolean); |
2e57b2af AM |
218 | etree_type *exp_defsym |
219 | (const char *, etree_type *); | |
b34976b6 | 220 | etree_type *exp_provide |
7af8e998 | 221 | (const char *, etree_type *, bfd_boolean); |
b34976b6 | 222 | etree_type *exp_assert |
1579bae1 | 223 | (etree_type *, const char *); |
b34976b6 | 224 | void exp_print_tree |
1579bae1 | 225 | (etree_type *); |
b34976b6 | 226 | bfd_vma exp_get_vma |
e9ee469a | 227 | (etree_type *, bfd_vma, char *); |
b34976b6 | 228 | int exp_get_value_int |
e9ee469a | 229 | (etree_type *, int, char *); |
b34976b6 | 230 | fill_type *exp_get_fill |
e9ee469a | 231 | (etree_type *, fill_type *, char *); |
b34976b6 | 232 | bfd_vma exp_get_abs_int |
e9ee469a | 233 | (etree_type *, int, char *); |
18d6a79d | 234 | void ldexp_init (void); |
975f8a9e | 235 | void ldexp_finalize_syms (void); |
18d6a79d | 236 | void ldexp_finish (void); |
252b5132 RH |
237 | |
238 | #endif |