dmcstyle.c revision 1.2.2.6
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.6 skrll ACPI_PARSE_OBJECT *GrandChild1; 102 1.2.2.6 skrll ACPI_PARSE_OBJECT *GrandChild2; 103 1.2.2.6 skrll ACPI_PARSE_OBJECT *GrandTarget = NULL; 104 1.2.2.2 skrll 105 1.2.2.2 skrll 106 1.2.2.2 skrll /* Exit immediately if ASL+ not enabled */ 107 1.2.2.2 skrll 108 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 109 1.2.2.2 skrll { 110 1.2.2.2 skrll return (FALSE); 111 1.2.2.2 skrll } 112 1.2.2.2 skrll 113 1.2.2.6 skrll /* Check for a non-ASL+ statement, propagate the flag */ 114 1.2.2.6 skrll 115 1.2.2.6 skrll if (Op->Common.Parent->Common.DisasmFlags & ACPI_PARSEOP_LEGACY_ASL_ONLY) 116 1.2.2.6 skrll { 117 1.2.2.6 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 118 1.2.2.6 skrll return (FALSE); 119 1.2.2.6 skrll } 120 1.2.2.6 skrll 121 1.2.2.2 skrll /* Get the first operand */ 122 1.2.2.2 skrll 123 1.2.2.2 skrll Child1 = AcpiPsGetArg (Op, 0); 124 1.2.2.2 skrll if (!Child1) 125 1.2.2.2 skrll { 126 1.2.2.2 skrll return (FALSE); 127 1.2.2.2 skrll } 128 1.2.2.2 skrll 129 1.2.2.2 skrll /* Get the second operand */ 130 1.2.2.2 skrll 131 1.2.2.2 skrll Child2 = Child1->Common.Next; 132 1.2.2.2 skrll 133 1.2.2.2 skrll /* Setup the operator string for this opcode */ 134 1.2.2.2 skrll 135 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 136 1.2.2.2 skrll { 137 1.2.2.2 skrll case AML_ADD_OP: 138 1.2.2.2 skrll OperatorSymbol = " + "; 139 1.2.2.2 skrll break; 140 1.2.2.2 skrll 141 1.2.2.2 skrll case AML_SUBTRACT_OP: 142 1.2.2.2 skrll OperatorSymbol = " - "; 143 1.2.2.2 skrll break; 144 1.2.2.2 skrll 145 1.2.2.2 skrll case AML_MULTIPLY_OP: 146 1.2.2.2 skrll OperatorSymbol = " * "; 147 1.2.2.2 skrll break; 148 1.2.2.2 skrll 149 1.2.2.2 skrll case AML_DIVIDE_OP: 150 1.2.2.2 skrll OperatorSymbol = " / "; 151 1.2.2.2 skrll break; 152 1.2.2.2 skrll 153 1.2.2.2 skrll case AML_MOD_OP: 154 1.2.2.2 skrll OperatorSymbol = " % "; 155 1.2.2.2 skrll break; 156 1.2.2.2 skrll 157 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 158 1.2.2.2 skrll OperatorSymbol = " << "; 159 1.2.2.2 skrll break; 160 1.2.2.2 skrll 161 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 162 1.2.2.2 skrll OperatorSymbol = " >> "; 163 1.2.2.2 skrll break; 164 1.2.2.2 skrll 165 1.2.2.2 skrll case AML_BIT_AND_OP: 166 1.2.2.2 skrll OperatorSymbol = " & "; 167 1.2.2.2 skrll break; 168 1.2.2.2 skrll 169 1.2.2.2 skrll case AML_BIT_OR_OP: 170 1.2.2.2 skrll OperatorSymbol = " | "; 171 1.2.2.2 skrll break; 172 1.2.2.2 skrll 173 1.2.2.2 skrll case AML_BIT_XOR_OP: 174 1.2.2.2 skrll OperatorSymbol = " ^ "; 175 1.2.2.2 skrll break; 176 1.2.2.2 skrll 177 1.2.2.2 skrll /* Logical operators, no target */ 178 1.2.2.2 skrll 179 1.2.2.2 skrll case AML_LAND_OP: 180 1.2.2.2 skrll OperatorSymbol = " && "; 181 1.2.2.2 skrll break; 182 1.2.2.2 skrll 183 1.2.2.2 skrll case AML_LEQUAL_OP: 184 1.2.2.2 skrll OperatorSymbol = " == "; 185 1.2.2.2 skrll break; 186 1.2.2.2 skrll 187 1.2.2.2 skrll case AML_LGREATER_OP: 188 1.2.2.2 skrll OperatorSymbol = " > "; 189 1.2.2.2 skrll break; 190 1.2.2.2 skrll 191 1.2.2.2 skrll case AML_LLESS_OP: 192 1.2.2.2 skrll OperatorSymbol = " < "; 193 1.2.2.2 skrll break; 194 1.2.2.2 skrll 195 1.2.2.2 skrll case AML_LOR_OP: 196 1.2.2.2 skrll OperatorSymbol = " || "; 197 1.2.2.2 skrll break; 198 1.2.2.2 skrll 199 1.2.2.2 skrll case AML_LNOT_OP: 200 1.2.2.2 skrll /* 201 1.2.2.2 skrll * Check for the LNOT sub-opcodes. These correspond to 202 1.2.2.2 skrll * LNotEqual, LLessEqual, and LGreaterEqual. There are 203 1.2.2.2 skrll * no actual AML opcodes for these operators. 204 1.2.2.2 skrll */ 205 1.2.2.2 skrll switch (Child1->Common.AmlOpcode) 206 1.2.2.2 skrll { 207 1.2.2.2 skrll case AML_LEQUAL_OP: 208 1.2.2.2 skrll OperatorSymbol = " != "; 209 1.2.2.2 skrll break; 210 1.2.2.2 skrll 211 1.2.2.2 skrll case AML_LGREATER_OP: 212 1.2.2.2 skrll OperatorSymbol = " <= "; 213 1.2.2.2 skrll break; 214 1.2.2.2 skrll 215 1.2.2.2 skrll case AML_LLESS_OP: 216 1.2.2.2 skrll OperatorSymbol = " >= "; 217 1.2.2.2 skrll break; 218 1.2.2.2 skrll 219 1.2.2.2 skrll default: 220 1.2.2.2 skrll 221 1.2.2.2 skrll /* Unary LNOT case, emit "!" immediately */ 222 1.2.2.2 skrll 223 1.2.2.2 skrll AcpiOsPrintf ("!"); 224 1.2.2.2 skrll return (TRUE); 225 1.2.2.2 skrll } 226 1.2.2.2 skrll 227 1.2.2.2 skrll Child1->Common.DisasmOpcode = ACPI_DASM_LNOT_SUFFIX; 228 1.2.2.2 skrll Op->Common.DisasmOpcode = ACPI_DASM_LNOT_PREFIX; 229 1.2.2.5 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND_ASSIGNMENT; 230 1.2.2.2 skrll 231 1.2.2.2 skrll /* Save symbol string in the next child (not peer) */ 232 1.2.2.2 skrll 233 1.2.2.2 skrll Child2 = AcpiPsGetArg (Child1, 0); 234 1.2.2.2 skrll if (!Child2) 235 1.2.2.2 skrll { 236 1.2.2.2 skrll return (FALSE); 237 1.2.2.2 skrll } 238 1.2.2.2 skrll 239 1.2.2.2 skrll Child2->Common.OperatorSymbol = OperatorSymbol; 240 1.2.2.2 skrll return (TRUE); 241 1.2.2.2 skrll 242 1.2.2.2 skrll case AML_INDEX_OP: 243 1.2.2.4 skrll /* 244 1.2.2.4 skrll * Check for constant source operand. Note: although technically 245 1.2.2.4 skrll * legal syntax, the iASL compiler does not support this with 246 1.2.2.4 skrll * the symbolic operators for Index(). It doesn't make sense to 247 1.2.2.4 skrll * use Index() with a constant anyway. 248 1.2.2.4 skrll */ 249 1.2.2.4 skrll if ((Child1->Common.AmlOpcode == AML_STRING_OP) || 250 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_BUFFER_OP) || 251 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_PACKAGE_OP) || 252 1.2.2.4 skrll (Child1->Common.AmlOpcode == AML_VAR_PACKAGE_OP)) 253 1.2.2.4 skrll { 254 1.2.2.4 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_CLOSING_PAREN; 255 1.2.2.4 skrll return (FALSE); 256 1.2.2.4 skrll } 257 1.2.2.4 skrll 258 1.2.2.4 skrll /* Index operator is [] */ 259 1.2.2.4 skrll 260 1.2.2.2 skrll Child1->Common.OperatorSymbol = " ["; 261 1.2.2.2 skrll Child2->Common.OperatorSymbol = "]"; 262 1.2.2.2 skrll break; 263 1.2.2.2 skrll 264 1.2.2.2 skrll /* Unary operators */ 265 1.2.2.2 skrll 266 1.2.2.2 skrll case AML_DECREMENT_OP: 267 1.2.2.2 skrll OperatorSymbol = "--"; 268 1.2.2.2 skrll break; 269 1.2.2.2 skrll 270 1.2.2.2 skrll case AML_INCREMENT_OP: 271 1.2.2.2 skrll OperatorSymbol = "++"; 272 1.2.2.2 skrll break; 273 1.2.2.2 skrll 274 1.2.2.2 skrll case AML_BIT_NOT_OP: 275 1.2.2.2 skrll case AML_STORE_OP: 276 1.2.2.2 skrll OperatorSymbol = NULL; 277 1.2.2.2 skrll break; 278 1.2.2.2 skrll 279 1.2.2.2 skrll default: 280 1.2.2.2 skrll return (FALSE); 281 1.2.2.2 skrll } 282 1.2.2.2 skrll 283 1.2.2.2 skrll if (Child1->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX) 284 1.2.2.2 skrll { 285 1.2.2.2 skrll return (TRUE); 286 1.2.2.2 skrll } 287 1.2.2.2 skrll 288 1.2.2.2 skrll /* 289 1.2.2.2 skrll * This is the key to how the disassembly of the C-style operators 290 1.2.2.2 skrll * works. We save the operator symbol in the first child, thus 291 1.2.2.2 skrll * deferring symbol output until after the first operand has been 292 1.2.2.2 skrll * emitted. 293 1.2.2.2 skrll */ 294 1.2.2.2 skrll if (!Child1->Common.OperatorSymbol) 295 1.2.2.2 skrll { 296 1.2.2.2 skrll Child1->Common.OperatorSymbol = OperatorSymbol; 297 1.2.2.2 skrll } 298 1.2.2.2 skrll 299 1.2.2.2 skrll /* 300 1.2.2.2 skrll * Check for a valid target as the 3rd (or sometimes 2nd) operand 301 1.2.2.2 skrll * 302 1.2.2.2 skrll * Compound assignment operator support: 303 1.2.2.2 skrll * Attempt to optimize constructs of the form: 304 1.2.2.2 skrll * Add (Local1, 0xFF, Local1) 305 1.2.2.2 skrll * to: 306 1.2.2.2 skrll * Local1 += 0xFF 307 1.2.2.2 skrll * 308 1.2.2.2 skrll * Only the math operators and Store() have a target. 309 1.2.2.2 skrll * Logicals have no target. 310 1.2.2.2 skrll */ 311 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 312 1.2.2.2 skrll { 313 1.2.2.2 skrll case AML_ADD_OP: 314 1.2.2.2 skrll case AML_SUBTRACT_OP: 315 1.2.2.2 skrll case AML_MULTIPLY_OP: 316 1.2.2.2 skrll case AML_DIVIDE_OP: 317 1.2.2.2 skrll case AML_MOD_OP: 318 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 319 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 320 1.2.2.2 skrll case AML_BIT_AND_OP: 321 1.2.2.2 skrll case AML_BIT_OR_OP: 322 1.2.2.2 skrll case AML_BIT_XOR_OP: 323 1.2.2.2 skrll 324 1.2.2.2 skrll /* Target is 3rd operand */ 325 1.2.2.2 skrll 326 1.2.2.2 skrll Target = Child2->Common.Next; 327 1.2.2.2 skrll if (Op->Common.AmlOpcode == AML_DIVIDE_OP) 328 1.2.2.2 skrll { 329 1.2.2.2 skrll /* 330 1.2.2.2 skrll * Divide has an extra target operand (Remainder). 331 1.2.2.2 skrll * If this extra target is specified, it cannot be converted 332 1.2.2.2 skrll * to a C-style operator 333 1.2.2.2 skrll */ 334 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 335 1.2.2.2 skrll { 336 1.2.2.2 skrll Child1->Common.OperatorSymbol = NULL; 337 1.2.2.6 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 338 1.2.2.2 skrll return (FALSE); 339 1.2.2.2 skrll } 340 1.2.2.2 skrll 341 1.2.2.2 skrll Target->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 342 1.2.2.2 skrll Target = Target->Common.Next; 343 1.2.2.2 skrll } 344 1.2.2.2 skrll 345 1.2.2.2 skrll /* Parser should ensure there is at least a placeholder target */ 346 1.2.2.2 skrll 347 1.2.2.2 skrll if (!Target) 348 1.2.2.2 skrll { 349 1.2.2.2 skrll return (FALSE); 350 1.2.2.2 skrll } 351 1.2.2.2 skrll 352 1.2.2.2 skrll if (!AcpiDmIsValidTarget (Target)) 353 1.2.2.2 skrll { 354 1.2.2.6 skrll if (Op->Common.Parent->Common.AmlOpcode == AML_STORE_OP) 355 1.2.2.6 skrll { 356 1.2.2.6 skrll Op->Common.DisasmFlags = 0; 357 1.2.2.6 skrll Child1->Common.OperatorSymbol = NULL; 358 1.2.2.6 skrll return (FALSE); 359 1.2.2.6 skrll } 360 1.2.2.6 skrll 361 1.2.2.2 skrll /* Not a valid target (placeholder only, from parser) */ 362 1.2.2.2 skrll break; 363 1.2.2.2 skrll } 364 1.2.2.2 skrll 365 1.2.2.2 skrll /* 366 1.2.2.2 skrll * Promote the target up to the first child in the parse 367 1.2.2.2 skrll * tree. This is done because the target will be output 368 1.2.2.2 skrll * first, in the form: 369 1.2.2.2 skrll * <Target> = Operands... 370 1.2.2.2 skrll */ 371 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 372 1.2.2.2 skrll 373 1.2.2.3 skrll /* Check operands for conversion to a "Compound Assignment" */ 374 1.2.2.3 skrll 375 1.2.2.3 skrll switch (Op->Common.AmlOpcode) 376 1.2.2.2 skrll { 377 1.2.2.3 skrll /* Commutative operators */ 378 1.2.2.3 skrll 379 1.2.2.3 skrll case AML_ADD_OP: 380 1.2.2.3 skrll case AML_MULTIPLY_OP: 381 1.2.2.3 skrll case AML_BIT_AND_OP: 382 1.2.2.3 skrll case AML_BIT_OR_OP: 383 1.2.2.3 skrll case AML_BIT_XOR_OP: 384 1.2.2.3 skrll /* 385 1.2.2.3 skrll * For the commutative operators, we can convert to a 386 1.2.2.3 skrll * compound statement only if at least one (either) operand 387 1.2.2.3 skrll * is the same as the target. 388 1.2.2.3 skrll * 389 1.2.2.3 skrll * Add (A, B, A) --> A += B 390 1.2.2.3 skrll * Add (B, A, A) --> A += B 391 1.2.2.3 skrll * Add (B, C, A) --> A = (B + C) 392 1.2.2.3 skrll */ 393 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE)) || 394 1.2.2.3 skrll (AcpiDmIsTargetAnOperand (Target, Child2, TRUE))) 395 1.2.2.3 skrll { 396 1.2.2.3 skrll Target->Common.OperatorSymbol = 397 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 398 1.2.2.2 skrll 399 1.2.2.3 skrll /* Convert operator to compound assignment */ 400 1.2.2.2 skrll 401 1.2.2.5 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND_ASSIGNMENT; 402 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 403 1.2.2.3 skrll return (TRUE); 404 1.2.2.3 skrll } 405 1.2.2.3 skrll break; 406 1.2.2.3 skrll 407 1.2.2.3 skrll /* Non-commutative operators */ 408 1.2.2.3 skrll 409 1.2.2.3 skrll case AML_SUBTRACT_OP: 410 1.2.2.3 skrll case AML_DIVIDE_OP: 411 1.2.2.3 skrll case AML_MOD_OP: 412 1.2.2.3 skrll case AML_SHIFT_LEFT_OP: 413 1.2.2.3 skrll case AML_SHIFT_RIGHT_OP: 414 1.2.2.3 skrll /* 415 1.2.2.3 skrll * For the non-commutative operators, we can convert to a 416 1.2.2.3 skrll * compound statement only if the target is the same as the 417 1.2.2.3 skrll * first operand. 418 1.2.2.3 skrll * 419 1.2.2.3 skrll * Subtract (A, B, A) --> A -= B 420 1.2.2.3 skrll * Subtract (B, A, A) --> A = (B - A) 421 1.2.2.3 skrll */ 422 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE))) 423 1.2.2.3 skrll { 424 1.2.2.3 skrll Target->Common.OperatorSymbol = 425 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 426 1.2.2.3 skrll 427 1.2.2.3 skrll /* Convert operator to compound assignment */ 428 1.2.2.3 skrll 429 1.2.2.5 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND_ASSIGNMENT; 430 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 431 1.2.2.3 skrll return (TRUE); 432 1.2.2.3 skrll } 433 1.2.2.3 skrll break; 434 1.2.2.3 skrll 435 1.2.2.3 skrll default: 436 1.2.2.3 skrll break; 437 1.2.2.2 skrll } 438 1.2.2.2 skrll 439 1.2.2.2 skrll /* 440 1.2.2.2 skrll * If we are within a C-style expression, emit an extra open 441 1.2.2.2 skrll * paren. Implemented by examining the parent op. 442 1.2.2.2 skrll */ 443 1.2.2.2 skrll switch (Op->Common.Parent->Common.AmlOpcode) 444 1.2.2.2 skrll { 445 1.2.2.2 skrll case AML_ADD_OP: 446 1.2.2.2 skrll case AML_SUBTRACT_OP: 447 1.2.2.2 skrll case AML_MULTIPLY_OP: 448 1.2.2.2 skrll case AML_DIVIDE_OP: 449 1.2.2.2 skrll case AML_MOD_OP: 450 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 451 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 452 1.2.2.2 skrll case AML_BIT_AND_OP: 453 1.2.2.2 skrll case AML_BIT_OR_OP: 454 1.2.2.2 skrll case AML_BIT_XOR_OP: 455 1.2.2.2 skrll case AML_LAND_OP: 456 1.2.2.2 skrll case AML_LEQUAL_OP: 457 1.2.2.2 skrll case AML_LGREATER_OP: 458 1.2.2.2 skrll case AML_LLESS_OP: 459 1.2.2.2 skrll case AML_LOR_OP: 460 1.2.2.2 skrll 461 1.2.2.2 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_ASSIGNMENT; 462 1.2.2.2 skrll AcpiOsPrintf ("("); 463 1.2.2.2 skrll break; 464 1.2.2.2 skrll 465 1.2.2.2 skrll default: 466 1.2.2.2 skrll break; 467 1.2.2.2 skrll } 468 1.2.2.2 skrll 469 1.2.2.2 skrll /* Normal output for ASL/AML operators with a target operand */ 470 1.2.2.2 skrll 471 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ("; 472 1.2.2.2 skrll return (TRUE); 473 1.2.2.2 skrll 474 1.2.2.2 skrll /* Binary operators, no parens */ 475 1.2.2.2 skrll 476 1.2.2.2 skrll case AML_DECREMENT_OP: 477 1.2.2.2 skrll case AML_INCREMENT_OP: 478 1.2.2.2 skrll return (TRUE); 479 1.2.2.2 skrll 480 1.2.2.2 skrll case AML_INDEX_OP: 481 1.2.2.2 skrll 482 1.2.2.2 skrll /* Target is optional, 3rd operand */ 483 1.2.2.2 skrll 484 1.2.2.2 skrll Target = Child2->Common.Next; 485 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 486 1.2.2.2 skrll { 487 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 488 1.2.2.2 skrll 489 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 490 1.2.2.2 skrll { 491 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 492 1.2.2.2 skrll } 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_STORE_OP: 497 1.2.2.2 skrll /* 498 1.2.2.2 skrll * Target is the 2nd operand. 499 1.2.2.2 skrll * We know the target is valid, it is not optional. 500 1.2.2.6 skrll * 501 1.2.2.6 skrll * The following block implements "Ignore conversion if a store 502 1.2.2.6 skrll * is followed by a math/bit operator that has no target". Used 503 1.2.2.6 skrll * only for the ASL test suite. 504 1.2.2.6 skrll */ 505 1.2.2.6 skrll if (!AcpiGbl_DoDisassemblerOptimizations) 506 1.2.2.6 skrll { 507 1.2.2.6 skrll switch (Child1->Common.AmlOpcode) 508 1.2.2.6 skrll { 509 1.2.2.6 skrll /* This operator has two operands and two targets */ 510 1.2.2.6 skrll 511 1.2.2.6 skrll case AML_DIVIDE_OP: 512 1.2.2.6 skrll 513 1.2.2.6 skrll GrandChild1 = Child1->Common.Value.Arg; 514 1.2.2.6 skrll GrandChild2 = GrandChild1->Common.Next; 515 1.2.2.6 skrll GrandTarget = GrandChild2->Common.Next; 516 1.2.2.6 skrll 517 1.2.2.6 skrll if (GrandTarget && !AcpiDmIsValidTarget (GrandTarget)) 518 1.2.2.6 skrll { 519 1.2.2.6 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 520 1.2.2.6 skrll return (FALSE); 521 1.2.2.6 skrll } 522 1.2.2.6 skrll GrandTarget = GrandTarget->Common.Next; 523 1.2.2.6 skrll break; 524 1.2.2.6 skrll 525 1.2.2.6 skrll case AML_ADD_OP: 526 1.2.2.6 skrll case AML_SUBTRACT_OP: 527 1.2.2.6 skrll case AML_MULTIPLY_OP: 528 1.2.2.6 skrll case AML_MOD_OP: 529 1.2.2.6 skrll case AML_SHIFT_LEFT_OP: 530 1.2.2.6 skrll case AML_SHIFT_RIGHT_OP: 531 1.2.2.6 skrll case AML_BIT_AND_OP: 532 1.2.2.6 skrll case AML_BIT_OR_OP: 533 1.2.2.6 skrll case AML_BIT_XOR_OP: 534 1.2.2.6 skrll case AML_INDEX_OP: 535 1.2.2.6 skrll 536 1.2.2.6 skrll /* These operators have two operands and a target */ 537 1.2.2.6 skrll 538 1.2.2.6 skrll GrandChild1 = Child1->Common.Value.Arg; 539 1.2.2.6 skrll GrandChild2 = GrandChild1->Common.Next; 540 1.2.2.6 skrll GrandTarget = GrandChild2->Common.Next; 541 1.2.2.6 skrll break; 542 1.2.2.6 skrll 543 1.2.2.6 skrll case AML_BIT_NOT_OP: 544 1.2.2.6 skrll 545 1.2.2.6 skrll /* This operator has one operand and a target */ 546 1.2.2.6 skrll 547 1.2.2.6 skrll GrandChild1 = Child1->Common.Value.Arg; 548 1.2.2.6 skrll GrandTarget = GrandChild1->Common.Next; 549 1.2.2.6 skrll break; 550 1.2.2.6 skrll 551 1.2.2.6 skrll default: 552 1.2.2.6 skrll break; 553 1.2.2.6 skrll } 554 1.2.2.6 skrll 555 1.2.2.6 skrll if (GrandTarget && !AcpiDmIsValidTarget (GrandTarget)) 556 1.2.2.6 skrll { 557 1.2.2.6 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 558 1.2.2.6 skrll return (FALSE); 559 1.2.2.6 skrll } 560 1.2.2.6 skrll } 561 1.2.2.6 skrll 562 1.2.2.6 skrll /* 563 1.2.2.2 skrll * In the parse tree, simply swap the target with the 564 1.2.2.2 skrll * source so that the target is processed first. 565 1.2.2.2 skrll */ 566 1.2.2.2 skrll Target = Child1->Common.Next; 567 1.2.2.3 skrll if (!Target) 568 1.2.2.3 skrll { 569 1.2.2.3 skrll return (FALSE); 570 1.2.2.3 skrll } 571 1.2.2.2 skrll 572 1.2.2.3 skrll AcpiDmPromoteTarget (Op, Target); 573 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 574 1.2.2.2 skrll { 575 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 576 1.2.2.2 skrll } 577 1.2.2.2 skrll return (TRUE); 578 1.2.2.2 skrll 579 1.2.2.2 skrll case AML_BIT_NOT_OP: 580 1.2.2.2 skrll 581 1.2.2.2 skrll /* Target is optional, 2nd operand */ 582 1.2.2.2 skrll 583 1.2.2.2 skrll Target = Child1->Common.Next; 584 1.2.2.2 skrll if (!Target) 585 1.2.2.2 skrll { 586 1.2.2.2 skrll return (FALSE); 587 1.2.2.2 skrll } 588 1.2.2.2 skrll 589 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 590 1.2.2.2 skrll { 591 1.2.2.2 skrll /* Valid target, not a placeholder */ 592 1.2.2.2 skrll 593 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 594 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ~"; 595 1.2.2.2 skrll } 596 1.2.2.2 skrll else 597 1.2.2.2 skrll { 598 1.2.2.2 skrll /* No target. Emit this prefix operator immediately */ 599 1.2.2.2 skrll 600 1.2.2.2 skrll AcpiOsPrintf ("~"); 601 1.2.2.2 skrll } 602 1.2.2.2 skrll return (TRUE); 603 1.2.2.2 skrll 604 1.2.2.2 skrll default: 605 1.2.2.2 skrll break; 606 1.2.2.2 skrll } 607 1.2.2.2 skrll 608 1.2.2.5 skrll /* 609 1.2.2.5 skrll * Nodes marked with ACPI_PARSEOP_PARAMLIST don't need a parens 610 1.2.2.5 skrll * output here. We also need to check the parent to see if this op 611 1.2.2.5 skrll * is part of a compound test (!=, >=, <=). 612 1.2.2.5 skrll */ 613 1.2.2.5 skrll if ((Op->Common.DisasmFlags & ACPI_PARSEOP_PARAMETER_LIST) || 614 1.2.2.5 skrll ((Op->Common.Parent->Common.DisasmFlags & ACPI_PARSEOP_PARAMETER_LIST) && 615 1.2.2.5 skrll (Op->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX))) 616 1.2.2.5 skrll { 617 1.2.2.5 skrll /* Do Nothing. Paren already generated */ 618 1.2.2.5 skrll return (TRUE); 619 1.2.2.5 skrll } 620 1.2.2.5 skrll 621 1.2.2.2 skrll /* All other operators, emit an open paren */ 622 1.2.2.2 skrll 623 1.2.2.2 skrll AcpiOsPrintf ("("); 624 1.2.2.2 skrll return (TRUE); 625 1.2.2.2 skrll } 626 1.2.2.2 skrll 627 1.2.2.2 skrll 628 1.2.2.2 skrll /******************************************************************************* 629 1.2.2.2 skrll * 630 1.2.2.2 skrll * FUNCTION: AcpiDmCloseOperator 631 1.2.2.2 skrll * 632 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 633 1.2.2.2 skrll * 634 1.2.2.2 skrll * RETURN: None 635 1.2.2.2 skrll * 636 1.2.2.2 skrll * DESCRIPTION: Closes an operator by adding a closing parentheses if and 637 1.2.2.2 skrll * when necessary. Called during ascending phase of the 638 1.2.2.2 skrll * parse tree walk. 639 1.2.2.2 skrll * 640 1.2.2.2 skrll ******************************************************************************/ 641 1.2.2.2 skrll 642 1.2.2.2 skrll void 643 1.2.2.2 skrll AcpiDmCloseOperator ( 644 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op) 645 1.2.2.2 skrll { 646 1.2.2.5 skrll BOOLEAN IsCStyleOp = FALSE; 647 1.2.2.2 skrll 648 1.2.2.6 skrll 649 1.2.2.2 skrll /* Always emit paren if ASL+ disassembly disabled */ 650 1.2.2.2 skrll 651 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 652 1.2.2.2 skrll { 653 1.2.2.2 skrll AcpiOsPrintf (")"); 654 1.2.2.2 skrll return; 655 1.2.2.2 skrll } 656 1.2.2.2 skrll 657 1.2.2.6 skrll /* Check for a non-ASL+ statement */ 658 1.2.2.6 skrll 659 1.2.2.6 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_LEGACY_ASL_ONLY) 660 1.2.2.6 skrll { 661 1.2.2.6 skrll AcpiOsPrintf (")"); 662 1.2.2.6 skrll return; 663 1.2.2.6 skrll } 664 1.2.2.6 skrll 665 1.2.2.2 skrll /* Check if we need to add an additional closing paren */ 666 1.2.2.2 skrll 667 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 668 1.2.2.2 skrll { 669 1.2.2.2 skrll case AML_ADD_OP: 670 1.2.2.2 skrll case AML_SUBTRACT_OP: 671 1.2.2.2 skrll case AML_MULTIPLY_OP: 672 1.2.2.2 skrll case AML_DIVIDE_OP: 673 1.2.2.2 skrll case AML_MOD_OP: 674 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 675 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 676 1.2.2.2 skrll case AML_BIT_AND_OP: 677 1.2.2.2 skrll case AML_BIT_OR_OP: 678 1.2.2.2 skrll case AML_BIT_XOR_OP: 679 1.2.2.2 skrll case AML_LAND_OP: 680 1.2.2.2 skrll case AML_LEQUAL_OP: 681 1.2.2.2 skrll case AML_LGREATER_OP: 682 1.2.2.2 skrll case AML_LLESS_OP: 683 1.2.2.2 skrll case AML_LOR_OP: 684 1.2.2.2 skrll 685 1.2.2.2 skrll /* Emit paren only if this is not a compound assignment */ 686 1.2.2.2 skrll 687 1.2.2.5 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_COMPOUND_ASSIGNMENT) 688 1.2.2.2 skrll { 689 1.2.2.2 skrll return; 690 1.2.2.2 skrll } 691 1.2.2.2 skrll 692 1.2.2.2 skrll /* Emit extra close paren for assignment within an expression */ 693 1.2.2.2 skrll 694 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_ASSIGNMENT) 695 1.2.2.2 skrll { 696 1.2.2.2 skrll AcpiOsPrintf (")"); 697 1.2.2.2 skrll } 698 1.2.2.5 skrll 699 1.2.2.5 skrll IsCStyleOp = TRUE; 700 1.2.2.2 skrll break; 701 1.2.2.2 skrll 702 1.2.2.4 skrll case AML_INDEX_OP: 703 1.2.2.4 skrll 704 1.2.2.4 skrll /* This is case for unsupported Index() source constants */ 705 1.2.2.4 skrll 706 1.2.2.4 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_CLOSING_PAREN) 707 1.2.2.4 skrll { 708 1.2.2.4 skrll AcpiOsPrintf (")"); 709 1.2.2.4 skrll } 710 1.2.2.4 skrll return; 711 1.2.2.2 skrll 712 1.2.2.2 skrll /* No need for parens for these */ 713 1.2.2.2 skrll 714 1.2.2.2 skrll case AML_DECREMENT_OP: 715 1.2.2.2 skrll case AML_INCREMENT_OP: 716 1.2.2.2 skrll case AML_LNOT_OP: 717 1.2.2.2 skrll case AML_BIT_NOT_OP: 718 1.2.2.2 skrll case AML_STORE_OP: 719 1.2.2.2 skrll return; 720 1.2.2.2 skrll 721 1.2.2.2 skrll default: 722 1.2.2.2 skrll 723 1.2.2.2 skrll /* Always emit paren for non-ASL+ operators */ 724 1.2.2.2 skrll break; 725 1.2.2.2 skrll } 726 1.2.2.2 skrll 727 1.2.2.5 skrll /* 728 1.2.2.5 skrll * Nodes marked with ACPI_PARSEOP_PARAMLIST don't need a parens 729 1.2.2.5 skrll * output here. We also need to check the parent to see if this op 730 1.2.2.5 skrll * is part of a compound test (!=, >=, <=). 731 1.2.2.5 skrll */ 732 1.2.2.5 skrll if (IsCStyleOp && 733 1.2.2.5 skrll ((Op->Common.DisasmFlags & ACPI_PARSEOP_PARAMETER_LIST) || 734 1.2.2.5 skrll ((Op->Common.Parent->Common.DisasmFlags & ACPI_PARSEOP_PARAMETER_LIST) && 735 1.2.2.5 skrll (Op->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX)))) 736 1.2.2.5 skrll { 737 1.2.2.5 skrll return; 738 1.2.2.5 skrll } 739 1.2.2.5 skrll 740 1.2.2.2 skrll AcpiOsPrintf (")"); 741 1.2.2.5 skrll return; 742 1.2.2.2 skrll } 743 1.2.2.2 skrll 744 1.2.2.2 skrll 745 1.2.2.2 skrll /******************************************************************************* 746 1.2.2.2 skrll * 747 1.2.2.2 skrll * FUNCTION: AcpiDmGetCompoundSymbol 748 1.2.2.2 skrll * 749 1.2.2.2 skrll * PARAMETERS: AslOpcode 750 1.2.2.2 skrll * 751 1.2.2.2 skrll * RETURN: String containing the compound assignment symbol 752 1.2.2.2 skrll * 753 1.2.2.2 skrll * DESCRIPTION: Detect opcodes that can be converted to compound assignment, 754 1.2.2.2 skrll * return the appropriate operator string. 755 1.2.2.2 skrll * 756 1.2.2.2 skrll ******************************************************************************/ 757 1.2.2.2 skrll 758 1.2.2.2 skrll static const char * 759 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 760 1.2.2.2 skrll UINT16 AmlOpcode) 761 1.2.2.2 skrll { 762 1.2.2.2 skrll const char *Symbol; 763 1.2.2.2 skrll 764 1.2.2.2 skrll 765 1.2.2.2 skrll switch (AmlOpcode) 766 1.2.2.2 skrll { 767 1.2.2.2 skrll case AML_ADD_OP: 768 1.2.2.2 skrll Symbol = " += "; 769 1.2.2.2 skrll break; 770 1.2.2.2 skrll 771 1.2.2.2 skrll case AML_SUBTRACT_OP: 772 1.2.2.2 skrll Symbol = " -= "; 773 1.2.2.2 skrll break; 774 1.2.2.2 skrll 775 1.2.2.2 skrll case AML_MULTIPLY_OP: 776 1.2.2.2 skrll Symbol = " *= "; 777 1.2.2.2 skrll break; 778 1.2.2.2 skrll 779 1.2.2.2 skrll case AML_DIVIDE_OP: 780 1.2.2.2 skrll Symbol = " /= "; 781 1.2.2.2 skrll break; 782 1.2.2.2 skrll 783 1.2.2.2 skrll case AML_MOD_OP: 784 1.2.2.2 skrll Symbol = " %= "; 785 1.2.2.2 skrll break; 786 1.2.2.2 skrll 787 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 788 1.2.2.2 skrll Symbol = " <<= "; 789 1.2.2.2 skrll break; 790 1.2.2.2 skrll 791 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 792 1.2.2.2 skrll Symbol = " >>= "; 793 1.2.2.2 skrll break; 794 1.2.2.2 skrll 795 1.2.2.2 skrll case AML_BIT_AND_OP: 796 1.2.2.2 skrll Symbol = " &= "; 797 1.2.2.2 skrll break; 798 1.2.2.2 skrll 799 1.2.2.2 skrll case AML_BIT_OR_OP: 800 1.2.2.2 skrll Symbol = " |= "; 801 1.2.2.2 skrll break; 802 1.2.2.2 skrll 803 1.2.2.2 skrll case AML_BIT_XOR_OP: 804 1.2.2.2 skrll Symbol = " ^= "; 805 1.2.2.2 skrll break; 806 1.2.2.2 skrll 807 1.2.2.2 skrll default: 808 1.2.2.2 skrll 809 1.2.2.2 skrll /* No operator string for all other opcodes */ 810 1.2.2.4 skrll 811 1.2.2.2 skrll return (NULL); 812 1.2.2.2 skrll } 813 1.2.2.2 skrll 814 1.2.2.2 skrll return (Symbol); 815 1.2.2.2 skrll } 816 1.2.2.2 skrll 817 1.2.2.2 skrll 818 1.2.2.2 skrll /******************************************************************************* 819 1.2.2.2 skrll * 820 1.2.2.2 skrll * FUNCTION: AcpiDmPromoteTarget 821 1.2.2.2 skrll * 822 1.2.2.2 skrll * PARAMETERS: Op - Operator parse object 823 1.2.2.2 skrll * Target - Target associate with the Op 824 1.2.2.2 skrll * 825 1.2.2.2 skrll * RETURN: None 826 1.2.2.2 skrll * 827 1.2.2.2 skrll * DESCRIPTION: Transform the parse tree by moving the target up to the first 828 1.2.2.2 skrll * child of the Op. 829 1.2.2.2 skrll * 830 1.2.2.2 skrll ******************************************************************************/ 831 1.2.2.2 skrll 832 1.2.2.2 skrll static void 833 1.2.2.2 skrll AcpiDmPromoteTarget ( 834 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 835 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 836 1.2.2.2 skrll { 837 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child; 838 1.2.2.2 skrll 839 1.2.2.2 skrll 840 1.2.2.2 skrll /* Link target directly to the Op as first child */ 841 1.2.2.2 skrll 842 1.2.2.2 skrll Child = Op->Common.Value.Arg; 843 1.2.2.2 skrll Op->Common.Value.Arg = Target; 844 1.2.2.2 skrll Target->Common.Next = Child; 845 1.2.2.2 skrll 846 1.2.2.2 skrll /* Find the last peer, it is linked to the target. Unlink it. */ 847 1.2.2.2 skrll 848 1.2.2.2 skrll while (Child->Common.Next != Target) 849 1.2.2.2 skrll { 850 1.2.2.2 skrll Child = Child->Common.Next; 851 1.2.2.2 skrll } 852 1.2.2.2 skrll 853 1.2.2.2 skrll Child->Common.Next = NULL; 854 1.2.2.2 skrll } 855 1.2.2.2 skrll 856 1.2.2.2 skrll 857 1.2.2.2 skrll /******************************************************************************* 858 1.2.2.2 skrll * 859 1.2.2.2 skrll * FUNCTION: AcpiDmIsValidTarget 860 1.2.2.2 skrll * 861 1.2.2.2 skrll * PARAMETERS: Target - Target Op from the parse tree 862 1.2.2.2 skrll * 863 1.2.2.2 skrll * RETURN: TRUE if the Target is real. FALSE if it is just a placeholder 864 1.2.2.2 skrll * Op that was inserted by the parser. 865 1.2.2.2 skrll * 866 1.2.2.2 skrll * DESCRIPTION: Determine if a Target Op is a placeholder Op or a real Target. 867 1.2.2.2 skrll * In other words, determine if the optional target is used or 868 1.2.2.3 skrll * not. Note: If Target is NULL, something is seriously wrong, 869 1.2.2.3 skrll * probably with the parse tree. 870 1.2.2.2 skrll * 871 1.2.2.2 skrll ******************************************************************************/ 872 1.2.2.2 skrll 873 1.2.2.2 skrll static BOOLEAN 874 1.2.2.2 skrll AcpiDmIsValidTarget ( 875 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 876 1.2.2.2 skrll { 877 1.2.2.2 skrll 878 1.2.2.3 skrll if (!Target) 879 1.2.2.3 skrll { 880 1.2.2.3 skrll return (FALSE); 881 1.2.2.3 skrll } 882 1.2.2.3 skrll 883 1.2.2.2 skrll if ((Target->Common.AmlOpcode == AML_INT_NAMEPATH_OP) && 884 1.2.2.2 skrll (Target->Common.Value.Arg == NULL)) 885 1.2.2.2 skrll { 886 1.2.2.2 skrll return (FALSE); 887 1.2.2.2 skrll } 888 1.2.2.2 skrll 889 1.2.2.2 skrll return (TRUE); 890 1.2.2.2 skrll } 891 1.2.2.2 skrll 892 1.2.2.2 skrll 893 1.2.2.2 skrll /******************************************************************************* 894 1.2.2.2 skrll * 895 1.2.2.2 skrll * FUNCTION: AcpiDmIsTargetAnOperand 896 1.2.2.2 skrll * 897 1.2.2.2 skrll * PARAMETERS: Target - Target associated with the expression 898 1.2.2.2 skrll * Operand - An operand associated with expression 899 1.2.2.2 skrll * 900 1.2.2.2 skrll * RETURN: TRUE if expression can be converted to a compound assignment. 901 1.2.2.2 skrll * FALSE otherwise. 902 1.2.2.2 skrll * 903 1.2.2.2 skrll * DESCRIPTION: Determine if the Target duplicates the operand, in order to 904 1.2.2.2 skrll * detect if the expression can be converted to a compound 905 1.2.2.2 skrll * assigment. (+=, *=, etc.) 906 1.2.2.2 skrll * 907 1.2.2.2 skrll ******************************************************************************/ 908 1.2.2.2 skrll 909 1.2.2.2 skrll static BOOLEAN 910 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 911 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 912 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 913 1.2.2.2 skrll BOOLEAN TopLevel) 914 1.2.2.2 skrll { 915 1.2.2.2 skrll const ACPI_OPCODE_INFO *OpInfo; 916 1.2.2.2 skrll BOOLEAN Same; 917 1.2.2.2 skrll 918 1.2.2.2 skrll 919 1.2.2.2 skrll /* 920 1.2.2.2 skrll * Opcodes must match. Note: ignoring the difference between nameseg 921 1.2.2.2 skrll * and namepath for now. May be needed later. 922 1.2.2.2 skrll */ 923 1.2.2.2 skrll if (Target->Common.AmlOpcode != Operand->Common.AmlOpcode) 924 1.2.2.2 skrll { 925 1.2.2.2 skrll return (FALSE); 926 1.2.2.2 skrll } 927 1.2.2.2 skrll 928 1.2.2.2 skrll /* Nodes should match, even if they are NULL */ 929 1.2.2.2 skrll 930 1.2.2.2 skrll if (Target->Common.Node != Operand->Common.Node) 931 1.2.2.2 skrll { 932 1.2.2.2 skrll return (FALSE); 933 1.2.2.2 skrll } 934 1.2.2.2 skrll 935 1.2.2.2 skrll /* Determine if a child exists */ 936 1.2.2.2 skrll 937 1.2.2.2 skrll OpInfo = AcpiPsGetOpcodeInfo (Operand->Common.AmlOpcode); 938 1.2.2.2 skrll if (OpInfo->Flags & AML_HAS_ARGS) 939 1.2.2.2 skrll { 940 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Value.Arg, 941 1.2.2.2 skrll Operand->Common.Value.Arg, FALSE); 942 1.2.2.2 skrll if (!Same) 943 1.2.2.2 skrll { 944 1.2.2.2 skrll return (FALSE); 945 1.2.2.2 skrll } 946 1.2.2.2 skrll } 947 1.2.2.2 skrll 948 1.2.2.2 skrll /* Check the next peer, as long as we are not at the top level */ 949 1.2.2.2 skrll 950 1.2.2.2 skrll if ((!TopLevel) && 951 1.2.2.2 skrll Target->Common.Next) 952 1.2.2.2 skrll { 953 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Next, 954 1.2.2.2 skrll Operand->Common.Next, FALSE); 955 1.2.2.2 skrll if (!Same) 956 1.2.2.2 skrll { 957 1.2.2.2 skrll return (FALSE); 958 1.2.2.2 skrll } 959 1.2.2.2 skrll } 960 1.2.2.2 skrll 961 1.2.2.2 skrll /* Supress the duplicate operand at the top-level */ 962 1.2.2.2 skrll 963 1.2.2.2 skrll if (TopLevel) 964 1.2.2.2 skrll { 965 1.2.2.2 skrll Operand->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 966 1.2.2.2 skrll } 967 1.2.2.2 skrll return (TRUE); 968 1.2.2.2 skrll } 969
Indexes created Tue Sep 30 07:10:03 GMT 2025