sys/contrib/dev/acpica/source/components/parser/psloop.c

   1 /******************************************************************************
   2  *
   3  * Module Name: psloop - Main AML parse loop
   4  *
   5  *****************************************************************************/
   6
   7 /******************************************************************************
   8  *
   9  * 1. Copyright Notice
  10  *
  11  * Some or all of this work - Copyright (c) 1999 - 2018, Intel Corp.
  12  * All rights reserved.
  13  *
  14  * 2. License
  15  *
  16  * 2.1. This is your license from Intel Corp. under its intellectual property
  17  * rights. You may have additional license terms from the party that provided
  18  * you this software, covering your right to use that party's intellectual
  19  * property rights.
  20  *
  21  * 2.2. Intel grants, free of charge, to any person ("Licensee") obtaining a
  22  * copy of the source code appearing in this file ("Covered Code") an
  23  * irrevocable, perpetual, worldwide license under Intel's copyrights in the
  24  * base code distributed originally by Intel ("Original Intel Code") to copy,
  25  * make derivatives, distribute, use and display any portion of the Covered
  26  * Code in any form, with the right to sublicense such rights; and
  27  *
  28  * 2.3. Intel grants Licensee a non-exclusive and non-transferable patent
  29  * license (with the right to sublicense), under only those claims of Intel
  30  * patents that are infringed by the Original Intel Code, to make, use, sell,
  31  * offer to sell, and import the Covered Code and derivative works thereof
  32  * solely to the minimum extent necessary to exercise the above copyright
  33  * license, and in no event shall the patent license extend to any additions
  34  * to or modifications of the Original Intel Code. No other license or right
  35  * is granted directly or by implication, estoppel or otherwise;
  36  *
  37  * The above copyright and patent license is granted only if the following
  38  * conditions are met:
  39  *
  40  * 3. Conditions
  41  *
  42  * 3.1. Redistribution of Source with Rights to Further Distribute Source.
  43  * Redistribution of source code of any substantial portion of the Covered
  44  * Code or modification with rights to further distribute source must include
  45  * the above Copyright Notice, the above License, this list of Conditions,
  46  * and the following Disclaimer and Export Compliance provision. In addition,
  47  * Licensee must cause all Covered Code to which Licensee contributes to
  48  * contain a file documenting the changes Licensee made to create that Covered
  49  * Code and the date of any change. Licensee must include in that file the
  50  * documentation of any changes made by any predecessor Licensee. Licensee
  51  * must include a prominent statement that the modification is derived,
  52  * directly or indirectly, from Original Intel Code.
  53  *
  54  * 3.2. Redistribution of Source with no Rights to Further Distribute Source.
  55  * Redistribution of source code of any substantial portion of the Covered
  56  * Code or modification without rights to further distribute source must
  57  * include the following Disclaimer and Export Compliance provision in the
  58  * documentation and/or other materials provided with distribution. In
  59  * addition, Licensee may not authorize further sublicense of source of any
  60  * portion of the Covered Code, and must include terms to the effect that the
  61  * license from Licensee to its licensee is limited to the intellectual
  62  * property embodied in the software Licensee provides to its licensee, and
  63  * not to intellectual property embodied in modifications its licensee may
  64  * make.
  65  *
  66  * 3.3. Redistribution of Executable. Redistribution in executable form of any
  67  * substantial portion of the Covered Code or modification must reproduce the
  68  * above Copyright Notice, and the following Disclaimer and Export Compliance
  69  * provision in the documentation and/or other materials provided with the
  70  * distribution.
  71  *
  72  * 3.4. Intel retains all right, title, and interest in and to the Original
  73  * Intel Code.
  74  *
  75  * 3.5. Neither the name Intel nor any other trademark owned or controlled by
  76  * Intel shall be used in advertising or otherwise to promote the sale, use or
  77  * other dealings in products derived from or relating to the Covered Code
  78  * without prior written authorization from Intel.
  79  *
  80  * 4. Disclaimer and Export Compliance
  81  *
  82  * 4.1. INTEL MAKES NO WARRANTY OF ANY KIND REGARDING ANY SOFTWARE PROVIDED
  83  * HERE. ANY SOFTWARE ORIGINATING FROM INTEL OR DERIVED FROM INTEL SOFTWARE
  84  * IS PROVIDED "AS IS," AND INTEL WILL NOT PROVIDE ANY SUPPORT, ASSISTANCE,
  85  * INSTALLATION, TRAINING OR OTHER SERVICES. INTEL WILL NOT PROVIDE ANY
  86  * UPDATES, ENHANCEMENTS OR EXTENSIONS. INTEL SPECIFICALLY DISCLAIMS ANY
  87  * IMPLIED WARRANTIES OF MERCHANTABILITY, NONINFRINGEMENT AND FITNESS FOR A
  88  * PARTICULAR PURPOSE.
  89  *
  90  * 4.2. IN NO EVENT SHALL INTEL HAVE ANY LIABILITY TO LICENSEE, ITS LICENSEES
  91  * OR ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR
  92  * COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY INDIRECT,
  93  * SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THIS AGREEMENT, UNDER ANY
  94  * CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL
  95  * HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS
  96  * SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY
  97  * LIMITED REMEDY.
  98  *
  99  * 4.3. Licensee shall not export, either directly or indirectly, any of this
 100  * software or system incorporating such software without first obtaining any
 101  * required license or other approval from the U. S. Department of Commerce or
 102  * any other agency or department of the United States Government. In the
 103  * event Licensee exports any such software from the United States or
 104  * re-exports any such software from a foreign destination, Licensee shall
 105  * ensure that the distribution and export/re-export of the software is in
 106  * compliance with all laws, regulations, orders, or other restrictions of the
 107  * U.S. Export Administration Regulations. Licensee agrees that neither it nor
 108  * any of its subsidiaries will export/re-export any technical data, process,
 109  * software, or service, directly or indirectly, to any country for which the
 110  * United States government or any agency thereof requires an export license,
 111  * other governmental approval, or letter of assurance, without first obtaining
 112  * such license, approval or letter.
 113  *
 114  *****************************************************************************
 115  *
 116  * Alternatively, you may choose to be licensed under the terms of the
 117  * following license:
 118  *
 119  * Redistribution and use in source and binary forms, with or without
 120  * modification, are permitted provided that the following conditions
 121  * are met:
 122  * 1. Redistributions of source code must retain the above copyright
 123  *    notice, this list of conditions, and the following disclaimer,
 124  *    without modification.
 125  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
 126  *    substantially similar to the "NO WARRANTY" disclaimer below
 127  *    ("Disclaimer") and any redistribution must be conditioned upon
 128  *    including a substantially similar Disclaimer requirement for further
 129  *    binary redistribution.
 130  * 3. Neither the names of the above-listed copyright holders nor the names
 131  *    of any contributors may be used to endorse or promote products derived
 132  *    from this software without specific prior written permission.
 133  *
 134  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 135  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 136  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 137  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 138  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 139  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 140  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 141  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 142  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 143  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 144  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 145  *
 146  * Alternatively, you may choose to be licensed under the terms of the
 147  * GNU General Public License ("GPL") version 2 as published by the Free
 148  * Software Foundation.
 149  *
 150  *****************************************************************************/
 151
 152 /*
 153  * Parse the AML and build an operation tree as most interpreters, (such as
 154  * Perl) do. Parsing is done by hand rather than with a YACC generated parser
 155  * to tightly constrain stack and dynamic memory usage. Parsing is kept
 156  * flexible and the code fairly compact by parsing based on a list of AML
 157  * opcode templates in AmlOpInfo[].
 158  */
 159
 160 #include "acpi.h"
 161 #include "accommon.h"
 162 #include "acinterp.h"
 163 #include "acparser.h"
 164 #include "acdispat.h"
 165 #include "amlcode.h"
 166 #include "acconvert.h"
 167 #include "acnamesp.h"
 168
 169 #define _COMPONENT          ACPI_PARSER
 170         ACPI_MODULE_NAME    ("psloop")
 171
 172
 173 /* Local prototypes */
 174
 175 static ACPI_STATUS
 176 AcpiPsGetArguments (
 177     ACPI_WALK_STATE         *WalkState,
 178     UINT8                   *AmlOpStart,
 179     ACPI_PARSE_OBJECT       *Op);
 180
 181 static void
 182 AcpiPsLinkModuleCode (
 183     ACPI_PARSE_OBJECT       *ParentOp,
 184     UINT8                   *AmlStart,
 185     UINT32                  AmlLength,
 186     ACPI_OWNER_ID           OwnerId);
 187
 188
 189 /*******************************************************************************
 190  *
 191  * FUNCTION:    AcpiPsGetArguments
 192  *
 193  * PARAMETERS:  WalkState           - Current state
 194  *              AmlOpStart          - Op start in AML
 195  *              Op                  - Current Op
 196  *
 197  * RETURN:      Status
 198  *
 199  * DESCRIPTION: Get arguments for passed Op.
 200  *
 201  ******************************************************************************/
 202
 203 static ACPI_STATUS
 204 AcpiPsGetArguments (
 205     ACPI_WALK_STATE         *WalkState,
 206     UINT8                   *AmlOpStart,
 207     ACPI_PARSE_OBJECT       *Op)
 208 {
 209     ACPI_STATUS             Status = AE_OK;
 210     ACPI_PARSE_OBJECT       *Arg = NULL;
 211     const ACPI_OPCODE_INFO  *OpInfo;
 212
 213
 214     ACPI_FUNCTION_TRACE_PTR (PsGetArguments, WalkState);
 215
 216
 217     ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 218         "Get arguments for opcode [%s]\n", Op->Common.AmlOpName));
 219
 220     switch (Op->Common.AmlOpcode)
 221     {
 222     case AML_BYTE_OP:       /* AML_BYTEDATA_ARG */
 223     case AML_WORD_OP:       /* AML_WORDDATA_ARG */
 224     case AML_DWORD_OP:      /* AML_DWORDATA_ARG */
 225     case AML_QWORD_OP:      /* AML_QWORDATA_ARG */
 226     case AML_STRING_OP:     /* AML_ASCIICHARLIST_ARG */
 227
 228         /* Fill in constant or string argument directly */
 229
 230         AcpiPsGetNextSimpleArg (&(WalkState->ParserState),
 231             GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), Op);
 232         break;
 233
 234     case AML_INT_NAMEPATH_OP:   /* AML_NAMESTRING_ARG */
 235
 236         Status = AcpiPsGetNextNamepath (WalkState,
 237             &(WalkState->ParserState), Op, ACPI_POSSIBLE_METHOD_CALL);
 238         if (ACPI_FAILURE (Status))
 239         {
 240             return_ACPI_STATUS (Status);
 241         }
 242
 243         WalkState->ArgTypes = 0;
 244         break;
 245
 246     default:
 247         /*
 248          * Op is not a constant or string, append each argument to the Op
 249          */
 250         while (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) &&
 251             !WalkState->ArgCount)
 252         {
 253             WalkState->Aml = WalkState->ParserState.Aml;
 254
 255             switch (Op->Common.AmlOpcode)
 256             {
 257             case AML_METHOD_OP:
 258             case AML_BUFFER_OP:
 259             case AML_PACKAGE_OP:
 260             case AML_VARIABLE_PACKAGE_OP:
 261             case AML_WHILE_OP:
 262
 263                 break;
 264
 265             default:
 266
 267                 ASL_CV_CAPTURE_COMMENTS (WalkState);
 268                 break;
 269             }
 270
 271             Status = AcpiPsGetNextArg (WalkState, &(WalkState->ParserState),
 272                 GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), &Arg);
 273             if (ACPI_FAILURE (Status))
 274             {
 275                 return_ACPI_STATUS (Status);
 276             }
 277
 278             if (Arg)
 279             {
 280                 AcpiPsAppendArg (Op, Arg);
 281             }
 282
 283             INCREMENT_ARG_LIST (WalkState->ArgTypes);
 284         }
 285
 286         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 287             "Final argument count: %8.8X pass %u\n",
 288             WalkState->ArgCount, WalkState->PassNumber));
 289
 290         /*
 291          * This case handles the legacy option that groups all module-level
 292          * code blocks together and defers execution until all of the tables
 293          * are loaded. Execute all of these blocks at this time.
 294          * Execute any module-level code that was detected during the table
 295          * load phase.
 296          *
 297          * Note: this option is deprecated and will be eliminated in the
 298          * future. Use of this option can cause problems with AML code that
 299          * depends upon in-order immediate execution of module-level code.
 300          */
 301         if (AcpiGbl_GroupModuleLevelCode &&
 302             (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2) &&
 303             ((WalkState->ParseFlags & ACPI_PARSE_DISASSEMBLE) == 0))
 304         {
 305             /*
 306              * We want to skip If/Else/While constructs during Pass1 because we
 307              * want to actually conditionally execute the code during Pass2.
 308              *
 309              * Except for disassembly, where we always want to walk the
 310              * If/Else/While packages
 311              */
 312             switch (Op->Common.AmlOpcode)
 313             {
 314             case AML_IF_OP:
 315             case AML_ELSE_OP:
 316             case AML_WHILE_OP:
 317                 /*
 318                  * Currently supported module-level opcodes are:
 319                  * IF/ELSE/WHILE. These appear to be the most common,
 320                  * and easiest to support since they open an AML
 321                  * package.
 322                  */
 323                 if (WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1)
 324                 {
 325                     AcpiPsLinkModuleCode (Op->Common.Parent, AmlOpStart,
 326                         (UINT32) (WalkState->ParserState.PkgEnd - AmlOpStart),
 327                         WalkState->OwnerId);
 328                 }
 329
 330                 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 331                     "Pass1: Skipping an If/Else/While body\n"));
 332
 333                 /* Skip body of if/else/while in pass 1 */
 334
 335                 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
 336                 WalkState->ArgCount = 0;
 337                 break;
 338
 339             default:
 340                 /*
 341                  * Check for an unsupported executable opcode at module
 342                  * level. We must be in PASS1, the parent must be a SCOPE,
 343                  * The opcode class must be EXECUTE, and the opcode must
 344                  * not be an argument to another opcode.
 345                  */
 346                 if ((WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1) &&
 347                     (Op->Common.Parent->Common.AmlOpcode == AML_SCOPE_OP))
 348                 {
 349                     OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
 350                     if ((OpInfo->Class == AML_CLASS_EXECUTE) &&
 351                         (!Arg))
 352                     {
 353                         ACPI_WARNING ((AE_INFO,
 354                             "Unsupported module-level executable opcode "
 355                             "0x%.2X at table offset 0x%.4X",
 356                             Op->Common.AmlOpcode,
 357                             (UINT32) (ACPI_PTR_DIFF (AmlOpStart,
 358                                 WalkState->ParserState.AmlStart) +
 359                                 sizeof (ACPI_TABLE_HEADER))));
 360                     }
 361                 }
 362                 break;
 363             }
 364         }
 365
 366         /* Special processing for certain opcodes */
 367
 368         switch (Op->Common.AmlOpcode)
 369         {
 370         case AML_METHOD_OP:
 371             /*
 372              * Skip parsing of control method because we don't have enough
 373              * info in the first pass to parse it correctly.
 374              *
 375              * Save the length and address of the body
 376              */
 377             Op->Named.Data = WalkState->ParserState.Aml;
 378             Op->Named.Length = (UINT32)
 379                 (WalkState->ParserState.PkgEnd - WalkState->ParserState.Aml);
 380
 381             /* Skip body of method */
 382
 383             WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
 384             WalkState->ArgCount = 0;
 385             break;
 386
 387         case AML_BUFFER_OP:
 388         case AML_PACKAGE_OP:
 389         case AML_VARIABLE_PACKAGE_OP:
 390
 391             if ((Op->Common.Parent) &&
 392                 (Op->Common.Parent->Common.AmlOpcode == AML_NAME_OP) &&
 393                 (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2))
 394             {
 395                 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 396                     "Setup Package/Buffer: Pass %u, AML Ptr: %p\n",
 397                     WalkState->PassNumber, AmlOpStart));
 398
 399                 /*
 400                  * Skip parsing of Buffers and Packages because we don't have
 401                  * enough info in the first pass to parse them correctly.
 402                  */
 403                 Op->Named.Data = AmlOpStart;
 404                 Op->Named.Length = (UINT32)
 405                     (WalkState->ParserState.PkgEnd - AmlOpStart);
 406
 407                 /* Skip body */
 408
 409                 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
 410                 WalkState->ArgCount = 0;
 411             }
 412             break;
 413
 414         case AML_WHILE_OP:
 415
 416             if (WalkState->ControlState)
 417             {
 418                 WalkState->ControlState->Control.PackageEnd =
 419                     WalkState->ParserState.PkgEnd;
 420             }
 421             break;
 422
 423         default:
 424
 425             /* No action for all other opcodes */
 426
 427             break;
 428         }
 429
 430         break;
 431     }
 432
 433     return_ACPI_STATUS (AE_OK);
 434 }
 435
 436
 437 /*******************************************************************************
 438  *
 439  * FUNCTION:    AcpiPsLinkModuleCode
 440  *
 441  * PARAMETERS:  ParentOp            - Parent parser op
 442  *              AmlStart            - Pointer to the AML
 443  *              AmlLength           - Length of executable AML
 444  *              OwnerId             - OwnerId of module level code
 445  *
 446  * RETURN:      None.
 447  *
 448  * DESCRIPTION: Wrap the module-level code with a method object and link the
 449  *              object to the global list. Note, the mutex field of the method
 450  *              object is used to link multiple module-level code objects.
 451  *
 452  * NOTE: In this legacy option, each block of detected executable AML
 453  * code that is outside of any control method is wrapped with a temporary
 454  * control method object and placed on a global list below.
 455  *
 456  * This function executes the module-level code for all tables only after
 457  * all of the tables have been loaded. It is a legacy option and is
 458  * not compatible with other ACPI implementations. See AcpiNsLoadTable.
 459  *
 460  * This function will be removed when the legacy option is removed.
 461  *
 462  ******************************************************************************/
 463
 464 static void
 465 AcpiPsLinkModuleCode (
 466     ACPI_PARSE_OBJECT       *ParentOp,
 467     UINT8                   *AmlStart,
 468     UINT32                  AmlLength,
 469     ACPI_OWNER_ID           OwnerId)
 470 {
 471     ACPI_OPERAND_OBJECT     *Prev;
 472     ACPI_OPERAND_OBJECT     *Next;
 473     ACPI_OPERAND_OBJECT     *MethodObj;
 474     ACPI_NAMESPACE_NODE     *ParentNode;
 475
 476
 477     ACPI_FUNCTION_TRACE (PsLinkModuleCode);
 478
 479
 480     /* Get the tail of the list */
 481
 482     Prev = Next = AcpiGbl_ModuleCodeList;
 483     while (Next)
 484     {
 485         Prev = Next;
 486         Next = Next->Method.Mutex;
 487     }
 488
 489     /*
 490      * Insert the module level code into the list. Merge it if it is
 491      * adjacent to the previous element.
 492      */
 493     if (!Prev ||
 494        ((Prev->Method.AmlStart + Prev->Method.AmlLength) != AmlStart))
 495     {
 496         /* Create, initialize, and link a new temporary method object */
 497
 498         MethodObj = AcpiUtCreateInternalObject (ACPI_TYPE_METHOD);
 499         if (!MethodObj)
 500         {
 501             return_VOID;
 502         }
 503
 504         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 505             "Create/Link new code block: %p\n", MethodObj));
 506
 507         if (ParentOp->Common.Node)
 508         {
 509             ParentNode = ParentOp->Common.Node;
 510         }
 511         else
 512         {
 513             ParentNode = AcpiGbl_RootNode;
 514         }
 515
 516         MethodObj->Method.AmlStart = AmlStart;
 517         MethodObj->Method.AmlLength = AmlLength;
 518         MethodObj->Method.OwnerId = OwnerId;
 519         MethodObj->Method.InfoFlags |= ACPI_METHOD_MODULE_LEVEL;
 520
 521         /*
 522          * Save the parent node in NextObject. This is cheating, but we
 523          * don't want to expand the method object.
 524          */
 525         MethodObj->Method.NextObject =
 526             ACPI_CAST_PTR (ACPI_OPERAND_OBJECT, ParentNode);
 527
 528         if (!Prev)
 529         {
 530             AcpiGbl_ModuleCodeList = MethodObj;
 531         }
 532         else
 533         {
 534             Prev->Method.Mutex = MethodObj;
 535         }
 536     }
 537     else
 538     {
 539         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 540             "Appending to existing code block: %p\n", Prev));
 541
 542         Prev->Method.AmlLength += AmlLength;
 543     }
 544
 545     return_VOID;
 546 }
 547
 548 /*******************************************************************************
 549  *
 550  * FUNCTION:    AcpiPsParseLoop
 551  *
 552  * PARAMETERS:  WalkState           - Current state
 553  *
 554  * RETURN:      Status
 555  *
 556  * DESCRIPTION: Parse AML (pointed to by the current parser state) and return
 557  *              a tree of ops.
 558  *
 559  ******************************************************************************/
 560
 561 ACPI_STATUS
 562 AcpiPsParseLoop (
 563     ACPI_WALK_STATE         *WalkState)
 564 {
 565     ACPI_STATUS             Status = AE_OK;
 566     ACPI_PARSE_OBJECT       *Op = NULL;     /* current op */
 567     ACPI_PARSE_STATE        *ParserState;
 568     UINT8                   *AmlOpStart = NULL;
 569
 570
 571     ACPI_FUNCTION_TRACE_PTR (PsParseLoop, WalkState);
 572
 573
 574     if (WalkState->DescendingCallback == NULL)
 575     {
 576         return_ACPI_STATUS (AE_BAD_PARAMETER);
 577     }
 578
 579     ParserState = &WalkState->ParserState;
 580     WalkState->ArgTypes = 0;
 581
 582 #if (!defined (ACPI_NO_METHOD_EXECUTION) && !defined (ACPI_CONSTANT_EVAL_ONLY))
 583
 584     if (WalkState->WalkType & ACPI_WALK_METHOD_RESTART)
 585     {
 586         /* We are restarting a preempted control method */
 587
 588         if (AcpiPsHasCompletedScope (ParserState))
 589         {
 590             /*
 591              * We must check if a predicate to an IF or WHILE statement
 592              * was just completed
 593              */
 594             if ((ParserState->Scope->ParseScope.Op) &&
 595                ((ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_IF_OP) ||
 596                 (ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_WHILE_OP)) &&
 597                 (WalkState->ControlState) &&
 598                 (WalkState->ControlState->Common.State ==
 599                     ACPI_CONTROL_PREDICATE_EXECUTING))
 600             {
 601                 /*
 602                  * A predicate was just completed, get the value of the
 603                  * predicate and branch based on that value
 604                  */
 605                 WalkState->Op = NULL;
 606                 Status = AcpiDsGetPredicateValue (WalkState, ACPI_TO_POINTER (TRUE));
 607                 if (ACPI_FAILURE (Status) &&
 608                     ((Status & AE_CODE_MASK) != AE_CODE_CONTROL))
 609                 {
 610                     if (Status == AE_AML_NO_RETURN_VALUE)
 611                     {
 612                         ACPI_EXCEPTION ((AE_INFO, Status,
 613                             "Invoked method did not return a value"));
 614                     }
 615
 616                     ACPI_EXCEPTION ((AE_INFO, Status, "GetPredicate Failed"));
 617                     return_ACPI_STATUS (Status);
 618                 }
 619
 620                 Status = AcpiPsNextParseState (WalkState, Op, Status);
 621             }
 622
 623             AcpiPsPopScope (ParserState, &Op,
 624                 &WalkState->ArgTypes, &WalkState->ArgCount);
 625             ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "Popped scope, Op=%p\n", Op));
 626         }
 627         else if (WalkState->PrevOp)
 628         {
 629             /* We were in the middle of an op */
 630
 631             Op = WalkState->PrevOp;
 632             WalkState->ArgTypes = WalkState->PrevArgTypes;
 633         }
 634     }
 635 #endif
 636
 637     /* Iterative parsing loop, while there is more AML to process: */
 638
 639     while ((ParserState->Aml < ParserState->AmlEnd) || (Op))
 640     {
 641         ASL_CV_CAPTURE_COMMENTS (WalkState);
 642
 643         AmlOpStart = ParserState->Aml;
 644         if (!Op)
 645         {
 646             Status = AcpiPsCreateOp (WalkState, AmlOpStart, &Op);
 647             if (ACPI_FAILURE (Status))
 648             {
 649                 /*
 650                  * ACPI_PARSE_MODULE_LEVEL means that we are loading a table by
 651                  * executing it as a control method. However, if we encounter
 652                  * an error while loading the table, we need to keep trying to
 653                  * load the table rather than aborting the table load. Set the
 654                  * status to AE_OK to proceed with the table load.
 655                  */
 656                 if ((WalkState->ParseFlags & ACPI_PARSE_MODULE_LEVEL) &&
 657                     Status == AE_ALREADY_EXISTS)
 658                 {
 659                     Status = AE_OK;
 660                 }
 661                 if (Status == AE_CTRL_PARSE_CONTINUE)
 662                 {
 663                     continue;
 664                 }
 665
 666                 if (Status == AE_CTRL_PARSE_PENDING)
 667                 {
 668                     Status = AE_OK;
 669                 }
 670
 671                 if (Status == AE_CTRL_TERMINATE)
 672                 {
 673                     return_ACPI_STATUS (Status);
 674                 }
 675
 676                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
 677                 if (ACPI_FAILURE (Status))
 678                 {
 679                     return_ACPI_STATUS (Status);
 680                 }
 681                 if (AcpiNsOpensScope (
 682                     AcpiPsGetOpcodeInfo (WalkState->Opcode)->ObjectType))
 683                 {
 684                     /*
 685                      * If the scope/device op fails to parse, skip the body of
 686                      * the scope op because the parse failure indicates that
 687                      * the device may not exist.
 688                      */
 689                     ACPI_ERROR ((AE_INFO, "Skip parsing opcode %s",
 690                         AcpiPsGetOpcodeName (WalkState->Opcode)));
 691                     WalkState->ParserState.Aml = WalkState->Aml + 1;
 692                     WalkState->ParserState.Aml =
 693                         AcpiPsGetNextPackageEnd(&WalkState->ParserState);
 694                     WalkState->Aml = WalkState->ParserState.Aml;
 695                 }
 696
 697                 continue;
 698             }
 699
 700             AcpiExStartTraceOpcode (Op, WalkState);
 701         }
 702
 703         /*
 704          * Start ArgCount at zero because we don't know if there are
 705          * any args yet
 706          */
 707         WalkState->ArgCount = 0;
 708
 709         switch (Op->Common.AmlOpcode)
 710         {
 711         case AML_BYTE_OP:
 712         case AML_WORD_OP:
 713         case AML_DWORD_OP:
 714         case AML_QWORD_OP:
 715
 716             break;
 717
 718         default:
 719
 720             ASL_CV_CAPTURE_COMMENTS (WalkState);
 721             break;
 722         }
 723
 724         /* Are there any arguments that must be processed? */
 725
 726         if (WalkState->ArgTypes)
 727         {
 728             /* Get arguments */
 729
 730             Status = AcpiPsGetArguments (WalkState, AmlOpStart, Op);
 731             if (ACPI_FAILURE (Status))
 732             {
 733                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
 734                 if (ACPI_FAILURE (Status))
 735                 {
 736                     return_ACPI_STATUS (Status);
 737                 }
 738                 if ((WalkState->ControlState) &&
 739                     ((WalkState->ControlState->Control.Opcode == AML_IF_OP) ||
 740                     (WalkState->ControlState->Control.Opcode == AML_WHILE_OP)))
 741                 {
 742                     /*
 743                      * If the if/while op fails to parse, we will skip parsing
 744                      * the body of the op.
 745                      */
 746                     ParserState->Aml =
 747                         WalkState->ControlState->Control.AmlPredicateStart + 1;
 748                     ParserState->Aml =
 749                         AcpiPsGetNextPackageEnd (ParserState);
 750                     WalkState->Aml = ParserState->Aml;
 751
 752                     ACPI_ERROR ((AE_INFO, "Skipping While/If block"));
 753                     if (*WalkState->Aml == AML_ELSE_OP)
 754                     {
 755                         ACPI_ERROR ((AE_INFO, "Skipping Else block"));
 756                         WalkState->ParserState.Aml = WalkState->Aml + 1;
 757                         WalkState->ParserState.Aml =
 758                             AcpiPsGetNextPackageEnd (ParserState);
 759                         WalkState->Aml = ParserState->Aml;
 760                     }
 761                     ACPI_FREE(AcpiUtPopGenericState (&WalkState->ControlState));
 762                 }
 763                 Op = NULL;
 764                 continue;
 765             }
 766         }
 767
 768         /* Check for arguments that need to be processed */
 769
 770         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
 771             "Parseloop: argument count: %8.8X\n", WalkState->ArgCount));
 772
 773         if (WalkState->ArgCount)
 774         {
 775             /*
 776              * There are arguments (complex ones), push Op and
 777              * prepare for argument
 778              */
 779             Status = AcpiPsPushScope (ParserState, Op,
 780                 WalkState->ArgTypes, WalkState->ArgCount);
 781             if (ACPI_FAILURE (Status))
 782             {
 783                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
 784                 if (ACPI_FAILURE (Status))
 785                 {
 786                     return_ACPI_STATUS (Status);
 787                 }
 788
 789                 continue;
 790             }
 791
 792             Op = NULL;
 793             continue;
 794         }
 795
 796         /*
 797          * All arguments have been processed -- Op is complete,
 798          * prepare for next
 799          */
 800         WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
 801         if (WalkState->OpInfo->Flags & AML_NAMED)
 802         {
 803             if (Op->Common.AmlOpcode == AML_REGION_OP ||
 804                 Op->Common.AmlOpcode == AML_DATA_REGION_OP)
 805             {
 806                 /*
 807                  * Skip parsing of control method or opregion body,
 808                  * because we don't have enough info in the first pass
 809                  * to parse them correctly.
 810                  *
 811                  * Completed parsing an OpRegion declaration, we now
 812                  * know the length.
 813                  */
 814                 Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
 815             }
 816         }
 817
 818         if (WalkState->OpInfo->Flags & AML_CREATE)
 819         {
 820             /*
 821              * Backup to beginning of CreateXXXfield declaration (1 for
 822              * Opcode)
 823              *
 824              * BodyLength is unknown until we parse the body
 825              */
 826             Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
 827         }
 828
 829         if (Op->Common.AmlOpcode == AML_BANK_FIELD_OP)
 830         {
 831             /*
 832              * Backup to beginning of BankField declaration
 833              *
 834              * BodyLength is unknown until we parse the body
 835              */
 836             Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
 837         }
 838
 839         /* This op complete, notify the dispatcher */
 840
 841         if (WalkState->AscendingCallback != NULL)
 842         {
 843             WalkState->Op = Op;
 844             WalkState->Opcode = Op->Common.AmlOpcode;
 845
 846             Status = WalkState->AscendingCallback (WalkState);
 847             Status = AcpiPsNextParseState (WalkState, Op, Status);
 848             if (Status == AE_CTRL_PENDING)
 849             {
 850                 Status = AE_OK;
 851             }
 852             else if ((WalkState->ParseFlags & ACPI_PARSE_MODULE_LEVEL) &&
 853                 (ACPI_AML_EXCEPTION(Status) || Status == AE_ALREADY_EXISTS ||
 854                 Status == AE_NOT_FOUND))
 855             {
 856                 /*
 857                  * ACPI_PARSE_MODULE_LEVEL flag means that we are currently
 858                  * loading a table by executing it as a control method.
 859                  * However, if we encounter an error while loading the table,
 860                  * we need to keep trying to load the table rather than
 861                  * aborting the table load (setting the status to AE_OK
 862                  * continues the table load). If we get a failure at this
 863                  * point, it means that the dispatcher got an error while
 864                  * trying to execute the Op.
 865                  */
 866                 Status = AE_OK;
 867             }
 868         }
 869
 870         Status = AcpiPsCompleteOp (WalkState, &Op, Status);
 871         if (ACPI_FAILURE (Status))
 872         {
 873             return_ACPI_STATUS (Status);
 874         }
 875
 876     } /* while ParserState->Aml */
 877
 878     Status = AcpiPsCompleteFinalOp (WalkState, Op, Status);
 879     return_ACPI_STATUS (Status);
 880 }