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