dmcstyle.c revision 1.2.2.4
1 1.2.2.2 skrll /******************************************************************************* 2 1.2.2.2 skrll * 3 1.2.2.2 skrll * Module Name: dmcstyle - Support for C-style operator disassembly 4 1.2.2.2 skrll * 5 1.2.2.2 skrll ******************************************************************************/ 6 1.2.2.2 skrll 7 1.2.2.2 skrll /* 8 1.2.2.4 skrll * Copyright (C) 2000 - 2016, Intel Corp. 9 1.2.2.2 skrll * All rights reserved. 10 1.2.2.2 skrll * 11 1.2.2.2 skrll * Redistribution and use in source and binary forms, with or without 12 1.2.2.2 skrll * modification, are permitted provided that the following conditions 13 1.2.2.2 skrll * are met: 14 1.2.2.2 skrll * 1. Redistributions of source code must retain the above copyright 15 1.2.2.2 skrll * notice, this list of conditions, and the following disclaimer, 16 1.2.2.2 skrll * without modification. 17 1.2.2.2 skrll * 2. Redistributions in binary form must reproduce at minimum a disclaimer 18 1.2.2.2 skrll * substantially similar to the "NO WARRANTY" disclaimer below 19 1.2.2.2 skrll * ("Disclaimer") and any redistribution must be conditioned upon 20 1.2.2.2 skrll * including a substantially similar Disclaimer requirement for further 21 1.2.2.2 skrll * binary redistribution. 22 1.2.2.2 skrll * 3. Neither the names of the above-listed copyright holders nor the names 23 1.2.2.2 skrll * of any contributors may be used to endorse or promote products derived 24 1.2.2.2 skrll * from this software without specific prior written permission. 25 1.2.2.2 skrll * 26 1.2.2.2 skrll * Alternatively, this software may be distributed under the terms of the 27 1.2.2.2 skrll * GNU General Public License ("GPL") version 2 as published by the Free 28 1.2.2.2 skrll * Software Foundation. 29 1.2.2.2 skrll * 30 1.2.2.2 skrll * NO WARRANTY 31 1.2.2.2 skrll * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 32 1.2.2.2 skrll * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 33 1.2.2.2 skrll * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR 34 1.2.2.2 skrll * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 35 1.2.2.2 skrll * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 36 1.2.2.2 skrll * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 37 1.2.2.2 skrll * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 38 1.2.2.2 skrll * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, 39 1.2.2.2 skrll * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING 40 1.2.2.2 skrll * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 41 1.2.2.2 skrll * POSSIBILITY OF SUCH DAMAGES. 42 1.2.2.2 skrll */ 43 1.2.2.2 skrll 44 1.2.2.2 skrll #include "acpi.h" 45 1.2.2.2 skrll #include "accommon.h" 46 1.2.2.2 skrll #include "acparser.h" 47 1.2.2.2 skrll #include "amlcode.h" 48 1.2.2.2 skrll #include "acdebug.h" 49 1.2.2.2 skrll 50 1.2.2.2 skrll 51 1.2.2.2 skrll #define _COMPONENT ACPI_CA_DEBUGGER 52 1.2.2.2 skrll ACPI_MODULE_NAME ("dmcstyle") 53 1.2.2.2 skrll 54 1.2.2.2 skrll 55 1.2.2.2 skrll /* Local prototypes */ 56 1.2.2.2 skrll 57 1.2.2.2 skrll static const char * 58 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 59 1.2.2.2 skrll UINT16 AslOpcode); 60 1.2.2.2 skrll 61 1.2.2.2 skrll static void 62 1.2.2.2 skrll AcpiDmPromoteTarget ( 63 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 64 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target); 65 1.2.2.2 skrll 66 1.2.2.2 skrll static BOOLEAN 67 1.2.2.2 skrll AcpiDmIsValidTarget ( 68 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op); 69 1.2.2.2 skrll 70 1.2.2.2 skrll static BOOLEAN 71 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 72 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 73 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 74 1.2.2.2 skrll BOOLEAN TopLevel); 75 1.2.2.2 skrll 76 1.2.2.2 skrll 77 1.2.2.2 skrll /******************************************************************************* 78 1.2.2.2 skrll * 79 1.2.2.2 skrll * FUNCTION: AcpiDmCheckForSymbolicOpcode 80 1.2.2.2 skrll * 81 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 82 1.2.2.2 skrll * Walk - Current parse tree walk info 83 1.2.2.2 skrll * 84 1.2.2.2 skrll * RETURN: TRUE if opcode can be converted to symbolic, FALSE otherwise 85 1.2.2.2 skrll * 86 1.2.2.2 skrll * DESCRIPTION: This is the main code that implements disassembly of AML code 87 1.2.2.2 skrll * to C-style operators. Called during descending phase of the 88 1.2.2.2 skrll * parse tree walk. 89 1.2.2.2 skrll * 90 1.2.2.2 skrll ******************************************************************************/ 91 1.2.2.2 skrll 92 1.2.2.2 skrll BOOLEAN 93 1.2.2.2 skrll AcpiDmCheckForSymbolicOpcode ( 94 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 95 1.2.2.2 skrll ACPI_OP_WALK_INFO *Info) 96 1.2.2.2 skrll { 97 1.2.2.2 skrll const char *OperatorSymbol = NULL; 98 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child1; 99 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child2; 100 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target; 101 1.2.2.2 skrll 102 1.2.2.2 skrll 103 1.2.2.2 skrll /* Exit immediately if ASL+ not enabled */ 104 1.2.2.2 skrll 105 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 106 1.2.2.2 skrll { 107 1.2.2.2 skrll return (FALSE); 108 1.2.2.2 skrll } 109 1.2.2.2 skrll 110 1.2.2.2 skrll /* Get the first operand */ 111 1.2.2.2 skrll 112 1.2.2.2 skrll Child1 = AcpiPsGetArg (Op, 0); 113 1.2.2.2 skrll if (!Child1) 114 1.2.2.2 skrll { 115 1.2.2.2 skrll return (FALSE); 116 1.2.2.2 skrll } 117 1.2.2.2 skrll 118 1.2.2.2 skrll /* Get the second operand */ 119 1.2.2.2 skrll 120 1.2.2.2 skrll Child2 = Child1->Common.Next; 121 1.2.2.2 skrll 122 1.2.2.2 skrll /* Setup the operator string for this opcode */ 123 1.2.2.2 skrll 124 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 125 1.2.2.2 skrll { 126 1.2.2.2 skrll case AML_ADD_OP: 127 1.2.2.2 skrll OperatorSymbol = " + "; 128 1.2.2.2 skrll break; 129 1.2.2.2 skrll 130 1.2.2.2 skrll case AML_SUBTRACT_OP: 131 1.2.2.2 skrll OperatorSymbol = " - "; 132 1.2.2.2 skrll break; 133 1.2.2.2 skrll 134 1.2.2.2 skrll case AML_MULTIPLY_OP: 135 1.2.2.2 skrll OperatorSymbol = " * "; 136 1.2.2.2 skrll break; 137 1.2.2.2 skrll 138 1.2.2.2 skrll case AML_DIVIDE_OP: 139 1.2.2.2 skrll OperatorSymbol = " / "; 140 1.2.2.2 skrll break; 141 1.2.2.2 skrll 142 1.2.2.2 skrll case AML_MOD_OP: 143 1.2.2.2 skrll OperatorSymbol = " % "; 144 1.2.2.2 skrll break; 145 1.2.2.2 skrll 146 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 147 1.2.2.2 skrll OperatorSymbol = " << "; 148 1.2.2.2 skrll break; 149 1.2.2.2 skrll 150 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 151 1.2.2.2 skrll OperatorSymbol = " >> "; 152 1.2.2.2 skrll break; 153 1.2.2.2 skrll 154 1.2.2.2 skrll case AML_BIT_AND_OP: 155 1.2.2.2 skrll OperatorSymbol = " & "; 156 1.2.2.2 skrll break; 157 1.2.2.2 skrll 158 1.2.2.2 skrll case AML_BIT_OR_OP: 159 1.2.2.2 skrll OperatorSymbol = " | "; 160 1.2.2.2 skrll break; 161 1.2.2.2 skrll 162 1.2.2.2 skrll case AML_BIT_XOR_OP: 163 1.2.2.2 skrll OperatorSymbol = " ^ "; 164 1.2.2.2 skrll break; 165 1.2.2.2 skrll 166 1.2.2.2 skrll /* Logical operators, no target */ 167 1.2.2.2 skrll 168 1.2.2.2 skrll case AML_LAND_OP: 169 1.2.2.2 skrll OperatorSymbol = " && "; 170 1.2.2.2 skrll break; 171 1.2.2.2 skrll 172 1.2.2.2 skrll case AML_LEQUAL_OP: 173 1.2.2.2 skrll OperatorSymbol = " == "; 174 1.2.2.2 skrll break; 175 1.2.2.2 skrll 176 1.2.2.2 skrll case AML_LGREATER_OP: 177 1.2.2.2 skrll OperatorSymbol = " > "; 178 1.2.2.2 skrll break; 179 1.2.2.2 skrll 180 1.2.2.2 skrll case AML_LLESS_OP: 181 1.2.2.2 skrll OperatorSymbol = " < "; 182 1.2.2.2 skrll break; 183 1.2.2.2 skrll 184 1.2.2.2 skrll case AML_LOR_OP: 185 1.2.2.2 skrll OperatorSymbol = " || "; 186 1.2.2.2 skrll break; 187 1.2.2.2 skrll 188 1.2.2.2 skrll case AML_LNOT_OP: 189 1.2.2.2 skrll /* 190 1.2.2.2 skrll * Check for the LNOT sub-opcodes. These correspond to 191 1.2.2.2 skrll * LNotEqual, LLessEqual, and LGreaterEqual. There are 192 1.2.2.2 skrll * no actual AML opcodes for these operators. 193 1.2.2.2 skrll */ 194 1.2.2.2 skrll switch (Child1->Common.AmlOpcode) 195 1.2.2.2 skrll { 196 1.2.2.2 skrll case AML_LEQUAL_OP: 197 1.2.2.2 skrll OperatorSymbol = " != "; 198 1.2.2.2 skrll break; 199 1.2.2.2 skrll 200 1.2.2.2 skrll case AML_LGREATER_OP: 201 1.2.2.2 skrll OperatorSymbol = " <= "; 202 1.2.2.2 skrll break; 203 1.2.2.2 skrll 204 1.2.2.2 skrll case AML_LLESS_OP: 205 1.2.2.2 skrll OperatorSymbol = " >= "; 206 1.2.2.2 skrll break; 207 1.2.2.2 skrll 208 1.2.2.2 skrll default: 209 1.2.2.2 skrll 210 1.2.2.2 skrll /* Unary LNOT case, emit "!" immediately */ 211 1.2.2.2 skrll 212 1.2.2.2 skrll AcpiOsPrintf ("!"); 213 1.2.2.2 skrll return (TRUE); 214 1.2.2.2 skrll } 215 1.2.2.2 skrll 216 1.2.2.2 skrll Child1->Common.DisasmOpcode = ACPI_DASM_LNOT_SUFFIX; 217 1.2.2.2 skrll Op->Common.DisasmOpcode = ACPI_DASM_LNOT_PREFIX; 218 1.2.2.2 skrll 219 1.2.2.2 skrll /* Save symbol string in the next child (not peer) */ 220 1.2.2.2 skrll 221 1.2.2.2 skrll Child2 = AcpiPsGetArg (Child1, 0); 222 1.2.2.2 skrll if (!Child2) 223 1.2.2.2 skrll { 224 1.2.2.2 skrll return (FALSE); 225 1.2.2.2 skrll } 226 1.2.2.2 skrll 227 1.2.2.2 skrll Child2->Common.OperatorSymbol = OperatorSymbol; 228 1.2.2.2 skrll return (TRUE); 229 1.2.2.2 skrll 230 1.2.2.2 skrll case AML_INDEX_OP: 231 1.2.2.4 skrll /* 232 1.2.2.4 skrll * Check for constant source operand. Note: although technically 233 1.2.2.4 skrll * legal syntax, the iASL compiler does not support this with 234 1.2.2.4 skrll * the symbolic operators for Index(). It doesn't make sense to 235 1.2.2.4 skrll * use Index() with a constant anyway. 236 1.2.2.4 skrll */ 237 1.2.2.4 skrll if ((Child1->Common.AmlOpcode == AML_STRING_OP) || 238 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_BUFFER_OP) || 239 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_PACKAGE_OP) || 240 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_VAR_PACKAGE_OP)) 241 1.2.2.4 skrll { 242 1.2.2.4 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_CLOSING_PAREN; 243 1.2.2.4 skrll return (FALSE); 244 1.2.2.4 skrll } 245 1.2.2.4 skrll 246 1.2.2.4 skrll /* Index operator is [] */ 247 1.2.2.4 skrll 248 1.2.2.2 skrll Child1->Common.OperatorSymbol = " ["; 249 1.2.2.2 skrll Child2->Common.OperatorSymbol = "]"; 250 1.2.2.2 skrll break; 251 1.2.2.2 skrll 252 1.2.2.2 skrll /* Unary operators */ 253 1.2.2.2 skrll 254 1.2.2.2 skrll case AML_DECREMENT_OP: 255 1.2.2.2 skrll OperatorSymbol = "--"; 256 1.2.2.2 skrll break; 257 1.2.2.2 skrll 258 1.2.2.2 skrll case AML_INCREMENT_OP: 259 1.2.2.2 skrll OperatorSymbol = "++"; 260 1.2.2.2 skrll break; 261 1.2.2.2 skrll 262 1.2.2.2 skrll case AML_BIT_NOT_OP: 263 1.2.2.2 skrll case AML_STORE_OP: 264 1.2.2.2 skrll OperatorSymbol = NULL; 265 1.2.2.2 skrll break; 266 1.2.2.2 skrll 267 1.2.2.2 skrll default: 268 1.2.2.2 skrll return (FALSE); 269 1.2.2.2 skrll } 270 1.2.2.2 skrll 271 1.2.2.2 skrll if (Child1->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX) 272 1.2.2.2 skrll { 273 1.2.2.2 skrll return (TRUE); 274 1.2.2.2 skrll } 275 1.2.2.2 skrll 276 1.2.2.2 skrll /* 277 1.2.2.2 skrll * This is the key to how the disassembly of the C-style operators 278 1.2.2.2 skrll * works. We save the operator symbol in the first child, thus 279 1.2.2.2 skrll * deferring symbol output until after the first operand has been 280 1.2.2.2 skrll * emitted. 281 1.2.2.2 skrll */ 282 1.2.2.2 skrll if (!Child1->Common.OperatorSymbol) 283 1.2.2.2 skrll { 284 1.2.2.2 skrll Child1->Common.OperatorSymbol = OperatorSymbol; 285 1.2.2.2 skrll } 286 1.2.2.2 skrll 287 1.2.2.2 skrll /* 288 1.2.2.2 skrll * Check for a valid target as the 3rd (or sometimes 2nd) operand 289 1.2.2.2 skrll * 290 1.2.2.2 skrll * Compound assignment operator support: 291 1.2.2.2 skrll * Attempt to optimize constructs of the form: 292 1.2.2.2 skrll * Add (Local1, 0xFF, Local1) 293 1.2.2.2 skrll * to: 294 1.2.2.2 skrll * Local1 += 0xFF 295 1.2.2.2 skrll * 296 1.2.2.2 skrll * Only the math operators and Store() have a target. 297 1.2.2.2 skrll * Logicals have no target. 298 1.2.2.2 skrll */ 299 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 300 1.2.2.2 skrll { 301 1.2.2.2 skrll case AML_ADD_OP: 302 1.2.2.2 skrll case AML_SUBTRACT_OP: 303 1.2.2.2 skrll case AML_MULTIPLY_OP: 304 1.2.2.2 skrll case AML_DIVIDE_OP: 305 1.2.2.2 skrll case AML_MOD_OP: 306 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 307 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 308 1.2.2.2 skrll case AML_BIT_AND_OP: 309 1.2.2.2 skrll case AML_BIT_OR_OP: 310 1.2.2.2 skrll case AML_BIT_XOR_OP: 311 1.2.2.2 skrll 312 1.2.2.2 skrll /* Target is 3rd operand */ 313 1.2.2.2 skrll 314 1.2.2.2 skrll Target = Child2->Common.Next; 315 1.2.2.2 skrll if (Op->Common.AmlOpcode == AML_DIVIDE_OP) 316 1.2.2.2 skrll { 317 1.2.2.2 skrll /* 318 1.2.2.2 skrll * Divide has an extra target operand (Remainder). 319 1.2.2.2 skrll * If this extra target is specified, it cannot be converted 320 1.2.2.2 skrll * to a C-style operator 321 1.2.2.2 skrll */ 322 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 323 1.2.2.2 skrll { 324 1.2.2.2 skrll Child1->Common.OperatorSymbol = NULL; 325 1.2.2.2 skrll return (FALSE); 326 1.2.2.2 skrll } 327 1.2.2.2 skrll 328 1.2.2.2 skrll Target->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 329 1.2.2.2 skrll Target = Target->Common.Next; 330 1.2.2.2 skrll } 331 1.2.2.2 skrll 332 1.2.2.2 skrll /* Parser should ensure there is at least a placeholder target */ 333 1.2.2.2 skrll 334 1.2.2.2 skrll if (!Target) 335 1.2.2.2 skrll { 336 1.2.2.2 skrll return (FALSE); 337 1.2.2.2 skrll } 338 1.2.2.2 skrll 339 1.2.2.2 skrll if (!AcpiDmIsValidTarget (Target)) 340 1.2.2.2 skrll { 341 1.2.2.2 skrll /* Not a valid target (placeholder only, from parser) */ 342 1.2.2.2 skrll break; 343 1.2.2.2 skrll } 344 1.2.2.2 skrll 345 1.2.2.2 skrll /* 346 1.2.2.2 skrll * Promote the target up to the first child in the parse 347 1.2.2.2 skrll * tree. This is done because the target will be output 348 1.2.2.2 skrll * first, in the form: 349 1.2.2.2 skrll * <Target> = Operands... 350 1.2.2.2 skrll */ 351 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 352 1.2.2.2 skrll 353 1.2.2.3 skrll /* Check operands for conversion to a "Compound Assignment" */ 354 1.2.2.3 skrll 355 1.2.2.3 skrll switch (Op->Common.AmlOpcode) 356 1.2.2.2 skrll { 357 1.2.2.3 skrll /* Commutative operators */ 358 1.2.2.3 skrll 359 1.2.2.3 skrll case AML_ADD_OP: 360 1.2.2.3 skrll case AML_MULTIPLY_OP: 361 1.2.2.3 skrll case AML_BIT_AND_OP: 362 1.2.2.3 skrll case AML_BIT_OR_OP: 363 1.2.2.3 skrll case AML_BIT_XOR_OP: 364 1.2.2.3 skrll /* 365 1.2.2.3 skrll * For the commutative operators, we can convert to a 366 1.2.2.3 skrll * compound statement only if at least one (either) operand 367 1.2.2.3 skrll * is the same as the target. 368 1.2.2.3 skrll * 369 1.2.2.3 skrll * Add (A, B, A) --> A += B 370 1.2.2.3 skrll * Add (B, A, A) --> A += B 371 1.2.2.3 skrll * Add (B, C, A) --> A = (B + C) 372 1.2.2.3 skrll */ 373 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE)) || 374 1.2.2.3 skrll (AcpiDmIsTargetAnOperand (Target, Child2, TRUE))) 375 1.2.2.3 skrll { 376 1.2.2.3 skrll Target->Common.OperatorSymbol = 377 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 378 1.2.2.2 skrll 379 1.2.2.3 skrll /* Convert operator to compound assignment */ 380 1.2.2.2 skrll 381 1.2.2.3 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND; 382 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 383 1.2.2.3 skrll return (TRUE); 384 1.2.2.3 skrll } 385 1.2.2.3 skrll break; 386 1.2.2.3 skrll 387 1.2.2.3 skrll /* Non-commutative operators */ 388 1.2.2.3 skrll 389 1.2.2.3 skrll case AML_SUBTRACT_OP: 390 1.2.2.3 skrll case AML_DIVIDE_OP: 391 1.2.2.3 skrll case AML_MOD_OP: 392 1.2.2.3 skrll case AML_SHIFT_LEFT_OP: 393 1.2.2.3 skrll case AML_SHIFT_RIGHT_OP: 394 1.2.2.3 skrll /* 395 1.2.2.3 skrll * For the non-commutative operators, we can convert to a 396 1.2.2.3 skrll * compound statement only if the target is the same as the 397 1.2.2.3 skrll * first operand. 398 1.2.2.3 skrll * 399 1.2.2.3 skrll * Subtract (A, B, A) --> A -= B 400 1.2.2.3 skrll * Subtract (B, A, A) --> A = (B - A) 401 1.2.2.3 skrll */ 402 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE))) 403 1.2.2.3 skrll { 404 1.2.2.3 skrll Target->Common.OperatorSymbol = 405 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 406 1.2.2.3 skrll 407 1.2.2.3 skrll /* Convert operator to compound assignment */ 408 1.2.2.3 skrll 409 1.2.2.3 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND; 410 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 411 1.2.2.3 skrll return (TRUE); 412 1.2.2.3 skrll } 413 1.2.2.3 skrll break; 414 1.2.2.3 skrll 415 1.2.2.3 skrll default: 416 1.2.2.3 skrll break; 417 1.2.2.2 skrll } 418 1.2.2.2 skrll 419 1.2.2.2 skrll /* 420 1.2.2.2 skrll * If we are within a C-style expression, emit an extra open 421 1.2.2.2 skrll * paren. Implemented by examining the parent op. 422 1.2.2.2 skrll */ 423 1.2.2.2 skrll switch (Op->Common.Parent->Common.AmlOpcode) 424 1.2.2.2 skrll { 425 1.2.2.2 skrll case AML_ADD_OP: 426 1.2.2.2 skrll case AML_SUBTRACT_OP: 427 1.2.2.2 skrll case AML_MULTIPLY_OP: 428 1.2.2.2 skrll case AML_DIVIDE_OP: 429 1.2.2.2 skrll case AML_MOD_OP: 430 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 431 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 432 1.2.2.2 skrll case AML_BIT_AND_OP: 433 1.2.2.2 skrll case AML_BIT_OR_OP: 434 1.2.2.2 skrll case AML_BIT_XOR_OP: 435 1.2.2.2 skrll case AML_LAND_OP: 436 1.2.2.2 skrll case AML_LEQUAL_OP: 437 1.2.2.2 skrll case AML_LGREATER_OP: 438 1.2.2.2 skrll case AML_LLESS_OP: 439 1.2.2.2 skrll case AML_LOR_OP: 440 1.2.2.2 skrll 441 1.2.2.2 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_ASSIGNMENT; 442 1.2.2.2 skrll AcpiOsPrintf ("("); 443 1.2.2.2 skrll break; 444 1.2.2.2 skrll 445 1.2.2.2 skrll default: 446 1.2.2.2 skrll break; 447 1.2.2.2 skrll } 448 1.2.2.2 skrll 449 1.2.2.2 skrll /* Normal output for ASL/AML operators with a target operand */ 450 1.2.2.2 skrll 451 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ("; 452 1.2.2.2 skrll return (TRUE); 453 1.2.2.2 skrll 454 1.2.2.2 skrll /* Binary operators, no parens */ 455 1.2.2.2 skrll 456 1.2.2.2 skrll case AML_DECREMENT_OP: 457 1.2.2.2 skrll case AML_INCREMENT_OP: 458 1.2.2.2 skrll return (TRUE); 459 1.2.2.2 skrll 460 1.2.2.2 skrll case AML_INDEX_OP: 461 1.2.2.2 skrll 462 1.2.2.2 skrll /* Target is optional, 3rd operand */ 463 1.2.2.2 skrll 464 1.2.2.2 skrll Target = Child2->Common.Next; 465 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 466 1.2.2.2 skrll { 467 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 468 1.2.2.2 skrll 469 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 470 1.2.2.2 skrll { 471 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 472 1.2.2.2 skrll } 473 1.2.2.2 skrll } 474 1.2.2.2 skrll return (TRUE); 475 1.2.2.2 skrll 476 1.2.2.2 skrll case AML_STORE_OP: 477 1.2.2.2 skrll /* 478 1.2.2.2 skrll * Target is the 2nd operand. 479 1.2.2.2 skrll * We know the target is valid, it is not optional. 480 1.2.2.2 skrll * In the parse tree, simply swap the target with the 481 1.2.2.2 skrll * source so that the target is processed first. 482 1.2.2.2 skrll */ 483 1.2.2.2 skrll Target = Child1->Common.Next; 484 1.2.2.3 skrll if (!Target) 485 1.2.2.3 skrll { 486 1.2.2.3 skrll return (FALSE); 487 1.2.2.3 skrll } 488 1.2.2.2 skrll 489 1.2.2.3 skrll AcpiDmPromoteTarget (Op, Target); 490 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 491 1.2.2.2 skrll { 492 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 493 1.2.2.2 skrll } 494 1.2.2.2 skrll return (TRUE); 495 1.2.2.2 skrll 496 1.2.2.2 skrll case AML_BIT_NOT_OP: 497 1.2.2.2 skrll 498 1.2.2.2 skrll /* Target is optional, 2nd operand */ 499 1.2.2.2 skrll 500 1.2.2.2 skrll Target = Child1->Common.Next; 501 1.2.2.2 skrll if (!Target) 502 1.2.2.2 skrll { 503 1.2.2.2 skrll return (FALSE); 504 1.2.2.2 skrll } 505 1.2.2.2 skrll 506 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 507 1.2.2.2 skrll { 508 1.2.2.2 skrll /* Valid target, not a placeholder */ 509 1.2.2.2 skrll 510 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 511 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ~"; 512 1.2.2.2 skrll } 513 1.2.2.2 skrll else 514 1.2.2.2 skrll { 515 1.2.2.2 skrll /* No target. Emit this prefix operator immediately */ 516 1.2.2.2 skrll 517 1.2.2.2 skrll AcpiOsPrintf ("~"); 518 1.2.2.2 skrll } 519 1.2.2.2 skrll return (TRUE); 520 1.2.2.2 skrll 521 1.2.2.2 skrll default: 522 1.2.2.2 skrll break; 523 1.2.2.2 skrll } 524 1.2.2.2 skrll 525 1.2.2.2 skrll /* All other operators, emit an open paren */ 526 1.2.2.2 skrll 527 1.2.2.2 skrll AcpiOsPrintf ("("); 528 1.2.2.2 skrll return (TRUE); 529 1.2.2.2 skrll } 530 1.2.2.2 skrll 531 1.2.2.2 skrll 532 1.2.2.2 skrll /******************************************************************************* 533 1.2.2.2 skrll * 534 1.2.2.2 skrll * FUNCTION: AcpiDmCloseOperator 535 1.2.2.2 skrll * 536 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 537 1.2.2.2 skrll * 538 1.2.2.2 skrll * RETURN: None 539 1.2.2.2 skrll * 540 1.2.2.2 skrll * DESCRIPTION: Closes an operator by adding a closing parentheses if and 541 1.2.2.2 skrll * when necessary. Called during ascending phase of the 542 1.2.2.2 skrll * parse tree walk. 543 1.2.2.2 skrll * 544 1.2.2.2 skrll ******************************************************************************/ 545 1.2.2.2 skrll 546 1.2.2.2 skrll void 547 1.2.2.2 skrll AcpiDmCloseOperator ( 548 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op) 549 1.2.2.2 skrll { 550 1.2.2.2 skrll 551 1.2.2.2 skrll /* Always emit paren if ASL+ disassembly disabled */ 552 1.2.2.2 skrll 553 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 554 1.2.2.2 skrll { 555 1.2.2.2 skrll AcpiOsPrintf (")"); 556 1.2.2.2 skrll return; 557 1.2.2.2 skrll } 558 1.2.2.2 skrll 559 1.2.2.2 skrll /* Check if we need to add an additional closing paren */ 560 1.2.2.2 skrll 561 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 562 1.2.2.2 skrll { 563 1.2.2.2 skrll case AML_ADD_OP: 564 1.2.2.2 skrll case AML_SUBTRACT_OP: 565 1.2.2.2 skrll case AML_MULTIPLY_OP: 566 1.2.2.2 skrll case AML_DIVIDE_OP: 567 1.2.2.2 skrll case AML_MOD_OP: 568 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 569 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 570 1.2.2.2 skrll case AML_BIT_AND_OP: 571 1.2.2.2 skrll case AML_BIT_OR_OP: 572 1.2.2.2 skrll case AML_BIT_XOR_OP: 573 1.2.2.2 skrll case AML_LAND_OP: 574 1.2.2.2 skrll case AML_LEQUAL_OP: 575 1.2.2.2 skrll case AML_LGREATER_OP: 576 1.2.2.2 skrll case AML_LLESS_OP: 577 1.2.2.2 skrll case AML_LOR_OP: 578 1.2.2.2 skrll 579 1.2.2.2 skrll /* Emit paren only if this is not a compound assignment */ 580 1.2.2.2 skrll 581 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_COMPOUND) 582 1.2.2.2 skrll { 583 1.2.2.2 skrll return; 584 1.2.2.2 skrll } 585 1.2.2.2 skrll 586 1.2.2.2 skrll /* Emit extra close paren for assignment within an expression */ 587 1.2.2.2 skrll 588 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_ASSIGNMENT) 589 1.2.2.2 skrll { 590 1.2.2.2 skrll AcpiOsPrintf (")"); 591 1.2.2.2 skrll } 592 1.2.2.2 skrll break; 593 1.2.2.2 skrll 594 1.2.2.4 skrll case AML_INDEX_OP: 595 1.2.2.4 skrll 596 1.2.2.4 skrll /* This is case for unsupported Index() source constants */ 597 1.2.2.4 skrll 598 1.2.2.4 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_CLOSING_PAREN) 599 1.2.2.4 skrll { 600 1.2.2.4 skrll AcpiOsPrintf (")"); 601 1.2.2.4 skrll } 602 1.2.2.4 skrll return; 603 1.2.2.2 skrll 604 1.2.2.2 skrll /* No need for parens for these */ 605 1.2.2.2 skrll 606 1.2.2.2 skrll case AML_DECREMENT_OP: 607 1.2.2.2 skrll case AML_INCREMENT_OP: 608 1.2.2.2 skrll case AML_LNOT_OP: 609 1.2.2.2 skrll case AML_BIT_NOT_OP: 610 1.2.2.2 skrll case AML_STORE_OP: 611 1.2.2.2 skrll return; 612 1.2.2.2 skrll 613 1.2.2.2 skrll default: 614 1.2.2.2 skrll 615 1.2.2.2 skrll /* Always emit paren for non-ASL+ operators */ 616 1.2.2.2 skrll break; 617 1.2.2.2 skrll } 618 1.2.2.2 skrll 619 1.2.2.2 skrll AcpiOsPrintf (")"); 620 1.2.2.2 skrll } 621 1.2.2.2 skrll 622 1.2.2.2 skrll 623 1.2.2.2 skrll /******************************************************************************* 624 1.2.2.2 skrll * 625 1.2.2.2 skrll * FUNCTION: AcpiDmGetCompoundSymbol 626 1.2.2.2 skrll * 627 1.2.2.2 skrll * PARAMETERS: AslOpcode 628 1.2.2.2 skrll * 629 1.2.2.2 skrll * RETURN: String containing the compound assignment symbol 630 1.2.2.2 skrll * 631 1.2.2.2 skrll * DESCRIPTION: Detect opcodes that can be converted to compound assignment, 632 1.2.2.2 skrll * return the appropriate operator string. 633 1.2.2.2 skrll * 634 1.2.2.2 skrll ******************************************************************************/ 635 1.2.2.2 skrll 636 1.2.2.2 skrll static const char * 637 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 638 1.2.2.2 skrll UINT16 AmlOpcode) 639 1.2.2.2 skrll { 640 1.2.2.2 skrll const char *Symbol; 641 1.2.2.2 skrll 642 1.2.2.2 skrll 643 1.2.2.2 skrll switch (AmlOpcode) 644 1.2.2.2 skrll { 645 1.2.2.2 skrll case AML_ADD_OP: 646 1.2.2.2 skrll Symbol = " += "; 647 1.2.2.2 skrll break; 648 1.2.2.2 skrll 649 1.2.2.2 skrll case AML_SUBTRACT_OP: 650 1.2.2.2 skrll Symbol = " -= "; 651 1.2.2.2 skrll break; 652 1.2.2.2 skrll 653 1.2.2.2 skrll case AML_MULTIPLY_OP: 654 1.2.2.2 skrll Symbol = " *= "; 655 1.2.2.2 skrll break; 656 1.2.2.2 skrll 657 1.2.2.2 skrll case AML_DIVIDE_OP: 658 1.2.2.2 skrll Symbol = " /= "; 659 1.2.2.2 skrll break; 660 1.2.2.2 skrll 661 1.2.2.2 skrll case AML_MOD_OP: 662 1.2.2.2 skrll Symbol = " %= "; 663 1.2.2.2 skrll break; 664 1.2.2.2 skrll 665 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 666 1.2.2.2 skrll Symbol = " <<= "; 667 1.2.2.2 skrll break; 668 1.2.2.2 skrll 669 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 670 1.2.2.2 skrll Symbol = " >>= "; 671 1.2.2.2 skrll break; 672 1.2.2.2 skrll 673 1.2.2.2 skrll case AML_BIT_AND_OP: 674 1.2.2.2 skrll Symbol = " &= "; 675 1.2.2.2 skrll break; 676 1.2.2.2 skrll 677 1.2.2.2 skrll case AML_BIT_OR_OP: 678 1.2.2.2 skrll Symbol = " |= "; 679 1.2.2.2 skrll break; 680 1.2.2.2 skrll 681 1.2.2.2 skrll case AML_BIT_XOR_OP: 682 1.2.2.2 skrll Symbol = " ^= "; 683 1.2.2.2 skrll break; 684 1.2.2.2 skrll 685 1.2.2.2 skrll default: 686 1.2.2.2 skrll 687 1.2.2.2 skrll /* No operator string for all other opcodes */ 688 1.2.2.4 skrll 689 1.2.2.2 skrll return (NULL); 690 1.2.2.2 skrll } 691 1.2.2.2 skrll 692 1.2.2.2 skrll return (Symbol); 693 1.2.2.2 skrll } 694 1.2.2.2 skrll 695 1.2.2.2 skrll 696 1.2.2.2 skrll /******************************************************************************* 697 1.2.2.2 skrll * 698 1.2.2.2 skrll * FUNCTION: AcpiDmPromoteTarget 699 1.2.2.2 skrll * 700 1.2.2.2 skrll * PARAMETERS: Op - Operator parse object 701 1.2.2.2 skrll * Target - Target associate with the Op 702 1.2.2.2 skrll * 703 1.2.2.2 skrll * RETURN: None 704 1.2.2.2 skrll * 705 1.2.2.2 skrll * DESCRIPTION: Transform the parse tree by moving the target up to the first 706 1.2.2.2 skrll * child of the Op. 707 1.2.2.2 skrll * 708 1.2.2.2 skrll ******************************************************************************/ 709 1.2.2.2 skrll 710 1.2.2.2 skrll static void 711 1.2.2.2 skrll AcpiDmPromoteTarget ( 712 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 713 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 714 1.2.2.2 skrll { 715 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child; 716 1.2.2.2 skrll 717 1.2.2.2 skrll 718 1.2.2.2 skrll /* Link target directly to the Op as first child */ 719 1.2.2.2 skrll 720 1.2.2.2 skrll Child = Op->Common.Value.Arg; 721 1.2.2.2 skrll Op->Common.Value.Arg = Target; 722 1.2.2.2 skrll Target->Common.Next = Child; 723 1.2.2.2 skrll 724 1.2.2.2 skrll /* Find the last peer, it is linked to the target. Unlink it. */ 725 1.2.2.2 skrll 726 1.2.2.2 skrll while (Child->Common.Next != Target) 727 1.2.2.2 skrll { 728 1.2.2.2 skrll Child = Child->Common.Next; 729 1.2.2.2 skrll } 730 1.2.2.2 skrll 731 1.2.2.2 skrll Child->Common.Next = NULL; 732 1.2.2.2 skrll } 733 1.2.2.2 skrll 734 1.2.2.2 skrll 735 1.2.2.2 skrll /******************************************************************************* 736 1.2.2.2 skrll * 737 1.2.2.2 skrll * FUNCTION: AcpiDmIsValidTarget 738 1.2.2.2 skrll * 739 1.2.2.2 skrll * PARAMETERS: Target - Target Op from the parse tree 740 1.2.2.2 skrll * 741 1.2.2.2 skrll * RETURN: TRUE if the Target is real. FALSE if it is just a placeholder 742 1.2.2.2 skrll * Op that was inserted by the parser. 743 1.2.2.2 skrll * 744 1.2.2.2 skrll * DESCRIPTION: Determine if a Target Op is a placeholder Op or a real Target. 745 1.2.2.2 skrll * In other words, determine if the optional target is used or 746 1.2.2.3 skrll * not. Note: If Target is NULL, something is seriously wrong, 747 1.2.2.3 skrll * probably with the parse tree. 748 1.2.2.2 skrll * 749 1.2.2.2 skrll ******************************************************************************/ 750 1.2.2.2 skrll 751 1.2.2.2 skrll static BOOLEAN 752 1.2.2.2 skrll AcpiDmIsValidTarget ( 753 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 754 1.2.2.2 skrll { 755 1.2.2.2 skrll 756 1.2.2.3 skrll if (!Target) 757 1.2.2.3 skrll { 758 1.2.2.3 skrll return (FALSE); 759 1.2.2.3 skrll } 760 1.2.2.3 skrll 761 1.2.2.2 skrll if ((Target->Common.AmlOpcode == AML_INT_NAMEPATH_OP) && 762 1.2.2.2 skrll (Target->Common.Value.Arg == NULL)) 763 1.2.2.2 skrll { 764 1.2.2.2 skrll return (FALSE); 765 1.2.2.2 skrll } 766 1.2.2.2 skrll 767 1.2.2.2 skrll return (TRUE); 768 1.2.2.2 skrll } 769 1.2.2.2 skrll 770 1.2.2.2 skrll 771 1.2.2.2 skrll /******************************************************************************* 772 1.2.2.2 skrll * 773 1.2.2.2 skrll * FUNCTION: AcpiDmIsTargetAnOperand 774 1.2.2.2 skrll * 775 1.2.2.2 skrll * PARAMETERS: Target - Target associated with the expression 776 1.2.2.2 skrll * Operand - An operand associated with expression 777 1.2.2.2 skrll * 778 1.2.2.2 skrll * RETURN: TRUE if expression can be converted to a compound assignment. 779 1.2.2.2 skrll * FALSE otherwise. 780 1.2.2.2 skrll * 781 1.2.2.2 skrll * DESCRIPTION: Determine if the Target duplicates the operand, in order to 782 1.2.2.2 skrll * detect if the expression can be converted to a compound 783 1.2.2.2 skrll * assigment. (+=, *=, etc.) 784 1.2.2.2 skrll * 785 1.2.2.2 skrll ******************************************************************************/ 786 1.2.2.2 skrll 787 1.2.2.2 skrll static BOOLEAN 788 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 789 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 790 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 791 1.2.2.2 skrll BOOLEAN TopLevel) 792 1.2.2.2 skrll { 793 1.2.2.2 skrll const ACPI_OPCODE_INFO *OpInfo; 794 1.2.2.2 skrll BOOLEAN Same; 795 1.2.2.2 skrll 796 1.2.2.2 skrll 797 1.2.2.2 skrll /* 798 1.2.2.2 skrll * Opcodes must match. Note: ignoring the difference between nameseg 799 1.2.2.2 skrll * and namepath for now. May be needed later. 800 1.2.2.2 skrll */ 801 1.2.2.2 skrll if (Target->Common.AmlOpcode != Operand->Common.AmlOpcode) 802 1.2.2.2 skrll { 803 1.2.2.2 skrll return (FALSE); 804 1.2.2.2 skrll } 805 1.2.2.2 skrll 806 1.2.2.2 skrll /* Nodes should match, even if they are NULL */ 807 1.2.2.2 skrll 808 1.2.2.2 skrll if (Target->Common.Node != Operand->Common.Node) 809 1.2.2.2 skrll { 810 1.2.2.2 skrll return (FALSE); 811 1.2.2.2 skrll } 812 1.2.2.2 skrll 813 1.2.2.2 skrll /* Determine if a child exists */ 814 1.2.2.2 skrll 815 1.2.2.2 skrll OpInfo = AcpiPsGetOpcodeInfo (Operand->Common.AmlOpcode); 816 1.2.2.2 skrll if (OpInfo->Flags & AML_HAS_ARGS) 817 1.2.2.2 skrll { 818 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Value.Arg, 819 1.2.2.2 skrll Operand->Common.Value.Arg, FALSE); 820 1.2.2.2 skrll if (!Same) 821 1.2.2.2 skrll { 822 1.2.2.2 skrll return (FALSE); 823 1.2.2.2 skrll } 824 1.2.2.2 skrll } 825 1.2.2.2 skrll 826 1.2.2.2 skrll /* Check the next peer, as long as we are not at the top level */ 827 1.2.2.2 skrll 828 1.2.2.2 skrll if ((!TopLevel) && 829 1.2.2.2 skrll Target->Common.Next) 830 1.2.2.2 skrll { 831 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Next, 832 1.2.2.2 skrll Operand->Common.Next, FALSE); 833 1.2.2.2 skrll if (!Same) 834 1.2.2.2 skrll { 835 1.2.2.2 skrll return (FALSE); 836 1.2.2.2 skrll } 837 1.2.2.2 skrll } 838 1.2.2.2 skrll 839 1.2.2.2 skrll /* Supress the duplicate operand at the top-level */ 840 1.2.2.2 skrll 841 1.2.2.2 skrll if (TopLevel) 842 1.2.2.2 skrll { 843 1.2.2.2 skrll Operand->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 844 1.2.2.2 skrll } 845 1.2.2.2 skrll return (TRUE); 846 1.2.2.2 skrll } 847
Indexes created Tue Sep 30 11:09:46 GMT 2025