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