dmcstyle.c revision 1.2.2.3
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.2 skrll * Copyright (C) 2000 - 2015, 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 "acdisasm.h" 49 1.2.2.2 skrll #include "acdebug.h" 50 1.2.2.2 skrll 51 1.2.2.2 skrll #ifdef ACPI_DISASSEMBLER 52 1.2.2.2 skrll 53 1.2.2.2 skrll #define _COMPONENT ACPI_CA_DEBUGGER 54 1.2.2.2 skrll ACPI_MODULE_NAME ("dmcstyle") 55 1.2.2.2 skrll 56 1.2.2.2 skrll 57 1.2.2.2 skrll /* Local prototypes */ 58 1.2.2.2 skrll 59 1.2.2.2 skrll static const char * 60 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 61 1.2.2.2 skrll UINT16 AslOpcode); 62 1.2.2.2 skrll 63 1.2.2.2 skrll static void 64 1.2.2.2 skrll AcpiDmPromoteTarget ( 65 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 66 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target); 67 1.2.2.2 skrll 68 1.2.2.2 skrll static BOOLEAN 69 1.2.2.2 skrll AcpiDmIsValidTarget ( 70 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op); 71 1.2.2.2 skrll 72 1.2.2.2 skrll static BOOLEAN 73 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 74 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 75 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 76 1.2.2.2 skrll BOOLEAN TopLevel); 77 1.2.2.2 skrll 78 1.2.2.2 skrll 79 1.2.2.2 skrll /******************************************************************************* 80 1.2.2.2 skrll * 81 1.2.2.2 skrll * FUNCTION: AcpiDmCheckForSymbolicOpcode 82 1.2.2.2 skrll * 83 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 84 1.2.2.2 skrll * Walk - Current parse tree walk info 85 1.2.2.2 skrll * 86 1.2.2.2 skrll * RETURN: TRUE if opcode can be converted to symbolic, FALSE otherwise 87 1.2.2.2 skrll * 88 1.2.2.2 skrll * DESCRIPTION: This is the main code that implements disassembly of AML code 89 1.2.2.2 skrll * to C-style operators. Called during descending phase of the 90 1.2.2.2 skrll * parse tree walk. 91 1.2.2.2 skrll * 92 1.2.2.2 skrll ******************************************************************************/ 93 1.2.2.2 skrll 94 1.2.2.2 skrll BOOLEAN 95 1.2.2.2 skrll AcpiDmCheckForSymbolicOpcode ( 96 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 97 1.2.2.2 skrll ACPI_OP_WALK_INFO *Info) 98 1.2.2.2 skrll { 99 1.2.2.2 skrll const char *OperatorSymbol = NULL; 100 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child1; 101 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child2; 102 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target; 103 1.2.2.2 skrll 104 1.2.2.2 skrll 105 1.2.2.2 skrll /* Exit immediately if ASL+ not enabled */ 106 1.2.2.2 skrll 107 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 108 1.2.2.2 skrll { 109 1.2.2.2 skrll return (FALSE); 110 1.2.2.2 skrll } 111 1.2.2.2 skrll 112 1.2.2.2 skrll /* Get the first operand */ 113 1.2.2.2 skrll 114 1.2.2.2 skrll Child1 = AcpiPsGetArg (Op, 0); 115 1.2.2.2 skrll if (!Child1) 116 1.2.2.2 skrll { 117 1.2.2.2 skrll return (FALSE); 118 1.2.2.2 skrll } 119 1.2.2.2 skrll 120 1.2.2.2 skrll /* Get the second operand */ 121 1.2.2.2 skrll 122 1.2.2.2 skrll Child2 = Child1->Common.Next; 123 1.2.2.2 skrll 124 1.2.2.2 skrll /* Setup the operator string for this opcode */ 125 1.2.2.2 skrll 126 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 127 1.2.2.2 skrll { 128 1.2.2.2 skrll case AML_ADD_OP: 129 1.2.2.2 skrll OperatorSymbol = " + "; 130 1.2.2.2 skrll break; 131 1.2.2.2 skrll 132 1.2.2.2 skrll case AML_SUBTRACT_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_MULTIPLY_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_DIVIDE_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_MOD_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_SHIFT_LEFT_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_RIGHT_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_BIT_AND_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_OR_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_XOR_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 /* Logical operators, no target */ 169 1.2.2.2 skrll 170 1.2.2.2 skrll case AML_LAND_OP: 171 1.2.2.2 skrll OperatorSymbol = " && "; 172 1.2.2.2 skrll break; 173 1.2.2.2 skrll 174 1.2.2.2 skrll case AML_LEQUAL_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_LGREATER_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_LLESS_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_LOR_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_LNOT_OP: 191 1.2.2.2 skrll /* 192 1.2.2.2 skrll * Check for the LNOT sub-opcodes. These correspond to 193 1.2.2.2 skrll * LNotEqual, LLessEqual, and LGreaterEqual. There are 194 1.2.2.2 skrll * no actual AML opcodes for these operators. 195 1.2.2.2 skrll */ 196 1.2.2.2 skrll switch (Child1->Common.AmlOpcode) 197 1.2.2.2 skrll { 198 1.2.2.2 skrll case AML_LEQUAL_OP: 199 1.2.2.2 skrll OperatorSymbol = " != "; 200 1.2.2.2 skrll break; 201 1.2.2.2 skrll 202 1.2.2.2 skrll case AML_LGREATER_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_LLESS_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 default: 211 1.2.2.2 skrll 212 1.2.2.2 skrll /* Unary LNOT case, emit "!" immediately */ 213 1.2.2.2 skrll 214 1.2.2.2 skrll AcpiOsPrintf ("!"); 215 1.2.2.2 skrll return (TRUE); 216 1.2.2.2 skrll } 217 1.2.2.2 skrll 218 1.2.2.2 skrll Child1->Common.DisasmOpcode = ACPI_DASM_LNOT_SUFFIX; 219 1.2.2.2 skrll Op->Common.DisasmOpcode = ACPI_DASM_LNOT_PREFIX; 220 1.2.2.2 skrll 221 1.2.2.2 skrll /* Save symbol string in the next child (not peer) */ 222 1.2.2.2 skrll 223 1.2.2.2 skrll Child2 = AcpiPsGetArg (Child1, 0); 224 1.2.2.2 skrll if (!Child2) 225 1.2.2.2 skrll { 226 1.2.2.2 skrll return (FALSE); 227 1.2.2.2 skrll } 228 1.2.2.2 skrll 229 1.2.2.2 skrll Child2->Common.OperatorSymbol = OperatorSymbol; 230 1.2.2.2 skrll return (TRUE); 231 1.2.2.2 skrll 232 1.2.2.2 skrll #ifdef INDEX_SUPPORT 233 1.2.2.2 skrll case AML_INDEX_OP: 234 1.2.2.2 skrll Child1->Common.OperatorSymbol = " ["; 235 1.2.2.2 skrll Child2->Common.OperatorSymbol = "]"; 236 1.2.2.2 skrll break; 237 1.2.2.2 skrll #endif 238 1.2.2.2 skrll 239 1.2.2.2 skrll /* Unary operators */ 240 1.2.2.2 skrll 241 1.2.2.2 skrll case AML_DECREMENT_OP: 242 1.2.2.2 skrll OperatorSymbol = "--"; 243 1.2.2.2 skrll break; 244 1.2.2.2 skrll 245 1.2.2.2 skrll case AML_INCREMENT_OP: 246 1.2.2.2 skrll OperatorSymbol = "++"; 247 1.2.2.2 skrll break; 248 1.2.2.2 skrll 249 1.2.2.2 skrll case AML_BIT_NOT_OP: 250 1.2.2.2 skrll case AML_STORE_OP: 251 1.2.2.2 skrll OperatorSymbol = NULL; 252 1.2.2.2 skrll break; 253 1.2.2.2 skrll 254 1.2.2.2 skrll default: 255 1.2.2.2 skrll return (FALSE); 256 1.2.2.2 skrll } 257 1.2.2.2 skrll 258 1.2.2.2 skrll if (Child1->Common.DisasmOpcode == ACPI_DASM_LNOT_SUFFIX) 259 1.2.2.2 skrll { 260 1.2.2.2 skrll return (TRUE); 261 1.2.2.2 skrll } 262 1.2.2.2 skrll 263 1.2.2.2 skrll /* 264 1.2.2.2 skrll * This is the key to how the disassembly of the C-style operators 265 1.2.2.2 skrll * works. We save the operator symbol in the first child, thus 266 1.2.2.2 skrll * deferring symbol output until after the first operand has been 267 1.2.2.2 skrll * emitted. 268 1.2.2.2 skrll */ 269 1.2.2.2 skrll if (!Child1->Common.OperatorSymbol) 270 1.2.2.2 skrll { 271 1.2.2.2 skrll Child1->Common.OperatorSymbol = OperatorSymbol; 272 1.2.2.2 skrll } 273 1.2.2.2 skrll 274 1.2.2.2 skrll /* 275 1.2.2.2 skrll * Check for a valid target as the 3rd (or sometimes 2nd) operand 276 1.2.2.2 skrll * 277 1.2.2.2 skrll * Compound assignment operator support: 278 1.2.2.2 skrll * Attempt to optimize constructs of the form: 279 1.2.2.2 skrll * Add (Local1, 0xFF, Local1) 280 1.2.2.2 skrll * to: 281 1.2.2.2 skrll * Local1 += 0xFF 282 1.2.2.2 skrll * 283 1.2.2.2 skrll * Only the math operators and Store() have a target. 284 1.2.2.2 skrll * Logicals have no target. 285 1.2.2.2 skrll */ 286 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 287 1.2.2.2 skrll { 288 1.2.2.2 skrll case AML_ADD_OP: 289 1.2.2.2 skrll case AML_SUBTRACT_OP: 290 1.2.2.2 skrll case AML_MULTIPLY_OP: 291 1.2.2.2 skrll case AML_DIVIDE_OP: 292 1.2.2.2 skrll case AML_MOD_OP: 293 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 294 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 295 1.2.2.2 skrll case AML_BIT_AND_OP: 296 1.2.2.2 skrll case AML_BIT_OR_OP: 297 1.2.2.2 skrll case AML_BIT_XOR_OP: 298 1.2.2.2 skrll 299 1.2.2.2 skrll /* Target is 3rd operand */ 300 1.2.2.2 skrll 301 1.2.2.2 skrll Target = Child2->Common.Next; 302 1.2.2.2 skrll if (Op->Common.AmlOpcode == AML_DIVIDE_OP) 303 1.2.2.2 skrll { 304 1.2.2.2 skrll /* 305 1.2.2.2 skrll * Divide has an extra target operand (Remainder). 306 1.2.2.2 skrll * If this extra target is specified, it cannot be converted 307 1.2.2.2 skrll * to a C-style operator 308 1.2.2.2 skrll */ 309 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 310 1.2.2.2 skrll { 311 1.2.2.2 skrll Child1->Common.OperatorSymbol = NULL; 312 1.2.2.2 skrll return (FALSE); 313 1.2.2.2 skrll } 314 1.2.2.2 skrll 315 1.2.2.2 skrll Target->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 316 1.2.2.2 skrll Target = Target->Common.Next; 317 1.2.2.2 skrll } 318 1.2.2.2 skrll 319 1.2.2.2 skrll /* Parser should ensure there is at least a placeholder target */ 320 1.2.2.2 skrll 321 1.2.2.2 skrll if (!Target) 322 1.2.2.2 skrll { 323 1.2.2.2 skrll return (FALSE); 324 1.2.2.2 skrll } 325 1.2.2.2 skrll 326 1.2.2.2 skrll if (!AcpiDmIsValidTarget (Target)) 327 1.2.2.2 skrll { 328 1.2.2.2 skrll /* Not a valid target (placeholder only, from parser) */ 329 1.2.2.2 skrll break; 330 1.2.2.2 skrll } 331 1.2.2.2 skrll 332 1.2.2.2 skrll /* 333 1.2.2.2 skrll * Promote the target up to the first child in the parse 334 1.2.2.2 skrll * tree. This is done because the target will be output 335 1.2.2.2 skrll * first, in the form: 336 1.2.2.2 skrll * <Target> = Operands... 337 1.2.2.2 skrll */ 338 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 339 1.2.2.2 skrll 340 1.2.2.3 skrll /* Check operands for conversion to a "Compound Assignment" */ 341 1.2.2.3 skrll 342 1.2.2.3 skrll switch (Op->Common.AmlOpcode) 343 1.2.2.2 skrll { 344 1.2.2.3 skrll /* Commutative operators */ 345 1.2.2.3 skrll 346 1.2.2.3 skrll case AML_ADD_OP: 347 1.2.2.3 skrll case AML_MULTIPLY_OP: 348 1.2.2.3 skrll case AML_BIT_AND_OP: 349 1.2.2.3 skrll case AML_BIT_OR_OP: 350 1.2.2.3 skrll case AML_BIT_XOR_OP: 351 1.2.2.3 skrll /* 352 1.2.2.3 skrll * For the commutative operators, we can convert to a 353 1.2.2.3 skrll * compound statement only if at least one (either) operand 354 1.2.2.3 skrll * is the same as the target. 355 1.2.2.3 skrll * 356 1.2.2.3 skrll * Add (A, B, A) --> A += B 357 1.2.2.3 skrll * Add (B, A, A) --> A += B 358 1.2.2.3 skrll * Add (B, C, A) --> A = (B + C) 359 1.2.2.3 skrll */ 360 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE)) || 361 1.2.2.3 skrll (AcpiDmIsTargetAnOperand (Target, Child2, TRUE))) 362 1.2.2.3 skrll { 363 1.2.2.3 skrll Target->Common.OperatorSymbol = 364 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 365 1.2.2.2 skrll 366 1.2.2.3 skrll /* Convert operator to compound assignment */ 367 1.2.2.2 skrll 368 1.2.2.3 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND; 369 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 370 1.2.2.3 skrll return (TRUE); 371 1.2.2.3 skrll } 372 1.2.2.3 skrll break; 373 1.2.2.3 skrll 374 1.2.2.3 skrll /* Non-commutative operators */ 375 1.2.2.3 skrll 376 1.2.2.3 skrll case AML_SUBTRACT_OP: 377 1.2.2.3 skrll case AML_DIVIDE_OP: 378 1.2.2.3 skrll case AML_MOD_OP: 379 1.2.2.3 skrll case AML_SHIFT_LEFT_OP: 380 1.2.2.3 skrll case AML_SHIFT_RIGHT_OP: 381 1.2.2.3 skrll /* 382 1.2.2.3 skrll * For the non-commutative operators, we can convert to a 383 1.2.2.3 skrll * compound statement only if the target is the same as the 384 1.2.2.3 skrll * first operand. 385 1.2.2.3 skrll * 386 1.2.2.3 skrll * Subtract (A, B, A) --> A -= B 387 1.2.2.3 skrll * Subtract (B, A, A) --> A = (B - A) 388 1.2.2.3 skrll */ 389 1.2.2.3 skrll if ((AcpiDmIsTargetAnOperand (Target, Child1, TRUE))) 390 1.2.2.3 skrll { 391 1.2.2.3 skrll Target->Common.OperatorSymbol = 392 1.2.2.3 skrll AcpiDmGetCompoundSymbol (Op->Common.AmlOpcode); 393 1.2.2.3 skrll 394 1.2.2.3 skrll /* Convert operator to compound assignment */ 395 1.2.2.3 skrll 396 1.2.2.3 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_COMPOUND; 397 1.2.2.3 skrll Child1->Common.OperatorSymbol = NULL; 398 1.2.2.3 skrll return (TRUE); 399 1.2.2.3 skrll } 400 1.2.2.3 skrll break; 401 1.2.2.3 skrll 402 1.2.2.3 skrll default: 403 1.2.2.3 skrll break; 404 1.2.2.2 skrll } 405 1.2.2.2 skrll 406 1.2.2.2 skrll /* 407 1.2.2.2 skrll * If we are within a C-style expression, emit an extra open 408 1.2.2.2 skrll * paren. Implemented by examining the parent op. 409 1.2.2.2 skrll */ 410 1.2.2.2 skrll switch (Op->Common.Parent->Common.AmlOpcode) 411 1.2.2.2 skrll { 412 1.2.2.2 skrll case AML_ADD_OP: 413 1.2.2.2 skrll case AML_SUBTRACT_OP: 414 1.2.2.2 skrll case AML_MULTIPLY_OP: 415 1.2.2.2 skrll case AML_DIVIDE_OP: 416 1.2.2.2 skrll case AML_MOD_OP: 417 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 418 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 419 1.2.2.2 skrll case AML_BIT_AND_OP: 420 1.2.2.2 skrll case AML_BIT_OR_OP: 421 1.2.2.2 skrll case AML_BIT_XOR_OP: 422 1.2.2.2 skrll case AML_LAND_OP: 423 1.2.2.2 skrll case AML_LEQUAL_OP: 424 1.2.2.2 skrll case AML_LGREATER_OP: 425 1.2.2.2 skrll case AML_LLESS_OP: 426 1.2.2.2 skrll case AML_LOR_OP: 427 1.2.2.2 skrll 428 1.2.2.2 skrll Op->Common.DisasmFlags |= ACPI_PARSEOP_ASSIGNMENT; 429 1.2.2.2 skrll AcpiOsPrintf ("("); 430 1.2.2.2 skrll break; 431 1.2.2.2 skrll 432 1.2.2.2 skrll default: 433 1.2.2.2 skrll break; 434 1.2.2.2 skrll } 435 1.2.2.2 skrll 436 1.2.2.2 skrll /* Normal output for ASL/AML operators with a target operand */ 437 1.2.2.2 skrll 438 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ("; 439 1.2.2.2 skrll return (TRUE); 440 1.2.2.2 skrll 441 1.2.2.2 skrll /* Binary operators, no parens */ 442 1.2.2.2 skrll 443 1.2.2.2 skrll case AML_DECREMENT_OP: 444 1.2.2.2 skrll case AML_INCREMENT_OP: 445 1.2.2.2 skrll return (TRUE); 446 1.2.2.2 skrll 447 1.2.2.2 skrll #ifdef INDEX_SUPPORT 448 1.2.2.2 skrll case AML_INDEX_OP: 449 1.2.2.2 skrll 450 1.2.2.2 skrll /* Target is optional, 3rd operand */ 451 1.2.2.2 skrll 452 1.2.2.2 skrll Target = Child2->Common.Next; 453 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 454 1.2.2.2 skrll { 455 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 456 1.2.2.2 skrll 457 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 458 1.2.2.2 skrll { 459 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 460 1.2.2.2 skrll } 461 1.2.2.2 skrll } 462 1.2.2.2 skrll return (TRUE); 463 1.2.2.2 skrll #endif 464 1.2.2.2 skrll 465 1.2.2.2 skrll case AML_STORE_OP: 466 1.2.2.2 skrll /* 467 1.2.2.2 skrll * Target is the 2nd operand. 468 1.2.2.2 skrll * We know the target is valid, it is not optional. 469 1.2.2.2 skrll * In the parse tree, simply swap the target with the 470 1.2.2.2 skrll * source so that the target is processed first. 471 1.2.2.2 skrll */ 472 1.2.2.2 skrll Target = Child1->Common.Next; 473 1.2.2.3 skrll if (!Target) 474 1.2.2.3 skrll { 475 1.2.2.3 skrll return (FALSE); 476 1.2.2.3 skrll } 477 1.2.2.2 skrll 478 1.2.2.3 skrll AcpiDmPromoteTarget (Op, Target); 479 1.2.2.2 skrll if (!Target->Common.OperatorSymbol) 480 1.2.2.2 skrll { 481 1.2.2.2 skrll Target->Common.OperatorSymbol = " = "; 482 1.2.2.2 skrll } 483 1.2.2.2 skrll return (TRUE); 484 1.2.2.2 skrll 485 1.2.2.2 skrll case AML_BIT_NOT_OP: 486 1.2.2.2 skrll 487 1.2.2.2 skrll /* Target is optional, 2nd operand */ 488 1.2.2.2 skrll 489 1.2.2.2 skrll Target = Child1->Common.Next; 490 1.2.2.2 skrll if (!Target) 491 1.2.2.2 skrll { 492 1.2.2.2 skrll return (FALSE); 493 1.2.2.2 skrll } 494 1.2.2.2 skrll 495 1.2.2.2 skrll if (AcpiDmIsValidTarget (Target)) 496 1.2.2.2 skrll { 497 1.2.2.2 skrll /* Valid target, not a placeholder */ 498 1.2.2.2 skrll 499 1.2.2.2 skrll AcpiDmPromoteTarget (Op, Target); 500 1.2.2.2 skrll Target->Common.OperatorSymbol = " = ~"; 501 1.2.2.2 skrll } 502 1.2.2.2 skrll else 503 1.2.2.2 skrll { 504 1.2.2.2 skrll /* No target. Emit this prefix operator immediately */ 505 1.2.2.2 skrll 506 1.2.2.2 skrll AcpiOsPrintf ("~"); 507 1.2.2.2 skrll } 508 1.2.2.2 skrll return (TRUE); 509 1.2.2.2 skrll 510 1.2.2.2 skrll default: 511 1.2.2.2 skrll break; 512 1.2.2.2 skrll } 513 1.2.2.2 skrll 514 1.2.2.2 skrll /* All other operators, emit an open paren */ 515 1.2.2.2 skrll 516 1.2.2.2 skrll AcpiOsPrintf ("("); 517 1.2.2.2 skrll return (TRUE); 518 1.2.2.2 skrll } 519 1.2.2.2 skrll 520 1.2.2.2 skrll 521 1.2.2.2 skrll /******************************************************************************* 522 1.2.2.2 skrll * 523 1.2.2.2 skrll * FUNCTION: AcpiDmCloseOperator 524 1.2.2.2 skrll * 525 1.2.2.2 skrll * PARAMETERS: Op - Current parse object 526 1.2.2.2 skrll * 527 1.2.2.2 skrll * RETURN: None 528 1.2.2.2 skrll * 529 1.2.2.2 skrll * DESCRIPTION: Closes an operator by adding a closing parentheses if and 530 1.2.2.2 skrll * when necessary. Called during ascending phase of the 531 1.2.2.2 skrll * parse tree walk. 532 1.2.2.2 skrll * 533 1.2.2.2 skrll ******************************************************************************/ 534 1.2.2.2 skrll 535 1.2.2.2 skrll void 536 1.2.2.2 skrll AcpiDmCloseOperator ( 537 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op) 538 1.2.2.2 skrll { 539 1.2.2.2 skrll 540 1.2.2.2 skrll /* Always emit paren if ASL+ disassembly disabled */ 541 1.2.2.2 skrll 542 1.2.2.2 skrll if (!AcpiGbl_CstyleDisassembly) 543 1.2.2.2 skrll { 544 1.2.2.2 skrll AcpiOsPrintf (")"); 545 1.2.2.2 skrll return; 546 1.2.2.2 skrll } 547 1.2.2.2 skrll 548 1.2.2.2 skrll /* Check if we need to add an additional closing paren */ 549 1.2.2.2 skrll 550 1.2.2.2 skrll switch (Op->Common.AmlOpcode) 551 1.2.2.2 skrll { 552 1.2.2.2 skrll case AML_ADD_OP: 553 1.2.2.2 skrll case AML_SUBTRACT_OP: 554 1.2.2.2 skrll case AML_MULTIPLY_OP: 555 1.2.2.2 skrll case AML_DIVIDE_OP: 556 1.2.2.2 skrll case AML_MOD_OP: 557 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 558 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 559 1.2.2.2 skrll case AML_BIT_AND_OP: 560 1.2.2.2 skrll case AML_BIT_OR_OP: 561 1.2.2.2 skrll case AML_BIT_XOR_OP: 562 1.2.2.2 skrll case AML_LAND_OP: 563 1.2.2.2 skrll case AML_LEQUAL_OP: 564 1.2.2.2 skrll case AML_LGREATER_OP: 565 1.2.2.2 skrll case AML_LLESS_OP: 566 1.2.2.2 skrll case AML_LOR_OP: 567 1.2.2.2 skrll 568 1.2.2.2 skrll /* Emit paren only if this is not a compound assignment */ 569 1.2.2.2 skrll 570 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_COMPOUND) 571 1.2.2.2 skrll { 572 1.2.2.2 skrll return; 573 1.2.2.2 skrll } 574 1.2.2.2 skrll 575 1.2.2.2 skrll /* Emit extra close paren for assignment within an expression */ 576 1.2.2.2 skrll 577 1.2.2.2 skrll if (Op->Common.DisasmFlags & ACPI_PARSEOP_ASSIGNMENT) 578 1.2.2.2 skrll { 579 1.2.2.2 skrll AcpiOsPrintf (")"); 580 1.2.2.2 skrll } 581 1.2.2.2 skrll break; 582 1.2.2.2 skrll 583 1.2.2.2 skrll 584 1.2.2.2 skrll /* No need for parens for these */ 585 1.2.2.2 skrll 586 1.2.2.2 skrll #ifdef INDEX_SUPPORT 587 1.2.2.2 skrll case AML_INDEX_OP: 588 1.2.2.2 skrll #endif 589 1.2.2.2 skrll case AML_DECREMENT_OP: 590 1.2.2.2 skrll case AML_INCREMENT_OP: 591 1.2.2.2 skrll case AML_LNOT_OP: 592 1.2.2.2 skrll case AML_BIT_NOT_OP: 593 1.2.2.2 skrll case AML_STORE_OP: 594 1.2.2.2 skrll return; 595 1.2.2.2 skrll 596 1.2.2.2 skrll default: 597 1.2.2.2 skrll 598 1.2.2.2 skrll /* Always emit paren for non-ASL+ operators */ 599 1.2.2.2 skrll break; 600 1.2.2.2 skrll } 601 1.2.2.2 skrll 602 1.2.2.2 skrll AcpiOsPrintf (")"); 603 1.2.2.2 skrll } 604 1.2.2.2 skrll 605 1.2.2.2 skrll 606 1.2.2.2 skrll /******************************************************************************* 607 1.2.2.2 skrll * 608 1.2.2.2 skrll * FUNCTION: AcpiDmGetCompoundSymbol 609 1.2.2.2 skrll * 610 1.2.2.2 skrll * PARAMETERS: AslOpcode 611 1.2.2.2 skrll * 612 1.2.2.2 skrll * RETURN: String containing the compound assignment symbol 613 1.2.2.2 skrll * 614 1.2.2.2 skrll * DESCRIPTION: Detect opcodes that can be converted to compound assignment, 615 1.2.2.2 skrll * return the appropriate operator string. 616 1.2.2.2 skrll * 617 1.2.2.2 skrll ******************************************************************************/ 618 1.2.2.2 skrll 619 1.2.2.2 skrll static const char * 620 1.2.2.2 skrll AcpiDmGetCompoundSymbol ( 621 1.2.2.2 skrll UINT16 AmlOpcode) 622 1.2.2.2 skrll { 623 1.2.2.2 skrll const char *Symbol; 624 1.2.2.2 skrll 625 1.2.2.2 skrll 626 1.2.2.2 skrll switch (AmlOpcode) 627 1.2.2.2 skrll { 628 1.2.2.2 skrll case AML_ADD_OP: 629 1.2.2.2 skrll Symbol = " += "; 630 1.2.2.2 skrll break; 631 1.2.2.2 skrll 632 1.2.2.2 skrll case AML_SUBTRACT_OP: 633 1.2.2.2 skrll Symbol = " -= "; 634 1.2.2.2 skrll break; 635 1.2.2.2 skrll 636 1.2.2.2 skrll case AML_MULTIPLY_OP: 637 1.2.2.2 skrll Symbol = " *= "; 638 1.2.2.2 skrll break; 639 1.2.2.2 skrll 640 1.2.2.2 skrll case AML_DIVIDE_OP: 641 1.2.2.2 skrll Symbol = " /= "; 642 1.2.2.2 skrll break; 643 1.2.2.2 skrll 644 1.2.2.2 skrll case AML_MOD_OP: 645 1.2.2.2 skrll Symbol = " %= "; 646 1.2.2.2 skrll break; 647 1.2.2.2 skrll 648 1.2.2.2 skrll case AML_SHIFT_LEFT_OP: 649 1.2.2.2 skrll Symbol = " <<= "; 650 1.2.2.2 skrll break; 651 1.2.2.2 skrll 652 1.2.2.2 skrll case AML_SHIFT_RIGHT_OP: 653 1.2.2.2 skrll Symbol = " >>= "; 654 1.2.2.2 skrll break; 655 1.2.2.2 skrll 656 1.2.2.2 skrll case AML_BIT_AND_OP: 657 1.2.2.2 skrll Symbol = " &= "; 658 1.2.2.2 skrll break; 659 1.2.2.2 skrll 660 1.2.2.2 skrll case AML_BIT_OR_OP: 661 1.2.2.2 skrll Symbol = " |= "; 662 1.2.2.2 skrll break; 663 1.2.2.2 skrll 664 1.2.2.2 skrll case AML_BIT_XOR_OP: 665 1.2.2.2 skrll Symbol = " ^= "; 666 1.2.2.2 skrll break; 667 1.2.2.2 skrll 668 1.2.2.2 skrll default: 669 1.2.2.2 skrll 670 1.2.2.2 skrll /* No operator string for all other opcodes */ 671 1.2.2.2 skrll return (NULL); 672 1.2.2.2 skrll } 673 1.2.2.2 skrll 674 1.2.2.2 skrll return (Symbol); 675 1.2.2.2 skrll } 676 1.2.2.2 skrll 677 1.2.2.2 skrll 678 1.2.2.2 skrll /******************************************************************************* 679 1.2.2.2 skrll * 680 1.2.2.2 skrll * FUNCTION: AcpiDmPromoteTarget 681 1.2.2.2 skrll * 682 1.2.2.2 skrll * PARAMETERS: Op - Operator parse object 683 1.2.2.2 skrll * Target - Target associate with the Op 684 1.2.2.2 skrll * 685 1.2.2.2 skrll * RETURN: None 686 1.2.2.2 skrll * 687 1.2.2.2 skrll * DESCRIPTION: Transform the parse tree by moving the target up to the first 688 1.2.2.2 skrll * child of the Op. 689 1.2.2.2 skrll * 690 1.2.2.2 skrll ******************************************************************************/ 691 1.2.2.2 skrll 692 1.2.2.2 skrll static void 693 1.2.2.2 skrll AcpiDmPromoteTarget ( 694 1.2.2.2 skrll ACPI_PARSE_OBJECT *Op, 695 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 696 1.2.2.2 skrll { 697 1.2.2.2 skrll ACPI_PARSE_OBJECT *Child; 698 1.2.2.2 skrll 699 1.2.2.2 skrll 700 1.2.2.2 skrll /* Link target directly to the Op as first child */ 701 1.2.2.2 skrll 702 1.2.2.2 skrll Child = Op->Common.Value.Arg; 703 1.2.2.2 skrll Op->Common.Value.Arg = Target; 704 1.2.2.2 skrll Target->Common.Next = Child; 705 1.2.2.2 skrll 706 1.2.2.2 skrll /* Find the last peer, it is linked to the target. Unlink it. */ 707 1.2.2.2 skrll 708 1.2.2.2 skrll while (Child->Common.Next != Target) 709 1.2.2.2 skrll { 710 1.2.2.2 skrll Child = Child->Common.Next; 711 1.2.2.2 skrll } 712 1.2.2.2 skrll 713 1.2.2.2 skrll Child->Common.Next = NULL; 714 1.2.2.2 skrll } 715 1.2.2.2 skrll 716 1.2.2.2 skrll 717 1.2.2.2 skrll /******************************************************************************* 718 1.2.2.2 skrll * 719 1.2.2.2 skrll * FUNCTION: AcpiDmIsValidTarget 720 1.2.2.2 skrll * 721 1.2.2.2 skrll * PARAMETERS: Target - Target Op from the parse tree 722 1.2.2.2 skrll * 723 1.2.2.2 skrll * RETURN: TRUE if the Target is real. FALSE if it is just a placeholder 724 1.2.2.2 skrll * Op that was inserted by the parser. 725 1.2.2.2 skrll * 726 1.2.2.2 skrll * DESCRIPTION: Determine if a Target Op is a placeholder Op or a real Target. 727 1.2.2.2 skrll * In other words, determine if the optional target is used or 728 1.2.2.3 skrll * not. Note: If Target is NULL, something is seriously wrong, 729 1.2.2.3 skrll * probably with the parse tree. 730 1.2.2.2 skrll * 731 1.2.2.2 skrll ******************************************************************************/ 732 1.2.2.2 skrll 733 1.2.2.2 skrll static BOOLEAN 734 1.2.2.2 skrll AcpiDmIsValidTarget ( 735 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target) 736 1.2.2.2 skrll { 737 1.2.2.2 skrll 738 1.2.2.3 skrll if (!Target) 739 1.2.2.3 skrll { 740 1.2.2.3 skrll return (FALSE); 741 1.2.2.3 skrll } 742 1.2.2.3 skrll 743 1.2.2.2 skrll if ((Target->Common.AmlOpcode == AML_INT_NAMEPATH_OP) && 744 1.2.2.2 skrll (Target->Common.Value.Arg == NULL)) 745 1.2.2.2 skrll { 746 1.2.2.2 skrll return (FALSE); 747 1.2.2.2 skrll } 748 1.2.2.2 skrll 749 1.2.2.2 skrll return (TRUE); 750 1.2.2.2 skrll } 751 1.2.2.2 skrll 752 1.2.2.2 skrll 753 1.2.2.2 skrll /******************************************************************************* 754 1.2.2.2 skrll * 755 1.2.2.2 skrll * FUNCTION: AcpiDmIsTargetAnOperand 756 1.2.2.2 skrll * 757 1.2.2.2 skrll * PARAMETERS: Target - Target associated with the expression 758 1.2.2.2 skrll * Operand - An operand associated with expression 759 1.2.2.2 skrll * 760 1.2.2.2 skrll * RETURN: TRUE if expression can be converted to a compound assignment. 761 1.2.2.2 skrll * FALSE otherwise. 762 1.2.2.2 skrll * 763 1.2.2.2 skrll * DESCRIPTION: Determine if the Target duplicates the operand, in order to 764 1.2.2.2 skrll * detect if the expression can be converted to a compound 765 1.2.2.2 skrll * assigment. (+=, *=, etc.) 766 1.2.2.2 skrll * 767 1.2.2.2 skrll ******************************************************************************/ 768 1.2.2.2 skrll 769 1.2.2.2 skrll static BOOLEAN 770 1.2.2.2 skrll AcpiDmIsTargetAnOperand ( 771 1.2.2.2 skrll ACPI_PARSE_OBJECT *Target, 772 1.2.2.2 skrll ACPI_PARSE_OBJECT *Operand, 773 1.2.2.2 skrll BOOLEAN TopLevel) 774 1.2.2.2 skrll { 775 1.2.2.2 skrll const ACPI_OPCODE_INFO *OpInfo; 776 1.2.2.2 skrll BOOLEAN Same; 777 1.2.2.2 skrll 778 1.2.2.2 skrll 779 1.2.2.2 skrll /* 780 1.2.2.2 skrll * Opcodes must match. Note: ignoring the difference between nameseg 781 1.2.2.2 skrll * and namepath for now. May be needed later. 782 1.2.2.2 skrll */ 783 1.2.2.2 skrll if (Target->Common.AmlOpcode != Operand->Common.AmlOpcode) 784 1.2.2.2 skrll { 785 1.2.2.2 skrll return (FALSE); 786 1.2.2.2 skrll } 787 1.2.2.2 skrll 788 1.2.2.2 skrll /* Nodes should match, even if they are NULL */ 789 1.2.2.2 skrll 790 1.2.2.2 skrll if (Target->Common.Node != Operand->Common.Node) 791 1.2.2.2 skrll { 792 1.2.2.2 skrll return (FALSE); 793 1.2.2.2 skrll } 794 1.2.2.2 skrll 795 1.2.2.2 skrll /* Determine if a child exists */ 796 1.2.2.2 skrll 797 1.2.2.2 skrll OpInfo = AcpiPsGetOpcodeInfo (Operand->Common.AmlOpcode); 798 1.2.2.2 skrll if (OpInfo->Flags & AML_HAS_ARGS) 799 1.2.2.2 skrll { 800 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Value.Arg, 801 1.2.2.2 skrll Operand->Common.Value.Arg, FALSE); 802 1.2.2.2 skrll if (!Same) 803 1.2.2.2 skrll { 804 1.2.2.2 skrll return (FALSE); 805 1.2.2.2 skrll } 806 1.2.2.2 skrll } 807 1.2.2.2 skrll 808 1.2.2.2 skrll /* Check the next peer, as long as we are not at the top level */ 809 1.2.2.2 skrll 810 1.2.2.2 skrll if ((!TopLevel) && 811 1.2.2.2 skrll Target->Common.Next) 812 1.2.2.2 skrll { 813 1.2.2.2 skrll Same = AcpiDmIsTargetAnOperand (Target->Common.Next, 814 1.2.2.2 skrll Operand->Common.Next, FALSE); 815 1.2.2.2 skrll if (!Same) 816 1.2.2.2 skrll { 817 1.2.2.2 skrll return (FALSE); 818 1.2.2.2 skrll } 819 1.2.2.2 skrll } 820 1.2.2.2 skrll 821 1.2.2.2 skrll /* Supress the duplicate operand at the top-level */ 822 1.2.2.2 skrll 823 1.2.2.2 skrll if (TopLevel) 824 1.2.2.2 skrll { 825 1.2.2.2 skrll Operand->Common.DisasmFlags |= ACPI_PARSEOP_IGNORE; 826 1.2.2.2 skrll } 827 1.2.2.2 skrll return (TRUE); 828 1.2.2.2 skrll } 829 1.2.2.2 skrll 830 1.2.2.2 skrll #endif 831
Indexes created Tue Sep 30 07:10:03 GMT 2025