Home | History | Annotate | Line # | Download | only in compiler
aslcstyle.y revision 1.1
      1 NoEcho('
      2 /******************************************************************************
      3  *
      4  * Module Name: aslcstyle.y - Production rules for symbolic operators
      5  *
      6  *****************************************************************************/
      7 
      8 /*
      9  * Copyright (C) 2000 - 2016, Intel Corp.
     10  * All rights reserved.
     11  *
     12  * Redistribution and use in source and binary forms, with or without
     13  * modification, are permitted provided that the following conditions
     14  * are met:
     15  * 1. Redistributions of source code must retain the above copyright
     16  *    notice, this list of conditions, and the following disclaimer,
     17  *    without modification.
     18  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
     19  *    substantially similar to the "NO WARRANTY" disclaimer below
     20  *    ("Disclaimer") and any redistribution must be conditioned upon
     21  *    including a substantially similar Disclaimer requirement for further
     22  *    binary redistribution.
     23  * 3. Neither the names of the above-listed copyright holders nor the names
     24  *    of any contributors may be used to endorse or promote products derived
     25  *    from this software without specific prior written permission.
     26  *
     27  * Alternatively, this software may be distributed under the terms of the
     28  * GNU General Public License ("GPL") version 2 as published by the Free
     29  * Software Foundation.
     30  *
     31  * NO WARRANTY
     32  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
     33  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
     34  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
     35  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
     36  * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     37  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     38  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     39  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
     40  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
     41  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     42  * POSSIBILITY OF SUCH DAMAGES.
     43  */
     44 
     45 ')
     46 
     47 /*******************************************************************************
     48  *
     49  * Production rules for the symbolic (c-style) operators
     50  *
     51  ******************************************************************************/
     52 
     53 /*
     54  * ASL Extensions: C-style math/logical operators and expressions.
     55  * The implementation transforms these operators into the standard
     56  * AML opcodes and syntax.
     57  *
     58  * Supported operators and precedence rules (high-to-low)
     59  *
     60  * NOTE: The operator precedence and associativity rules are
     61  * implemented by the tokens in asltokens.y
     62  *
     63  * (left-to-right):
     64  *  1)      ( ) expr++ expr--
     65  *
     66  * (right-to-left):
     67  *  2)      ! ~
     68  *
     69  * (left-to-right):
     70  *  3)      *   /   %
     71  *  4)      +   -
     72  *  5)      >>  <<
     73  *  6)      <   >   <=  >=
     74  *  7)      ==  !=
     75  *  8)      &
     76  *  9)      ^
     77  *  10)     |
     78  *  11)     &&
     79  *  12)     ||
     80  *
     81  * (right-to-left):
     82  *  13)     = += -= *= /= %= <<= >>= &= ^= |=
     83  */
     84 
     85 Expression
     86 
     87     /* Unary operators */
     88 
     89     : PARSEOP_EXP_LOGICAL_NOT           {$<n>$ = TrCreateLeafNode (PARSEOP_LNOT);}
     90         TermArg                         {$$ = TrLinkChildren ($<n>2,1,$3);}
     91     | PARSEOP_EXP_NOT                   {$<n>$ = TrCreateLeafNode (PARSEOP_NOT);}
     92         TermArg                         {$$ = TrLinkChildren ($<n>2,2,$3,TrCreateNullTarget ());}
     93 
     94     | SuperName PARSEOP_EXP_INCREMENT   {$<n>$ = TrCreateLeafNode (PARSEOP_INCREMENT);}
     95                                         {$$ = TrLinkChildren ($<n>3,1,$1);}
     96     | SuperName PARSEOP_EXP_DECREMENT   {$<n>$ = TrCreateLeafNode (PARSEOP_DECREMENT);}
     97                                         {$$ = TrLinkChildren ($<n>3,1,$1);}
     98 
     99     /* Binary operators: math and logical */
    100 
    101     | TermArg PARSEOP_EXP_ADD           {$<n>$ = TrCreateLeafNode (PARSEOP_ADD);}
    102         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    103     | TermArg PARSEOP_EXP_DIVIDE        {$<n>$ = TrCreateLeafNode (PARSEOP_DIVIDE);}
    104         TermArg                         {$$ = TrLinkChildren ($<n>3,4,$1,$4,TrCreateNullTarget (),
    105                                             TrCreateNullTarget ());}
    106     | TermArg PARSEOP_EXP_MODULO        {$<n>$ = TrCreateLeafNode (PARSEOP_MOD);}
    107         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    108     | TermArg PARSEOP_EXP_MULTIPLY      {$<n>$ = TrCreateLeafNode (PARSEOP_MULTIPLY);}
    109         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    110     | TermArg PARSEOP_EXP_SHIFT_LEFT    {$<n>$ = TrCreateLeafNode (PARSEOP_SHIFTLEFT);}
    111         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    112     | TermArg PARSEOP_EXP_SHIFT_RIGHT   {$<n>$ = TrCreateLeafNode (PARSEOP_SHIFTRIGHT);}
    113         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    114     | TermArg PARSEOP_EXP_SUBTRACT      {$<n>$ = TrCreateLeafNode (PARSEOP_SUBTRACT);}
    115         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    116 
    117     | TermArg PARSEOP_EXP_AND           {$<n>$ = TrCreateLeafNode (PARSEOP_AND);}
    118         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    119     | TermArg PARSEOP_EXP_OR            {$<n>$ = TrCreateLeafNode (PARSEOP_OR);}
    120         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    121     | TermArg PARSEOP_EXP_XOR           {$<n>$ = TrCreateLeafNode (PARSEOP_XOR);}
    122         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,TrCreateNullTarget ());}
    123 
    124     | TermArg PARSEOP_EXP_GREATER       {$<n>$ = TrCreateLeafNode (PARSEOP_LGREATER);}
    125         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    126     | TermArg PARSEOP_EXP_GREATER_EQUAL {$<n>$ = TrCreateLeafNode (PARSEOP_LGREATEREQUAL);}
    127         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    128     | TermArg PARSEOP_EXP_LESS          {$<n>$ = TrCreateLeafNode (PARSEOP_LLESS);}
    129         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    130     | TermArg PARSEOP_EXP_LESS_EQUAL    {$<n>$ = TrCreateLeafNode (PARSEOP_LLESSEQUAL);}
    131         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    132 
    133     | TermArg PARSEOP_EXP_EQUAL         {$<n>$ = TrCreateLeafNode (PARSEOP_LEQUAL);}
    134         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    135     | TermArg PARSEOP_EXP_NOT_EQUAL     {$<n>$ = TrCreateLeafNode (PARSEOP_LNOTEQUAL);}
    136         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    137 
    138     | TermArg PARSEOP_EXP_LOGICAL_AND   {$<n>$ = TrCreateLeafNode (PARSEOP_LAND);}
    139         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    140     | TermArg PARSEOP_EXP_LOGICAL_OR    {$<n>$ = TrCreateLeafNode (PARSEOP_LOR);}
    141         TermArg                         {$$ = TrLinkChildren ($<n>3,2,$1,$4);}
    142 
    143         /* Parentheses */
    144 
    145     | '(' TermArg ')'                   { $$ = $2;}
    146 
    147         /* Index term -- "= BUF1[5]" on right-hand side of an equals (source) */
    148 
    149     | SuperName PARSEOP_EXP_INDEX_LEFT TermArg PARSEOP_EXP_INDEX_RIGHT
    150                                         {$$ = TrCreateLeafNode (PARSEOP_INDEX);
    151                                         TrLinkChildren ($$,3,$1,$3,TrCreateNullTarget ());}
    152     ;
    153 
    154         /* Index term -- "BUF1[5] = " on left-hand side of an equals (target) */
    155 
    156 IndexExpTerm
    157 
    158     : SuperName PARSEOP_EXP_INDEX_LEFT TermArg PARSEOP_EXP_INDEX_RIGHT
    159                                         {$$ = TrCreateLeafNode (PARSEOP_INDEX);
    160                                         TrLinkChildren ($$,3,$1,$3,TrCreateNullTarget ());}
    161     ;
    162 
    163 EqualsTerm
    164 
    165     /* All assignment-type operations */
    166 
    167     : SuperName PARSEOP_EXP_EQUALS
    168         TermArg                         {$$ = TrCreateAssignmentNode ($1, $3);}
    169 
    170     | TermArg PARSEOP_EXP_ADD_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_ADD);}
    171         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    172                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    173 
    174     | TermArg PARSEOP_EXP_DIV_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_DIVIDE);}
    175         TermArg                         {$$ = TrLinkChildren ($<n>3,4,$1,$4,TrCreateNullTarget (),
    176                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    177 
    178     | TermArg PARSEOP_EXP_MOD_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_MOD);}
    179         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    180                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    181 
    182     | TermArg PARSEOP_EXP_MUL_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_MULTIPLY);}
    183         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    184                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    185 
    186     | TermArg PARSEOP_EXP_SHL_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_SHIFTLEFT);}
    187         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    188                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    189 
    190     | TermArg PARSEOP_EXP_SHR_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_SHIFTRIGHT);}
    191         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    192                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    193 
    194     | TermArg PARSEOP_EXP_SUB_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_SUBTRACT);}
    195         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    196                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    197 
    198     | TermArg PARSEOP_EXP_AND_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_AND);}
    199         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    200                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    201 
    202     | TermArg PARSEOP_EXP_OR_EQ         {$<n>$ = TrCreateLeafNode (PARSEOP_OR);}
    203         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    204                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    205 
    206     | TermArg PARSEOP_EXP_XOR_EQ        {$<n>$ = TrCreateLeafNode (PARSEOP_XOR);}
    207         TermArg                         {$$ = TrLinkChildren ($<n>3,3,$1,$4,
    208                                             TrSetNodeFlags (TrCreateTargetOperand ($1, NULL), NODE_IS_TARGET));}
    209     ;
    210