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