1 /****************************************************************************** 2 * 3 * Module Name: exmisc - ACPI AML (p-code) execution - specific opcodes 4 * 5 *****************************************************************************/ 6 7 /* 8 * Copyright (C) 2000 - 2016, Intel Corp. 9 * All rights reserved. 10 * 11 * Redistribution and use in source and binary forms, with or without 12 * modification, are permitted provided that the following conditions 13 * are met: 14 * 1. Redistributions of source code must retain the above copyright 15 * notice, this list of conditions, and the following disclaimer, 16 * without modification. 17 * 2. Redistributions in binary form must reproduce at minimum a disclaimer 18 * substantially similar to the "NO WARRANTY" disclaimer below 19 * ("Disclaimer") and any redistribution must be conditioned upon 20 * including a substantially similar Disclaimer requirement for further 21 * binary redistribution. 22 * 3. Neither the names of the above-listed copyright holders nor the names 23 * of any contributors may be used to endorse or promote products derived 24 * from this software without specific prior written permission. 25 * 26 * Alternatively, this software may be distributed under the terms of the 27 * GNU General Public License ("GPL") version 2 as published by the Free 28 * Software Foundation. 29 * 30 * NO WARRANTY 31 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 32 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 33 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR 34 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 35 * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 36 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 37 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 38 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, 39 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING 40 * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 41 * POSSIBILITY OF SUCH DAMAGES. 42 */ 43 44 #include "acpi.h" 45 #include "accommon.h" 46 #include "acinterp.h" 47 #include "amlcode.h" 48 49 50 #define _COMPONENT ACPI_EXECUTER 51 ACPI_MODULE_NAME ("exmisc") 52 53 54 /******************************************************************************* 55 * 56 * FUNCTION: AcpiExGetObjectReference 57 * 58 * PARAMETERS: ObjDesc - Create a reference to this object 59 * ReturnDesc - Where to store the reference 60 * WalkState - Current state 61 * 62 * RETURN: Status 63 * 64 * DESCRIPTION: Obtain and return a "reference" to the target object 65 * Common code for the RefOfOp and the CondRefOfOp. 66 * 67 ******************************************************************************/ 68 69 ACPI_STATUS 70 AcpiExGetObjectReference ( 71 ACPI_OPERAND_OBJECT *ObjDesc, 72 ACPI_OPERAND_OBJECT **ReturnDesc, 73 ACPI_WALK_STATE *WalkState) 74 { 75 ACPI_OPERAND_OBJECT *ReferenceObj; 76 ACPI_OPERAND_OBJECT *ReferencedObj; 77 78 79 ACPI_FUNCTION_TRACE_PTR (ExGetObjectReference, ObjDesc); 80 81 82 *ReturnDesc = NULL; 83 84 switch (ACPI_GET_DESCRIPTOR_TYPE (ObjDesc)) 85 { 86 case ACPI_DESC_TYPE_OPERAND: 87 88 if (ObjDesc->Common.Type != ACPI_TYPE_LOCAL_REFERENCE) 89 { 90 return_ACPI_STATUS (AE_AML_OPERAND_TYPE); 91 } 92 93 /* 94 * Must be a reference to a Local or Arg 95 */ 96 switch (ObjDesc->Reference.Class) 97 { 98 case ACPI_REFCLASS_LOCAL: 99 case ACPI_REFCLASS_ARG: 100 case ACPI_REFCLASS_DEBUG: 101 102 /* The referenced object is the pseudo-node for the local/arg */ 103 104 ReferencedObj = ObjDesc->Reference.Object; 105 break; 106 107 default: 108 109 ACPI_ERROR ((AE_INFO, "Invalid Reference Class 0x%2.2X", 110 ObjDesc->Reference.Class)); 111 return_ACPI_STATUS (AE_AML_OPERAND_TYPE); 112 } 113 break; 114 115 case ACPI_DESC_TYPE_NAMED: 116 /* 117 * A named reference that has already been resolved to a Node 118 */ 119 ReferencedObj = ObjDesc; 120 break; 121 122 default: 123 124 ACPI_ERROR ((AE_INFO, "Invalid descriptor type 0x%X", 125 ACPI_GET_DESCRIPTOR_TYPE (ObjDesc))); 126 return_ACPI_STATUS (AE_TYPE); 127 } 128 129 130 /* Create a new reference object */ 131 132 ReferenceObj = AcpiUtCreateInternalObject (ACPI_TYPE_LOCAL_REFERENCE); 133 if (!ReferenceObj) 134 { 135 return_ACPI_STATUS (AE_NO_MEMORY); 136 } 137 138 ReferenceObj->Reference.Class = ACPI_REFCLASS_REFOF; 139 ReferenceObj->Reference.Object = ReferencedObj; 140 *ReturnDesc = ReferenceObj; 141 142 ACPI_DEBUG_PRINT ((ACPI_DB_EXEC, 143 "Object %p Type [%s], returning Reference %p\n", 144 ObjDesc, AcpiUtGetObjectTypeName (ObjDesc), *ReturnDesc)); 145 146 return_ACPI_STATUS (AE_OK); 147 } 148 149 150 /******************************************************************************* 151 * 152 * FUNCTION: AcpiExDoMathOp 153 * 154 * PARAMETERS: Opcode - AML opcode 155 * Integer0 - Integer operand #0 156 * Integer1 - Integer operand #1 157 * 158 * RETURN: Integer result of the operation 159 * 160 * DESCRIPTION: Execute a math AML opcode. The purpose of having all of the 161 * math functions here is to prevent a lot of pointer dereferencing 162 * to obtain the operands. 163 * 164 ******************************************************************************/ 165 166 UINT64 167 AcpiExDoMathOp ( 168 UINT16 Opcode, 169 UINT64 Integer0, 170 UINT64 Integer1) 171 { 172 173 ACPI_FUNCTION_ENTRY (); 174 175 176 switch (Opcode) 177 { 178 case AML_ADD_OP: /* Add (Integer0, Integer1, Result) */ 179 180 return (Integer0 + Integer1); 181 182 case AML_BIT_AND_OP: /* And (Integer0, Integer1, Result) */ 183 184 return (Integer0 & Integer1); 185 186 case AML_BIT_NAND_OP: /* NAnd (Integer0, Integer1, Result) */ 187 188 return (~(Integer0 & Integer1)); 189 190 case AML_BIT_OR_OP: /* Or (Integer0, Integer1, Result) */ 191 192 return (Integer0 | Integer1); 193 194 case AML_BIT_NOR_OP: /* NOr (Integer0, Integer1, Result) */ 195 196 return (~(Integer0 | Integer1)); 197 198 case AML_BIT_XOR_OP: /* XOr (Integer0, Integer1, Result) */ 199 200 return (Integer0 ^ Integer1); 201 202 case AML_MULTIPLY_OP: /* Multiply (Integer0, Integer1, Result) */ 203 204 return (Integer0 * Integer1); 205 206 case AML_SHIFT_LEFT_OP: /* ShiftLeft (Operand, ShiftCount, Result)*/ 207 208 /* 209 * We need to check if the shiftcount is larger than the integer bit 210 * width since the behavior of this is not well-defined in the C language. 211 */ 212 if (Integer1 >= AcpiGbl_IntegerBitWidth) 213 { 214 return (0); 215 } 216 return (Integer0 << Integer1); 217 218 case AML_SHIFT_RIGHT_OP: /* ShiftRight (Operand, ShiftCount, Result) */ 219 220 /* 221 * We need to check if the shiftcount is larger than the integer bit 222 * width since the behavior of this is not well-defined in the C language. 223 */ 224 if (Integer1 >= AcpiGbl_IntegerBitWidth) 225 { 226 return (0); 227 } 228 return (Integer0 >> Integer1); 229 230 case AML_SUBTRACT_OP: /* Subtract (Integer0, Integer1, Result) */ 231 232 return (Integer0 - Integer1); 233 234 default: 235 236 return (0); 237 } 238 } 239 240 241 /******************************************************************************* 242 * 243 * FUNCTION: AcpiExDoLogicalNumericOp 244 * 245 * PARAMETERS: Opcode - AML opcode 246 * Integer0 - Integer operand #0 247 * Integer1 - Integer operand #1 248 * LogicalResult - TRUE/FALSE result of the operation 249 * 250 * RETURN: Status 251 * 252 * DESCRIPTION: Execute a logical "Numeric" AML opcode. For these Numeric 253 * operators (LAnd and LOr), both operands must be integers. 254 * 255 * Note: cleanest machine code seems to be produced by the code 256 * below, rather than using statements of the form: 257 * Result = (Integer0 && Integer1); 258 * 259 ******************************************************************************/ 260 261 ACPI_STATUS 262 AcpiExDoLogicalNumericOp ( 263 UINT16 Opcode, 264 UINT64 Integer0, 265 UINT64 Integer1, 266 BOOLEAN *LogicalResult) 267 { 268 ACPI_STATUS Status = AE_OK; 269 BOOLEAN LocalResult = FALSE; 270 271 272 ACPI_FUNCTION_TRACE (ExDoLogicalNumericOp); 273 274 275 switch (Opcode) 276 { 277 case AML_LAND_OP: /* LAnd (Integer0, Integer1) */ 278 279 if (Integer0 && Integer1) 280 { 281 LocalResult = TRUE; 282 } 283 break; 284 285 case AML_LOR_OP: /* LOr (Integer0, Integer1) */ 286 287 if (Integer0 || Integer1) 288 { 289 LocalResult = TRUE; 290 } 291 break; 292 293 default: 294 295 Status = AE_AML_INTERNAL; 296 break; 297 } 298 299 /* Return the logical result and status */ 300 301 *LogicalResult = LocalResult; 302 return_ACPI_STATUS (Status); 303 } 304 305 306 /******************************************************************************* 307 * 308 * FUNCTION: AcpiExDoLogicalOp 309 * 310 * PARAMETERS: Opcode - AML opcode 311 * Operand0 - operand #0 312 * Operand1 - operand #1 313 * LogicalResult - TRUE/FALSE result of the operation 314 * 315 * RETURN: Status 316 * 317 * DESCRIPTION: Execute a logical AML opcode. The purpose of having all of the 318 * functions here is to prevent a lot of pointer dereferencing 319 * to obtain the operands and to simplify the generation of the 320 * logical value. For the Numeric operators (LAnd and LOr), both 321 * operands must be integers. For the other logical operators, 322 * operands can be any combination of Integer/String/Buffer. The 323 * first operand determines the type to which the second operand 324 * will be converted. 325 * 326 * Note: cleanest machine code seems to be produced by the code 327 * below, rather than using statements of the form: 328 * Result = (Operand0 == Operand1); 329 * 330 ******************************************************************************/ 331 332 ACPI_STATUS 333 AcpiExDoLogicalOp ( 334 UINT16 Opcode, 335 ACPI_OPERAND_OBJECT *Operand0, 336 ACPI_OPERAND_OBJECT *Operand1, 337 BOOLEAN *LogicalResult) 338 { 339 ACPI_OPERAND_OBJECT *LocalOperand1 = Operand1; 340 UINT64 Integer0; 341 UINT64 Integer1; 342 UINT32 Length0; 343 UINT32 Length1; 344 ACPI_STATUS Status = AE_OK; 345 BOOLEAN LocalResult = FALSE; 346 int Compare; 347 348 349 ACPI_FUNCTION_TRACE (ExDoLogicalOp); 350 351 352 /* 353 * Convert the second operand if necessary. The first operand 354 * determines the type of the second operand, (See the Data Types 355 * section of the ACPI 3.0+ specification.) Both object types are 356 * guaranteed to be either Integer/String/Buffer by the operand 357 * resolution mechanism. 358 */ 359 switch (Operand0->Common.Type) 360 { 361 case ACPI_TYPE_INTEGER: 362 363 Status = AcpiExConvertToInteger (Operand1, &LocalOperand1, 16); 364 break; 365 366 case ACPI_TYPE_STRING: 367 368 Status = AcpiExConvertToString ( 369 Operand1, &LocalOperand1, ACPI_IMPLICIT_CONVERT_HEX); 370 break; 371 372 case ACPI_TYPE_BUFFER: 373 374 Status = AcpiExConvertToBuffer (Operand1, &LocalOperand1); 375 break; 376 377 default: 378 379 Status = AE_AML_INTERNAL; 380 break; 381 } 382 383 if (ACPI_FAILURE (Status)) 384 { 385 goto Cleanup; 386 } 387 388 /* 389 * Two cases: 1) Both Integers, 2) Both Strings or Buffers 390 */ 391 if (Operand0->Common.Type == ACPI_TYPE_INTEGER) 392 { 393 /* 394 * 1) Both operands are of type integer 395 * Note: LocalOperand1 may have changed above 396 */ 397 Integer0 = Operand0->Integer.Value; 398 Integer1 = LocalOperand1->Integer.Value; 399 400 switch (Opcode) 401 { 402 case AML_LEQUAL_OP: /* LEqual (Operand0, Operand1) */ 403 404 if (Integer0 == Integer1) 405 { 406 LocalResult = TRUE; 407 } 408 break; 409 410 case AML_LGREATER_OP: /* LGreater (Operand0, Operand1) */ 411 412 if (Integer0 > Integer1) 413 { 414 LocalResult = TRUE; 415 } 416 break; 417 418 case AML_LLESS_OP: /* LLess (Operand0, Operand1) */ 419 420 if (Integer0 < Integer1) 421 { 422 LocalResult = TRUE; 423 } 424 break; 425 426 default: 427 428 Status = AE_AML_INTERNAL; 429 break; 430 } 431 } 432 else 433 { 434 /* 435 * 2) Both operands are Strings or both are Buffers 436 * Note: Code below takes advantage of common Buffer/String 437 * object fields. LocalOperand1 may have changed above. Use 438 * memcmp to handle nulls in buffers. 439 */ 440 Length0 = Operand0->Buffer.Length; 441 Length1 = LocalOperand1->Buffer.Length; 442 443 /* Lexicographic compare: compare the data bytes */ 444 445 Compare = memcmp (Operand0->Buffer.Pointer, 446 LocalOperand1->Buffer.Pointer, 447 (Length0 > Length1) ? Length1 : Length0); 448 449 switch (Opcode) 450 { 451 case AML_LEQUAL_OP: /* LEqual (Operand0, Operand1) */ 452 453 /* Length and all bytes must be equal */ 454 455 if ((Length0 == Length1) && 456 (Compare == 0)) 457 { 458 /* Length and all bytes match ==> TRUE */ 459 460 LocalResult = TRUE; 461 } 462 break; 463 464 case AML_LGREATER_OP: /* LGreater (Operand0, Operand1) */ 465 466 if (Compare > 0) 467 { 468 LocalResult = TRUE; 469 goto Cleanup; /* TRUE */ 470 } 471 if (Compare < 0) 472 { 473 goto Cleanup; /* FALSE */ 474 } 475 476 /* Bytes match (to shortest length), compare lengths */ 477 478 if (Length0 > Length1) 479 { 480 LocalResult = TRUE; 481 } 482 break; 483 484 case AML_LLESS_OP: /* LLess (Operand0, Operand1) */ 485 486 if (Compare > 0) 487 { 488 goto Cleanup; /* FALSE */ 489 } 490 if (Compare < 0) 491 { 492 LocalResult = TRUE; 493 goto Cleanup; /* TRUE */ 494 } 495 496 /* Bytes match (to shortest length), compare lengths */ 497 498 if (Length0 < Length1) 499 { 500 LocalResult = TRUE; 501 } 502 break; 503 504 default: 505 506 Status = AE_AML_INTERNAL; 507 break; 508 } 509 } 510 511 Cleanup: 512 513 /* New object was created if implicit conversion performed - delete */ 514 515 if (LocalOperand1 != Operand1) 516 { 517 AcpiUtRemoveReference (LocalOperand1); 518 } 519 520 /* Return the logical result and status */ 521 522 *LogicalResult = LocalResult; 523 return_ACPI_STATUS (Status); 524 } 525