1 /* A YACC grammar to parse a superset of the AT&T linker scripting language.
2 Copyright (C) 1991-2016 Free Software Foundation, Inc.
3 Written by Steve Chamberlain of Cygnus Support (steve@cygnus.com).
4
5 This file is part of the GNU Binutils.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
21
22 %{
23 /*
24
25 */
26
27 #define DONTDECLARE_MALLOC
28
29 #include "sysdep.h"
30 #include "bfd.h"
31 #include "bfdlink.h"
32 #include "ld.h"
33 #include "ldexp.h"
34 #include "ldver.h"
35 #include "ldlang.h"
36 #include "ldfile.h"
37 #include "ldemul.h"
38 #include "ldmisc.h"
39 #include "ldmain.h"
40 #include "mri.h"
41 #include "ldctor.h"
42 #include "ldlex.h"
43
44 #ifndef YYDEBUG
45 #define YYDEBUG 1
46 #endif
47
48 static enum section_type sectype;
49 static lang_memory_region_type *region;
50
51 bfd_boolean ldgram_had_keep = FALSE;
52 char *ldgram_vers_current_lang = NULL;
53
54 #define ERROR_NAME_MAX 20
55 static char *error_names[ERROR_NAME_MAX];
56 static int error_index;
57 #define PUSH_ERROR(x) if (error_index < ERROR_NAME_MAX) error_names[error_index] = x; error_index++;
58 #define POP_ERROR() error_index--;
59 %}
60 %union {
61 bfd_vma integer;
62 struct big_int
63 {
64 bfd_vma integer;
65 char *str;
66 } bigint;
67 fill_type *fill;
68 char *name;
69 const char *cname;
70 struct wildcard_spec wildcard;
71 struct wildcard_list *wildcard_list;
72 struct name_list *name_list;
73 struct flag_info_list *flag_info_list;
74 struct flag_info *flag_info;
75 int token;
76 union etree_union *etree;
77 struct phdr_info
78 {
79 bfd_boolean filehdr;
80 bfd_boolean phdrs;
81 union etree_union *at;
82 union etree_union *flags;
83 } phdr;
84 struct lang_nocrossref *nocrossref;
85 struct lang_output_section_phdr_list *section_phdr;
86 struct bfd_elf_version_deps *deflist;
87 struct bfd_elf_version_expr *versyms;
88 struct bfd_elf_version_tree *versnode;
89 }
90
91 %type <etree> exp opt_exp_with_type mustbe_exp opt_at phdr_type phdr_val
92 %type <etree> opt_exp_without_type opt_subalign opt_align
93 %type <fill> fill_opt fill_exp
94 %type <name_list> exclude_name_list
95 %type <wildcard_list> file_NAME_list
96 %type <flag_info_list> sect_flag_list
97 %type <flag_info> sect_flags
98 %type <name> memspec_opt casesymlist
99 %type <name> memspec_at_opt
100 %type <cname> wildcard_name
101 %type <wildcard> wildcard_spec
102 %token <bigint> INT
103 %token <name> NAME LNAME
104 %type <integer> length
105 %type <phdr> phdr_qualifiers
106 %type <nocrossref> nocrossref_list
107 %type <section_phdr> phdr_opt
108 %type <integer> opt_nocrossrefs
109
110 %right <token> PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ
111 %right <token> '?' ':'
112 %left <token> OROR
113 %left <token> ANDAND
114 %left <token> '|'
115 %left <token> '^'
116 %left <token> '&'
117 %left <token> EQ NE
118 %left <token> '<' '>' LE GE
119 %left <token> LSHIFT RSHIFT
120
121 %left <token> '+' '-'
122 %left <token> '*' '/' '%'
123
124 %right UNARY
125 %token END
126 %left <token> '('
127 %token <token> ALIGN_K BLOCK BIND QUAD SQUAD LONG SHORT BYTE
128 %token SECTIONS PHDRS INSERT_K AFTER BEFORE
129 %token DATA_SEGMENT_ALIGN DATA_SEGMENT_RELRO_END DATA_SEGMENT_END
130 %token SORT_BY_NAME SORT_BY_ALIGNMENT SORT_NONE
131 %token SORT_BY_INIT_PRIORITY
132 %token '{' '}'
133 %token SIZEOF_HEADERS OUTPUT_FORMAT FORCE_COMMON_ALLOCATION OUTPUT_ARCH
134 %token INHIBIT_COMMON_ALLOCATION
135 %token SEGMENT_START
136 %token INCLUDE
137 %token MEMORY
138 %token REGION_ALIAS
139 %token LD_FEATURE
140 %token NOLOAD DSECT COPY INFO OVERLAY
141 %token DEFINED TARGET_K SEARCH_DIR MAP ENTRY
142 %token <integer> NEXT
143 %token SIZEOF ALIGNOF ADDR LOADADDR MAX_K MIN_K
144 %token STARTUP HLL SYSLIB FLOAT NOFLOAT NOCROSSREFS NOCROSSREFS_TO
145 %token ORIGIN FILL
146 %token LENGTH CREATE_OBJECT_SYMBOLS INPUT GROUP OUTPUT CONSTRUCTORS
147 %token ALIGNMOD AT SUBALIGN HIDDEN PROVIDE PROVIDE_HIDDEN AS_NEEDED
148 %type <token> assign_op atype attributes_opt sect_constraint opt_align_with_input
149 %type <name> filename
150 %token CHIP LIST SECT ABSOLUTE LOAD NEWLINE ENDWORD ORDER NAMEWORD ASSERT_K
151 %token LOG2CEIL FORMAT PUBLIC DEFSYMEND BASE ALIAS TRUNCATE REL
152 %token INPUT_SCRIPT INPUT_MRI_SCRIPT INPUT_DEFSYM CASE EXTERN START
153 %token <name> VERS_TAG VERS_IDENTIFIER
154 %token GLOBAL LOCAL VERSIONK INPUT_VERSION_SCRIPT
155 %token KEEP ONLY_IF_RO ONLY_IF_RW SPECIAL INPUT_SECTION_FLAGS ALIGN_WITH_INPUT
156 %token EXCLUDE_FILE
157 %token CONSTANT
158 %type <versyms> vers_defns
159 %type <versnode> vers_tag
160 %type <deflist> verdep
161 %token INPUT_DYNAMIC_LIST
162
163 %%
164
165 file:
166 INPUT_SCRIPT script_file
167 | INPUT_MRI_SCRIPT mri_script_file
168 | INPUT_VERSION_SCRIPT version_script_file
169 | INPUT_DYNAMIC_LIST dynamic_list_file
170 | INPUT_DEFSYM defsym_expr
171 ;
172
173
174 filename: NAME;
175
176
177 defsym_expr:
178 { ldlex_defsym(); }
179 NAME '=' exp
180 {
181 ldlex_popstate();
182 lang_add_assignment (exp_defsym ($2, $4));
183 }
184 ;
185
186 /* SYNTAX WITHIN AN MRI SCRIPT FILE */
187 mri_script_file:
188 {
189 ldlex_mri_script ();
190 PUSH_ERROR (_("MRI style script"));
191 }
192 mri_script_lines
193 {
194 ldlex_popstate ();
195 mri_draw_tree ();
196 POP_ERROR ();
197 }
198 ;
199
200 mri_script_lines:
201 mri_script_lines mri_script_command NEWLINE
202 |
203 ;
204
205 mri_script_command:
206 CHIP exp
207 | CHIP exp ',' exp
208 | NAME {
209 einfo(_("%P%F: unrecognised keyword in MRI style script '%s'\n"),$1);
210 }
211 | LIST {
212 config.map_filename = "-";
213 }
214 | ORDER ordernamelist
215 | ENDWORD
216 | PUBLIC NAME '=' exp
217 { mri_public($2, $4); }
218 | PUBLIC NAME ',' exp
219 { mri_public($2, $4); }
220 | PUBLIC NAME exp
221 { mri_public($2, $3); }
222 | FORMAT NAME
223 { mri_format($2); }
224 | SECT NAME ',' exp
225 { mri_output_section($2, $4);}
226 | SECT NAME exp
227 { mri_output_section($2, $3);}
228 | SECT NAME '=' exp
229 { mri_output_section($2, $4);}
230 | ALIGN_K NAME '=' exp
231 { mri_align($2,$4); }
232 | ALIGN_K NAME ',' exp
233 { mri_align($2,$4); }
234 | ALIGNMOD NAME '=' exp
235 { mri_alignmod($2,$4); }
236 | ALIGNMOD NAME ',' exp
237 { mri_alignmod($2,$4); }
238 | ABSOLUTE mri_abs_name_list
239 | LOAD mri_load_name_list
240 | NAMEWORD NAME
241 { mri_name($2); }
242 | ALIAS NAME ',' NAME
243 { mri_alias($2,$4,0);}
244 | ALIAS NAME ',' INT
245 { mri_alias ($2, 0, (int) $4.integer); }
246 | BASE exp
247 { mri_base($2); }
248 | TRUNCATE INT
249 { mri_truncate ((unsigned int) $2.integer); }
250 | CASE casesymlist
251 | EXTERN extern_name_list
252 | INCLUDE filename
253 { ldlex_script (); ldfile_open_command_file($2); }
254 mri_script_lines END
255 { ldlex_popstate (); }
256 | START NAME
257 { lang_add_entry ($2, FALSE); }
258 |
259 ;
260
261 ordernamelist:
262 ordernamelist ',' NAME { mri_order($3); }
263 | ordernamelist NAME { mri_order($2); }
264 |
265 ;
266
267 mri_load_name_list:
268 NAME
269 { mri_load($1); }
270 | mri_load_name_list ',' NAME { mri_load($3); }
271 ;
272
273 mri_abs_name_list:
274 NAME
275 { mri_only_load($1); }
276 | mri_abs_name_list ',' NAME
277 { mri_only_load($3); }
278 ;
279
280 casesymlist:
281 /* empty */ { $$ = NULL; }
282 | NAME
283 | casesymlist ',' NAME
284 ;
285
286 /* Parsed as expressions so that commas separate entries */
287 extern_name_list:
288 { ldlex_expression (); }
289 extern_name_list_body
290 { ldlex_popstate (); }
291
292 extern_name_list_body:
293 NAME
294 { ldlang_add_undef ($1, FALSE); }
295 | extern_name_list_body NAME
296 { ldlang_add_undef ($2, FALSE); }
297 | extern_name_list_body ',' NAME
298 { ldlang_add_undef ($3, FALSE); }
299 ;
300
301 script_file:
302 { ldlex_both(); }
303 ifile_list
304 { ldlex_popstate(); }
305 ;
306
307 ifile_list:
308 ifile_list ifile_p1
309 |
310 ;
311
312
313 ifile_p1:
314 memory
315 | sections
316 | phdrs
317 | startup
318 | high_level_library
319 | low_level_library
320 | floating_point_support
321 | statement_anywhere
322 | version
323 | ';'
324 | TARGET_K '(' NAME ')'
325 { lang_add_target($3); }
326 | SEARCH_DIR '(' filename ')'
327 { ldfile_add_library_path ($3, FALSE); }
328 | OUTPUT '(' filename ')'
329 { lang_add_output($3, 1); }
330 | OUTPUT_FORMAT '(' NAME ')'
331 { lang_add_output_format ($3, (char *) NULL,
332 (char *) NULL, 1); }
333 | OUTPUT_FORMAT '(' NAME ',' NAME ',' NAME ')'
334 { lang_add_output_format ($3, $5, $7, 1); }
335 | OUTPUT_ARCH '(' NAME ')'
336 { ldfile_set_output_arch ($3, bfd_arch_unknown); }
337 | FORCE_COMMON_ALLOCATION
338 { command_line.force_common_definition = TRUE ; }
339 | INHIBIT_COMMON_ALLOCATION
340 { command_line.inhibit_common_definition = TRUE ; }
341 | INPUT '(' input_list ')'
342 | GROUP
343 { lang_enter_group (); }
344 '(' input_list ')'
345 { lang_leave_group (); }
346 | MAP '(' filename ')'
347 { lang_add_map($3); }
348 | INCLUDE filename
349 { ldlex_script (); ldfile_open_command_file($2); }
350 ifile_list END
351 { ldlex_popstate (); }
352 | NOCROSSREFS '(' nocrossref_list ')'
353 {
354 lang_add_nocrossref ($3);
355 }
356 | NOCROSSREFS_TO '(' nocrossref_list ')'
357 {
358 lang_add_nocrossref_to ($3);
359 }
360 | EXTERN '(' extern_name_list ')'
361 | INSERT_K AFTER NAME
362 { lang_add_insert ($3, 0); }
363 | INSERT_K BEFORE NAME
364 { lang_add_insert ($3, 1); }
365 | REGION_ALIAS '(' NAME ',' NAME ')'
366 { lang_memory_region_alias ($3, $5); }
367 | LD_FEATURE '(' NAME ')'
368 { lang_ld_feature ($3); }
369 ;
370
371 input_list:
372 { ldlex_inputlist(); }
373 input_list1
374 { ldlex_popstate(); }
375
376 input_list1:
377 NAME
378 { lang_add_input_file($1,lang_input_file_is_search_file_enum,
379 (char *)NULL); }
380 | input_list1 ',' NAME
381 { lang_add_input_file($3,lang_input_file_is_search_file_enum,
382 (char *)NULL); }
383 | input_list1 NAME
384 { lang_add_input_file($2,lang_input_file_is_search_file_enum,
385 (char *)NULL); }
386 | LNAME
387 { lang_add_input_file($1,lang_input_file_is_l_enum,
388 (char *)NULL); }
389 | input_list1 ',' LNAME
390 { lang_add_input_file($3,lang_input_file_is_l_enum,
391 (char *)NULL); }
392 | input_list1 LNAME
393 { lang_add_input_file($2,lang_input_file_is_l_enum,
394 (char *)NULL); }
395 | AS_NEEDED '('
396 { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
397 input_flags.add_DT_NEEDED_for_regular = TRUE; }
398 input_list1 ')'
399 { input_flags.add_DT_NEEDED_for_regular = $<integer>3; }
400 | input_list1 ',' AS_NEEDED '('
401 { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
402 input_flags.add_DT_NEEDED_for_regular = TRUE; }
403 input_list1 ')'
404 { input_flags.add_DT_NEEDED_for_regular = $<integer>5; }
405 | input_list1 AS_NEEDED '('
406 { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
407 input_flags.add_DT_NEEDED_for_regular = TRUE; }
408 input_list1 ')'
409 { input_flags.add_DT_NEEDED_for_regular = $<integer>4; }
410 ;
411
412 sections:
413 SECTIONS '{' sec_or_group_p1 '}'
414 ;
415
416 sec_or_group_p1:
417 sec_or_group_p1 section
418 | sec_or_group_p1 statement_anywhere
419 |
420 ;
421
422 statement_anywhere:
423 ENTRY '(' NAME ')'
424 { lang_add_entry ($3, FALSE); }
425 | assignment end
426 | ASSERT_K {ldlex_expression ();} '(' exp ',' NAME ')'
427 { ldlex_popstate ();
428 lang_add_assignment (exp_assert ($4, $6)); }
429 ;
430
431 /* The '*' and '?' cases are there because the lexer returns them as
432 separate tokens rather than as NAME. */
433 wildcard_name:
434 NAME
435 {
436 $$ = $1;
437 }
438 | '*'
439 {
440 $$ = "*";
441 }
442 | '?'
443 {
444 $$ = "?";
445 }
446 ;
447
448 wildcard_spec:
449 wildcard_name
450 {
451 $$.name = $1;
452 $$.sorted = none;
453 $$.exclude_name_list = NULL;
454 $$.section_flag_list = NULL;
455 }
456 | EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name
457 {
458 $$.name = $5;
459 $$.sorted = none;
460 $$.exclude_name_list = $3;
461 $$.section_flag_list = NULL;
462 }
463 | SORT_BY_NAME '(' wildcard_name ')'
464 {
465 $$.name = $3;
466 $$.sorted = by_name;
467 $$.exclude_name_list = NULL;
468 $$.section_flag_list = NULL;
469 }
470 | SORT_BY_ALIGNMENT '(' wildcard_name ')'
471 {
472 $$.name = $3;
473 $$.sorted = by_alignment;
474 $$.exclude_name_list = NULL;
475 $$.section_flag_list = NULL;
476 }
477 | SORT_NONE '(' wildcard_name ')'
478 {
479 $$.name = $3;
480 $$.sorted = by_none;
481 $$.exclude_name_list = NULL;
482 $$.section_flag_list = NULL;
483 }
484 | SORT_BY_NAME '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'
485 {
486 $$.name = $5;
487 $$.sorted = by_name_alignment;
488 $$.exclude_name_list = NULL;
489 $$.section_flag_list = NULL;
490 }
491 | SORT_BY_NAME '(' SORT_BY_NAME '(' wildcard_name ')' ')'
492 {
493 $$.name = $5;
494 $$.sorted = by_name;
495 $$.exclude_name_list = NULL;
496 $$.section_flag_list = NULL;
497 }
498 | SORT_BY_ALIGNMENT '(' SORT_BY_NAME '(' wildcard_name ')' ')'
499 {
500 $$.name = $5;
501 $$.sorted = by_alignment_name;
502 $$.exclude_name_list = NULL;
503 $$.section_flag_list = NULL;
504 }
505 | SORT_BY_ALIGNMENT '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'
506 {
507 $$.name = $5;
508 $$.sorted = by_alignment;
509 $$.exclude_name_list = NULL;
510 $$.section_flag_list = NULL;
511 }
512 | SORT_BY_NAME '(' EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name ')'
513 {
514 $$.name = $7;
515 $$.sorted = by_name;
516 $$.exclude_name_list = $5;
517 $$.section_flag_list = NULL;
518 }
519 | SORT_BY_INIT_PRIORITY '(' wildcard_name ')'
520 {
521 $$.name = $3;
522 $$.sorted = by_init_priority;
523 $$.exclude_name_list = NULL;
524 $$.section_flag_list = NULL;
525 }
526 ;
527
528 sect_flag_list: NAME
529 {
530 struct flag_info_list *n;
531 n = ((struct flag_info_list *) xmalloc (sizeof *n));
532 if ($1[0] == '!')
533 {
534 n->with = without_flags;
535 n->name = &$1[1];
536 }
537 else
538 {
539 n->with = with_flags;
540 n->name = $1;
541 }
542 n->valid = FALSE;
543 n->next = NULL;
544 $$ = n;
545 }
546 | sect_flag_list '&' NAME
547 {
548 struct flag_info_list *n;
549 n = ((struct flag_info_list *) xmalloc (sizeof *n));
550 if ($3[0] == '!')
551 {
552 n->with = without_flags;
553 n->name = &$3[1];
554 }
555 else
556 {
557 n->with = with_flags;
558 n->name = $3;
559 }
560 n->valid = FALSE;
561 n->next = $1;
562 $$ = n;
563 }
564 ;
565
566 sect_flags:
567 INPUT_SECTION_FLAGS '(' sect_flag_list ')'
568 {
569 struct flag_info *n;
570 n = ((struct flag_info *) xmalloc (sizeof *n));
571 n->flag_list = $3;
572 n->flags_initialized = FALSE;
573 n->not_with_flags = 0;
574 n->only_with_flags = 0;
575 $$ = n;
576 }
577 ;
578
579 exclude_name_list:
580 exclude_name_list wildcard_name
581 {
582 struct name_list *tmp;
583 tmp = (struct name_list *) xmalloc (sizeof *tmp);
584 tmp->name = $2;
585 tmp->next = $1;
586 $$ = tmp;
587 }
588 |
589 wildcard_name
590 {
591 struct name_list *tmp;
592 tmp = (struct name_list *) xmalloc (sizeof *tmp);
593 tmp->name = $1;
594 tmp->next = NULL;
595 $$ = tmp;
596 }
597 ;
598
599 file_NAME_list:
600 file_NAME_list opt_comma wildcard_spec
601 {
602 struct wildcard_list *tmp;
603 tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
604 tmp->next = $1;
605 tmp->spec = $3;
606 $$ = tmp;
607 }
608 |
609 wildcard_spec
610 {
611 struct wildcard_list *tmp;
612 tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
613 tmp->next = NULL;
614 tmp->spec = $1;
615 $$ = tmp;
616 }
617 ;
618
619 input_section_spec_no_keep:
620 NAME
621 {
622 struct wildcard_spec tmp;
623 tmp.name = $1;
624 tmp.exclude_name_list = NULL;
625 tmp.sorted = none;
626 tmp.section_flag_list = NULL;
627 lang_add_wild (&tmp, NULL, ldgram_had_keep);
628 }
629 | sect_flags NAME
630 {
631 struct wildcard_spec tmp;
632 tmp.name = $2;
633 tmp.exclude_name_list = NULL;
634 tmp.sorted = none;
635 tmp.section_flag_list = $1;
636 lang_add_wild (&tmp, NULL, ldgram_had_keep);
637 }
638 | '[' file_NAME_list ']'
639 {
640 lang_add_wild (NULL, $2, ldgram_had_keep);
641 }
642 | sect_flags '[' file_NAME_list ']'
643 {
644 struct wildcard_spec tmp;
645 tmp.name = NULL;
646 tmp.exclude_name_list = NULL;
647 tmp.sorted = none;
648 tmp.section_flag_list = $1;
649 lang_add_wild (&tmp, $3, ldgram_had_keep);
650 }
651 | wildcard_spec '(' file_NAME_list ')'
652 {
653 lang_add_wild (&$1, $3, ldgram_had_keep);
654 }
655 | sect_flags wildcard_spec '(' file_NAME_list ')'
656 {
657 $2.section_flag_list = $1;
658 lang_add_wild (&$2, $4, ldgram_had_keep);
659 }
660 ;
661
662 input_section_spec:
663 input_section_spec_no_keep
664 | KEEP '('
665 { ldgram_had_keep = TRUE; }
666 input_section_spec_no_keep ')'
667 { ldgram_had_keep = FALSE; }
668 ;
669
670 statement:
671 assignment end
672 | CREATE_OBJECT_SYMBOLS
673 {
674 lang_add_attribute(lang_object_symbols_statement_enum);
675 }
676 | ';'
677 | CONSTRUCTORS
678 {
679
680 lang_add_attribute(lang_constructors_statement_enum);
681 }
682 | SORT_BY_NAME '(' CONSTRUCTORS ')'
683 {
684 constructors_sorted = TRUE;
685 lang_add_attribute (lang_constructors_statement_enum);
686 }
687 | input_section_spec
688 | length '(' mustbe_exp ')'
689 {
690 lang_add_data ((int) $1, $3);
691 }
692
693 | FILL '(' fill_exp ')'
694 {
695 lang_add_fill ($3);
696 }
697 | ASSERT_K {ldlex_expression ();} '(' exp ',' NAME ')' end
698 { ldlex_popstate ();
699 lang_add_assignment (exp_assert ($4, $6)); }
700 | INCLUDE filename
701 { ldlex_script (); ldfile_open_command_file($2); }
702 statement_list_opt END
703 { ldlex_popstate (); }
704 ;
705
706 statement_list:
707 statement_list statement
708 | statement
709 ;
710
711 statement_list_opt:
712 /* empty */
713 | statement_list
714 ;
715
716 length:
717 QUAD
718 { $$ = $1; }
719 | SQUAD
720 { $$ = $1; }
721 | LONG
722 { $$ = $1; }
723 | SHORT
724 { $$ = $1; }
725 | BYTE
726 { $$ = $1; }
727 ;
728
729 fill_exp:
730 mustbe_exp
731 {
732 $$ = exp_get_fill ($1, 0, "fill value");
733 }
734 ;
735
736 fill_opt:
737 '=' fill_exp
738 { $$ = $2; }
739 | { $$ = (fill_type *) 0; }
740 ;
741
742 assign_op:
743 PLUSEQ
744 { $$ = '+'; }
745 | MINUSEQ
746 { $$ = '-'; }
747 | MULTEQ
748 { $$ = '*'; }
749 | DIVEQ
750 { $$ = '/'; }
751 | LSHIFTEQ
752 { $$ = LSHIFT; }
753 | RSHIFTEQ
754 { $$ = RSHIFT; }
755 | ANDEQ
756 { $$ = '&'; }
757 | OREQ
758 { $$ = '|'; }
759
760 ;
761
762 end: ';' | ','
763 ;
764
765
766 assignment:
767 NAME '=' mustbe_exp
768 {
769 lang_add_assignment (exp_assign ($1, $3, FALSE));
770 }
771 | NAME assign_op mustbe_exp
772 {
773 lang_add_assignment (exp_assign ($1,
774 exp_binop ($2,
775 exp_nameop (NAME,
776 $1),
777 $3), FALSE));
778 }
779 | HIDDEN '(' NAME '=' mustbe_exp ')'
780 {
781 lang_add_assignment (exp_assign ($3, $5, TRUE));
782 }
783 | PROVIDE '(' NAME '=' mustbe_exp ')'
784 {
785 lang_add_assignment (exp_provide ($3, $5, FALSE));
786 }
787 | PROVIDE_HIDDEN '(' NAME '=' mustbe_exp ')'
788 {
789 lang_add_assignment (exp_provide ($3, $5, TRUE));
790 }
791 ;
792
793
794 opt_comma:
795 ',' | ;
796
797
798 memory:
799 MEMORY '{' memory_spec_list_opt '}'
800 ;
801
802 memory_spec_list_opt: memory_spec_list | ;
803
804 memory_spec_list:
805 memory_spec_list opt_comma memory_spec
806 | memory_spec
807 ;
808
809
810 memory_spec: NAME
811 { region = lang_memory_region_lookup ($1, TRUE); }
812 attributes_opt ':'
813 origin_spec opt_comma length_spec
814 {}
815 | INCLUDE filename
816 { ldlex_script (); ldfile_open_command_file($2); }
817 memory_spec_list_opt END
818 { ldlex_popstate (); }
819 ;
820
821 origin_spec:
822 ORIGIN '=' mustbe_exp
823 {
824 region->origin_exp = $3;
825 region->current = region->origin;
826 }
827 ;
828
829 length_spec:
830 LENGTH '=' mustbe_exp
831 {
832 region->length_exp = $3;
833 }
834 ;
835
836 attributes_opt:
837 /* empty */
838 { /* dummy action to avoid bison 1.25 error message */ }
839 | '(' attributes_list ')'
840 ;
841
842 attributes_list:
843 attributes_string
844 | attributes_list attributes_string
845 ;
846
847 attributes_string:
848 NAME
849 { lang_set_flags (region, $1, 0); }
850 | '!' NAME
851 { lang_set_flags (region, $2, 1); }
852 ;
853
854 startup:
855 STARTUP '(' filename ')'
856 { lang_startup($3); }
857 ;
858
859 high_level_library:
860 HLL '(' high_level_library_NAME_list ')'
861 | HLL '(' ')'
862 { ldemul_hll((char *)NULL); }
863 ;
864
865 high_level_library_NAME_list:
866 high_level_library_NAME_list opt_comma filename
867 { ldemul_hll($3); }
868 | filename
869 { ldemul_hll($1); }
870
871 ;
872
873 low_level_library:
874 SYSLIB '(' low_level_library_NAME_list ')'
875 ; low_level_library_NAME_list:
876 low_level_library_NAME_list opt_comma filename
877 { ldemul_syslib($3); }
878 |
879 ;
880
881 floating_point_support:
882 FLOAT
883 { lang_float(TRUE); }
884 | NOFLOAT
885 { lang_float(FALSE); }
886 ;
887
888 nocrossref_list:
889 /* empty */
890 {
891 $$ = NULL;
892 }
893 | NAME nocrossref_list
894 {
895 struct lang_nocrossref *n;
896
897 n = (struct lang_nocrossref *) xmalloc (sizeof *n);
898 n->name = $1;
899 n->next = $2;
900 $$ = n;
901 }
902 | NAME ',' nocrossref_list
903 {
904 struct lang_nocrossref *n;
905
906 n = (struct lang_nocrossref *) xmalloc (sizeof *n);
907 n->name = $1;
908 n->next = $3;
909 $$ = n;
910 }
911 ;
912
913 mustbe_exp: { ldlex_expression (); }
914 exp
915 { ldlex_popstate (); $$=$2;}
916 ;
917
918 exp :
919 '-' exp %prec UNARY
920 { $$ = exp_unop ('-', $2); }
921 | '(' exp ')'
922 { $$ = $2; }
923 | NEXT '(' exp ')' %prec UNARY
924 { $$ = exp_unop ((int) $1,$3); }
925 | '!' exp %prec UNARY
926 { $$ = exp_unop ('!', $2); }
927 | '+' exp %prec UNARY
928 { $$ = $2; }
929 | '~' exp %prec UNARY
930 { $$ = exp_unop ('~', $2);}
931
932 | exp '*' exp
933 { $$ = exp_binop ('*', $1, $3); }
934 | exp '/' exp
935 { $$ = exp_binop ('/', $1, $3); }
936 | exp '%' exp
937 { $$ = exp_binop ('%', $1, $3); }
938 | exp '+' exp
939 { $$ = exp_binop ('+', $1, $3); }
940 | exp '-' exp
941 { $$ = exp_binop ('-' , $1, $3); }
942 | exp LSHIFT exp
943 { $$ = exp_binop (LSHIFT , $1, $3); }
944 | exp RSHIFT exp
945 { $$ = exp_binop (RSHIFT , $1, $3); }
946 | exp EQ exp
947 { $$ = exp_binop (EQ , $1, $3); }
948 | exp NE exp
949 { $$ = exp_binop (NE , $1, $3); }
950 | exp LE exp
951 { $$ = exp_binop (LE , $1, $3); }
952 | exp GE exp
953 { $$ = exp_binop (GE , $1, $3); }
954 | exp '<' exp
955 { $$ = exp_binop ('<' , $1, $3); }
956 | exp '>' exp
957 { $$ = exp_binop ('>' , $1, $3); }
958 | exp '&' exp
959 { $$ = exp_binop ('&' , $1, $3); }
960 | exp '^' exp
961 { $$ = exp_binop ('^' , $1, $3); }
962 | exp '|' exp
963 { $$ = exp_binop ('|' , $1, $3); }
964 | exp '?' exp ':' exp
965 { $$ = exp_trinop ('?' , $1, $3, $5); }
966 | exp ANDAND exp
967 { $$ = exp_binop (ANDAND , $1, $3); }
968 | exp OROR exp
969 { $$ = exp_binop (OROR , $1, $3); }
970 | DEFINED '(' NAME ')'
971 { $$ = exp_nameop (DEFINED, $3); }
972 | INT
973 { $$ = exp_bigintop ($1.integer, $1.str); }
974 | SIZEOF_HEADERS
975 { $$ = exp_nameop (SIZEOF_HEADERS,0); }
976
977 | ALIGNOF '(' NAME ')'
978 { $$ = exp_nameop (ALIGNOF,$3); }
979 | SIZEOF '(' NAME ')'
980 { $$ = exp_nameop (SIZEOF,$3); }
981 | ADDR '(' NAME ')'
982 { $$ = exp_nameop (ADDR,$3); }
983 | LOADADDR '(' NAME ')'
984 { $$ = exp_nameop (LOADADDR,$3); }
985 | CONSTANT '(' NAME ')'
986 { $$ = exp_nameop (CONSTANT,$3); }
987 | ABSOLUTE '(' exp ')'
988 { $$ = exp_unop (ABSOLUTE, $3); }
989 | ALIGN_K '(' exp ')'
990 { $$ = exp_unop (ALIGN_K,$3); }
991 | ALIGN_K '(' exp ',' exp ')'
992 { $$ = exp_binop (ALIGN_K,$3,$5); }
993 | DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
994 { $$ = exp_binop (DATA_SEGMENT_ALIGN, $3, $5); }
995 | DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
996 { $$ = exp_binop (DATA_SEGMENT_RELRO_END, $5, $3); }
997 | DATA_SEGMENT_END '(' exp ')'
998 { $$ = exp_unop (DATA_SEGMENT_END, $3); }
999 | SEGMENT_START '(' NAME ',' exp ')'
1000 { /* The operands to the expression node are
1001 placed in the opposite order from the way
1002 in which they appear in the script as
1003 that allows us to reuse more code in
1004 fold_binary. */
1005 $$ = exp_binop (SEGMENT_START,
1006 $5,
1007 exp_nameop (NAME, $3)); }
1008 | BLOCK '(' exp ')'
1009 { $$ = exp_unop (ALIGN_K,$3); }
1010 | NAME
1011 { $$ = exp_nameop (NAME,$1); }
1012 | MAX_K '(' exp ',' exp ')'
1013 { $$ = exp_binop (MAX_K, $3, $5 ); }
1014 | MIN_K '(' exp ',' exp ')'
1015 { $$ = exp_binop (MIN_K, $3, $5 ); }
1016 | ASSERT_K '(' exp ',' NAME ')'
1017 { $$ = exp_assert ($3, $5); }
1018 | ORIGIN '(' NAME ')'
1019 { $$ = exp_nameop (ORIGIN, $3); }
1020 | LENGTH '(' NAME ')'
1021 { $$ = exp_nameop (LENGTH, $3); }
1022 | LOG2CEIL '(' exp ')'
1023 { $$ = exp_unop (LOG2CEIL, $3); }
1024 ;
1025
1026
1027 memspec_at_opt:
1028 AT '>' NAME { $$ = $3; }
1029 | { $$ = 0; }
1030 ;
1031
1032 opt_at:
1033 AT '(' exp ')' { $$ = $3; }
1034 | { $$ = 0; }
1035 ;
1036
1037 opt_align:
1038 ALIGN_K '(' exp ')' { $$ = $3; }
1039 | { $$ = 0; }
1040 ;
1041
1042 opt_align_with_input:
1043 ALIGN_WITH_INPUT { $$ = ALIGN_WITH_INPUT; }
1044 | { $$ = 0; }
1045 ;
1046
1047 opt_subalign:
1048 SUBALIGN '(' exp ')' { $$ = $3; }
1049 | { $$ = 0; }
1050 ;
1051
1052 sect_constraint:
1053 ONLY_IF_RO { $$ = ONLY_IF_RO; }
1054 | ONLY_IF_RW { $$ = ONLY_IF_RW; }
1055 | SPECIAL { $$ = SPECIAL; }
1056 | { $$ = 0; }
1057 ;
1058
1059 section: NAME { ldlex_expression(); }
1060 opt_exp_with_type
1061 opt_at
1062 opt_align
1063 opt_align_with_input
1064 opt_subalign { ldlex_popstate (); ldlex_script (); }
1065 sect_constraint
1066 '{'
1067 {
1068 lang_enter_output_section_statement($1, $3,
1069 sectype,
1070 $5, $7, $4, $9, $6);
1071 }
1072 statement_list_opt
1073 '}' { ldlex_popstate (); ldlex_expression (); }
1074 memspec_opt memspec_at_opt phdr_opt fill_opt
1075 {
1076 ldlex_popstate ();
1077 lang_leave_output_section_statement ($18, $15, $17, $16);
1078 }
1079 opt_comma
1080 {}
1081 | OVERLAY
1082 { ldlex_expression (); }
1083 opt_exp_without_type opt_nocrossrefs opt_at opt_subalign
1084 { ldlex_popstate (); ldlex_script (); }
1085 '{'
1086 {
1087 lang_enter_overlay ($3, $6);
1088 }
1089 overlay_section
1090 '}'
1091 { ldlex_popstate (); ldlex_expression (); }
1092 memspec_opt memspec_at_opt phdr_opt fill_opt
1093 {
1094 ldlex_popstate ();
1095 lang_leave_overlay ($5, (int) $4,
1096 $16, $13, $15, $14);
1097 }
1098 opt_comma
1099 | /* The GROUP case is just enough to support the gcc
1100 svr3.ifile script. It is not intended to be full
1101 support. I'm not even sure what GROUP is supposed
1102 to mean. */
1103 GROUP { ldlex_expression (); }
1104 opt_exp_with_type
1105 {
1106 ldlex_popstate ();
1107 lang_add_assignment (exp_assign (".", $3, FALSE));
1108 }
1109 '{' sec_or_group_p1 '}'
1110 | INCLUDE filename
1111 { ldlex_script (); ldfile_open_command_file($2); }
1112 sec_or_group_p1 END
1113 { ldlex_popstate (); }
1114 ;
1115
1116 type:
1117 NOLOAD { sectype = noload_section; }
1118 | DSECT { sectype = noalloc_section; }
1119 | COPY { sectype = noalloc_section; }
1120 | INFO { sectype = noalloc_section; }
1121 | OVERLAY { sectype = noalloc_section; }
1122 ;
1123
1124 atype:
1125 '(' type ')'
1126 | /* EMPTY */ { sectype = normal_section; }
1127 | '(' ')' { sectype = normal_section; }
1128 ;
1129
1130 opt_exp_with_type:
1131 exp atype ':' { $$ = $1; }
1132 | atype ':' { $$ = (etree_type *)NULL; }
1133 | /* The BIND cases are to support the gcc svr3.ifile
1134 script. They aren't intended to implement full
1135 support for the BIND keyword. I'm not even sure
1136 what BIND is supposed to mean. */
1137 BIND '(' exp ')' atype ':' { $$ = $3; }
1138 | BIND '(' exp ')' BLOCK '(' exp ')' atype ':'
1139 { $$ = $3; }
1140 ;
1141
1142 opt_exp_without_type:
1143 exp ':' { $$ = $1; }
1144 | ':' { $$ = (etree_type *) NULL; }
1145 ;
1146
1147 opt_nocrossrefs:
1148 /* empty */
1149 { $$ = 0; }
1150 | NOCROSSREFS
1151 { $$ = 1; }
1152 ;
1153
1154 memspec_opt:
1155 '>' NAME
1156 { $$ = $2; }
1157 | { $$ = DEFAULT_MEMORY_REGION; }
1158 ;
1159
1160 phdr_opt:
1161 /* empty */
1162 {
1163 $$ = NULL;
1164 }
1165 | phdr_opt ':' NAME
1166 {
1167 struct lang_output_section_phdr_list *n;
1168
1169 n = ((struct lang_output_section_phdr_list *)
1170 xmalloc (sizeof *n));
1171 n->name = $3;
1172 n->used = FALSE;
1173 n->next = $1;
1174 $$ = n;
1175 }
1176 ;
1177
1178 overlay_section:
1179 /* empty */
1180 | overlay_section
1181 NAME
1182 {
1183 ldlex_script ();
1184 lang_enter_overlay_section ($2);
1185 }
1186 '{' statement_list_opt '}'
1187 { ldlex_popstate (); ldlex_expression (); }
1188 phdr_opt fill_opt
1189 {
1190 ldlex_popstate ();
1191 lang_leave_overlay_section ($9, $8);
1192 }
1193 opt_comma
1194 ;
1195
1196 phdrs:
1197 PHDRS '{' phdr_list '}'
1198 ;
1199
1200 phdr_list:
1201 /* empty */
1202 | phdr_list phdr
1203 ;
1204
1205 phdr:
1206 NAME { ldlex_expression (); }
1207 phdr_type phdr_qualifiers { ldlex_popstate (); }
1208 ';'
1209 {
1210 lang_new_phdr ($1, $3, $4.filehdr, $4.phdrs, $4.at,
1211 $4.flags);
1212 }
1213 ;
1214
1215 phdr_type:
1216 exp
1217 {
1218 $$ = $1;
1219
1220 if ($1->type.node_class == etree_name
1221 && $1->type.node_code == NAME)
1222 {
1223 const char *s;
1224 unsigned int i;
1225 static const char * const phdr_types[] =
1226 {
1227 "PT_NULL", "PT_LOAD", "PT_DYNAMIC",
1228 "PT_INTERP", "PT_NOTE", "PT_SHLIB",
1229 "PT_PHDR", "PT_TLS"
1230 };
1231
1232 s = $1->name.name;
1233 for (i = 0;
1234 i < sizeof phdr_types / sizeof phdr_types[0];
1235 i++)
1236 if (strcmp (s, phdr_types[i]) == 0)
1237 {
1238 $$ = exp_intop (i);
1239 break;
1240 }
1241 if (i == sizeof phdr_types / sizeof phdr_types[0])
1242 {
1243 if (strcmp (s, "PT_GNU_EH_FRAME") == 0)
1244 $$ = exp_intop (0x6474e550);
1245 else if (strcmp (s, "PT_GNU_STACK") == 0)
1246 $$ = exp_intop (0x6474e551);
1247 else
1248 {
1249 einfo (_("\
1250 %X%P:%S: unknown phdr type `%s' (try integer literal)\n"),
1251 NULL, s);
1252 $$ = exp_intop (0);
1253 }
1254 }
1255 }
1256 }
1257 ;
1258
1259 phdr_qualifiers:
1260 /* empty */
1261 {
1262 memset (&$$, 0, sizeof (struct phdr_info));
1263 }
1264 | NAME phdr_val phdr_qualifiers
1265 {
1266 $$ = $3;
1267 if (strcmp ($1, "FILEHDR") == 0 && $2 == NULL)
1268 $$.filehdr = TRUE;
1269 else if (strcmp ($1, "PHDRS") == 0 && $2 == NULL)
1270 $$.phdrs = TRUE;
1271 else if (strcmp ($1, "FLAGS") == 0 && $2 != NULL)
1272 $$.flags = $2;
1273 else
1274 einfo (_("%X%P:%S: PHDRS syntax error at `%s'\n"),
1275 NULL, $1);
1276 }
1277 | AT '(' exp ')' phdr_qualifiers
1278 {
1279 $$ = $5;
1280 $$.at = $3;
1281 }
1282 ;
1283
1284 phdr_val:
1285 /* empty */
1286 {
1287 $$ = NULL;
1288 }
1289 | '(' exp ')'
1290 {
1291 $$ = $2;
1292 }
1293 ;
1294
1295 dynamic_list_file:
1296 {
1297 ldlex_version_file ();
1298 PUSH_ERROR (_("dynamic list"));
1299 }
1300 dynamic_list_nodes
1301 {
1302 ldlex_popstate ();
1303 POP_ERROR ();
1304 }
1305 ;
1306
1307 dynamic_list_nodes:
1308 dynamic_list_node
1309 | dynamic_list_nodes dynamic_list_node
1310 ;
1311
1312 dynamic_list_node:
1313 '{' dynamic_list_tag '}' ';'
1314 ;
1315
1316 dynamic_list_tag:
1317 vers_defns ';'
1318 {
1319 lang_append_dynamic_list ($1);
1320 }
1321 ;
1322
1323 /* This syntax is used within an external version script file. */
1324
1325 version_script_file:
1326 {
1327 ldlex_version_file ();
1328 PUSH_ERROR (_("VERSION script"));
1329 }
1330 vers_nodes
1331 {
1332 ldlex_popstate ();
1333 POP_ERROR ();
1334 }
1335 ;
1336
1337 /* This is used within a normal linker script file. */
1338
1339 version:
1340 {
1341 ldlex_version_script ();
1342 }
1343 VERSIONK '{' vers_nodes '}'
1344 {
1345 ldlex_popstate ();
1346 }
1347 ;
1348
1349 vers_nodes:
1350 vers_node
1351 | vers_nodes vers_node
1352 ;
1353
1354 vers_node:
1355 '{' vers_tag '}' ';'
1356 {
1357 lang_register_vers_node (NULL, $2, NULL);
1358 }
1359 | VERS_TAG '{' vers_tag '}' ';'
1360 {
1361 lang_register_vers_node ($1, $3, NULL);
1362 }
1363 | VERS_TAG '{' vers_tag '}' verdep ';'
1364 {
1365 lang_register_vers_node ($1, $3, $5);
1366 }
1367 ;
1368
1369 verdep:
1370 VERS_TAG
1371 {
1372 $$ = lang_add_vers_depend (NULL, $1);
1373 }
1374 | verdep VERS_TAG
1375 {
1376 $$ = lang_add_vers_depend ($1, $2);
1377 }
1378 ;
1379
1380 vers_tag:
1381 /* empty */
1382 {
1383 $$ = lang_new_vers_node (NULL, NULL);
1384 }
1385 | vers_defns ';'
1386 {
1387 $$ = lang_new_vers_node ($1, NULL);
1388 }
1389 | GLOBAL ':' vers_defns ';'
1390 {
1391 $$ = lang_new_vers_node ($3, NULL);
1392 }
1393 | LOCAL ':' vers_defns ';'
1394 {
1395 $$ = lang_new_vers_node (NULL, $3);
1396 }
1397 | GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
1398 {
1399 $$ = lang_new_vers_node ($3, $7);
1400 }
1401 ;
1402
1403 vers_defns:
1404 VERS_IDENTIFIER
1405 {
1406 $$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, FALSE);
1407 }
1408 | NAME
1409 {
1410 $$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, TRUE);
1411 }
1412 | vers_defns ';' VERS_IDENTIFIER
1413 {
1414 $$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, FALSE);
1415 }
1416 | vers_defns ';' NAME
1417 {
1418 $$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, TRUE);
1419 }
1420 | vers_defns ';' EXTERN NAME '{'
1421 {
1422 $<name>$ = ldgram_vers_current_lang;
1423 ldgram_vers_current_lang = $4;
1424 }
1425 vers_defns opt_semicolon '}'
1426 {
1427 struct bfd_elf_version_expr *pat;
1428 for (pat = $7; pat->next != NULL; pat = pat->next);
1429 pat->next = $1;
1430 $$ = $7;
1431 ldgram_vers_current_lang = $<name>6;
1432 }
1433 | EXTERN NAME '{'
1434 {
1435 $<name>$ = ldgram_vers_current_lang;
1436 ldgram_vers_current_lang = $2;
1437 }
1438 vers_defns opt_semicolon '}'
1439 {
1440 $$ = $5;
1441 ldgram_vers_current_lang = $<name>4;
1442 }
1443 | GLOBAL
1444 {
1445 $$ = lang_new_vers_pattern (NULL, "global", ldgram_vers_current_lang, FALSE);
1446 }
1447 | vers_defns ';' GLOBAL
1448 {
1449 $$ = lang_new_vers_pattern ($1, "global", ldgram_vers_current_lang, FALSE);
1450 }
1451 | LOCAL
1452 {
1453 $$ = lang_new_vers_pattern (NULL, "local", ldgram_vers_current_lang, FALSE);
1454 }
1455 | vers_defns ';' LOCAL
1456 {
1457 $$ = lang_new_vers_pattern ($1, "local", ldgram_vers_current_lang, FALSE);
1458 }
1459 | EXTERN
1460 {
1461 $$ = lang_new_vers_pattern (NULL, "extern", ldgram_vers_current_lang, FALSE);
1462 }
1463 | vers_defns ';' EXTERN
1464 {
1465 $$ = lang_new_vers_pattern ($1, "extern", ldgram_vers_current_lang, FALSE);
1466 }
1467 ;
1468
1469 opt_semicolon:
1470 /* empty */
1471 | ';'
1472 ;
1473
1474 %%
1475 void
yyerror(arg)1476 yyerror(arg)
1477 const char *arg;
1478 {
1479 if (ldfile_assumed_script)
1480 einfo (_("%P:%s: file format not recognized; treating as linker script\n"),
1481 ldlex_filename ());
1482 if (error_index > 0 && error_index < ERROR_NAME_MAX)
1483 einfo ("%P%F:%S: %s in %s\n", NULL, arg, error_names[error_index - 1]);
1484 else
1485 einfo ("%P%F:%S: %s\n", NULL, arg);
1486 }
1487