dmcstyle.c revision 1.2.2.8
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.7 skrll * Copyright (C) 2000 - 2017, 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.8 skrll #include "acconvert.h" 50 1.2.2.2 skrll 51 1.2.2.2 skrll 52 1.2.2.2 skrll #define _COMPONENT ACPI_CA_DEBUGGER 53 1.2.2.2 skrll ACPI_MODULE_NAME ("dmcstyle") 54 1.2.2.2 skrll 55 1.2.2.2 skrll 56 1.2.2.2 skrll /* Local prototypes */ 57 1.2.2.2 skrll 58 1.2.2.2 skrll static const char * 59 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 60 1.2.2.2 skrll UINT16 AslOpcode); 61 1.2.2.2 skrll 62 1.2.2.2 skrll static void 63 1.2.2.2 skrll AcpiDmPromoteTarget ( 64 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 65 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target); 66 1.2.2.2 skrll 67 1.2.2.2 skrll static BOOLEAN 68 1.2.2.2 skrll AcpiDmIsValidTarget ( 69 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op); 70 1.2.2.2 skrll 71 1.2.2.2 skrll static BOOLEAN 72 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 73 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 74 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 75 1.2.2.2 skrll BOOLEAN TopLevel); 76 1.2.2.2 skrll 77 1.2.2.7 skrll static BOOLEAN 78 1.2.2.7 skrll AcpiDmIsOptimizationIgnored ( 79 1.2.2.7 skrll ACPI_PARSE_OBJECT *StoreOp, 80 1.2.2.7 skrll ACPI_PARSE_OBJECT *StoreArgument); 81 1.2.2.7 skrll 82 1.2.2.2 skrll 83 1.2.2.2 skrll /******************************************************************************* 84 1.2.2.2 skrll * 85 1.2.2.2 skrll * FUNCTION: AcpiDmCheckForSymbolicOpcode 86 1.2.2.2 skrll * 87 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 88 1.2.2.2 skrll * Walk - Current parse tree walk info 89 1.2.2.2 skrll * 90 1.2.2.2 skrll * RETURN: TRUE if opcode can be converted to symbolic, FALSE otherwise 91 1.2.2.2 skrll * 92 1.2.2.2 skrll * DESCRIPTION: This is the main code that implements disassembly of AML code 93 1.2.2.2 skrll * to C-style operators. Called during descending phase of the 94 1.2.2.2 skrll * parse tree walk. 95 1.2.2.2 skrll * 96 1.2.2.2 skrll ******************************************************************************/ 97 1.2.2.2 skrll 98 1.2.2.2 skrll BOOLEAN 99 1.2.2.2 skrll AcpiDmCheckForSymbolicOpcode ( 100 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 101 1.2.2.2 skrll ACPI_OP_WALK_INFO *Info) 102 1.2.2.2 skrll { 103 1.2.2.2 skrll const char *OperatorSymbol = NULL; 104 1.2.2.7 skrll ACPI_PARSE_OBJECT *Argument1; 105 1.2.2.7 skrll ACPI_PARSE_OBJECT *Argument2; 106 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target; 107 1.2.2.7 skrll ACPI_PARSE_OBJECT *Target2; 108 1.2.2.2 skrll 109 1.2.2.2 skrll 110 1.2.2.2 skrll /* Exit immediately if ASL+ not enabled */ 111 1.2.2.2 skrll 112 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 113 1.2.2.2 skrll { 114 1.2.2.2 skrll return (FALSE); 115 1.2.2.2 skrll } 116 1.2.2.2 skrll 117 1.2.2.2 skrll /* Get the first operand */ 118 1.2.2.2 skrll 119 1.2.2.7 skrll Argument1 = AcpiPsGetArg (Op, 0); 120 1.2.2.7 skrll if (!Argument1) 121 1.2.2.2 skrll { 122 1.2.2.2 skrll return (FALSE); 123 1.2.2.2 skrll } 124 1.2.2.2 skrll 125 1.2.2.2 skrll /* Get the second operand */ 126 1.2.2.2 skrll 127 1.2.2.7 skrll Argument2 = Argument1->Common.Next; 128 1.2.2.2 skrll 129 1.2.2.2 skrll /* Setup the operator string for this opcode */ 130 1.2.2.2 skrll 131 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 132 1.2.2.2 skrll { 133 1.2.2.2 skrll case AML_ADD_OP: 134 1.2.2.2 skrll OperatorSymbol = " + "; 135 1.2.2.2 skrll break; 136 1.2.2.2 skrll 137 1.2.2.2 skrll case AML_SUBTRACT_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_MULTIPLY_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_DIVIDE_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_MOD_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_SHIFT_LEFT_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_RIGHT_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_BIT_AND_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_OR_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_XOR_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 /* Logical operators, no target */ 174 1.2.2.2 skrll 175 1.2.2.8 skrll case AML_LOGICAL_AND_OP: 176 1.2.2.2 skrll OperatorSymbol = " && "; 177 1.2.2.2 skrll break; 178 1.2.2.2 skrll 179 1.2.2.8 skrll case AML_LOGICAL_EQUAL_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.8 skrll case AML_LOGICAL_GREATER_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.8 skrll case AML_LOGICAL_LESS_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.8 skrll case AML_LOGICAL_OR_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.8 skrll case AML_LOGICAL_NOT_OP: 196 1.2.2.2 skrll /* 197 1.2.2.2 skrll * Check for the LNOT sub-opcodes. These correspond to 198 1.2.2.2 skrll * LNotEqual, LLessEqual, and LGreaterEqual. There are 199 1.2.2.2 skrll * no actual AML opcodes for these operators. 200 1.2.2.2 skrll */ 201 1.2.2.7 skrll switch (Argument1->Common.AmlOpcode) 202 1.2.2.2 skrll { 203 1.2.2.8 skrll case AML_LOGICAL_EQUAL_OP: 204 1.2.2.2 skrll OperatorSymbol = " != "; 205 1.2.2.2 skrll break; 206 1.2.2.2 skrll 207 1.2.2.8 skrll case AML_LOGICAL_GREATER_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.8 skrll case AML_LOGICAL_LESS_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 default: 216 1.2.2.2 skrll 217 1.2.2.2 skrll /* Unary LNOT case, emit "!" immediately */ 218 1.2.2.2 skrll 219 1.2.2.2 skrll AcpiOsPrintf ("!"); 220 1.2.2.2 skrll return (TRUE); 221 1.2.2.2 skrll } 222 1.2.2.2 skrll 223 1.2.2.7 skrll Argument1->Common.DisasmOpcode = ACPI_DASM_LNOT_SUFFIX; 224 1.2.2.2 skrll Op->Common.DisasmOpcode = ACPI_DASM_LNOT_PREFIX; 225 1.2.2.2 skrll 226 1.2.2.2 skrll /* Save symbol string in the next child (not peer) */ 227 1.2.2.2 skrll 228 1.2.2.7 skrll Argument2 = AcpiPsGetArg (Argument1, 0); 229 1.2.2.7 skrll if (!Argument2) 230 1.2.2.2 skrll { 231 1.2.2.2 skrll return (FALSE); 232 1.2.2.2 skrll } 233 1.2.2.2 skrll 234 1.2.2.7 skrll Argument2->Common.OperatorSymbol = OperatorSymbol; 235 1.2.2.2 skrll return (TRUE); 236 1.2.2.2 skrll 237 1.2.2.2 skrll case AML_INDEX_OP: 238 1.2.2.4 skrll /* 239 1.2.2.4 skrll * Check for constant source operand. Note: although technically 240 1.2.2.4 skrll * legal syntax, the iASL compiler does not support this with 241 1.2.2.4 skrll * the symbolic operators for Index(). It doesn't make sense to 242 1.2.2.4 skrll * use Index() with a constant anyway. 243 1.2.2.4 skrll */ 244 1.2.2.7 skrll if ((Argument1->Common.AmlOpcode == AML_STRING_OP) || 245 1.2.2.7 skrll (Argument1->Common.AmlOpcode == AML_BUFFER_OP) || 246 1.2.2.7 skrll (Argument1->Common.AmlOpcode == AML_PACKAGE_OP) || 247 1.2.2.8 skrll (Argument1->Common.AmlOpcode == AML_VARIABLE_PACKAGE_OP)) 248 1.2.2.4 skrll { 249 1.2.2.4 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_CLOSING_PAREN; 250 1.2.2.4 skrll return (FALSE); 251 1.2.2.4 skrll } 252 1.2.2.4 skrll 253 1.2.2.4 skrll /* Index operator is [] */ 254 1.2.2.4 skrll 255 1.2.2.7 skrll Argument1->Common.OperatorSymbol = " ["; 256 1.2.2.7 skrll Argument2->Common.OperatorSymbol = "]"; 257 1.2.2.2 skrll break; 258 1.2.2.2 skrll 259 1.2.2.2 skrll /* Unary operators */ 260 1.2.2.2 skrll 261 1.2.2.2 skrll case AML_DECREMENT_OP: 262 1.2.2.2 skrll OperatorSymbol = "--"; 263 1.2.2.2 skrll break; 264 1.2.2.2 skrll 265 1.2.2.2 skrll case AML_INCREMENT_OP: 266 1.2.2.2 skrll OperatorSymbol = "++"; 267 1.2.2.2 skrll break; 268 1.2.2.2 skrll 269 1.2.2.2 skrll case AML_BIT_NOT_OP: 270 1.2.2.2 skrll case AML_STORE_OP: 271 1.2.2.2 skrll OperatorSymbol = NULL; 272 1.2.2.2 skrll break; 273 1.2.2.2 skrll 274 1.2.2.2 skrll default: 275 1.2.2.2 skrll return (FALSE); 276 1.2.2.2 skrll } 277 1.2.2.2 skrll 278 1.2.2.7 skrll if (Argument1->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX) 279 1.2.2.2 skrll { 280 1.2.2.2 skrll return (TRUE); 281 1.2.2.2 skrll } 282 1.2.2.2 skrll 283 1.2.2.2 skrll /* 284 1.2.2.2 skrll * This is the key to how the disassembly of the C-style operators 285 1.2.2.2 skrll * works. We save the operator symbol in the first child, thus 286 1.2.2.2 skrll * deferring symbol output until after the first operand has been 287 1.2.2.2 skrll * emitted. 288 1.2.2.2 skrll */ 289 1.2.2.7 skrll if (!Argument1->Common.OperatorSymbol) 290 1.2.2.2 skrll { 291 1.2.2.7 skrll Argument1->Common.OperatorSymbol = OperatorSymbol; 292 1.2.2.2 skrll } 293 1.2.2.2 skrll 294 1.2.2.2 skrll /* 295 1.2.2.2 skrll * Check for a valid target as the 3rd (or sometimes 2nd) operand 296 1.2.2.2 skrll * 297 1.2.2.2 skrll * Compound assignment operator support: 298 1.2.2.2 skrll * Attempt to optimize constructs of the form: 299 1.2.2.2 skrll * Add (Local1, 0xFF, Local1) 300 1.2.2.2 skrll * to: 301 1.2.2.2 skrll * Local1 += 0xFF 302 1.2.2.2 skrll * 303 1.2.2.2 skrll * Only the math operators and Store() have a target. 304 1.2.2.2 skrll * Logicals have no target. 305 1.2.2.2 skrll */ 306 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 307 1.2.2.2 skrll { 308 1.2.2.2 skrll case AML_ADD_OP: 309 1.2.2.2 skrll case AML_SUBTRACT_OP: 310 1.2.2.2 skrll case AML_MULTIPLY_OP: 311 1.2.2.2 skrll case AML_DIVIDE_OP: 312 1.2.2.2 skrll case AML_MOD_OP: 313 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 314 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 315 1.2.2.2 skrll case AML_BIT_AND_OP: 316 1.2.2.2 skrll case AML_BIT_OR_OP: 317 1.2.2.2 skrll case AML_BIT_XOR_OP: 318 1.2.2.2 skrll 319 1.2.2.2 skrll /* Target is 3rd operand */ 320 1.2.2.2 skrll 321 1.2.2.7 skrll Target = Argument2->Common.Next; 322 1.2.2.2 skrll if (Op->Common.AmlOpcode == AML_DIVIDE_OP) 323 1.2.2.2 skrll { 324 1.2.2.7 skrll Target2 = Target->Common.Next; 325 1.2.2.7 skrll 326 1.2.2.2 skrll /* 327 1.2.2.2 skrll * Divide has an extra target operand (Remainder). 328 1.2.2.7 skrll * Default behavior is to simply ignore ASL+ conversion 329 1.2.2.7 skrll * if the remainder target (modulo) is specified. 330 1.2.2.2 skrll */ 331 1.2.2.7 skrll if (!AcpiGbl_DoDisassemblerOptimizations) 332 1.2.2.2 skrll { 333 1.2.2.7 skrll if (AcpiDmIsValidTarget (Target)) 334 1.2.2.7 skrll { 335 1.2.2.7 skrll Argument1->Common.OperatorSymbol = NULL; 336 1.2.2.7 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 337 1.2.2.7 skrll return (FALSE); 338 1.2.2.7 skrll } 339 1.2.2.7 skrll 340 1.2.2.7 skrll Target->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 341 1.2.2.7 skrll Target = Target2; 342 1.2.2.2 skrll } 343 1.2.2.7 skrll else 344 1.2.2.7 skrll { 345 1.2.2.7 skrll /* 346 1.2.2.7 skrll * Divide has an extra target operand (Remainder). 347 1.2.2.7 skrll * If both targets are specified, it cannot be converted 348 1.2.2.7 skrll * to a C-style operator. 349 1.2.2.7 skrll */ 350 1.2.2.7 skrll if (AcpiDmIsValidTarget (Target) && 351 1.2.2.7 skrll AcpiDmIsValidTarget (Target2)) 352 1.2.2.7 skrll { 353 1.2.2.7 skrll Argument1->Common.OperatorSymbol = NULL; 354 1.2.2.7 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 355 1.2.2.7 skrll return (FALSE); 356 1.2.2.7 skrll } 357 1.2.2.7 skrll 358 1.2.2.7 skrll if (AcpiDmIsValidTarget (Target)) /* Only first Target is valid (remainder) */ 359 1.2.2.7 skrll { 360 1.2.2.7 skrll /* Convert the Divide to Modulo */ 361 1.2.2.2 skrll 362 1.2.2.7 skrll Op->Common.AmlOpcode = AML_MOD_OP; 363 1.2.2.7 skrll 364 1.2.2.7 skrll Argument1->Common.OperatorSymbol = " % "; 365 1.2.2.7 skrll Target2->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 366 1.2.2.7 skrll } 367 1.2.2.7 skrll else /* Only second Target (quotient) is valid */ 368 1.2.2.7 skrll { 369 1.2.2.7 skrll Target->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 370 1.2.2.7 skrll Target = Target2; 371 1.2.2.7 skrll } 372 1.2.2.7 skrll } 373 1.2.2.2 skrll } 374 1.2.2.2 skrll 375 1.2.2.2 skrll /* Parser should ensure there is at least a placeholder target */ 376 1.2.2.2 skrll 377 1.2.2.2 skrll if (!Target) 378 1.2.2.2 skrll { 379 1.2.2.2 skrll return (FALSE); 380 1.2.2.2 skrll } 381 1.2.2.2 skrll 382 1.2.2.2 skrll if (!AcpiDmIsValidTarget (Target)) 383 1.2.2.2 skrll { 384 1.2.2.2 skrll /* Not a valid target (placeholder only, from parser) */ 385 1.2.2.2 skrll break; 386 1.2.2.2 skrll } 387 1.2.2.2 skrll 388 1.2.2.2 skrll /* 389 1.2.2.2 skrll * Promote the target up to the first child in the parse 390 1.2.2.2 skrll * tree. This is done because the target will be output 391 1.2.2.2 skrll * first, in the form: 392 1.2.2.2 skrll * <Target> = Operands... 393 1.2.2.2 skrll */ 394 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 395 1.2.2.2 skrll 396 1.2.2.3 skrll /* Check operands for conversion to a "Compound Assignment" */ 397 1.2.2.3 skrll 398 1.2.2.3 skrll switch (Op->Common.AmlOpcode) 399 1.2.2.2 skrll { 400 1.2.2.3 skrll /* Commutative operators */ 401 1.2.2.3 skrll 402 1.2.2.3 skrll case AML_ADD_OP: 403 1.2.2.3 skrll case AML_MULTIPLY_OP: 404 1.2.2.3 skrll case AML_BIT_AND_OP: 405 1.2.2.3 skrll case AML_BIT_OR_OP: 406 1.2.2.3 skrll case AML_BIT_XOR_OP: 407 1.2.2.3 skrll /* 408 1.2.2.3 skrll * For the commutative operators, we can convert to a 409 1.2.2.3 skrll * compound statement only if at least one (either) operand 410 1.2.2.3 skrll * is the same as the target. 411 1.2.2.3 skrll * 412 1.2.2.3 skrll * Add (A, B, A) --> A += B 413 1.2.2.3 skrll * Add (B, A, A) --> A += B 414 1.2.2.3 skrll * Add (B, C, A) --> A = (B + C) 415 1.2.2.3 skrll */ 416 1.2.2.7 skrll if ((AcpiDmIsTargetAnOperand (Target, Argument1, TRUE)) || 417 1.2.2.7 skrll (AcpiDmIsTargetAnOperand (Target, Argument2, TRUE))) 418 1.2.2.3 skrll { 419 1.2.2.3 skrll Target->Common.OperatorSymbol = 420 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 421 1.2.2.2 skrll 422 1.2.2.3 skrll /* Convert operator to compound assignment */ 423 1.2.2.2 skrll 424 1.2.2.5 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND_ASSIGNMENT; 425 1.2.2.7 skrll Argument1->Common.OperatorSymbol = NULL; 426 1.2.2.3 skrll return (TRUE); 427 1.2.2.3 skrll } 428 1.2.2.3 skrll break; 429 1.2.2.3 skrll 430 1.2.2.3 skrll /* Non-commutative operators */ 431 1.2.2.3 skrll 432 1.2.2.3 skrll case AML_SUBTRACT_OP: 433 1.2.2.3 skrll case AML_DIVIDE_OP: 434 1.2.2.3 skrll case AML_MOD_OP: 435 1.2.2.3 skrll case AML_SHIFT_LEFT_OP: 436 1.2.2.3 skrll case AML_SHIFT_RIGHT_OP: 437 1.2.2.3 skrll /* 438 1.2.2.3 skrll * For the non-commutative operators, we can convert to a 439 1.2.2.3 skrll * compound statement only if the target is the same as the 440 1.2.2.3 skrll * first operand. 441 1.2.2.3 skrll * 442 1.2.2.3 skrll * Subtract (A, B, A) --> A -= B 443 1.2.2.3 skrll * Subtract (B, A, A) --> A = (B - A) 444 1.2.2.3 skrll */ 445 1.2.2.7 skrll if ((AcpiDmIsTargetAnOperand (Target, Argument1, TRUE))) 446 1.2.2.3 skrll { 447 1.2.2.3 skrll Target->Common.OperatorSymbol = 448 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 449 1.2.2.3 skrll 450 1.2.2.3 skrll /* Convert operator to compound assignment */ 451 1.2.2.3 skrll 452 1.2.2.5 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND_ASSIGNMENT; 453 1.2.2.7 skrll Argument1->Common.OperatorSymbol = NULL; 454 1.2.2.3 skrll return (TRUE); 455 1.2.2.3 skrll } 456 1.2.2.3 skrll break; 457 1.2.2.3 skrll 458 1.2.2.3 skrll default: 459 1.2.2.3 skrll break; 460 1.2.2.2 skrll } 461 1.2.2.2 skrll 462 1.2.2.2 skrll /* 463 1.2.2.2 skrll * If we are within a C-style expression, emit an extra open 464 1.2.2.2 skrll * paren. Implemented by examining the parent op. 465 1.2.2.2 skrll */ 466 1.2.2.2 skrll switch (Op->Common.Parent->Common.AmlOpcode) 467 1.2.2.2 skrll { 468 1.2.2.2 skrll case AML_ADD_OP: 469 1.2.2.2 skrll case AML_SUBTRACT_OP: 470 1.2.2.2 skrll case AML_MULTIPLY_OP: 471 1.2.2.2 skrll case AML_DIVIDE_OP: 472 1.2.2.2 skrll case AML_MOD_OP: 473 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 474 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 475 1.2.2.2 skrll case AML_BIT_AND_OP: 476 1.2.2.2 skrll case AML_BIT_OR_OP: 477 1.2.2.2 skrll case AML_BIT_XOR_OP: 478 1.2.2.8 skrll case AML_LOGICAL_AND_OP: 479 1.2.2.8 skrll case AML_LOGICAL_EQUAL_OP: 480 1.2.2.8 skrll case AML_LOGICAL_GREATER_OP: 481 1.2.2.8 skrll case AML_LOGICAL_LESS_OP: 482 1.2.2.8 skrll case AML_LOGICAL_OR_OP: 483 1.2.2.2 skrll 484 1.2.2.2 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_ASSIGNMENT; 485 1.2.2.2 skrll AcpiOsPrintf ("("); 486 1.2.2.2 skrll break; 487 1.2.2.2 skrll 488 1.2.2.2 skrll default: 489 1.2.2.2 skrll break; 490 1.2.2.2 skrll } 491 1.2.2.2 skrll 492 1.2.2.2 skrll /* Normal output for ASL/AML operators with a target operand */ 493 1.2.2.2 skrll 494 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ("; 495 1.2.2.2 skrll return (TRUE); 496 1.2.2.2 skrll 497 1.2.2.2 skrll /* Binary operators, no parens */ 498 1.2.2.2 skrll 499 1.2.2.2 skrll case AML_DECREMENT_OP: 500 1.2.2.2 skrll case AML_INCREMENT_OP: 501 1.2.2.2 skrll return (TRUE); 502 1.2.2.2 skrll 503 1.2.2.2 skrll case AML_INDEX_OP: 504 1.2.2.2 skrll 505 1.2.2.2 skrll /* Target is optional, 3rd operand */ 506 1.2.2.2 skrll 507 1.2.2.7 skrll Target = Argument2->Common.Next; 508 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 509 1.2.2.2 skrll { 510 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 511 1.2.2.2 skrll 512 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 513 1.2.2.2 skrll { 514 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 515 1.2.2.2 skrll } 516 1.2.2.2 skrll } 517 1.2.2.2 skrll return (TRUE); 518 1.2.2.2 skrll 519 1.2.2.2 skrll case AML_STORE_OP: 520 1.2.2.2 skrll /* 521 1.2.2.7 skrll * For Store, the Target is the 2nd operand. We know the target 522 1.2.2.7 skrll * is valid, because it is not optional. 523 1.2.2.6 skrll * 524 1.2.2.7 skrll * Ignore any optimizations/folding if flag is set. 525 1.2.2.7 skrll * Used for iASL/disassembler test suite only. 526 1.2.2.6 skrll */ 527 1.2.2.7 skrll if (AcpiDmIsOptimizationIgnored (Op, Argument1)) 528 1.2.2.6 skrll { 529 1.2.2.7 skrll return (FALSE); 530 1.2.2.6 skrll } 531 1.2.2.6 skrll 532 1.2.2.6 skrll /* 533 1.2.2.7 skrll * Perform conversion. 534 1.2.2.2 skrll * In the parse tree, simply swap the target with the 535 1.2.2.2 skrll * source so that the target is processed first. 536 1.2.2.2 skrll */ 537 1.2.2.7 skrll Target = Argument1->Common.Next; 538 1.2.2.3 skrll if (!Target) 539 1.2.2.3 skrll { 540 1.2.2.3 skrll return (FALSE); 541 1.2.2.3 skrll } 542 1.2.2.2 skrll 543 1.2.2.3 skrll AcpiDmPromoteTarget (Op, Target); 544 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 545 1.2.2.2 skrll { 546 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 547 1.2.2.2 skrll } 548 1.2.2.2 skrll return (TRUE); 549 1.2.2.2 skrll 550 1.2.2.2 skrll case AML_BIT_NOT_OP: 551 1.2.2.2 skrll 552 1.2.2.2 skrll /* Target is optional, 2nd operand */ 553 1.2.2.2 skrll 554 1.2.2.7 skrll Target = Argument1->Common.Next; 555 1.2.2.2 skrll if (!Target) 556 1.2.2.2 skrll { 557 1.2.2.2 skrll return (FALSE); 558 1.2.2.2 skrll } 559 1.2.2.2 skrll 560 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 561 1.2.2.2 skrll { 562 1.2.2.2 skrll /* Valid target, not a placeholder */ 563 1.2.2.2 skrll 564 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 565 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ~"; 566 1.2.2.2 skrll } 567 1.2.2.2 skrll else 568 1.2.2.2 skrll { 569 1.2.2.2 skrll /* No target. Emit this prefix operator immediately */ 570 1.2.2.2 skrll 571 1.2.2.2 skrll AcpiOsPrintf ("~"); 572 1.2.2.2 skrll } 573 1.2.2.2 skrll return (TRUE); 574 1.2.2.2 skrll 575 1.2.2.2 skrll default: 576 1.2.2.2 skrll break; 577 1.2.2.2 skrll } 578 1.2.2.2 skrll 579 1.2.2.7 skrll /* All other operators, emit an open paren */ 580 1.2.2.7 skrll 581 1.2.2.7 skrll AcpiOsPrintf ("("); 582 1.2.2.7 skrll return (TRUE); 583 1.2.2.7 skrll } 584 1.2.2.7 skrll 585 1.2.2.7 skrll 586 1.2.2.7 skrll /******************************************************************************* 587 1.2.2.7 skrll * 588 1.2.2.7 skrll * FUNCTION: AcpiDmIsOptimizationIgnored 589 1.2.2.7 skrll * 590 1.2.2.7 skrll * PARAMETERS: StoreOp - Store operator parse object 591 1.2.2.7 skrll * StoreArgument - Target associate with the Op 592 1.2.2.7 skrll * 593 1.2.2.7 skrll * RETURN: TRUE if this Store operator should not be converted/removed. 594 1.2.2.7 skrll * 595 1.2.2.7 skrll * DESCRIPTION: The following function implements "Do not optimize if a 596 1.2.2.7 skrll * store is immediately followed by a math/bit operator that 597 1.2.2.7 skrll * has no target". 598 1.2.2.7 skrll * 599 1.2.2.7 skrll * Function is ignored if DoDisassemblerOptimizations is TRUE. 600 1.2.2.7 skrll * This is the default, ignore this function. 601 1.2.2.7 skrll * 602 1.2.2.7 skrll * Disables these types of optimizations, and simply emits 603 1.2.2.7 skrll * legacy ASL code: 604 1.2.2.7 skrll * Store (Add (INT1, 4), INT2) --> Add (INT1, 4, INT2) 605 1.2.2.7 skrll * --> INT2 = INT1 + 4 606 1.2.2.7 skrll * 607 1.2.2.7 skrll * Store (Not (INT1), INT2) --> Not (INT1, INT2) 608 1.2.2.7 skrll * --> INT2 = ~INT1 609 1.2.2.7 skrll * 610 1.2.2.7 skrll * Used only for the ASL test suite. For the test suite, we 611 1.2.2.7 skrll * don't want to perform some optimizations to ensure binary 612 1.2.2.7 skrll * compatibility with the generation of the legacy ASL->AML. 613 1.2.2.7 skrll * In other words, for all test modules we want exactly: 614 1.2.2.7 skrll * (ASL+ -> AML) == (ASL- -> AML) 615 1.2.2.7 skrll * 616 1.2.2.7 skrll ******************************************************************************/ 617 1.2.2.7 skrll 618 1.2.2.7 skrll static BOOLEAN 619 1.2.2.7 skrll AcpiDmIsOptimizationIgnored ( 620 1.2.2.7 skrll ACPI_PARSE_OBJECT *StoreOp, 621 1.2.2.7 skrll ACPI_PARSE_OBJECT *StoreArgument) 622 1.2.2.7 skrll { 623 1.2.2.7 skrll ACPI_PARSE_OBJECT *Argument1; 624 1.2.2.7 skrll ACPI_PARSE_OBJECT *Argument2; 625 1.2.2.7 skrll ACPI_PARSE_OBJECT *Target; 626 1.2.2.7 skrll 627 1.2.2.7 skrll 628 1.2.2.7 skrll /* No optimizations/folding for the typical case */ 629 1.2.2.7 skrll 630 1.2.2.7 skrll if (AcpiGbl_DoDisassemblerOptimizations) 631 1.2.2.7 skrll { 632 1.2.2.7 skrll return (FALSE); 633 1.2.2.7 skrll } 634 1.2.2.7 skrll 635 1.2.2.5 skrll /* 636 1.2.2.7 skrll * Only a small subset of ASL/AML operators can be optimized. 637 1.2.2.7 skrll * Can only optimize/fold if there is no target (or targets) 638 1.2.2.7 skrll * specified for the operator. And of course, the operator 639 1.2.2.7 skrll * is surrrounded by a Store() operator. 640 1.2.2.5 skrll */ 641 1.2.2.7 skrll switch (StoreArgument->Common.AmlOpcode) 642 1.2.2.5 skrll { 643 1.2.2.7 skrll case AML_ADD_OP: 644 1.2.2.7 skrll case AML_SUBTRACT_OP: 645 1.2.2.7 skrll case AML_MULTIPLY_OP: 646 1.2.2.7 skrll case AML_MOD_OP: 647 1.2.2.7 skrll case AML_SHIFT_LEFT_OP: 648 1.2.2.7 skrll case AML_SHIFT_RIGHT_OP: 649 1.2.2.7 skrll case AML_BIT_AND_OP: 650 1.2.2.7 skrll case AML_BIT_OR_OP: 651 1.2.2.7 skrll case AML_BIT_XOR_OP: 652 1.2.2.7 skrll case AML_INDEX_OP: 653 1.2.2.5 skrll 654 1.2.2.7 skrll /* These operators have two arguments and one target */ 655 1.2.2.2 skrll 656 1.2.2.7 skrll Argument1 = StoreArgument->Common.Value.Arg; 657 1.2.2.7 skrll Argument2 = Argument1->Common.Next; 658 1.2.2.7 skrll Target = Argument2->Common.Next; 659 1.2.2.7 skrll 660 1.2.2.7 skrll if (!AcpiDmIsValidTarget (Target)) 661 1.2.2.7 skrll { 662 1.2.2.7 skrll StoreOp->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 663 1.2.2.7 skrll return (TRUE); 664 1.2.2.7 skrll } 665 1.2.2.7 skrll break; 666 1.2.2.7 skrll 667 1.2.2.7 skrll case AML_DIVIDE_OP: 668 1.2.2.7 skrll 669 1.2.2.7 skrll /* This operator has two arguments and two targets */ 670 1.2.2.7 skrll 671 1.2.2.7 skrll Argument1 = StoreArgument->Common.Value.Arg; 672 1.2.2.7 skrll Argument2 = Argument1->Common.Next; 673 1.2.2.7 skrll Target = Argument2->Common.Next; 674 1.2.2.7 skrll 675 1.2.2.7 skrll if (!AcpiDmIsValidTarget (Target) || 676 1.2.2.7 skrll !AcpiDmIsValidTarget (Target->Common.Next)) 677 1.2.2.7 skrll { 678 1.2.2.7 skrll StoreOp->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 679 1.2.2.7 skrll return (TRUE); 680 1.2.2.7 skrll } 681 1.2.2.7 skrll break; 682 1.2.2.7 skrll 683 1.2.2.7 skrll case AML_BIT_NOT_OP: 684 1.2.2.7 skrll 685 1.2.2.7 skrll /* This operator has one operand and one target */ 686 1.2.2.7 skrll 687 1.2.2.7 skrll Argument1 = StoreArgument->Common.Value.Arg; 688 1.2.2.7 skrll Target = Argument1->Common.Next; 689 1.2.2.7 skrll 690 1.2.2.7 skrll if (!AcpiDmIsValidTarget (Target)) 691 1.2.2.7 skrll { 692 1.2.2.7 skrll StoreOp->Common.DisasmFlags |= ACPI_PARSEOP_LEGACY_ASL_ONLY; 693 1.2.2.7 skrll return (TRUE); 694 1.2.2.7 skrll } 695 1.2.2.7 skrll break; 696 1.2.2.7 skrll 697 1.2.2.7 skrll default: 698 1.2.2.7 skrll break; 699 1.2.2.7 skrll } 700 1.2.2.7 skrll 701 1.2.2.7 skrll return (FALSE); 702 1.2.2.2 skrll } 703 1.2.2.2 skrll 704 1.2.2.2 skrll 705 1.2.2.2 skrll /******************************************************************************* 706 1.2.2.2 skrll * 707 1.2.2.2 skrll * FUNCTION: AcpiDmCloseOperator 708 1.2.2.2 skrll * 709 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 710 1.2.2.2 skrll * 711 1.2.2.2 skrll * RETURN: None 712 1.2.2.2 skrll * 713 1.2.2.2 skrll * DESCRIPTION: Closes an operator by adding a closing parentheses if and 714 1.2.2.2 skrll * when necessary. Called during ascending phase of the 715 1.2.2.2 skrll * parse tree walk. 716 1.2.2.2 skrll * 717 1.2.2.2 skrll ******************************************************************************/ 718 1.2.2.2 skrll 719 1.2.2.2 skrll void 720 1.2.2.2 skrll AcpiDmCloseOperator ( 721 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op) 722 1.2.2.2 skrll { 723 1.2.2.6 skrll 724 1.2.2.2 skrll /* Always emit paren if ASL+ disassembly disabled */ 725 1.2.2.2 skrll 726 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 727 1.2.2.2 skrll { 728 1.2.2.2 skrll AcpiOsPrintf (")"); 729 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 730 1.2.2.2 skrll return; 731 1.2.2.2 skrll } 732 1.2.2.2 skrll 733 1.2.2.6 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_LEGACY_ASL_ONLY) 734 1.2.2.6 skrll { 735 1.2.2.6 skrll AcpiOsPrintf (")"); 736 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 737 1.2.2.6 skrll return; 738 1.2.2.6 skrll } 739 1.2.2.6 skrll 740 1.2.2.2 skrll /* Check if we need to add an additional closing paren */ 741 1.2.2.2 skrll 742 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 743 1.2.2.2 skrll { 744 1.2.2.2 skrll case AML_ADD_OP: 745 1.2.2.2 skrll case AML_SUBTRACT_OP: 746 1.2.2.2 skrll case AML_MULTIPLY_OP: 747 1.2.2.2 skrll case AML_DIVIDE_OP: 748 1.2.2.2 skrll case AML_MOD_OP: 749 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 750 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 751 1.2.2.2 skrll case AML_BIT_AND_OP: 752 1.2.2.2 skrll case AML_BIT_OR_OP: 753 1.2.2.2 skrll case AML_BIT_XOR_OP: 754 1.2.2.8 skrll case AML_LOGICAL_AND_OP: 755 1.2.2.8 skrll case AML_LOGICAL_EQUAL_OP: 756 1.2.2.8 skrll case AML_LOGICAL_GREATER_OP: 757 1.2.2.8 skrll case AML_LOGICAL_LESS_OP: 758 1.2.2.8 skrll case AML_LOGICAL_OR_OP: 759 1.2.2.2 skrll 760 1.2.2.2 skrll /* Emit paren only if this is not a compound assignment */ 761 1.2.2.2 skrll 762 1.2.2.5 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_COMPOUND_ASSIGNMENT) 763 1.2.2.2 skrll { 764 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 765 1.2.2.2 skrll return; 766 1.2.2.2 skrll } 767 1.2.2.2 skrll 768 1.2.2.2 skrll /* Emit extra close paren for assignment within an expression */ 769 1.2.2.2 skrll 770 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_ASSIGNMENT) 771 1.2.2.2 skrll { 772 1.2.2.2 skrll AcpiOsPrintf (")"); 773 1.2.2.2 skrll } 774 1.2.2.2 skrll break; 775 1.2.2.2 skrll 776 1.2.2.4 skrll case AML_INDEX_OP: 777 1.2.2.4 skrll 778 1.2.2.4 skrll /* This is case for unsupported Index() source constants */ 779 1.2.2.4 skrll 780 1.2.2.4 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_CLOSING_PAREN) 781 1.2.2.4 skrll { 782 1.2.2.4 skrll AcpiOsPrintf (")"); 783 1.2.2.4 skrll } 784 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 785 1.2.2.4 skrll return; 786 1.2.2.2 skrll 787 1.2.2.2 skrll /* No need for parens for these */ 788 1.2.2.2 skrll 789 1.2.2.2 skrll case AML_DECREMENT_OP: 790 1.2.2.2 skrll case AML_INCREMENT_OP: 791 1.2.2.8 skrll case AML_LOGICAL_NOT_OP: 792 1.2.2.2 skrll case AML_BIT_NOT_OP: 793 1.2.2.2 skrll case AML_STORE_OP: 794 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 795 1.2.2.2 skrll return; 796 1.2.2.2 skrll 797 1.2.2.2 skrll default: 798 1.2.2.2 skrll 799 1.2.2.2 skrll /* Always emit paren for non-ASL+ operators */ 800 1.2.2.2 skrll break; 801 1.2.2.2 skrll } 802 1.2.2.2 skrll 803 1.2.2.2 skrll AcpiOsPrintf (")"); 804 1.2.2.8 skrll ASL_CV_PRINT_ONE_COMMENT (Op, AML_COMMENT_END_NODE, NULL, 0); 805 1.2.2.8 skrll 806 1.2.2.8 skrll return; 807 1.2.2.2 skrll } 808 1.2.2.2 skrll 809 1.2.2.2 skrll 810 1.2.2.2 skrll /******************************************************************************* 811 1.2.2.2 skrll * 812 1.2.2.2 skrll * FUNCTION: AcpiDmGetCompoundSymbol 813 1.2.2.2 skrll * 814 1.2.2.2 skrll * PARAMETERS: AslOpcode 815 1.2.2.2 skrll * 816 1.2.2.2 skrll * RETURN: String containing the compound assignment symbol 817 1.2.2.2 skrll * 818 1.2.2.2 skrll * DESCRIPTION: Detect opcodes that can be converted to compound assignment, 819 1.2.2.2 skrll * return the appropriate operator string. 820 1.2.2.2 skrll * 821 1.2.2.2 skrll ******************************************************************************/ 822 1.2.2.2 skrll 823 1.2.2.2 skrll static const char * 824 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 825 1.2.2.2 skrll UINT16 AmlOpcode) 826 1.2.2.2 skrll { 827 1.2.2.2 skrll const char *Symbol; 828 1.2.2.2 skrll 829 1.2.2.2 skrll 830 1.2.2.2 skrll switch (AmlOpcode) 831 1.2.2.2 skrll { 832 1.2.2.2 skrll case AML_ADD_OP: 833 1.2.2.2 skrll Symbol = " += "; 834 1.2.2.2 skrll break; 835 1.2.2.2 skrll 836 1.2.2.2 skrll case AML_SUBTRACT_OP: 837 1.2.2.2 skrll Symbol = " -= "; 838 1.2.2.2 skrll break; 839 1.2.2.2 skrll 840 1.2.2.2 skrll case AML_MULTIPLY_OP: 841 1.2.2.2 skrll Symbol = " *= "; 842 1.2.2.2 skrll break; 843 1.2.2.2 skrll 844 1.2.2.2 skrll case AML_DIVIDE_OP: 845 1.2.2.2 skrll Symbol = " /= "; 846 1.2.2.2 skrll break; 847 1.2.2.2 skrll 848 1.2.2.2 skrll case AML_MOD_OP: 849 1.2.2.2 skrll Symbol = " %= "; 850 1.2.2.2 skrll break; 851 1.2.2.2 skrll 852 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 853 1.2.2.2 skrll Symbol = " <<= "; 854 1.2.2.2 skrll break; 855 1.2.2.2 skrll 856 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 857 1.2.2.2 skrll Symbol = " >>= "; 858 1.2.2.2 skrll break; 859 1.2.2.2 skrll 860 1.2.2.2 skrll case AML_BIT_AND_OP: 861 1.2.2.2 skrll Symbol = " &= "; 862 1.2.2.2 skrll break; 863 1.2.2.2 skrll 864 1.2.2.2 skrll case AML_BIT_OR_OP: 865 1.2.2.2 skrll Symbol = " |= "; 866 1.2.2.2 skrll break; 867 1.2.2.2 skrll 868 1.2.2.2 skrll case AML_BIT_XOR_OP: 869 1.2.2.2 skrll Symbol = " ^= "; 870 1.2.2.2 skrll break; 871 1.2.2.2 skrll 872 1.2.2.2 skrll default: 873 1.2.2.2 skrll 874 1.2.2.2 skrll /* No operator string for all other opcodes */ 875 1.2.2.4 skrll 876 1.2.2.2 skrll return (NULL); 877 1.2.2.2 skrll } 878 1.2.2.2 skrll 879 1.2.2.2 skrll return (Symbol); 880 1.2.2.2 skrll } 881 1.2.2.2 skrll 882 1.2.2.2 skrll 883 1.2.2.2 skrll /******************************************************************************* 884 1.2.2.2 skrll * 885 1.2.2.2 skrll * FUNCTION: AcpiDmPromoteTarget 886 1.2.2.2 skrll * 887 1.2.2.2 skrll * PARAMETERS: Op - Operator parse object 888 1.2.2.2 skrll * Target - Target associate with the Op 889 1.2.2.2 skrll * 890 1.2.2.2 skrll * RETURN: None 891 1.2.2.2 skrll * 892 1.2.2.2 skrll * DESCRIPTION: Transform the parse tree by moving the target up to the first 893 1.2.2.2 skrll * child of the Op. 894 1.2.2.2 skrll * 895 1.2.2.2 skrll ******************************************************************************/ 896 1.2.2.2 skrll 897 1.2.2.2 skrll static void 898 1.2.2.2 skrll AcpiDmPromoteTarget ( 899 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 900 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 901 1.2.2.2 skrll { 902 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child; 903 1.2.2.2 skrll 904 1.2.2.2 skrll 905 1.2.2.2 skrll /* Link target directly to the Op as first child */ 906 1.2.2.2 skrll 907 1.2.2.2 skrll Child = Op->Common.Value.Arg; 908 1.2.2.2 skrll Op->Common.Value.Arg = Target; 909 1.2.2.2 skrll Target->Common.Next = Child; 910 1.2.2.2 skrll 911 1.2.2.2 skrll /* Find the last peer, it is linked to the target. Unlink it. */ 912 1.2.2.2 skrll 913 1.2.2.2 skrll while (Child->Common.Next != Target) 914 1.2.2.2 skrll { 915 1.2.2.2 skrll Child = Child->Common.Next; 916 1.2.2.2 skrll } 917 1.2.2.2 skrll 918 1.2.2.2 skrll Child->Common.Next = NULL; 919 1.2.2.2 skrll } 920 1.2.2.2 skrll 921 1.2.2.2 skrll 922 1.2.2.2 skrll /******************************************************************************* 923 1.2.2.2 skrll * 924 1.2.2.2 skrll * FUNCTION: AcpiDmIsValidTarget 925 1.2.2.2 skrll * 926 1.2.2.2 skrll * PARAMETERS: Target - Target Op from the parse tree 927 1.2.2.2 skrll * 928 1.2.2.2 skrll * RETURN: TRUE if the Target is real. FALSE if it is just a placeholder 929 1.2.2.2 skrll * Op that was inserted by the parser. 930 1.2.2.2 skrll * 931 1.2.2.2 skrll * DESCRIPTION: Determine if a Target Op is a placeholder Op or a real Target. 932 1.2.2.2 skrll * In other words, determine if the optional target is used or 933 1.2.2.3 skrll * not. Note: If Target is NULL, something is seriously wrong, 934 1.2.2.3 skrll * probably with the parse tree. 935 1.2.2.2 skrll * 936 1.2.2.2 skrll ******************************************************************************/ 937 1.2.2.2 skrll 938 1.2.2.2 skrll static BOOLEAN 939 1.2.2.2 skrll AcpiDmIsValidTarget ( 940 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 941 1.2.2.2 skrll { 942 1.2.2.2 skrll 943 1.2.2.3 skrll if (!Target) 944 1.2.2.3 skrll { 945 1.2.2.3 skrll return (FALSE); 946 1.2.2.3 skrll } 947 1.2.2.3 skrll 948 1.2.2.2 skrll if ((Target->Common.AmlOpcode == AML_INT_NAMEPATH_OP) && 949 1.2.2.2 skrll (Target->Common.Value.Arg == NULL)) 950 1.2.2.2 skrll { 951 1.2.2.2 skrll return (FALSE); 952 1.2.2.2 skrll } 953 1.2.2.2 skrll 954 1.2.2.2 skrll return (TRUE); 955 1.2.2.2 skrll } 956 1.2.2.2 skrll 957 1.2.2.2 skrll 958 1.2.2.2 skrll /******************************************************************************* 959 1.2.2.2 skrll * 960 1.2.2.2 skrll * FUNCTION: AcpiDmIsTargetAnOperand 961 1.2.2.2 skrll * 962 1.2.2.2 skrll * PARAMETERS: Target - Target associated with the expression 963 1.2.2.2 skrll * Operand - An operand associated with expression 964 1.2.2.2 skrll * 965 1.2.2.2 skrll * RETURN: TRUE if expression can be converted to a compound assignment. 966 1.2.2.2 skrll * FALSE otherwise. 967 1.2.2.2 skrll * 968 1.2.2.2 skrll * DESCRIPTION: Determine if the Target duplicates the operand, in order to 969 1.2.2.2 skrll * detect if the expression can be converted to a compound 970 1.2.2.2 skrll * assigment. (+=, *=, etc.) 971 1.2.2.2 skrll * 972 1.2.2.2 skrll ******************************************************************************/ 973 1.2.2.2 skrll 974 1.2.2.2 skrll static BOOLEAN 975 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 976 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 977 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 978 1.2.2.2 skrll BOOLEAN TopLevel) 979 1.2.2.2 skrll { 980 1.2.2.2 skrll const ACPI_OPCODE_INFO *OpInfo; 981 1.2.2.2 skrll BOOLEAN Same; 982 1.2.2.2 skrll 983 1.2.2.2 skrll 984 1.2.2.2 skrll /* 985 1.2.2.2 skrll * Opcodes must match. Note: ignoring the difference between nameseg 986 1.2.2.2 skrll * and namepath for now. May be needed later. 987 1.2.2.2 skrll */ 988 1.2.2.2 skrll if (Target->Common.AmlOpcode != Operand->Common.AmlOpcode) 989 1.2.2.2 skrll { 990 1.2.2.2 skrll return (FALSE); 991 1.2.2.2 skrll } 992 1.2.2.2 skrll 993 1.2.2.2 skrll /* Nodes should match, even if they are NULL */ 994 1.2.2.2 skrll 995 1.2.2.2 skrll if (Target->Common.Node != Operand->Common.Node) 996 1.2.2.2 skrll { 997 1.2.2.2 skrll return (FALSE); 998 1.2.2.2 skrll } 999 1.2.2.2 skrll 1000 1.2.2.2 skrll /* Determine if a child exists */ 1001 1.2.2.2 skrll 1002 1.2.2.2 skrll OpInfo = AcpiPsGetOpcodeInfo (Operand->Common.AmlOpcode); 1003 1.2.2.2 skrll if (OpInfo->Flags & AML_HAS_ARGS) 1004 1.2.2.2 skrll { 1005 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Value.Arg, 1006 1.2.2.2 skrll Operand->Common.Value.Arg, FALSE); 1007 1.2.2.2 skrll if (!Same) 1008 1.2.2.2 skrll { 1009 1.2.2.2 skrll return (FALSE); 1010 1.2.2.2 skrll } 1011 1.2.2.2 skrll } 1012 1.2.2.2 skrll 1013 1.2.2.2 skrll /* Check the next peer, as long as we are not at the top level */ 1014 1.2.2.2 skrll 1015 1.2.2.2 skrll if ((!TopLevel) && 1016 1.2.2.2 skrll Target->Common.Next) 1017 1.2.2.2 skrll { 1018 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Next, 1019 1.2.2.2 skrll Operand->Common.Next, FALSE); 1020 1.2.2.2 skrll if (!Same) 1021 1.2.2.2 skrll { 1022 1.2.2.2 skrll return (FALSE); 1023 1.2.2.2 skrll } 1024 1.2.2.2 skrll } 1025 1.2.2.2 skrll 1026 1.2.2.2 skrll /* Supress the duplicate operand at the top-level */ 1027 1.2.2.2 skrll 1028 1.2.2.2 skrll if (TopLevel) 1029 1.2.2.2 skrll { 1030 1.2.2.2 skrll Operand->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 1031 1.2.2.2 skrll } 1032 1.2.2.2 skrll return (TRUE); 1033 1.2.2.2 skrll } 1034
Indexes created Tue Sep 30 11:09:46 GMT 2025