prparser.y revision 1.1.1.13
1 %{ 2 /****************************************************************************** 3 * 4 * Module Name: prparser.y - Bison input file for preprocessor parser 5 * 6 *****************************************************************************/ 7 8 /* 9 * Copyright (C) 2000 - 2019, 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 #include "aslcompiler.h" 46 47 #define _COMPONENT ASL_PREPROCESSOR 48 ACPI_MODULE_NAME ("prparser") 49 50 void * AslLocalAllocate (unsigned int Size); 51 52 /* Bison/yacc configuration */ 53 54 #undef alloca 55 #define alloca AslLocalAllocate 56 57 int PrParserlex (void); 58 int PrParserparse (void); 59 void PrParsererror (char const *msg); 60 extern char *PrParsertext; 61 62 UINT64 PrParserResult; /* Expression return value */ 63 64 /* Bison/yacc configuration */ 65 66 #define yytname PrParsername 67 #define YYDEBUG 1 /* Enable debug output */ 68 #define YYERROR_VERBOSE 1 /* Verbose error messages */ 69 #define YYFLAG -32768 70 71 /* Define YYMALLOC/YYFREE to prevent redefinition errors */ 72 73 #define YYMALLOC malloc 74 #define YYFREE free 75 %} 76 77 %union 78 { 79 UINT64 value; 80 UINT32 op; 81 char *str; 82 } 83 84 /*! [Begin] no source code translation */ 85 86 %type <value> Expression 87 88 %token <op> EXPOP_EOF 89 %token <op> EXPOP_NEW_LINE 90 %token <op> EXPOP_NUMBER 91 %token <op> EXPOP_HEX_NUMBER 92 %token <op> EXPOP_RESERVED1 93 %token <op> EXPOP_RESERVED2 94 %token <op> EXPOP_PAREN_OPEN 95 %token <op> EXPOP_PAREN_CLOSE 96 97 %left <op> EXPOP_LOGICAL_OR 98 %left <op> EXPOP_LOGICAL_AND 99 %left <op> EXPOP_OR 100 %left <op> EXPOP_XOR 101 %left <op> EXPOP_AND 102 %left <op> EXPOP_EQUAL EXPOP_NOT_EQUAL 103 %left <op> EXPOP_GREATER EXPOP_LESS EXPOP_GREATER_EQUAL EXPOP_LESS_EQUAL 104 %left <op> EXPOP_SHIFT_RIGHT EXPOP_SHIFT_LEFT 105 %left <op> EXPOP_ADD EXPOP_SUBTRACT 106 %left <op> EXPOP_MULTIPLY EXPOP_DIVIDE EXPOP_MODULO 107 %right <op> EXPOP_ONES_COMPLIMENT EXPOP_LOGICAL_NOT 108 109 /* Tokens above must be kept in synch with dtparser.y */ 110 111 %token <op> EXPOP_DEFINE 112 %token <op> EXPOP_IDENTIFIER 113 114 %% 115 116 /* 117 * Operator precedence rules (from K&R) 118 * 119 * 1) ( ) 120 * 2) ! ~ (unary operators that are supported here) 121 * 3) * / % 122 * 4) + - 123 * 5) >> << 124 * 6) < > <= >= 125 * 7) == != 126 * 8) & 127 * 9) ^ 128 * 10) | 129 * 11) && 130 * 12) || 131 */ 132 133 /*! [End] no source code translation !*/ 134 135 Value 136 : Expression EXPOP_NEW_LINE { PrParserResult=$1; return 0; } /* End of line (newline) */ 137 | Expression EXPOP_EOF { PrParserResult=$1; return 0; } /* End of string (0) */ 138 ; 139 140 Expression 141 142 /* Unary operators */ 143 144 : EXPOP_LOGICAL_NOT Expression { $$ = DtDoOperator ($2, EXPOP_LOGICAL_NOT, $2);} 145 | EXPOP_ONES_COMPLIMENT Expression { $$ = DtDoOperator ($2, EXPOP_ONES_COMPLIMENT, $2);} 146 147 /* Binary operators */ 148 149 | Expression EXPOP_MULTIPLY Expression { $$ = DtDoOperator ($1, EXPOP_MULTIPLY, $3);} 150 | Expression EXPOP_DIVIDE Expression { $$ = DtDoOperator ($1, EXPOP_DIVIDE, $3);} 151 | Expression EXPOP_MODULO Expression { $$ = DtDoOperator ($1, EXPOP_MODULO, $3);} 152 | Expression EXPOP_ADD Expression { $$ = DtDoOperator ($1, EXPOP_ADD, $3);} 153 | Expression EXPOP_SUBTRACT Expression { $$ = DtDoOperator ($1, EXPOP_SUBTRACT, $3);} 154 | Expression EXPOP_SHIFT_RIGHT Expression { $$ = DtDoOperator ($1, EXPOP_SHIFT_RIGHT, $3);} 155 | Expression EXPOP_SHIFT_LEFT Expression { $$ = DtDoOperator ($1, EXPOP_SHIFT_LEFT, $3);} 156 | Expression EXPOP_GREATER Expression { $$ = DtDoOperator ($1, EXPOP_GREATER, $3);} 157 | Expression EXPOP_LESS Expression { $$ = DtDoOperator ($1, EXPOP_LESS, $3);} 158 | Expression EXPOP_GREATER_EQUAL Expression { $$ = DtDoOperator ($1, EXPOP_GREATER_EQUAL, $3);} 159 | Expression EXPOP_LESS_EQUAL Expression { $$ = DtDoOperator ($1, EXPOP_LESS_EQUAL, $3);} 160 | Expression EXPOP_EQUAL Expression { $$ = DtDoOperator ($1, EXPOP_EQUAL, $3);} 161 | Expression EXPOP_NOT_EQUAL Expression { $$ = DtDoOperator ($1, EXPOP_NOT_EQUAL, $3);} 162 | Expression EXPOP_AND Expression { $$ = DtDoOperator ($1, EXPOP_AND, $3);} 163 | Expression EXPOP_XOR Expression { $$ = DtDoOperator ($1, EXPOP_XOR, $3);} 164 | Expression EXPOP_OR Expression { $$ = DtDoOperator ($1, EXPOP_OR, $3);} 165 | Expression EXPOP_LOGICAL_AND Expression { $$ = DtDoOperator ($1, EXPOP_LOGICAL_AND, $3);} 166 | Expression EXPOP_LOGICAL_OR Expression { $$ = DtDoOperator ($1, EXPOP_LOGICAL_OR, $3);} 167 168 /* Parentheses: '(' Expression ')' */ 169 170 | EXPOP_PAREN_OPEN Expression 171 EXPOP_PAREN_CLOSE { $$ = $2;} 172 173 /* #if defined (ID) or #if defined ID */ 174 175 | EXPOP_DEFINE EXPOP_PAREN_OPEN EXPOP_IDENTIFIER 176 EXPOP_PAREN_CLOSE { $$ = PrIsDefined (PrParserlval.str);} 177 178 | EXPOP_DEFINE EXPOP_IDENTIFIER { $$ = PrIsDefined (PrParserlval.str);} 179 180 | EXPOP_IDENTIFIER { $$ = PrResolveDefine (PrParserlval.str);} 181 182 /* Default base for a non-prefixed integer is 10 */ 183 184 | EXPOP_NUMBER { AcpiUtStrtoul64 (PrParsertext, &$$);} 185 186 /* Standard hex number (0x1234) */ 187 188 | EXPOP_HEX_NUMBER { AcpiUtStrtoul64 (PrParsertext, &$$);} 189 ; 190 %% 191 192 /* 193 * Local support functions, including parser entry point 194 */ 195 #define PR_FIRST_PARSE_OPCODE EXPOP_EOF 196 #define PR_YYTNAME_START 3 197 198 199 /****************************************************************************** 200 * 201 * FUNCTION: PrParsererror 202 * 203 * PARAMETERS: Message - Parser-generated error message 204 * 205 * RETURN: None 206 * 207 * DESCRIPTION: Handler for parser errors 208 * 209 *****************************************************************************/ 210 211 void 212 PrParsererror ( 213 char const *Message) 214 { 215 216 sprintf (AslGbl_StringBuffer, "Preprocessor Parser : %s (near line %u)", 217 Message, AslGbl_CurrentLineNumber); 218 DtError (ASL_ERROR, ASL_MSG_SYNTAX, 219 NULL, (char *) AslGbl_StringBuffer); 220 } 221 222 223 /****************************************************************************** 224 * 225 * FUNCTION: PrGetOpName 226 * 227 * PARAMETERS: ParseOpcode - Parser token (EXPOP_*) 228 * 229 * RETURN: Pointer to the opcode name 230 * 231 * DESCRIPTION: Get the ascii name of the parse opcode for debug output 232 * 233 *****************************************************************************/ 234 235 char * 236 PrGetOpName ( 237 UINT32 ParseOpcode) 238 { 239 #ifdef ASL_YYTNAME_START 240 /* 241 * First entries (PR_YYTNAME_START) in yytname are special reserved names. 242 * Ignore first 6 characters of name (EXPOP_) 243 */ 244 return ((char *) yytname 245 [(ParseOpcode - PR_FIRST_PARSE_OPCODE) + PR_YYTNAME_START] + 6); 246 #else 247 return ("[Unknown parser generator]"); 248 #endif 249 } 250 251 252 /****************************************************************************** 253 * 254 * FUNCTION: PrEvaluateExpression 255 * 256 * PARAMETERS: ExprString - Expression to be evaluated. Must be 257 * terminated by either a newline or a NUL 258 * string terminator 259 * 260 * RETURN: 64-bit value for the expression 261 * 262 * DESCRIPTION: Main entry point for the DT expression parser 263 * 264 *****************************************************************************/ 265 266 UINT64 267 PrEvaluateExpression ( 268 char *ExprString) 269 { 270 271 DbgPrint (ASL_DEBUG_OUTPUT, 272 "**** Input expression: %s\n", ExprString); 273 274 /* Point lexer to the input string */ 275 276 if (PrInitLexer (ExprString)) 277 { 278 DtError (ASL_ERROR, ASL_MSG_COMPILER_INTERNAL, 279 NULL, "Could not initialize lexer"); 280 return (0); 281 } 282 283 /* Parse/Evaluate the input string (value returned in PrParserResult) */ 284 285 PrParserparse (); 286 PrTerminateLexer (); 287 288 DbgPrint (ASL_DEBUG_OUTPUT, 289 "**** Parser returned value: %u (%8.8X%8.8X)\n", 290 (UINT32) PrParserResult, ACPI_FORMAT_UINT64 (PrParserResult)); 291 292 return (PrParserResult); 293 } 294
Indexes created Mon Oct 13 21:09:55 GMT 2025