ldgram.y revision 1.7
1218885Sdim/* A YACC grammar to parse a superset of the AT&T linker scripting language. 2218885Sdim Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 3218885Sdim 2001, 2002, 2003 Free Software Foundation, Inc. 4218885Sdim Written by Steve Chamberlain of Cygnus Support (steve@cygnus.com). 5218885Sdim 6218885SdimThis file is part of GNU ld. 7218885Sdim 8218885SdimThis program is free software; you can redistribute it and/or modify 9218885Sdimit under the terms of the GNU General Public License as published by 10218885Sdimthe Free Software Foundation; either version 2 of the License, or 11218885Sdim(at your option) any later version. 12218885Sdim 13218885SdimThis program is distributed in the hope that it will be useful, 14276479Sdimbut WITHOUT ANY WARRANTY; without even the implied warranty of 15218885SdimMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16218885SdimGNU General Public License for more details. 17218885Sdim 18218885SdimYou should have received a copy of the GNU General Public License 19218885Sdimalong with this program; if not, write to the Free Software 20218885SdimFoundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ 21218885Sdim 22218885Sdim%{ 23218885Sdim/* 24218885Sdim 25218885Sdim */ 26218885Sdim 27218885Sdim#define DONTDECLARE_MALLOC 28218885Sdim 29218885Sdim#include "bfd.h" 30218885Sdim#include "sysdep.h" 31218885Sdim#include "bfdlink.h" 32218885Sdim#include "ld.h" 33218885Sdim#include "ldexp.h" 34288943Sdim#include "ldver.h" 35288943Sdim#include "ldlang.h" 36226633Sdim#include "ldfile.h" 37218885Sdim#include "ldemul.h" 38288943Sdim#include "ldmisc.h" 39288943Sdim#include "ldmain.h" 40288943Sdim#include "mri.h" 41288943Sdim#include "ldctor.h" 42288943Sdim#include "ldlex.h" 43288943Sdim 44288943Sdim#ifndef YYDEBUG 45288943Sdim#define YYDEBUG 1 46288943Sdim#endif 47280031Sdim 48288943Sdimstatic enum section_type sectype; 49280031Sdim 50280031Sdimlang_memory_region_type *region; 51280031Sdim 52218885Sdimbfd_boolean ldgram_want_filename = TRUE; 53218885SdimFILE *saved_script_handle = NULL; 54226633Sdimbfd_boolean force_make_executable = FALSE; 55226633Sdim 56261991Sdimbfd_boolean ldgram_in_script = FALSE; 57218885Sdimbfd_boolean ldgram_had_equals = FALSE; 58226633Sdimbfd_boolean ldgram_had_keep = FALSE; 59226633Sdimchar *ldgram_vers_current_lang = NULL; 60226633Sdim 61226633Sdim#define ERROR_NAME_MAX 20 62218885Sdimstatic char *error_names[ERROR_NAME_MAX]; 63288943Sdimstatic int error_index; 64288943Sdim#define PUSH_ERROR(x) if (error_index < ERROR_NAME_MAX) error_names[error_index] = x; error_index++; 65288943Sdim#define POP_ERROR() error_index--; 66288943Sdim%} 67288943Sdim%union { 68288943Sdim bfd_vma integer; 69288943Sdim struct big_int 70288943Sdim { 71226633Sdim bfd_vma integer; 72226633Sdim char *str; 73226633Sdim } bigint; 74218885Sdim fill_type *fill; 75261991Sdim char *name; 76261991Sdim const char *cname; 77276479Sdim struct wildcard_spec wildcard; 78261991Sdim struct wildcard_list *wildcard_list; 79296417Sdim struct name_list *name_list; 80261991Sdim int token; 81261991Sdim union etree_union *etree; 82226633Sdim struct phdr_info 83261991Sdim { 84218885Sdim bfd_boolean filehdr; 85226633Sdim bfd_boolean phdrs; 86296417Sdim union etree_union *at; 87226633Sdim union etree_union *flags; 88226633Sdim } phdr; 89226633Sdim struct lang_nocrossref *nocrossref; 90226633Sdim struct lang_output_section_phdr_list *section_phdr; 91226633Sdim struct bfd_elf_version_deps *deflist; 92226633Sdim struct bfd_elf_version_expr *versyms; 93226633Sdim struct bfd_elf_version_tree *versnode; 94226633Sdim} 95226633Sdim 96226633Sdim%type <etree> exp opt_exp_with_type mustbe_exp opt_at phdr_type phdr_val 97226633Sdim%type <etree> opt_exp_without_type opt_subalign 98226633Sdim%type <fill> fill_opt fill_exp 99218885Sdim%type <name_list> exclude_name_list 100218885Sdim%type <wildcard_list> file_NAME_list 101218885Sdim%type <name> memspec_opt casesymlist 102218885Sdim%type <name> memspec_at_opt 103218885Sdim%type <cname> wildcard_name 104218885Sdim%type <wildcard> wildcard_spec 105218885Sdim%token <bigint> INT 106218885Sdim%token <name> NAME LNAME 107280031Sdim%type <integer> length 108280031Sdim%type <phdr> phdr_qualifiers 109280031Sdim%type <nocrossref> nocrossref_list 110280031Sdim%type <section_phdr> phdr_opt 111280031Sdim%type <integer> opt_nocrossrefs 112280031Sdim 113280031Sdim%right <token> PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ 114280031Sdim%right <token> '?' ':' 115280031Sdim%left <token> OROR 116280031Sdim%left <token> ANDAND 117280031Sdim%left <token> '|' 118280031Sdim%left <token> '^' 119218885Sdim%left <token> '&' 120218885Sdim%left <token> EQ NE 121218885Sdim%left <token> '<' '>' LE GE 122218885Sdim%left <token> LSHIFT RSHIFT 123280031Sdim 124280031Sdim%left <token> '+' '-' 125218885Sdim%left <token> '*' '/' '%' 126218885Sdim 127261991Sdim%right UNARY 128226633Sdim%token END 129218885Sdim%left <token> '(' 130261991Sdim%token <token> ALIGN_K BLOCK BIND QUAD SQUAD LONG SHORT BYTE 131226633Sdim%token SECTIONS PHDRS SORT DATA_SEGMENT_ALIGN DATA_SEGMENT_END 132226633Sdim%token '{' '}' 133226633Sdim%token SIZEOF_HEADERS OUTPUT_FORMAT FORCE_COMMON_ALLOCATION OUTPUT_ARCH 134226633Sdim%token INHIBIT_COMMON_ALLOCATION 135218885Sdim%token SIZEOF_HEADERS 136218885Sdim%token INCLUDE 137218885Sdim%token MEMORY DEFSYMEND 138226633Sdim%token NOLOAD DSECT COPY INFO OVERLAY 139226633Sdim%token NAME LNAME DEFINED TARGET_K SEARCH_DIR MAP ENTRY 140226633Sdim%token <integer> NEXT 141226633Sdim%token SIZEOF ADDR LOADADDR MAX_K MIN_K 142226633Sdim%token STARTUP HLL SYSLIB FLOAT NOFLOAT NOCROSSREFS 143226633Sdim%token ORIGIN FILL 144226633Sdim%token LENGTH CREATE_OBJECT_SYMBOLS INPUT GROUP OUTPUT CONSTRUCTORS 145218885Sdim%token ALIGNMOD AT SUBALIGN PROVIDE 146218885Sdim%type <token> assign_op atype attributes_opt 147218885Sdim%type <name> filename 148280031Sdim%token CHIP LIST SECT ABSOLUTE LOAD NEWLINE ENDWORD ORDER NAMEWORD ASSERT_K 149280031Sdim%token FORMAT PUBLIC DEFSYMEND BASE ALIAS TRUNCATE REL 150280031Sdim%token INPUT_SCRIPT INPUT_MRI_SCRIPT INPUT_DEFSYM CASE EXTERN START 151280031Sdim%token <name> VERS_TAG VERS_IDENTIFIER 152280031Sdim%token GLOBAL LOCAL VERSIONK INPUT_VERSION_SCRIPT 153280031Sdim%token KEEP 154218885Sdim%token EXCLUDE_FILE 155280031Sdim%type <versyms> vers_defns 156280031Sdim%type <versnode> vers_tag 157280031Sdim%type <deflist> verdep 158280031Sdim 159280031Sdim%% 160280031Sdim 161280031Sdimfile: 162218885Sdim INPUT_SCRIPT script_file 163280031Sdim | INPUT_MRI_SCRIPT mri_script_file 164218885Sdim | INPUT_VERSION_SCRIPT version_script_file 165218885Sdim | INPUT_DEFSYM defsym_expr 166280031Sdim ; 167280031Sdim 168280031Sdim 169280031Sdimfilename: NAME; 170218885Sdim 171218885Sdim 172218885Sdimdefsym_expr: 173218885Sdim { ldlex_defsym(); } 174226633Sdim NAME '=' exp 175226633Sdim { 176226633Sdim ldlex_popstate(); 177226633Sdim lang_add_assignment(exp_assop($3,$2,$4)); 178226633Sdim } 179226633Sdim ; 180218885Sdim 181226633Sdim/* SYNTAX WITHIN AN MRI SCRIPT FILE */ 182226633Sdimmri_script_file: 183 { 184 ldlex_mri_script (); 185 PUSH_ERROR (_("MRI style script")); 186 } 187 mri_script_lines 188 { 189 ldlex_popstate (); 190 mri_draw_tree (); 191 POP_ERROR (); 192 } 193 ; 194 195mri_script_lines: 196 mri_script_lines mri_script_command NEWLINE 197 | 198 ; 199 200mri_script_command: 201 CHIP exp 202 | CHIP exp ',' exp 203 | NAME { 204 einfo(_("%P%F: unrecognised keyword in MRI style script '%s'\n"),$1); 205 } 206 | LIST { 207 config.map_filename = "-"; 208 } 209 | ORDER ordernamelist 210 | ENDWORD 211 | PUBLIC NAME '=' exp 212 { mri_public($2, $4); } 213 | PUBLIC NAME ',' exp 214 { mri_public($2, $4); } 215 | PUBLIC NAME exp 216 { mri_public($2, $3); } 217 | FORMAT NAME 218 { mri_format($2); } 219 | SECT NAME ',' exp 220 { mri_output_section($2, $4);} 221 | SECT NAME exp 222 { mri_output_section($2, $3);} 223 | SECT NAME '=' exp 224 { mri_output_section($2, $4);} 225 | ALIGN_K NAME '=' exp 226 { mri_align($2,$4); } 227 | ALIGN_K NAME ',' exp 228 { mri_align($2,$4); } 229 | ALIGNMOD NAME '=' exp 230 { mri_alignmod($2,$4); } 231 | ALIGNMOD NAME ',' exp 232 { mri_alignmod($2,$4); } 233 | ABSOLUTE mri_abs_name_list 234 | LOAD mri_load_name_list 235 | NAMEWORD NAME 236 { mri_name($2); } 237 | ALIAS NAME ',' NAME 238 { mri_alias($2,$4,0);} 239 | ALIAS NAME ',' INT 240 { mri_alias ($2, 0, (int) $4.integer); } 241 | BASE exp 242 { mri_base($2); } 243 | TRUNCATE INT 244 { mri_truncate ((unsigned int) $2.integer); } 245 | CASE casesymlist 246 | EXTERN extern_name_list 247 | INCLUDE filename 248 { ldlex_script (); ldfile_open_command_file($2); } 249 mri_script_lines END 250 { ldlex_popstate (); } 251 | START NAME 252 { lang_add_entry ($2, FALSE); } 253 | 254 ; 255 256ordernamelist: 257 ordernamelist ',' NAME { mri_order($3); } 258 | ordernamelist NAME { mri_order($2); } 259 | 260 ; 261 262mri_load_name_list: 263 NAME 264 { mri_load($1); } 265 | mri_load_name_list ',' NAME { mri_load($3); } 266 ; 267 268mri_abs_name_list: 269 NAME 270 { mri_only_load($1); } 271 | mri_abs_name_list ',' NAME 272 { mri_only_load($3); } 273 ; 274 275casesymlist: 276 /* empty */ { $$ = NULL; } 277 | NAME 278 | casesymlist ',' NAME 279 ; 280 281extern_name_list: 282 NAME 283 { ldlang_add_undef ($1); } 284 | extern_name_list NAME 285 { ldlang_add_undef ($2); } 286 | extern_name_list ',' NAME 287 { ldlang_add_undef ($3); } 288 ; 289 290script_file: 291 { 292 ldlex_both(); 293 } 294 ifile_list 295 { 296 ldlex_popstate(); 297 } 298 ; 299 300 301ifile_list: 302 ifile_list ifile_p1 303 | 304 ; 305 306 307 308ifile_p1: 309 memory 310 | sections 311 | phdrs 312 | startup 313 | high_level_library 314 | low_level_library 315 | floating_point_support 316 | statement_anywhere 317 | version 318 | ';' 319 | TARGET_K '(' NAME ')' 320 { lang_add_target($3); } 321 | SEARCH_DIR '(' filename ')' 322 { ldfile_add_library_path ($3, FALSE); } 323 | OUTPUT '(' filename ')' 324 { lang_add_output($3, 1); } 325 | OUTPUT_FORMAT '(' NAME ')' 326 { lang_add_output_format ($3, (char *) NULL, 327 (char *) NULL, 1); } 328 | OUTPUT_FORMAT '(' NAME ',' NAME ',' NAME ')' 329 { lang_add_output_format ($3, $5, $7, 1); } 330 | OUTPUT_ARCH '(' NAME ')' 331 { ldfile_set_output_arch ($3, bfd_arch_unknown); } 332 | FORCE_COMMON_ALLOCATION 333 { command_line.force_common_definition = TRUE ; } 334 | INHIBIT_COMMON_ALLOCATION 335 { command_line.inhibit_common_definition = TRUE ; } 336 | INPUT '(' input_list ')' 337 | GROUP 338 { lang_enter_group (); } 339 '(' input_list ')' 340 { lang_leave_group (); } 341 | MAP '(' filename ')' 342 { lang_add_map($3); } 343 | INCLUDE filename 344 { ldlex_script (); ldfile_open_command_file($2); } 345 ifile_list END 346 { ldlex_popstate (); } 347 | NOCROSSREFS '(' nocrossref_list ')' 348 { 349 lang_add_nocrossref ($3); 350 } 351 | EXTERN '(' extern_name_list ')' 352 ; 353 354input_list: 355 NAME 356 { lang_add_input_file($1,lang_input_file_is_search_file_enum, 357 (char *)NULL); } 358 | input_list ',' NAME 359 { lang_add_input_file($3,lang_input_file_is_search_file_enum, 360 (char *)NULL); } 361 | input_list NAME 362 { lang_add_input_file($2,lang_input_file_is_search_file_enum, 363 (char *)NULL); } 364 | LNAME 365 { lang_add_input_file($1,lang_input_file_is_l_enum, 366 (char *)NULL); } 367 | input_list ',' LNAME 368 { lang_add_input_file($3,lang_input_file_is_l_enum, 369 (char *)NULL); } 370 | input_list LNAME 371 { lang_add_input_file($2,lang_input_file_is_l_enum, 372 (char *)NULL); } 373 ; 374 375sections: 376 SECTIONS '{' sec_or_group_p1 '}' 377 ; 378 379sec_or_group_p1: 380 sec_or_group_p1 section 381 | sec_or_group_p1 statement_anywhere 382 | 383 ; 384 385statement_anywhere: 386 ENTRY '(' NAME ')' 387 { lang_add_entry ($3, FALSE); } 388 | assignment end 389 | ASSERT_K {ldlex_expression ();} '(' exp ',' NAME ')' 390 { ldlex_popstate (); 391 lang_add_assignment (exp_assert ($4, $6)); } 392 ; 393 394/* The '*' and '?' cases are there because the lexer returns them as 395 separate tokens rather than as NAME. */ 396wildcard_name: 397 NAME 398 { 399 $$ = $1; 400 } 401 | '*' 402 { 403 $$ = "*"; 404 } 405 | '?' 406 { 407 $$ = "?"; 408 } 409 ; 410 411wildcard_spec: 412 wildcard_name 413 { 414 $$.name = $1; 415 $$.sorted = FALSE; 416 $$.exclude_name_list = NULL; 417 } 418 | EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name 419 { 420 $$.name = $5; 421 $$.sorted = FALSE; 422 $$.exclude_name_list = $3; 423 } 424 | SORT '(' wildcard_name ')' 425 { 426 $$.name = $3; 427 $$.sorted = TRUE; 428 $$.exclude_name_list = NULL; 429 } 430 | SORT '(' EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name ')' 431 { 432 $$.name = $7; 433 $$.sorted = TRUE; 434 $$.exclude_name_list = $5; 435 } 436 ; 437 438exclude_name_list: 439 exclude_name_list wildcard_name 440 { 441 struct name_list *tmp; 442 tmp = (struct name_list *) xmalloc (sizeof *tmp); 443 tmp->name = $2; 444 tmp->next = $1; 445 $$ = tmp; 446 } 447 | 448 wildcard_name 449 { 450 struct name_list *tmp; 451 tmp = (struct name_list *) xmalloc (sizeof *tmp); 452 tmp->name = $1; 453 tmp->next = NULL; 454 $$ = tmp; 455 } 456 ; 457 458file_NAME_list: 459 file_NAME_list opt_comma wildcard_spec 460 { 461 struct wildcard_list *tmp; 462 tmp = (struct wildcard_list *) xmalloc (sizeof *tmp); 463 tmp->next = $1; 464 tmp->spec = $3; 465 $$ = tmp; 466 } 467 | 468 wildcard_spec 469 { 470 struct wildcard_list *tmp; 471 tmp = (struct wildcard_list *) xmalloc (sizeof *tmp); 472 tmp->next = NULL; 473 tmp->spec = $1; 474 $$ = tmp; 475 } 476 ; 477 478input_section_spec_no_keep: 479 NAME 480 { 481 struct wildcard_spec tmp; 482 tmp.name = $1; 483 tmp.exclude_name_list = NULL; 484 tmp.sorted = FALSE; 485 lang_add_wild (&tmp, NULL, ldgram_had_keep); 486 } 487 | '[' file_NAME_list ']' 488 { 489 lang_add_wild (NULL, $2, ldgram_had_keep); 490 } 491 | wildcard_spec '(' file_NAME_list ')' 492 { 493 lang_add_wild (&$1, $3, ldgram_had_keep); 494 } 495 ; 496 497input_section_spec: 498 input_section_spec_no_keep 499 | KEEP '(' 500 { ldgram_had_keep = TRUE; } 501 input_section_spec_no_keep ')' 502 { ldgram_had_keep = FALSE; } 503 ; 504 505statement: 506 assignment end 507 | CREATE_OBJECT_SYMBOLS 508 { 509 lang_add_attribute(lang_object_symbols_statement_enum); 510 } 511 | ';' 512 | CONSTRUCTORS 513 { 514 515 lang_add_attribute(lang_constructors_statement_enum); 516 } 517 | SORT '(' CONSTRUCTORS ')' 518 { 519 constructors_sorted = TRUE; 520 lang_add_attribute (lang_constructors_statement_enum); 521 } 522 | input_section_spec 523 | length '(' mustbe_exp ')' 524 { 525 lang_add_data ((int) $1, $3); 526 } 527 528 | FILL '(' fill_exp ')' 529 { 530 lang_add_fill ($3); 531 } 532 ; 533 534statement_list: 535 statement_list statement 536 | statement 537 ; 538 539statement_list_opt: 540 /* empty */ 541 | statement_list 542 ; 543 544length: 545 QUAD 546 { $$ = $1; } 547 | SQUAD 548 { $$ = $1; } 549 | LONG 550 { $$ = $1; } 551 | SHORT 552 { $$ = $1; } 553 | BYTE 554 { $$ = $1; } 555 ; 556 557fill_exp: 558 mustbe_exp 559 { 560 $$ = exp_get_fill ($1, 561 0, 562 "fill value", 563 lang_first_phase_enum); 564 } 565 ; 566 567fill_opt: 568 '=' fill_exp 569 { $$ = $2; } 570 | { $$ = (fill_type *) 0; } 571 ; 572 573assign_op: 574 PLUSEQ 575 { $$ = '+'; } 576 | MINUSEQ 577 { $$ = '-'; } 578 | MULTEQ 579 { $$ = '*'; } 580 | DIVEQ 581 { $$ = '/'; } 582 | LSHIFTEQ 583 { $$ = LSHIFT; } 584 | RSHIFTEQ 585 { $$ = RSHIFT; } 586 | ANDEQ 587 { $$ = '&'; } 588 | OREQ 589 { $$ = '|'; } 590 591 ; 592 593end: ';' | ',' 594 ; 595 596 597assignment: 598 NAME '=' mustbe_exp 599 { 600 lang_add_assignment (exp_assop ($2, $1, $3)); 601 } 602 | NAME assign_op mustbe_exp 603 { 604 lang_add_assignment (exp_assop ('=', $1, 605 exp_binop ($2, 606 exp_nameop (NAME, 607 $1), 608 $3))); 609 } 610 | PROVIDE '(' NAME '=' mustbe_exp ')' 611 { 612 lang_add_assignment (exp_provide ($3, $5)); 613 } 614 ; 615 616 617opt_comma: 618 ',' | ; 619 620 621memory: 622 MEMORY '{' memory_spec memory_spec_list '}' 623 ; 624 625memory_spec_list: 626 memory_spec_list memory_spec 627 | memory_spec_list ',' memory_spec 628 | 629 ; 630 631 632memory_spec: NAME 633 { region = lang_memory_region_lookup ($1, TRUE); } 634 attributes_opt ':' 635 origin_spec opt_comma length_spec 636 {} 637 ; 638 639origin_spec: 640 ORIGIN '=' mustbe_exp 641 { region->current = 642 region->origin = 643 exp_get_vma($3, 0L,"origin", lang_first_phase_enum); 644} 645 ; 646 647length_spec: 648 LENGTH '=' mustbe_exp 649 { region->length = exp_get_vma($3, 650 ~((bfd_vma)0), 651 "length", 652 lang_first_phase_enum); 653 } 654 ; 655 656attributes_opt: 657 /* empty */ 658 { /* dummy action to avoid bison 1.25 error message */ } 659 | '(' attributes_list ')' 660 ; 661 662attributes_list: 663 attributes_string 664 | attributes_list attributes_string 665 ; 666 667attributes_string: 668 NAME 669 { lang_set_flags (region, $1, 0); } 670 | '!' NAME 671 { lang_set_flags (region, $2, 1); } 672 ; 673 674startup: 675 STARTUP '(' filename ')' 676 { lang_startup($3); } 677 ; 678 679high_level_library: 680 HLL '(' high_level_library_NAME_list ')' 681 | HLL '(' ')' 682 { ldemul_hll((char *)NULL); } 683 ; 684 685high_level_library_NAME_list: 686 high_level_library_NAME_list opt_comma filename 687 { ldemul_hll($3); } 688 | filename 689 { ldemul_hll($1); } 690 691 ; 692 693low_level_library: 694 SYSLIB '(' low_level_library_NAME_list ')' 695 ; low_level_library_NAME_list: 696 low_level_library_NAME_list opt_comma filename 697 { ldemul_syslib($3); } 698 | 699 ; 700 701floating_point_support: 702 FLOAT 703 { lang_float(TRUE); } 704 | NOFLOAT 705 { lang_float(FALSE); } 706 ; 707 708nocrossref_list: 709 /* empty */ 710 { 711 $$ = NULL; 712 } 713 | NAME nocrossref_list 714 { 715 struct lang_nocrossref *n; 716 717 n = (struct lang_nocrossref *) xmalloc (sizeof *n); 718 n->name = $1; 719 n->next = $2; 720 $$ = n; 721 } 722 | NAME ',' nocrossref_list 723 { 724 struct lang_nocrossref *n; 725 726 n = (struct lang_nocrossref *) xmalloc (sizeof *n); 727 n->name = $1; 728 n->next = $3; 729 $$ = n; 730 } 731 ; 732 733mustbe_exp: { ldlex_expression(); } 734 exp 735 { ldlex_popstate(); $$=$2;} 736 ; 737 738exp : 739 '-' exp %prec UNARY 740 { $$ = exp_unop('-', $2); } 741 | '(' exp ')' 742 { $$ = $2; } 743 | NEXT '(' exp ')' %prec UNARY 744 { $$ = exp_unop((int) $1,$3); } 745 | '!' exp %prec UNARY 746 { $$ = exp_unop('!', $2); } 747 | '+' exp %prec UNARY 748 { $$ = $2; } 749 | '~' exp %prec UNARY 750 { $$ = exp_unop('~', $2);} 751 752 | exp '*' exp 753 { $$ = exp_binop('*', $1, $3); } 754 | exp '/' exp 755 { $$ = exp_binop('/', $1, $3); } 756 | exp '%' exp 757 { $$ = exp_binop('%', $1, $3); } 758 | exp '+' exp 759 { $$ = exp_binop('+', $1, $3); } 760 | exp '-' exp 761 { $$ = exp_binop('-' , $1, $3); } 762 | exp LSHIFT exp 763 { $$ = exp_binop(LSHIFT , $1, $3); } 764 | exp RSHIFT exp 765 { $$ = exp_binop(RSHIFT , $1, $3); } 766 | exp EQ exp 767 { $$ = exp_binop(EQ , $1, $3); } 768 | exp NE exp 769 { $$ = exp_binop(NE , $1, $3); } 770 | exp LE exp 771 { $$ = exp_binop(LE , $1, $3); } 772 | exp GE exp 773 { $$ = exp_binop(GE , $1, $3); } 774 | exp '<' exp 775 { $$ = exp_binop('<' , $1, $3); } 776 | exp '>' exp 777 { $$ = exp_binop('>' , $1, $3); } 778 | exp '&' exp 779 { $$ = exp_binop('&' , $1, $3); } 780 | exp '^' exp 781 { $$ = exp_binop('^' , $1, $3); } 782 | exp '|' exp 783 { $$ = exp_binop('|' , $1, $3); } 784 | exp '?' exp ':' exp 785 { $$ = exp_trinop('?' , $1, $3, $5); } 786 | exp ANDAND exp 787 { $$ = exp_binop(ANDAND , $1, $3); } 788 | exp OROR exp 789 { $$ = exp_binop(OROR , $1, $3); } 790 | DEFINED '(' NAME ')' 791 { $$ = exp_nameop(DEFINED, $3); } 792 | INT 793 { $$ = exp_bigintop ($1.integer, $1.str); } 794 | SIZEOF_HEADERS 795 { $$ = exp_nameop(SIZEOF_HEADERS,0); } 796 797 | SIZEOF '(' NAME ')' 798 { $$ = exp_nameop(SIZEOF,$3); } 799 | ADDR '(' NAME ')' 800 { $$ = exp_nameop(ADDR,$3); } 801 | LOADADDR '(' NAME ')' 802 { $$ = exp_nameop(LOADADDR,$3); } 803 | ABSOLUTE '(' exp ')' 804 { $$ = exp_unop(ABSOLUTE, $3); } 805 | ALIGN_K '(' exp ')' 806 { $$ = exp_unop(ALIGN_K,$3); } 807 | ALIGN_K '(' exp ',' exp ')' 808 { $$ = exp_binop(ALIGN_K,$3,$5); } 809 | DATA_SEGMENT_ALIGN '(' exp ',' exp ')' 810 { $$ = exp_binop (DATA_SEGMENT_ALIGN, $3, $5); } 811 | DATA_SEGMENT_END '(' exp ')' 812 { $$ = exp_unop(DATA_SEGMENT_END, $3); } 813 | BLOCK '(' exp ')' 814 { $$ = exp_unop(ALIGN_K,$3); } 815 | NAME 816 { $$ = exp_nameop(NAME,$1); } 817 | MAX_K '(' exp ',' exp ')' 818 { $$ = exp_binop (MAX_K, $3, $5 ); } 819 | MIN_K '(' exp ',' exp ')' 820 { $$ = exp_binop (MIN_K, $3, $5 ); } 821 | ASSERT_K '(' exp ',' NAME ')' 822 { $$ = exp_assert ($3, $5); } 823 ; 824 825 826memspec_at_opt: 827 AT '>' NAME { $$ = $3; } 828 | { $$ = 0; } 829 ; 830 831opt_at: 832 AT '(' exp ')' { $$ = $3; } 833 | { $$ = 0; } 834 ; 835 836opt_subalign: 837 SUBALIGN '(' exp ')' { $$ = $3; } 838 | { $$ = 0; } 839 ; 840 841section: NAME { ldlex_expression(); } 842 opt_exp_with_type 843 opt_at 844 opt_subalign { ldlex_popstate (); ldlex_script (); } 845 '{' 846 { 847 lang_enter_output_section_statement($1, $3, 848 sectype, 849 0, $5, $4); 850 } 851 statement_list_opt 852 '}' { ldlex_popstate (); ldlex_expression (); } 853 memspec_opt memspec_at_opt phdr_opt fill_opt 854 { 855 ldlex_popstate (); 856 lang_leave_output_section_statement ($15, $12, $14, $13); 857 } 858 opt_comma 859 {} 860 | OVERLAY 861 { ldlex_expression (); } 862 opt_exp_without_type opt_nocrossrefs opt_at opt_subalign 863 { ldlex_popstate (); ldlex_script (); } 864 '{' 865 { 866 lang_enter_overlay ($3, $6); 867 } 868 overlay_section 869 '}' 870 { ldlex_popstate (); ldlex_expression (); } 871 memspec_opt memspec_at_opt phdr_opt fill_opt 872 { 873 ldlex_popstate (); 874 lang_leave_overlay ($5, (int) $4, 875 $16, $13, $15, $14); 876 } 877 opt_comma 878 | /* The GROUP case is just enough to support the gcc 879 svr3.ifile script. It is not intended to be full 880 support. I'm not even sure what GROUP is supposed 881 to mean. */ 882 GROUP { ldlex_expression (); } 883 opt_exp_with_type 884 { 885 ldlex_popstate (); 886 lang_add_assignment (exp_assop ('=', ".", $3)); 887 } 888 '{' sec_or_group_p1 '}' 889 ; 890 891type: 892 NOLOAD { sectype = noload_section; } 893 | DSECT { sectype = dsect_section; } 894 | COPY { sectype = copy_section; } 895 | INFO { sectype = info_section; } 896 | OVERLAY { sectype = overlay_section; } 897 ; 898 899atype: 900 '(' type ')' 901 | /* EMPTY */ { sectype = normal_section; } 902 | '(' ')' { sectype = normal_section; } 903 ; 904 905opt_exp_with_type: 906 exp atype ':' { $$ = $1; } 907 | atype ':' { $$ = (etree_type *)NULL; } 908 | /* The BIND cases are to support the gcc svr3.ifile 909 script. They aren't intended to implement full 910 support for the BIND keyword. I'm not even sure 911 what BIND is supposed to mean. */ 912 BIND '(' exp ')' atype ':' { $$ = $3; } 913 | BIND '(' exp ')' BLOCK '(' exp ')' atype ':' 914 { $$ = $3; } 915 ; 916 917opt_exp_without_type: 918 exp ':' { $$ = $1; } 919 | ':' { $$ = (etree_type *) NULL; } 920 ; 921 922opt_nocrossrefs: 923 /* empty */ 924 { $$ = 0; } 925 | NOCROSSREFS 926 { $$ = 1; } 927 ; 928 929memspec_opt: 930 '>' NAME 931 { $$ = $2; } 932 | { $$ = DEFAULT_MEMORY_REGION; } 933 ; 934 935phdr_opt: 936 /* empty */ 937 { 938 $$ = NULL; 939 } 940 | phdr_opt ':' NAME 941 { 942 struct lang_output_section_phdr_list *n; 943 944 n = ((struct lang_output_section_phdr_list *) 945 xmalloc (sizeof *n)); 946 n->name = $3; 947 n->used = FALSE; 948 n->next = $1; 949 $$ = n; 950 } 951 ; 952 953overlay_section: 954 /* empty */ 955 | overlay_section 956 NAME 957 { 958 ldlex_script (); 959 lang_enter_overlay_section ($2); 960 } 961 '{' statement_list_opt '}' 962 { ldlex_popstate (); ldlex_expression (); } 963 phdr_opt fill_opt 964 { 965 ldlex_popstate (); 966 lang_leave_overlay_section ($9, $8); 967 } 968 opt_comma 969 ; 970 971phdrs: 972 PHDRS '{' phdr_list '}' 973 ; 974 975phdr_list: 976 /* empty */ 977 | phdr_list phdr 978 ; 979 980phdr: 981 NAME { ldlex_expression (); } 982 phdr_type phdr_qualifiers { ldlex_popstate (); } 983 ';' 984 { 985 lang_new_phdr ($1, $3, $4.filehdr, $4.phdrs, $4.at, 986 $4.flags); 987 } 988 ; 989 990phdr_type: 991 exp 992 { 993 $$ = $1; 994 995 if ($1->type.node_class == etree_name 996 && $1->type.node_code == NAME) 997 { 998 const char *s; 999 unsigned int i; 1000 static const char * const phdr_types[] = 1001 { 1002 "PT_NULL", "PT_LOAD", "PT_DYNAMIC", 1003 "PT_INTERP", "PT_NOTE", "PT_SHLIB", 1004 "PT_PHDR", "PT_TLS" 1005 }; 1006 1007 s = $1->name.name; 1008 for (i = 0; 1009 i < sizeof phdr_types / sizeof phdr_types[0]; 1010 i++) 1011 if (strcmp (s, phdr_types[i]) == 0) 1012 { 1013 $$ = exp_intop (i); 1014 break; 1015 } 1016 if (i == sizeof phdr_types / sizeof phdr_types[0]) 1017 { 1018 if (strcmp (s, "PT_GNU_EH_FRAME") == 0) 1019 $$ = exp_intop (0x6474e550); 1020 else if (strcmp (s, "PT_GNU_STACK") == 0) 1021 $$ = exp_intop (0x6474e551); 1022 else 1023 { 1024 einfo (_("\ 1025%X%P:%S: unknown phdr type `%s' (try integer literal)\n"), 1026 s); 1027 $$ = exp_intop (0); 1028 } 1029 } 1030 } 1031 } 1032 ; 1033 1034phdr_qualifiers: 1035 /* empty */ 1036 { 1037 memset (&$$, 0, sizeof (struct phdr_info)); 1038 } 1039 | NAME phdr_val phdr_qualifiers 1040 { 1041 $$ = $3; 1042 if (strcmp ($1, "FILEHDR") == 0 && $2 == NULL) 1043 $$.filehdr = TRUE; 1044 else if (strcmp ($1, "PHDRS") == 0 && $2 == NULL) 1045 $$.phdrs = TRUE; 1046 else if (strcmp ($1, "FLAGS") == 0 && $2 != NULL) 1047 $$.flags = $2; 1048 else 1049 einfo (_("%X%P:%S: PHDRS syntax error at `%s'\n"), $1); 1050 } 1051 | AT '(' exp ')' phdr_qualifiers 1052 { 1053 $$ = $5; 1054 $$.at = $3; 1055 } 1056 ; 1057 1058phdr_val: 1059 /* empty */ 1060 { 1061 $$ = NULL; 1062 } 1063 | '(' exp ')' 1064 { 1065 $$ = $2; 1066 } 1067 ; 1068 1069/* This syntax is used within an external version script file. */ 1070 1071version_script_file: 1072 { 1073 ldlex_version_file (); 1074 PUSH_ERROR (_("VERSION script")); 1075 } 1076 vers_nodes 1077 { 1078 ldlex_popstate (); 1079 POP_ERROR (); 1080 } 1081 ; 1082 1083/* This is used within a normal linker script file. */ 1084 1085version: 1086 { 1087 ldlex_version_script (); 1088 } 1089 VERSIONK '{' vers_nodes '}' 1090 { 1091 ldlex_popstate (); 1092 } 1093 ; 1094 1095vers_nodes: 1096 vers_node 1097 | vers_nodes vers_node 1098 ; 1099 1100vers_node: 1101 '{' vers_tag '}' ';' 1102 { 1103 lang_register_vers_node (NULL, $2, NULL); 1104 } 1105 | VERS_TAG '{' vers_tag '}' ';' 1106 { 1107 lang_register_vers_node ($1, $3, NULL); 1108 } 1109 | VERS_TAG '{' vers_tag '}' verdep ';' 1110 { 1111 lang_register_vers_node ($1, $3, $5); 1112 } 1113 ; 1114 1115verdep: 1116 VERS_TAG 1117 { 1118 $$ = lang_add_vers_depend (NULL, $1); 1119 } 1120 | verdep VERS_TAG 1121 { 1122 $$ = lang_add_vers_depend ($1, $2); 1123 } 1124 ; 1125 1126vers_tag: 1127 /* empty */ 1128 { 1129 $$ = lang_new_vers_node (NULL, NULL); 1130 } 1131 | vers_defns ';' 1132 { 1133 $$ = lang_new_vers_node ($1, NULL); 1134 } 1135 | GLOBAL ':' vers_defns ';' 1136 { 1137 $$ = lang_new_vers_node ($3, NULL); 1138 } 1139 | LOCAL ':' vers_defns ';' 1140 { 1141 $$ = lang_new_vers_node (NULL, $3); 1142 } 1143 | GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';' 1144 { 1145 $$ = lang_new_vers_node ($3, $7); 1146 } 1147 ; 1148 1149vers_defns: 1150 VERS_IDENTIFIER 1151 { 1152 $$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang); 1153 } 1154 | vers_defns ';' VERS_IDENTIFIER 1155 { 1156 $$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang); 1157 } 1158 | vers_defns ';' EXTERN NAME '{' 1159 { 1160 $<name>$ = ldgram_vers_current_lang; 1161 ldgram_vers_current_lang = $4; 1162 } 1163 vers_defns opt_semicolon '}' 1164 { 1165 $$ = $7; 1166 ldgram_vers_current_lang = $<name>6; 1167 } 1168 | EXTERN NAME '{' 1169 { 1170 $<name>$ = ldgram_vers_current_lang; 1171 ldgram_vers_current_lang = $2; 1172 } 1173 vers_defns opt_semicolon '}' 1174 { 1175 $$ = $5; 1176 ldgram_vers_current_lang = $<name>4; 1177 } 1178 ; 1179 1180opt_semicolon: 1181 /* empty */ 1182 | ';' 1183 ; 1184 1185%% 1186void 1187yyerror(arg) 1188 const char *arg; 1189{ 1190 if (ldfile_assumed_script) 1191 einfo (_("%P:%s: file format not recognized; treating as linker script\n"), 1192 ldfile_input_filename); 1193 if (error_index > 0 && error_index < ERROR_NAME_MAX) 1194 einfo ("%P%F:%S: %s in %s\n", arg, error_names[error_index-1]); 1195 else 1196 einfo ("%P%F:%S: %s\n", arg); 1197} 1198