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