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