Subversion Repositories openrisc_me

/* A YACC grammar to parse a superset of the AT&T linker scripting language.

   Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,

   2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.

   Written by Steve Chamberlain of Cygnus Support (steve@cygnus.com).

   This file is part of the GNU Binutils.

   This program is free software; you can redistribute it and/or modify

   it under the terms of the GNU General Public License as published by

   the Free Software Foundation; either version 3 of the License, or

   (at your option) any later version.

   This program is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License

   along with this program; if not, write to the Free Software

   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,

   MA 02110-1301, USA.  */

%{

/*

 */

#define DONTDECLARE_MALLOC

#include "sysdep.h"

#include "bfd.h"

#include "bfdlink.h"

#include "ld.h"

#include "ldexp.h"

#include "ldver.h"

#include "ldlang.h"

#include "ldfile.h"

#include "ldemul.h"

#include "ldmisc.h"

#include "ldmain.h"

#include "mri.h"

#include "ldctor.h"

#include "ldlex.h"

#ifndef YYDEBUG

#define YYDEBUG 1

#endif

static enum section_type sectype;

static lang_memory_region_type *region;

bfd_boolean ldgram_had_keep = FALSE;

char *ldgram_vers_current_lang = NULL;

#define ERROR_NAME_MAX 20

static char *error_names[ERROR_NAME_MAX];

static int error_index;

#define PUSH_ERROR(x) if (error_index < ERROR_NAME_MAX) error_names[error_index] = x; error_index++;

#define POP_ERROR()   error_index--;

%}

%union {

  bfd_vma integer;

  struct big_int

    {

      bfd_vma integer;

      char *str;

    } bigint;

  fill_type *fill;

  char *name;

  const char *cname;

  struct wildcard_spec wildcard;

  struct wildcard_list *wildcard_list;

  struct name_list *name_list;

  int token;

  union etree_union *etree;

  struct phdr_info

    {

      bfd_boolean filehdr;

      bfd_boolean phdrs;

      union etree_union *at;

      union etree_union *flags;

    } phdr;

  struct lang_nocrossref *nocrossref;

  struct lang_output_section_phdr_list *section_phdr;

  struct bfd_elf_version_deps *deflist;

  struct bfd_elf_version_expr *versyms;

  struct bfd_elf_version_tree *versnode;

}

%type  exp opt_exp_with_type mustbe_exp opt_at phdr_type phdr_val

%type  opt_exp_without_type opt_subalign opt_align

%type  fill_opt fill_exp

%type  exclude_name_list

%type  file_NAME_list

%type  memspec_opt casesymlist

%type  memspec_at_opt

%type  wildcard_name

%type  wildcard_spec

%token  INT

%token  NAME LNAME

%type  length

%type  phdr_qualifiers

%type  nocrossref_list

%type  phdr_opt

%type  opt_nocrossrefs

%right  PLUSEQ MINUSEQ MULTEQ DIVEQ  '=' LSHIFTEQ RSHIFTEQ   ANDEQ OREQ

%right  '?' ':'

%left  OROR

%left   ANDAND

%left  '|'

%left   '^'

%left   '&'

%left   EQ NE

%left   '<' '>' LE GE

%left   LSHIFT RSHIFT

%left   '+' '-'

%left   '*' '/' '%'

%right UNARY

%token END

%left  '('

%token  ALIGN_K BLOCK BIND QUAD SQUAD LONG SHORT BYTE

%token SECTIONS PHDRS INSERT_K AFTER BEFORE

%token DATA_SEGMENT_ALIGN DATA_SEGMENT_RELRO_END DATA_SEGMENT_END

%token SORT_BY_NAME SORT_BY_ALIGNMENT

%token '{' '}'

%token SIZEOF_HEADERS OUTPUT_FORMAT FORCE_COMMON_ALLOCATION OUTPUT_ARCH

%token INHIBIT_COMMON_ALLOCATION

%token SEGMENT_START

%token INCLUDE

%token MEMORY

%token NOLOAD DSECT COPY INFO OVERLAY

%token DEFINED TARGET_K SEARCH_DIR MAP ENTRY

%token  NEXT

%token SIZEOF ALIGNOF ADDR LOADADDR MAX_K MIN_K

%token STARTUP HLL SYSLIB FLOAT NOFLOAT NOCROSSREFS

%token ORIGIN FILL

%token LENGTH CREATE_OBJECT_SYMBOLS INPUT GROUP OUTPUT CONSTRUCTORS

%token ALIGNMOD AT SUBALIGN PROVIDE PROVIDE_HIDDEN AS_NEEDED

%type  assign_op atype attributes_opt sect_constraint

%type   filename

%token CHIP LIST SECT ABSOLUTE  LOAD NEWLINE ENDWORD ORDER NAMEWORD ASSERT_K

%token FORMAT PUBLIC DEFSYMEND BASE ALIAS TRUNCATE REL

%token INPUT_SCRIPT INPUT_MRI_SCRIPT INPUT_DEFSYM CASE EXTERN START

%token  VERS_TAG VERS_IDENTIFIER

%token GLOBAL LOCAL VERSIONK INPUT_VERSION_SCRIPT

%token KEEP ONLY_IF_RO ONLY_IF_RW SPECIAL

%token EXCLUDE_FILE

%token CONSTANT

%type  vers_defns

%type  vers_tag

%type  verdep

%token INPUT_DYNAMIC_LIST

%%

file:

                INPUT_SCRIPT script_file

        |       INPUT_MRI_SCRIPT mri_script_file

        |       INPUT_VERSION_SCRIPT version_script_file

        |       INPUT_DYNAMIC_LIST dynamic_list_file

        |       INPUT_DEFSYM defsym_expr

        ;

filename:  NAME;

defsym_expr:

                { ldlex_defsym(); }

                NAME '=' exp

                {

                  ldlex_popstate();

                  lang_add_assignment(exp_assop($3,$2,$4));

                }

        ;

/* SYNTAX WITHIN AN MRI SCRIPT FILE */

mri_script_file:

                {

                  ldlex_mri_script ();

                  PUSH_ERROR (_("MRI style script"));

                }

             mri_script_lines

                {

                  ldlex_popstate ();

                  mri_draw_tree ();

                  POP_ERROR ();

                }

        ;

mri_script_lines:

                mri_script_lines mri_script_command NEWLINE

          |

        ;

mri_script_command:

                CHIP  exp

        |       CHIP  exp ',' exp

        |       NAME    {

                        einfo(_("%P%F: unrecognised keyword in MRI style script '%s'\n"),$1);

                        }

        |       LIST    {

                        config.map_filename = "-";

                        }

        |       ORDER ordernamelist

        |       ENDWORD

        |       PUBLIC NAME '=' exp

                        { mri_public($2, $4); }

        |       PUBLIC NAME ',' exp

                        { mri_public($2, $4); }

        |       PUBLIC NAME  exp

                        { mri_public($2, $3); }

        |       FORMAT NAME

                        { mri_format($2); }

        |       SECT NAME ',' exp

                        { mri_output_section($2, $4);}

        |       SECT NAME  exp

                        { mri_output_section($2, $3);}

        |       SECT NAME '=' exp

                        { mri_output_section($2, $4);}

        |       ALIGN_K NAME '=' exp

                        { mri_align($2,$4); }

        |       ALIGN_K NAME ',' exp

                        { mri_align($2,$4); }

        |       ALIGNMOD NAME '=' exp

                        { mri_alignmod($2,$4); }

        |       ALIGNMOD NAME ',' exp

                        { mri_alignmod($2,$4); }

        |       ABSOLUTE mri_abs_name_list

        |       LOAD     mri_load_name_list

        |       NAMEWORD NAME

                        { mri_name($2); }

        |       ALIAS NAME ',' NAME

                        { mri_alias($2,$4,0);}

        |       ALIAS NAME ',' INT

                        { mri_alias ($2, 0, (int) $4.integer); }

        |       BASE     exp

                        { mri_base($2); }

        |       TRUNCATE INT

                { mri_truncate ((unsigned int) $2.integer); }

        |       CASE casesymlist

        |       EXTERN extern_name_list

        |       INCLUDE filename

                { ldlex_script (); ldfile_open_command_file($2); }

                mri_script_lines END

                { ldlex_popstate (); }

        |       START NAME

                { lang_add_entry ($2, FALSE); }

        |

        ;

ordernamelist:

              ordernamelist ',' NAME         { mri_order($3); }

        |     ordernamelist  NAME         { mri_order($2); }

        |

        ;

mri_load_name_list:

                NAME

                        { mri_load($1); }

        |       mri_load_name_list ',' NAME { mri_load($3); }

        ;

mri_abs_name_list:

                NAME

                        { mri_only_load($1); }

        |       mri_abs_name_list ','  NAME

                        { mri_only_load($3); }

        ;

casesymlist:

          /* empty */ { $$ = NULL; }

        | NAME

        | casesymlist ',' NAME

        ;

/* Parsed as expressions so that commas separate entries */

extern_name_list:

        { ldlex_expression (); }

        extern_name_list_body

        { ldlex_popstate (); }

extern_name_list_body:

          NAME

                        { ldlang_add_undef ($1); }

        | extern_name_list_body NAME

                        { ldlang_add_undef ($2); }

        | extern_name_list_body ',' NAME

                        { ldlang_add_undef ($3); }

        ;

script_file:

        { ldlex_both(); }

        ifile_list

        { ldlex_popstate(); }

        ;

ifile_list:

        ifile_list ifile_p1

        |

        ;

ifile_p1:

                memory

        |       sections

        |       phdrs

        |       startup

        |       high_level_library

        |       low_level_library

        |       floating_point_support

        |       statement_anywhere

        |       version

        |        ';'

        |       TARGET_K '(' NAME ')'

                { lang_add_target($3); }

        |       SEARCH_DIR '(' filename ')'

                { ldfile_add_library_path ($3, FALSE); }

        |       OUTPUT '(' filename ')'

                { lang_add_output($3, 1); }

        |       OUTPUT_FORMAT '(' NAME ')'

                  { lang_add_output_format ($3, (char *) NULL,

                                            (char *) NULL, 1); }

        |       OUTPUT_FORMAT '(' NAME ',' NAME ',' NAME ')'

                  { lang_add_output_format ($3, $5, $7, 1); }

        |       OUTPUT_ARCH '(' NAME ')'

                  { ldfile_set_output_arch ($3, bfd_arch_unknown); }

        |       FORCE_COMMON_ALLOCATION

                { command_line.force_common_definition = TRUE ; }

        |       INHIBIT_COMMON_ALLOCATION

                { command_line.inhibit_common_definition = TRUE ; }

        |       INPUT '(' input_list ')'

        |       GROUP

                  { lang_enter_group (); }

                    '(' input_list ')'

                  { lang_leave_group (); }

        |       MAP '(' filename ')'

                { lang_add_map($3); }

        |       INCLUDE filename

                { ldlex_script (); ldfile_open_command_file($2); }

                ifile_list END

                { ldlex_popstate (); }

        |       NOCROSSREFS '(' nocrossref_list ')'

                {

                  lang_add_nocrossref ($3);

                }

        |       EXTERN '(' extern_name_list ')'

        |       INSERT_K AFTER NAME

                { lang_add_insert ($3, 0); }

        |       INSERT_K BEFORE NAME

                { lang_add_insert ($3, 1); }

        ;

input_list:

                NAME

                { lang_add_input_file($1,lang_input_file_is_search_file_enum,

                                 (char *)NULL); }

        |       input_list ',' NAME

                { lang_add_input_file($3,lang_input_file_is_search_file_enum,

                                 (char *)NULL); }

        |       input_list NAME

                { lang_add_input_file($2,lang_input_file_is_search_file_enum,

                                 (char *)NULL); }

        |       LNAME

                { lang_add_input_file($1,lang_input_file_is_l_enum,

                                 (char *)NULL); }

        |       input_list ',' LNAME

                { lang_add_input_file($3,lang_input_file_is_l_enum,

                                 (char *)NULL); }

        |       input_list LNAME

                { lang_add_input_file($2,lang_input_file_is_l_enum,

                                 (char *)NULL); }

        |       AS_NEEDED '('

                  { $$ = as_needed; as_needed = TRUE; }

                     input_list ')'

                  { as_needed = $3; }

        |       input_list ',' AS_NEEDED '('

                  { $$ = as_needed; as_needed = TRUE; }

                     input_list ')'

                  { as_needed = $5; }

        |       input_list AS_NEEDED '('

                  { $$ = as_needed; as_needed = TRUE; }

                     input_list ')'

                  { as_needed = $4; }

        ;

sections:

                SECTIONS '{' sec_or_group_p1 '}'

        ;

sec_or_group_p1:

                sec_or_group_p1 section

        |       sec_or_group_p1 statement_anywhere

        |

        ;

statement_anywhere:

                ENTRY '(' NAME ')'

                { lang_add_entry ($3, FALSE); }

        |       assignment end

        |       ASSERT_K  {ldlex_expression ();} '(' exp ',' NAME ')'

                { ldlex_popstate ();

                  lang_add_assignment (exp_assert ($4, $6)); }

        ;

/* The '*' and '?' cases are there because the lexer returns them as

   separate tokens rather than as NAME.  */

wildcard_name:

                NAME

                        {

                          $$ = $1;

                        }

        |       '*'

                        {

                          $$ = "*";

                        }

        |       '?'

                        {

                          $$ = "?";

                        }

        ;

wildcard_spec:

                wildcard_name

                        {

                          $$.name = $1;

                          $$.sorted = none;

                          $$.exclude_name_list = NULL;

                        }

        |       EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name

                        {

                          $$.name = $5;

                          $$.sorted = none;

                          $$.exclude_name_list = $3;

                        }

        |       SORT_BY_NAME '(' wildcard_name ')'

                        {

                          $$.name = $3;

                          $$.sorted = by_name;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_ALIGNMENT '(' wildcard_name ')'

                        {

                          $$.name = $3;

                          $$.sorted = by_alignment;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_NAME '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'

                        {

                          $$.name = $5;

                          $$.sorted = by_name_alignment;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_NAME '(' SORT_BY_NAME '(' wildcard_name ')' ')'

                        {

                          $$.name = $5;

                          $$.sorted = by_name;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_ALIGNMENT '(' SORT_BY_NAME '(' wildcard_name ')' ')'

                        {

                          $$.name = $5;

                          $$.sorted = by_alignment_name;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_ALIGNMENT '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'

                        {

                          $$.name = $5;

                          $$.sorted = by_alignment;

                          $$.exclude_name_list = NULL;

                        }

        |       SORT_BY_NAME '(' EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name ')'

                        {

                          $$.name = $7;

                          $$.sorted = by_name;

                          $$.exclude_name_list = $5;

                        }

        ;

exclude_name_list:

                exclude_name_list wildcard_name

                        {

                          struct name_list *tmp;

                          tmp = (struct name_list *) xmalloc (sizeof *tmp);

                          tmp->name = $2;

                          tmp->next = $1;

                          $$ = tmp;

                        }

        |

                wildcard_name

                        {

                          struct name_list *tmp;

                          tmp = (struct name_list *) xmalloc (sizeof *tmp);

                          tmp->name = $1;

                          tmp->next = NULL;

                          $$ = tmp;

                        }

        ;

file_NAME_list:

                file_NAME_list opt_comma wildcard_spec

                        {

                          struct wildcard_list *tmp;

                          tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);

                          tmp->next = $1;

                          tmp->spec = $3;

                          $$ = tmp;

                        }

        |

                wildcard_spec

                        {

                          struct wildcard_list *tmp;

                          tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);

                          tmp->next = NULL;

                          tmp->spec = $1;

                          $$ = tmp;

                        }

        ;

input_section_spec_no_keep:

                NAME

                        {

                          struct wildcard_spec tmp;

                          tmp.name = $1;

                          tmp.exclude_name_list = NULL;

                          tmp.sorted = none;

                          lang_add_wild (&tmp, NULL, ldgram_had_keep);

                        }

        |       '[' file_NAME_list ']'

                        {

                          lang_add_wild (NULL, $2, ldgram_had_keep);

                        }

        |       wildcard_spec '(' file_NAME_list ')'

                        {

                          lang_add_wild (&$1, $3, ldgram_had_keep);

                        }

        ;

input_section_spec:

                input_section_spec_no_keep

        |       KEEP '('

                        { ldgram_had_keep = TRUE; }

                input_section_spec_no_keep ')'

                        { ldgram_had_keep = FALSE; }

        ;

statement:

                assignment end

        |       CREATE_OBJECT_SYMBOLS

                {

                lang_add_attribute(lang_object_symbols_statement_enum);

                }

        |       ';'

        |       CONSTRUCTORS

                {

                  lang_add_attribute(lang_constructors_statement_enum);

                }

        | SORT_BY_NAME '(' CONSTRUCTORS ')'

                {

                  constructors_sorted = TRUE;

                  lang_add_attribute (lang_constructors_statement_enum);

                }

        | input_section_spec

        | length '(' mustbe_exp ')'

                        {

                          lang_add_data ((int) $1, $3);

                        }

        | FILL '(' fill_exp ')'

                        {

                          lang_add_fill ($3);

                        }

        | ASSERT_K  {ldlex_expression ();} '(' exp ',' NAME ')' end

                        { ldlex_popstate ();

                          lang_add_assignment (exp_assert ($4, $6)); }

        ;

statement_list:

                statement_list statement

        |       statement

        ;

statement_list_opt:

                /* empty */

        |       statement_list

        ;

length:

                QUAD

                        { $$ = $1; }

        |       SQUAD

                        { $$ = $1; }

        |       LONG

                        { $$ = $1; }

        |       SHORT

                        { $$ = $1; }

        |       BYTE

                        { $$ = $1; }

        ;

fill_exp:

        mustbe_exp

                {

                  $$ = exp_get_fill ($1, 0, "fill value");

                }

        ;

fill_opt:

          '=' fill_exp

                { $$ = $2; }

        |       { $$ = (fill_type *) 0; }

        ;

assign_op:

                PLUSEQ

                        { $$ = '+'; }

        |       MINUSEQ

                        { $$ = '-'; }

        |       MULTEQ

                        { $$ = '*'; }

        |       DIVEQ

                        { $$ = '/'; }

        |       LSHIFTEQ

                        { $$ = LSHIFT; }

        |       RSHIFTEQ

                        { $$ = RSHIFT; }

        |       ANDEQ

                        { $$ = '&'; }

        |       OREQ

                        { $$ = '|'; }

        ;

end:    ';' | ','

        ;

assignment:

                NAME '=' mustbe_exp

                {

                  lang_add_assignment (exp_assop ($2, $1, $3));

                }

        |       NAME assign_op mustbe_exp

                {

                  lang_add_assignment (exp_assop ('=', $1,

                                                  exp_binop ($2,

                                                             exp_nameop (NAME,

                                                                         $1),

                                                             $3)));

                }

        |       PROVIDE '(' NAME '=' mustbe_exp ')'

                {

                  lang_add_assignment (exp_provide ($3, $5, FALSE));

                }

        |       PROVIDE_HIDDEN '(' NAME '=' mustbe_exp ')'

                {

                  lang_add_assignment (exp_provide ($3, $5, TRUE));

                }

        ;

opt_comma:

                ','     |       ;

memory:

                MEMORY '{' memory_spec memory_spec_list '}'

        ;

memory_spec_list:

                memory_spec_list memory_spec

        |       memory_spec_list ',' memory_spec

        |

        ;

memory_spec:    NAME

                { region = lang_memory_region_lookup ($1, TRUE); }

                attributes_opt ':'

                origin_spec opt_comma length_spec

                {}

        ;

origin_spec:

        ORIGIN '=' mustbe_exp

                {

                  region->origin = exp_get_vma ($3, 0, "origin");

                  region->current = region->origin;

                }

        ;

length_spec:

             LENGTH '=' mustbe_exp

                {

                  region->length = exp_get_vma ($3, -1, "length");

                }

        ;

attributes_opt:

                /* empty */

                  { /* dummy action to avoid bison 1.25 error message */ }

        |       '(' attributes_list ')'

        ;

attributes_list:

                attributes_string

        |       attributes_list attributes_string

        ;

attributes_string:

                NAME

                  { lang_set_flags (region, $1, 0); }

        |       '!' NAME

                  { lang_set_flags (region, $2, 1); }

        ;

startup:

        STARTUP '(' filename ')'

                { lang_startup($3); }

        ;

high_level_library:

                HLL '(' high_level_library_NAME_list ')'

        |       HLL '(' ')'

                        { ldemul_hll((char *)NULL); }

        ;

high_level_library_NAME_list:

                high_level_library_NAME_list opt_comma filename

                        { ldemul_hll($3); }

        |       filename

                        { ldemul_hll($1); }

        ;

low_level_library:

        SYSLIB '(' low_level_library_NAME_list ')'

        ; low_level_library_NAME_list:

                low_level_library_NAME_list opt_comma filename

                        { ldemul_syslib($3); }

        |

        ;

floating_point_support:

                FLOAT

                        { lang_float(TRUE); }

        |       NOFLOAT

                        { lang_float(FALSE); }

        ;

nocrossref_list:

                /* empty */

                {

                  $$ = NULL;

                }

        |       NAME nocrossref_list

                {

                  struct lang_nocrossref *n;

                  n = (struct lang_nocrossref *) xmalloc (sizeof *n);

                  n->name = $1;

                  n->next = $2;

                  $$ = n;

                }

        |       NAME ',' nocrossref_list

                {

                  struct lang_nocrossref *n;

                  n = (struct lang_nocrossref *) xmalloc (sizeof *n);

                  n->name = $1;

                  n->next = $3;

                  $$ = n;

                }

        ;

mustbe_exp:              { ldlex_expression (); }

                exp

                         { ldlex_popstate (); $$=$2;}

        ;

exp     :

                '-' exp %prec UNARY

                        { $$ = exp_unop ('-', $2); }

        |       '(' exp ')'

                        { $$ = $2; }

        |       NEXT '(' exp ')' %prec UNARY

                        { $$ = exp_unop ((int) $1,$3); }

        |       '!' exp %prec UNARY

                        { $$ = exp_unop ('!', $2); }

        |       '+' exp %prec UNARY

                        { $$ = $2; }

        |       '~' exp %prec UNARY

                        { $$ = exp_unop ('~', $2);}

        |       exp '*' exp

                        { $$ = exp_binop ('*', $1, $3); }

        |       exp '/' exp

                        { $$ = exp_binop ('/', $1, $3); }

        |       exp '%' exp

                        { $$ = exp_binop ('%', $1, $3); }

        |       exp '+' exp

                        { $$ = exp_binop ('+', $1, $3); }

        |       exp '-' exp

                        { $$ = exp_binop ('-' , $1, $3); }

        |       exp LSHIFT exp

                        { $$ = exp_binop (LSHIFT , $1, $3); }

        |       exp RSHIFT exp

                        { $$ = exp_binop (RSHIFT , $1, $3); }

        |       exp EQ exp

                        { $$ = exp_binop (EQ , $1, $3); }

        |       exp NE exp

                        { $$ = exp_binop (NE , $1, $3); }

        |       exp LE exp

                        { $$ = exp_binop (LE , $1, $3); }

        |       exp GE exp

                        { $$ = exp_binop (GE , $1, $3); }

        |       exp '<' exp

                        { $$ = exp_binop ('<' , $1, $3); }

        |       exp '>' exp

                        { $$ = exp_binop ('>' , $1, $3); }

        |       exp '&' exp

                        { $$ = exp_binop ('&' , $1, $3); }

        |       exp '^' exp

                        { $$ = exp_binop ('^' , $1, $3); }

        |       exp '|' exp

                        { $$ = exp_binop ('|' , $1, $3); }

        |       exp '?' exp ':' exp

                        { $$ = exp_trinop ('?' , $1, $3, $5); }

        |       exp ANDAND exp

                        { $$ = exp_binop (ANDAND , $1, $3); }

        |       exp OROR exp

                        { $$ = exp_binop (OROR , $1, $3); }

        |       DEFINED '(' NAME ')'

                        { $$ = exp_nameop (DEFINED, $3); }

        |       INT

                        { $$ = exp_bigintop ($1.integer, $1.str); }

        |       SIZEOF_HEADERS

                        { $$ = exp_nameop (SIZEOF_HEADERS,0); }

        |       ALIGNOF '(' NAME ')'

                        { $$ = exp_nameop (ALIGNOF,$3); }

        |       SIZEOF '(' NAME ')'

                        { $$ = exp_nameop (SIZEOF,$3); }

        |       ADDR '(' NAME ')'

                        { $$ = exp_nameop (ADDR,$3); }

        |       LOADADDR '(' NAME ')'

                        { $$ = exp_nameop (LOADADDR,$3); }

        |       CONSTANT '(' NAME ')'

                        { $$ = exp_nameop (CONSTANT,$3); }

        |       ABSOLUTE '(' exp ')'

                        { $$ = exp_unop (ABSOLUTE, $3); }

        |       ALIGN_K '(' exp ')'

                        { $$ = exp_unop (ALIGN_K,$3); }

        |       ALIGN_K '(' exp ',' exp ')'

                        { $$ = exp_binop (ALIGN_K,$3,$5); }

        |       DATA_SEGMENT_ALIGN '(' exp ',' exp ')'

                        { $$ = exp_binop (DATA_SEGMENT_ALIGN, $3, $5); }

        |       DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'

                        { $$ = exp_binop (DATA_SEGMENT_RELRO_END, $5, $3); }

        |       DATA_SEGMENT_END '(' exp ')'

                        { $$ = exp_unop (DATA_SEGMENT_END, $3); }

        |       SEGMENT_START '(' NAME ',' exp ')'

                        { /* The operands to the expression node are

                             placed in the opposite order from the way

                             in which they appear in the script as

                             that allows us to reuse more code in

                             fold_binary.  */

                          $$ = exp_binop (SEGMENT_START,

                                          $5,

                                          exp_nameop (NAME, $3)); }

        |       BLOCK '(' exp ')'

                        { $$ = exp_unop (ALIGN_K,$3); }

        |       NAME

                        { $$ = exp_nameop (NAME,$1); }

        |       MAX_K '(' exp ',' exp ')'

                        { $$ = exp_binop (MAX_K, $3, $5 ); }

        |       MIN_K '(' exp ',' exp ')'

                        { $$ = exp_binop (MIN_K, $3, $5 ); }

        |       ASSERT_K '(' exp ',' NAME ')'

                        { $$ = exp_assert ($3, $5); }

        |       ORIGIN '(' NAME ')'

                        { $$ = exp_nameop (ORIGIN, $3); }

        |       LENGTH '(' NAME ')'

                        { $$ = exp_nameop (LENGTH, $3); }

        ;

memspec_at_opt:

                AT '>' NAME { $$ = $3; }

        |       { $$ = 0; }

        ;

opt_at:

                AT '(' exp ')' { $$ = $3; }

        |       { $$ = 0; }

        ;

opt_align:

                ALIGN_K '(' exp ')' { $$ = $3; }

        |       { $$ = 0; }

        ;

opt_subalign:

                SUBALIGN '(' exp ')' { $$ = $3; }

        |       { $$ = 0; }

        ;

sect_constraint:

                ONLY_IF_RO { $$ = ONLY_IF_RO; }

        |       ONLY_IF_RW { $$ = ONLY_IF_RW; }

        |       SPECIAL { $$ = SPECIAL; }

        |       { $$ = 0; }

        ;

section:        NAME            { ldlex_expression(); }

                opt_exp_with_type

                opt_at

                opt_align

                opt_subalign    { ldlex_popstate (); ldlex_script (); }

                sect_constraint

                '{'

                        {

                          lang_enter_output_section_statement($1, $3,

                                                              sectype,

                                                              $5, $6, $4, $8);

                        }

                statement_list_opt

                '}' { ldlex_popstate (); ldlex_expression (); }

                memspec_opt memspec_at_opt phdr_opt fill_opt