daily update
[binutils.git] / gold / yyscript.y
blob18f949600c9b3c93bb7c863955e73db7275a90e7
1 /* yyscript.y -- linker script grammar for gold. */
3 /* Copyright 2006, 2007, 2008 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor <iant@google.com>.
6 This file is part of gold.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 MA 02110-1301, USA. */
23 /* This is a bison grammar to parse a subset of the original GNU ld
24 linker script language. */
28 #include "config.h"
30 #include <stddef.h>
31 #include <stdint.h>
32 #include <stdlib.h>
33 #include <string.h>
35 #include "script-c.h"
39 /* We need to use a pure parser because we might be multi-threaded.
40 We pass some arguments through the parser to the lexer. */
42 %pure-parser
44 %parse-param {void* closure}
45 %lex-param {void* closure}
47 /* Since we require bison anyhow, we take advantage of it. */
49 %error-verbose
51 /* The values associated with tokens. */
53 %union {
54 /* A string. */
55 struct Parser_string string;
56 /* A number. */
57 uint64_t integer;
58 /* An expression. */
59 Expression_ptr expr;
60 /* An output section header. */
61 struct Parser_output_section_header output_section_header;
62 /* An output section trailer. */
63 struct Parser_output_section_trailer output_section_trailer;
64 /* A section constraint. */
65 enum Section_constraint constraint;
66 /* A complete input section specification. */
67 struct Input_section_spec input_section_spec;
68 /* A list of wildcard specifications, with exclusions. */
69 struct Wildcard_sections wildcard_sections;
70 /* A single wildcard specification. */
71 struct Wildcard_section wildcard_section;
72 /* A list of strings. */
73 String_list_ptr string_list;
74 /* Information for a program header. */
75 struct Phdr_info phdr_info;
76 /* Used for version scripts and within VERSION {}. */
77 struct Version_dependency_list* deplist;
78 struct Version_expression_list* versyms;
79 struct Version_tree* versnode;
80 enum Script_section_type section_type;
83 /* Operators, including a precedence table for expressions. */
85 %right PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ
86 %right '?' ':'
87 %left OROR
88 %left ANDAND
89 %left '|'
90 %left '^'
91 %left '&'
92 %left EQ NE
93 %left '<' '>' LE GE
94 %left LSHIFT RSHIFT
95 %left '+' '-'
96 %left '*' '/' '%'
98 /* A fake operator used to indicate unary operator precedence. */
99 %right UNARY
101 /* Constants. */
103 %token <string> STRING
104 %token <string> QUOTED_STRING
105 %token <integer> INTEGER
107 /* Keywords. This list is taken from ldgram.y and ldlex.l in the old
108 GNU linker, with the keywords which only appear in MRI mode
109 removed. Not all these keywords are actually used in this grammar.
110 In most cases the keyword is recognized as the token name in upper
111 case. The comments indicate where this is not the case. */
113 %token ABSOLUTE
114 %token ADDR
115 %token ALIGN_K /* ALIGN */
116 %token ALIGNOF
117 %token ASSERT_K /* ASSERT */
118 %token AS_NEEDED
119 %token AT
120 %token BIND
121 %token BLOCK
122 %token BYTE
123 %token CONSTANT
124 %token CONSTRUCTORS
125 %token COPY
126 %token CREATE_OBJECT_SYMBOLS
127 %token DATA_SEGMENT_ALIGN
128 %token DATA_SEGMENT_END
129 %token DATA_SEGMENT_RELRO_END
130 %token DEFINED
131 %token DSECT
132 %token ENTRY
133 %token EXCLUDE_FILE
134 %token EXTERN
135 %token FILL
136 %token FLOAT
137 %token FORCE_COMMON_ALLOCATION
138 %token GLOBAL /* global */
139 %token GROUP
140 %token HLL
141 %token INCLUDE
142 %token INHIBIT_COMMON_ALLOCATION
143 %token INFO
144 %token INPUT
145 %token KEEP
146 %token LEN
147 %token LENGTH /* LENGTH, l, len */
148 %token LOADADDR
149 %token LOCAL /* local */
150 %token LONG
151 %token MAP
152 %token MAX_K /* MAX */
153 %token MEMORY
154 %token MIN_K /* MIN */
155 %token NEXT
156 %token NOCROSSREFS
157 %token NOFLOAT
158 %token NOLOAD
159 %token ONLY_IF_RO
160 %token ONLY_IF_RW
161 %token ORG
162 %token ORIGIN /* ORIGIN, o, org */
163 %token OUTPUT
164 %token OUTPUT_ARCH
165 %token OUTPUT_FORMAT
166 %token OVERLAY
167 %token PHDRS
168 %token PROVIDE
169 %token PROVIDE_HIDDEN
170 %token QUAD
171 %token SEARCH_DIR
172 %token SECTIONS
173 %token SEGMENT_START
174 %token SHORT
175 %token SIZEOF
176 %token SIZEOF_HEADERS /* SIZEOF_HEADERS, sizeof_headers */
177 %token SORT_BY_ALIGNMENT
178 %token SORT_BY_NAME
179 %token SPECIAL
180 %token SQUAD
181 %token STARTUP
182 %token SUBALIGN
183 %token SYSLIB
184 %token TARGET_K /* TARGET */
185 %token TRUNCATE
186 %token VERSIONK /* VERSION */
188 /* Keywords, part 2. These are keywords that are unique to gold,
189 and not present in the old GNU linker. As before, unless the
190 comments say otherwise, the keyword is recognized as the token
191 name in upper case. */
193 %token OPTION
195 /* Special tokens used to tell the grammar what type of tokens we are
196 parsing. The token stream always begins with one of these tokens.
197 We do this because version scripts can appear embedded within
198 linker scripts, and because --defsym uses the expression
199 parser. */
200 %token PARSING_LINKER_SCRIPT
201 %token PARSING_VERSION_SCRIPT
202 %token PARSING_DEFSYM
203 %token PARSING_DYNAMIC_LIST
205 /* Non-terminal types, where needed. */
207 %type <expr> parse_exp exp
208 %type <expr> opt_at opt_align opt_subalign opt_fill
209 %type <output_section_header> section_header opt_address_and_section_type
210 %type <section_type> section_type
211 %type <output_section_trailer> section_trailer
212 %type <constraint> opt_constraint
213 %type <string_list> opt_phdr
214 %type <integer> data_length
215 %type <input_section_spec> input_section_no_keep
216 %type <wildcard_sections> wildcard_sections
217 %type <wildcard_section> wildcard_file wildcard_section
218 %type <string_list> exclude_names
219 %type <string> wildcard_name
220 %type <integer> phdr_type memory_attr
221 %type <phdr_info> phdr_info
222 %type <versyms> vers_defns
223 %type <versnode> vers_tag
224 %type <deplist> verdep
225 %type <string> string
229 /* Read the special token to see what to read next. */
230 top:
231 PARSING_LINKER_SCRIPT linker_script
232 | PARSING_VERSION_SCRIPT version_script
233 | PARSING_DEFSYM defsym_expr
234 | PARSING_DYNAMIC_LIST dynamic_list_expr
237 /* A file contains a list of commands. */
238 linker_script:
239 linker_script file_cmd
240 | /* empty */
243 /* A command which may appear at top level of a linker script. */
244 file_cmd:
245 EXTERN '(' extern_name_list ')'
246 | FORCE_COMMON_ALLOCATION
247 { script_set_common_allocation(closure, 1); }
248 | GROUP
249 { script_start_group(closure); }
250 '(' input_list ')'
251 { script_end_group(closure); }
252 | INHIBIT_COMMON_ALLOCATION
253 { script_set_common_allocation(closure, 0); }
254 | INPUT '(' input_list ')'
255 | MEMORY '{' memory_defs '}'
256 | OPTION '(' string ')'
257 { script_parse_option(closure, $3.value, $3.length); }
258 | OUTPUT_FORMAT '(' string ')'
260 if (!script_check_output_format(closure, $3.value, $3.length,
261 NULL, 0, NULL, 0))
262 YYABORT;
264 | OUTPUT_FORMAT '(' string ',' string ',' string ')'
266 if (!script_check_output_format(closure, $3.value, $3.length,
267 $5.value, $5.length,
268 $7.value, $7.length))
269 YYABORT;
271 | PHDRS '{' phdrs_defs '}'
272 | SEARCH_DIR '(' string ')'
273 { script_add_search_dir(closure, $3.value, $3.length); }
274 | SECTIONS '{'
275 { script_start_sections(closure); }
276 sections_block '}'
277 { script_finish_sections(closure); }
278 | TARGET_K '(' string ')'
279 { script_set_target(closure, $3.value, $3.length); }
280 | VERSIONK '{'
281 { script_push_lex_into_version_mode(closure); }
282 version_script '}'
283 { script_pop_lex_mode(closure); }
284 | file_or_sections_cmd
285 | ignore_cmd
286 | ';'
289 /* Top level commands which we ignore. The GNU linker uses these to
290 select the output format, but we don't offer a choice. Ignoring
291 these is more-or-less OK since most scripts simply explicitly
292 choose the default. */
293 ignore_cmd:
294 OUTPUT_ARCH '(' string ')'
297 /* A list of external undefined symbols. We put the lexer into
298 expression mode so that commas separate names; this is what the GNU
299 linker does. */
301 extern_name_list:
302 { script_push_lex_into_expression_mode(closure); }
303 extern_name_list_body
304 { script_pop_lex_mode(closure); }
307 extern_name_list_body:
308 string
309 { script_add_extern(closure, $1.value, $1.length); }
310 | extern_name_list_body string
311 { script_add_extern(closure, $2.value, $2.length); }
312 | extern_name_list_body ',' string
313 { script_add_extern(closure, $3.value, $3.length); }
316 /* A list of input file names. */
317 input_list:
318 input_list_element
319 | input_list opt_comma input_list_element
322 /* An input file name. */
323 input_list_element:
324 string
325 { script_add_file(closure, $1.value, $1.length); }
326 | '-' STRING
327 { script_add_library(closure, $2.value, $2.length); }
328 | AS_NEEDED
329 { script_start_as_needed(closure); }
330 '(' input_list ')'
331 { script_end_as_needed(closure); }
334 /* Commands in a SECTIONS block. */
335 sections_block:
336 sections_block section_block_cmd
337 | /* empty */
340 /* A command which may appear within a SECTIONS block. */
341 section_block_cmd:
342 file_or_sections_cmd
343 | string section_header
344 { script_start_output_section(closure, $1.value, $1.length, &$2); }
345 '{' section_cmds '}' section_trailer
346 { script_finish_output_section(closure, &$7); }
349 /* The header of an output section in a SECTIONS block--everything
350 after the name. */
351 section_header:
352 { script_push_lex_into_expression_mode(closure); }
353 opt_address_and_section_type opt_at opt_align opt_subalign
354 { script_pop_lex_mode(closure); }
355 opt_constraint
357 $$.address = $2.address;
358 $$.section_type = $2.section_type;
359 $$.load_address = $3;
360 $$.align = $4;
361 $$.subalign = $5;
362 $$.constraint = $7;
366 /* The optional address followed by the optional section type. This
367 is a separate nonterminal to avoid a shift/reduce conflict on
368 '(' in section_header. */
370 opt_address_and_section_type:
373 $$.address = NULL;
374 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
376 | '(' ')' ':'
378 $$.address = NULL;
379 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
381 | exp ':'
383 $$.address = $1;
384 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
386 | exp '(' ')' ':'
388 $$.address = $1;
389 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
391 | '(' section_type ')' ':'
393 $$.address = NULL;
394 $$.section_type = $2;
396 | exp '(' section_type ')' ':'
398 $$.address = $1;
399 $$.section_type = $3;
403 /* We only support NOLOAD. */
404 section_type:
405 NOLOAD
406 { $$ = SCRIPT_SECTION_TYPE_NOLOAD; }
407 | DSECT
409 yyerror(closure, "DSECT section type is unsupported");
410 $$ = SCRIPT_SECTION_TYPE_DSECT;
412 | COPY
414 yyerror(closure, "COPY section type is unsupported");
415 $$ = SCRIPT_SECTION_TYPE_COPY;
417 | INFO
419 yyerror(closure, "INFO section type is unsupported");
420 $$ = SCRIPT_SECTION_TYPE_INFO;
422 | OVERLAY
424 yyerror(closure, "OVERLAY section type is unsupported");
425 $$ = SCRIPT_SECTION_TYPE_OVERLAY;
429 /* The address at which an output section should be loaded. */
430 opt_at:
431 /* empty */
432 { $$ = NULL; }
433 | AT '(' exp ')'
434 { $$ = $3; }
437 /* The alignment of an output section. */
438 opt_align:
439 /* empty */
440 { $$ = NULL; }
441 | ALIGN_K '(' exp ')'
442 { $$ = $3; }
445 /* The input section alignment within an output section. */
446 opt_subalign:
447 /* empty */
448 { $$ = NULL; }
449 | SUBALIGN '(' exp ')'
450 { $$ = $3; }
453 /* A section constraint. */
454 opt_constraint:
455 /* empty */
456 { $$ = CONSTRAINT_NONE; }
457 | ONLY_IF_RO
458 { $$ = CONSTRAINT_ONLY_IF_RO; }
459 | ONLY_IF_RW
460 { $$ = CONSTRAINT_ONLY_IF_RW; }
461 | SPECIAL
462 { $$ = CONSTRAINT_SPECIAL; }
465 /* The trailer of an output section in a SECTIONS block. */
466 section_trailer:
467 opt_memspec opt_at_memspec opt_phdr opt_fill opt_comma
469 $$.fill = $4;
470 $$.phdrs = $3;
474 /* A memory specification for an output section. */
475 opt_memspec:
476 '>' string
477 { script_set_section_region(closure, $2.value, $2.length, 1); }
478 | /* empty */
481 /* A memory specification for where to load an output section. */
482 opt_at_memspec:
483 AT '>' string
484 { script_set_section_region(closure, $3.value, $3.length, 0); }
485 | /* empty */
488 /* The program segment an output section should go into. */
489 opt_phdr:
490 opt_phdr ':' string
491 { $$ = script_string_list_push_back($1, $3.value, $3.length); }
492 | /* empty */
493 { $$ = NULL; }
496 /* The value to use to fill an output section. FIXME: This does not
497 handle a string of arbitrary length. */
498 opt_fill:
499 '=' parse_exp
500 { $$ = $2; }
501 | /* empty */
502 { $$ = NULL; }
505 /* Commands which may appear within the description of an output
506 section in a SECTIONS block. */
507 section_cmds:
508 /* empty */
509 | section_cmds section_cmd
512 /* A command which may appear within the description of an output
513 section in a SECTIONS block. */
514 section_cmd:
515 assignment end
516 | input_section_spec
517 | data_length '(' parse_exp ')'
518 { script_add_data(closure, $1, $3); }
519 | ASSERT_K '(' parse_exp ',' string ')'
520 { script_add_assertion(closure, $3, $5.value, $5.length); }
521 | FILL '(' parse_exp ')'
522 { script_add_fill(closure, $3); }
523 | CONSTRUCTORS
525 /* The GNU linker uses CONSTRUCTORS for the a.out object
526 file format. It does nothing when using ELF. Since
527 some ELF linker scripts use it although it does
528 nothing, we accept it and ignore it. */
530 | SORT_BY_NAME '(' CONSTRUCTORS ')'
531 | ';'
534 /* The length of data which may appear within the description of an
535 output section in a SECTIONS block. */
536 data_length:
537 QUAD
538 { $$ = QUAD; }
539 | SQUAD
540 { $$ = SQUAD; }
541 | LONG
542 { $$ = LONG; }
543 | SHORT
544 { $$ = SHORT; }
545 | BYTE
546 { $$ = BYTE; }
549 /* An input section specification. This may appear within the
550 description of an output section in a SECTIONS block. */
551 input_section_spec:
552 input_section_no_keep
553 { script_add_input_section(closure, &$1, 0); }
554 | KEEP '(' input_section_no_keep ')'
555 { script_add_input_section(closure, &$3, 1); }
558 /* An input section specification within a KEEP clause. */
559 input_section_no_keep:
560 string
562 $$.file.name = $1;
563 $$.file.sort = SORT_WILDCARD_NONE;
564 $$.input_sections.sections = NULL;
565 $$.input_sections.exclude = NULL;
567 | wildcard_file '(' wildcard_sections ')'
569 $$.file = $1;
570 $$.input_sections = $3;
574 /* A wildcard file specification. */
575 wildcard_file:
576 wildcard_name
578 $$.name = $1;
579 $$.sort = SORT_WILDCARD_NONE;
581 | SORT_BY_NAME '(' wildcard_name ')'
583 $$.name = $3;
584 $$.sort = SORT_WILDCARD_BY_NAME;
588 /* A list of wild card section specifications. */
589 wildcard_sections:
590 wildcard_sections opt_comma wildcard_section
592 $$.sections = script_string_sort_list_add($1.sections, &$3);
593 $$.exclude = $1.exclude;
595 | wildcard_section
597 $$.sections = script_new_string_sort_list(&$1);
598 $$.exclude = NULL;
600 | wildcard_sections opt_comma EXCLUDE_FILE '(' exclude_names ')'
602 $$.sections = $1.sections;
603 $$.exclude = script_string_list_append($1.exclude, $5);
605 | EXCLUDE_FILE '(' exclude_names ')'
607 $$.sections = NULL;
608 $$.exclude = $3;
612 /* A single wild card specification. */
613 wildcard_section:
614 wildcard_name
616 $$.name = $1;
617 $$.sort = SORT_WILDCARD_NONE;
619 | SORT_BY_NAME '(' wildcard_section ')'
621 $$.name = $3.name;
622 switch ($3.sort)
624 case SORT_WILDCARD_NONE:
625 $$.sort = SORT_WILDCARD_BY_NAME;
626 break;
627 case SORT_WILDCARD_BY_NAME:
628 case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
629 break;
630 case SORT_WILDCARD_BY_ALIGNMENT:
631 case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
632 $$.sort = SORT_WILDCARD_BY_NAME_BY_ALIGNMENT;
633 break;
634 default:
635 abort();
638 | SORT_BY_ALIGNMENT '(' wildcard_section ')'
640 $$.name = $3.name;
641 switch ($3.sort)
643 case SORT_WILDCARD_NONE:
644 $$.sort = SORT_WILDCARD_BY_ALIGNMENT;
645 break;
646 case SORT_WILDCARD_BY_ALIGNMENT:
647 case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
648 break;
649 case SORT_WILDCARD_BY_NAME:
650 case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
651 $$.sort = SORT_WILDCARD_BY_ALIGNMENT_BY_NAME;
652 break;
653 default:
654 abort();
659 /* A list of file names to exclude. */
660 exclude_names:
661 exclude_names opt_comma wildcard_name
662 { $$ = script_string_list_push_back($1, $3.value, $3.length); }
663 | wildcard_name
664 { $$ = script_new_string_list($1.value, $1.length); }
667 /* A single wildcard name. We recognize '*' and '?' specially since
668 they are expression tokens. */
669 wildcard_name:
670 string
671 { $$ = $1; }
672 | '*'
674 $$.value = "*";
675 $$.length = 1;
677 | '?'
679 $$.value = "?";
680 $$.length = 1;
684 /* A command which may appear at the top level of a linker script, or
685 within a SECTIONS block. */
686 file_or_sections_cmd:
687 ENTRY '(' string ')'
688 { script_set_entry(closure, $3.value, $3.length); }
689 | assignment end
690 | ASSERT_K '(' parse_exp ',' string ')'
691 { script_add_assertion(closure, $3, $5.value, $5.length); }
694 /* A list of MEMORY definitions. */
695 memory_defs:
696 memory_defs opt_comma memory_def
697 | /* empty */
700 /* A single MEMORY definition. */
701 memory_def:
702 string memory_attr ':' memory_origin '=' parse_exp opt_comma memory_length '=' parse_exp
703 { script_add_memory(closure, $1.value, $1.length, $2, $6, $10); }
705 /* LD supports an INCLUDE directive here, currently GOLD does not. */
706 INCLUDE string
707 { script_include_directive(closure, $2.value, $2.length); }
711 /* The (optional) attributes of a MEMORY region. */
712 memory_attr:
713 '(' string ')'
714 { $$ = script_parse_memory_attr(closure, $2.value, $2.length, 0); }
715 | /* Inverted attributes. */
716 '(' '!' string ')'
717 { $$ = script_parse_memory_attr(closure, $3.value, $3.length, 1); }
718 | /* empty */
719 { $$ = 0; }
722 memory_origin:
723 ORIGIN
730 memory_length:
731 LENGTH
738 /* A list of program header definitions. */
739 phdrs_defs:
740 phdrs_defs phdr_def
741 | /* empty */
744 /* A program header definition. */
745 phdr_def:
746 string phdr_type phdr_info ';'
747 { script_add_phdr(closure, $1.value, $1.length, $2, &$3); }
750 /* A program header type. The GNU linker accepts a general expression
751 here, but that would be a pain because we would have to dig into
752 the expression structure. It's unlikely that anybody uses anything
753 other than a string or a number here, so that is all we expect. */
754 phdr_type:
755 string
756 { $$ = script_phdr_string_to_type(closure, $1.value, $1.length); }
757 | INTEGER
758 { $$ = $1; }
761 /* Additional information for a program header. */
762 phdr_info:
763 /* empty */
764 { memset(&$$, 0, sizeof(struct Phdr_info)); }
765 | string phdr_info
767 $$ = $2;
768 if ($1.length == 7 && strncmp($1.value, "FILEHDR", 7) == 0)
769 $$.includes_filehdr = 1;
770 else
771 yyerror(closure, "PHDRS syntax error");
773 | PHDRS phdr_info
775 $$ = $2;
776 $$.includes_phdrs = 1;
778 | string '(' INTEGER ')' phdr_info
780 $$ = $5;
781 if ($1.length == 5 && strncmp($1.value, "FLAGS", 5) == 0)
783 $$.is_flags_valid = 1;
784 $$.flags = $3;
786 else
787 yyerror(closure, "PHDRS syntax error");
789 | AT '(' parse_exp ')' phdr_info
791 $$ = $5;
792 $$.load_address = $3;
796 /* Set a symbol to a value. */
797 assignment:
798 string '=' parse_exp
799 { script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
800 | string PLUSEQ parse_exp
802 Expression_ptr s = script_exp_string($1.value, $1.length);
803 Expression_ptr e = script_exp_binary_add(s, $3);
804 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
806 | string MINUSEQ parse_exp
808 Expression_ptr s = script_exp_string($1.value, $1.length);
809 Expression_ptr e = script_exp_binary_sub(s, $3);
810 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
812 | string MULTEQ parse_exp
814 Expression_ptr s = script_exp_string($1.value, $1.length);
815 Expression_ptr e = script_exp_binary_mult(s, $3);
816 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
818 | string DIVEQ parse_exp
820 Expression_ptr s = script_exp_string($1.value, $1.length);
821 Expression_ptr e = script_exp_binary_div(s, $3);
822 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
824 | string LSHIFTEQ parse_exp
826 Expression_ptr s = script_exp_string($1.value, $1.length);
827 Expression_ptr e = script_exp_binary_lshift(s, $3);
828 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
830 | string RSHIFTEQ parse_exp
832 Expression_ptr s = script_exp_string($1.value, $1.length);
833 Expression_ptr e = script_exp_binary_rshift(s, $3);
834 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
836 | string ANDEQ parse_exp
838 Expression_ptr s = script_exp_string($1.value, $1.length);
839 Expression_ptr e = script_exp_binary_bitwise_and(s, $3);
840 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
842 | string OREQ parse_exp
844 Expression_ptr s = script_exp_string($1.value, $1.length);
845 Expression_ptr e = script_exp_binary_bitwise_or(s, $3);
846 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
848 | PROVIDE '(' string '=' parse_exp ')'
849 { script_set_symbol(closure, $3.value, $3.length, $5, 1, 0); }
850 | PROVIDE_HIDDEN '(' string '=' parse_exp ')'
851 { script_set_symbol(closure, $3.value, $3.length, $5, 1, 1); }
854 /* Parse an expression, putting the lexer into the right mode. */
855 parse_exp:
856 { script_push_lex_into_expression_mode(closure); }
859 script_pop_lex_mode(closure);
860 $$ = $2;
864 /* An expression. */
865 exp:
866 '(' exp ')'
867 { $$ = $2; }
868 | '-' exp %prec UNARY
869 { $$ = script_exp_unary_minus($2); }
870 | '!' exp %prec UNARY
871 { $$ = script_exp_unary_logical_not($2); }
872 | '~' exp %prec UNARY
873 { $$ = script_exp_unary_bitwise_not($2); }
874 | '+' exp %prec UNARY
875 { $$ = $2; }
876 | exp '*' exp
877 { $$ = script_exp_binary_mult($1, $3); }
878 | exp '/' exp
879 { $$ = script_exp_binary_div($1, $3); }
880 | exp '%' exp
881 { $$ = script_exp_binary_mod($1, $3); }
882 | exp '+' exp
883 { $$ = script_exp_binary_add($1, $3); }
884 | exp '-' exp
885 { $$ = script_exp_binary_sub($1, $3); }
886 | exp LSHIFT exp
887 { $$ = script_exp_binary_lshift($1, $3); }
888 | exp RSHIFT exp
889 { $$ = script_exp_binary_rshift($1, $3); }
890 | exp EQ exp
891 { $$ = script_exp_binary_eq($1, $3); }
892 | exp NE exp
893 { $$ = script_exp_binary_ne($1, $3); }
894 | exp LE exp
895 { $$ = script_exp_binary_le($1, $3); }
896 | exp GE exp
897 { $$ = script_exp_binary_ge($1, $3); }
898 | exp '<' exp
899 { $$ = script_exp_binary_lt($1, $3); }
900 | exp '>' exp
901 { $$ = script_exp_binary_gt($1, $3); }
902 | exp '&' exp
903 { $$ = script_exp_binary_bitwise_and($1, $3); }
904 | exp '^' exp
905 { $$ = script_exp_binary_bitwise_xor($1, $3); }
906 | exp '|' exp
907 { $$ = script_exp_binary_bitwise_or($1, $3); }
908 | exp ANDAND exp
909 { $$ = script_exp_binary_logical_and($1, $3); }
910 | exp OROR exp
911 { $$ = script_exp_binary_logical_or($1, $3); }
912 | exp '?' exp ':' exp
913 { $$ = script_exp_trinary_cond($1, $3, $5); }
914 | INTEGER
915 { $$ = script_exp_integer($1); }
916 | string
917 { $$ = script_symbol(closure, $1.value, $1.length); }
918 | MAX_K '(' exp ',' exp ')'
919 { $$ = script_exp_function_max($3, $5); }
920 | MIN_K '(' exp ',' exp ')'
921 { $$ = script_exp_function_min($3, $5); }
922 | DEFINED '(' string ')'
923 { $$ = script_exp_function_defined($3.value, $3.length); }
924 | SIZEOF_HEADERS
925 { $$ = script_exp_function_sizeof_headers(); }
926 | ALIGNOF '(' string ')'
927 { $$ = script_exp_function_alignof($3.value, $3.length); }
928 | SIZEOF '(' string ')'
929 { $$ = script_exp_function_sizeof($3.value, $3.length); }
930 | ADDR '(' string ')'
931 { $$ = script_exp_function_addr($3.value, $3.length); }
932 | LOADADDR '(' string ')'
933 { $$ = script_exp_function_loadaddr($3.value, $3.length); }
934 | ORIGIN '(' string ')'
935 { $$ = script_exp_function_origin(closure, $3.value, $3.length); }
936 | LENGTH '(' string ')'
937 { $$ = script_exp_function_length(closure, $3.value, $3.length); }
938 | CONSTANT '(' string ')'
939 { $$ = script_exp_function_constant($3.value, $3.length); }
940 | ABSOLUTE '(' exp ')'
941 { $$ = script_exp_function_absolute($3); }
942 | ALIGN_K '(' exp ')'
943 { $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
944 | ALIGN_K '(' exp ',' exp ')'
945 { $$ = script_exp_function_align($3, $5); }
946 | BLOCK '(' exp ')'
947 { $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
948 | DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
950 script_data_segment_align(closure);
951 $$ = script_exp_function_data_segment_align($3, $5);
953 | DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
955 script_data_segment_relro_end(closure);
956 $$ = script_exp_function_data_segment_relro_end($3, $5);
958 | DATA_SEGMENT_END '(' exp ')'
959 { $$ = script_exp_function_data_segment_end($3); }
960 | SEGMENT_START '(' string ',' exp ')'
962 $$ = script_exp_function_segment_start($3.value, $3.length, $5);
963 /* We need to take note of any SEGMENT_START expressions
964 because they change the behaviour of -Ttext, -Tdata and
965 -Tbss options. */
966 script_saw_segment_start_expression(closure);
968 | ASSERT_K '(' exp ',' string ')'
969 { $$ = script_exp_function_assert($3, $5.value, $5.length); }
972 /* Handle the --defsym option. */
973 defsym_expr:
974 string '=' parse_exp
975 { script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
978 /* Handle the --dynamic-list option. A dynamic list has the format
979 { sym1; sym2; extern "C++" { namespace::sym3 }; };
980 We store the symbol we see in the "local" list; that is where
981 Command_line::in_dynamic_list() will look to do its check.
982 TODO(csilvers): More than one of these brace-lists can appear, and
983 should just be merged and treated as a single list. */
984 dynamic_list_expr: dynamic_list_nodes ;
986 dynamic_list_nodes:
987 dynamic_list_node
988 | dynamic_list_nodes dynamic_list_node
991 dynamic_list_node:
992 '{' vers_defns ';' '}' ';'
993 { script_new_vers_node (closure, NULL, $2); }
996 /* A version script. */
997 version_script:
998 vers_nodes
1001 vers_nodes:
1002 vers_node
1003 | vers_nodes vers_node
1006 vers_node:
1007 '{' vers_tag '}' ';'
1009 script_register_vers_node (closure, NULL, 0, $2, NULL);
1011 | string '{' vers_tag '}' ';'
1013 script_register_vers_node (closure, $1.value, $1.length, $3,
1014 NULL);
1016 | string '{' vers_tag '}' verdep ';'
1018 script_register_vers_node (closure, $1.value, $1.length, $3, $5);
1022 verdep:
1023 string
1025 $$ = script_add_vers_depend (closure, NULL, $1.value, $1.length);
1027 | verdep string
1029 $$ = script_add_vers_depend (closure, $1, $2.value, $2.length);
1033 vers_tag:
1034 /* empty */
1035 { $$ = script_new_vers_node (closure, NULL, NULL); }
1036 | vers_defns ';'
1037 { $$ = script_new_vers_node (closure, $1, NULL); }
1038 | GLOBAL ':' vers_defns ';'
1039 { $$ = script_new_vers_node (closure, $3, NULL); }
1040 | LOCAL ':' vers_defns ';'
1041 { $$ = script_new_vers_node (closure, NULL, $3); }
1042 | GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
1043 { $$ = script_new_vers_node (closure, $3, $7); }
1046 /* Here is one of the rare places we care about the distinction
1047 between STRING and QUOTED_STRING. For QUOTED_STRING, we do exact
1048 matching on the pattern, so we pass in true for the exact_match
1049 parameter. For STRING, we do glob matching and pass in false. */
1050 vers_defns:
1051 STRING
1053 $$ = script_new_vers_pattern (closure, NULL, $1.value,
1054 $1.length, 0);
1056 | QUOTED_STRING
1058 $$ = script_new_vers_pattern (closure, NULL, $1.value,
1059 $1.length, 1);
1061 | vers_defns ';' STRING
1063 $$ = script_new_vers_pattern (closure, $1, $3.value,
1064 $3.length, 0);
1066 | vers_defns ';' QUOTED_STRING
1068 $$ = script_new_vers_pattern (closure, $1, $3.value,
1069 $3.length, 1);
1071 | /* Push string on the language stack. */
1072 EXTERN string '{'
1073 { version_script_push_lang (closure, $2.value, $2.length); }
1074 vers_defns opt_semicolon '}'
1076 $$ = $5;
1077 version_script_pop_lang(closure);
1079 | /* Push string on the language stack. This is more complicated
1080 than the other cases because we need to merge the linked-list
1081 state from the pre-EXTERN defns and the post-EXTERN defns. */
1082 vers_defns ';' EXTERN string '{'
1083 { version_script_push_lang (closure, $4.value, $4.length); }
1084 vers_defns opt_semicolon '}'
1086 $$ = script_merge_expressions ($1, $7);
1087 version_script_pop_lang(closure);
1089 | EXTERN // "extern" as a symbol name
1091 $$ = script_new_vers_pattern (closure, NULL, "extern",
1092 sizeof("extern") - 1, 1);
1094 | vers_defns ';' EXTERN
1096 $$ = script_new_vers_pattern (closure, $1, "extern",
1097 sizeof("extern") - 1, 1);
1101 /* A string can be either a STRING or a QUOTED_STRING. Almost all the
1102 time we don't care, and we use this rule. */
1103 string:
1104 STRING
1105 { $$ = $1; }
1106 | QUOTED_STRING
1107 { $$ = $1; }
1110 /* Some statements require a terminator, which may be a semicolon or a
1111 comma. */
1112 end:
1114 | ','
1117 /* An optional semicolon. */
1118 opt_semicolon:
1120 | /* empty */
1123 /* An optional comma. */
1124 opt_comma:
1126 | /* empty */