1 /******************************************************************************
2 *
3 * Module Name: psobject - Support for parse objects
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 #include "acpi.h"
153 #include "accommon.h"
154 #include "acparser.h"
155 #include "amlcode.h"
156 #include "acconvert.h"
157 #include "acnamesp.h"
158
159 #define _COMPONENT ACPI_PARSER
160 ACPI_MODULE_NAME ("psobject")
161
162
163 /* Local prototypes */
164
165 static ACPI_STATUS
166 AcpiPsGetAmlOpcode (
167 ACPI_WALK_STATE *WalkState);
168
169
170 /*******************************************************************************
171 *
172 * FUNCTION: AcpiPsGetAmlOpcode
173 *
174 * PARAMETERS: WalkState - Current state
175 *
176 * RETURN: Status
177 *
178 * DESCRIPTION: Extract the next AML opcode from the input stream.
179 *
180 ******************************************************************************/
181
182 static ACPI_STATUS
AcpiPsGetAmlOpcode(ACPI_WALK_STATE * WalkState)183 AcpiPsGetAmlOpcode (
184 ACPI_WALK_STATE *WalkState)
185 {
186 ACPI_ERROR_ONLY (UINT32 AmlOffset);
187
188
189 ACPI_FUNCTION_TRACE_PTR (PsGetAmlOpcode, WalkState);
190
191
192 WalkState->Aml = WalkState->ParserState.Aml;
193 WalkState->Opcode = AcpiPsPeekOpcode (&(WalkState->ParserState));
194
195 /*
196 * First cut to determine what we have found:
197 * 1) A valid AML opcode
198 * 2) A name string
199 * 3) An unknown/invalid opcode
200 */
201 WalkState->OpInfo = AcpiPsGetOpcodeInfo (WalkState->Opcode);
202
203 switch (WalkState->OpInfo->Class)
204 {
205 case AML_CLASS_ASCII:
206 case AML_CLASS_PREFIX:
207 /*
208 * Starts with a valid prefix or ASCII char, this is a name
209 * string. Convert the bare name string to a namepath.
210 */
211 WalkState->Opcode = AML_INT_NAMEPATH_OP;
212 WalkState->ArgTypes = ARGP_NAMESTRING;
213 break;
214
215 case AML_CLASS_UNKNOWN:
216
217 /* The opcode is unrecognized. Complain and skip unknown opcodes */
218
219 if (WalkState->PassNumber == 2)
220 {
221 ACPI_ERROR_ONLY(AmlOffset = (UINT32) ACPI_PTR_DIFF (WalkState->Aml,
222 WalkState->ParserState.AmlStart));
223
224 ACPI_ERROR ((AE_INFO,
225 "Unknown opcode 0x%.2X at table offset 0x%.4X, ignoring",
226 WalkState->Opcode,
227 (UINT32) (AmlOffset + sizeof (ACPI_TABLE_HEADER))));
228
229 ACPI_DUMP_BUFFER ((WalkState->ParserState.Aml - 16), 48);
230
231 #ifdef ACPI_ASL_COMPILER
232 /*
233 * This is executed for the disassembler only. Output goes
234 * to the disassembled ASL output file.
235 */
236 AcpiOsPrintf (
237 "/*\nError: Unknown opcode 0x%.2X at table offset 0x%.4X, context:\n",
238 WalkState->Opcode,
239 (UINT32) (AmlOffset + sizeof (ACPI_TABLE_HEADER)));
240
241 ACPI_ERROR ((AE_INFO,
242 "Aborting disassembly, AML byte code is corrupt"));
243
244 /* Dump the context surrounding the invalid opcode */
245
246 AcpiUtDumpBuffer (((UINT8 *) WalkState->ParserState.Aml - 16),
247 48, DB_BYTE_DISPLAY,
248 (AmlOffset + sizeof (ACPI_TABLE_HEADER) - 16));
249 AcpiOsPrintf (" */\n");
250
251 /*
252 * Just abort the disassembly, cannot continue because the
253 * parser is essentially lost. The disassembler can then
254 * randomly fail because an ill-constructed parse tree
255 * can result.
256 */
257 return_ACPI_STATUS (AE_AML_BAD_OPCODE);
258 #endif
259 }
260
261 /* Increment past one-byte or two-byte opcode */
262
263 WalkState->ParserState.Aml++;
264 if (WalkState->Opcode > 0xFF) /* Can only happen if first byte is 0x5B */
265 {
266 WalkState->ParserState.Aml++;
267 }
268
269 return_ACPI_STATUS (AE_CTRL_PARSE_CONTINUE);
270
271 default:
272
273 /* Found opcode info, this is a normal opcode */
274
275 WalkState->ParserState.Aml +=
276 AcpiPsGetOpcodeSize (WalkState->Opcode);
277 WalkState->ArgTypes = WalkState->OpInfo->ParseArgs;
278 break;
279 }
280
281 return_ACPI_STATUS (AE_OK);
282 }
283
284
285 /*******************************************************************************
286 *
287 * FUNCTION: AcpiPsBuildNamedOp
288 *
289 * PARAMETERS: WalkState - Current state
290 * AmlOpStart - Begin of named Op in AML
291 * UnnamedOp - Early Op (not a named Op)
292 * Op - Returned Op
293 *
294 * RETURN: Status
295 *
296 * DESCRIPTION: Parse a named Op
297 *
298 ******************************************************************************/
299
300 ACPI_STATUS
AcpiPsBuildNamedOp(ACPI_WALK_STATE * WalkState,UINT8 * AmlOpStart,ACPI_PARSE_OBJECT * UnnamedOp,ACPI_PARSE_OBJECT ** Op)301 AcpiPsBuildNamedOp (
302 ACPI_WALK_STATE *WalkState,
303 UINT8 *AmlOpStart,
304 ACPI_PARSE_OBJECT *UnnamedOp,
305 ACPI_PARSE_OBJECT **Op)
306 {
307 ACPI_STATUS Status = AE_OK;
308 ACPI_PARSE_OBJECT *Arg = NULL;
309
310
311 ACPI_FUNCTION_TRACE_PTR (PsBuildNamedOp, WalkState);
312
313
314 UnnamedOp->Common.Value.Arg = NULL;
315 UnnamedOp->Common.ArgListLength = 0;
316 UnnamedOp->Common.AmlOpcode = WalkState->Opcode;
317
318 /*
319 * Get and append arguments until we find the node that contains
320 * the name (the type ARGP_NAME).
321 */
322 while (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) &&
323 (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) != ARGP_NAME))
324 {
325 ASL_CV_CAPTURE_COMMENTS (WalkState);
326 Status = AcpiPsGetNextArg (WalkState, &(WalkState->ParserState),
327 GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), &Arg);
328 if (ACPI_FAILURE (Status))
329 {
330 return_ACPI_STATUS (Status);
331 }
332
333 AcpiPsAppendArg (UnnamedOp, Arg);
334 INCREMENT_ARG_LIST (WalkState->ArgTypes);
335 }
336
337 /* are there any inline comments associated with the NameSeg?? If so, save this. */
338
339 ASL_CV_CAPTURE_COMMENTS (WalkState);
340
341 #ifdef ACPI_ASL_COMPILER
342 if (AcpiGbl_CurrentInlineComment != NULL)
343 {
344 UnnamedOp->Common.NameComment = AcpiGbl_CurrentInlineComment;
345 AcpiGbl_CurrentInlineComment = NULL;
346 }
347 #endif
348
349 /*
350 * Make sure that we found a NAME and didn't run out of arguments
351 */
352 if (!GET_CURRENT_ARG_TYPE (WalkState->ArgTypes))
353 {
354 return_ACPI_STATUS (AE_AML_NO_OPERAND);
355 }
356
357 /* We know that this arg is a name, move to next arg */
358
359 INCREMENT_ARG_LIST (WalkState->ArgTypes);
360
361 /*
362 * Find the object. This will either insert the object into
363 * the namespace or simply look it up
364 */
365 WalkState->Op = NULL;
366
367 Status = WalkState->DescendingCallback (WalkState, Op);
368 if (ACPI_FAILURE (Status))
369 {
370 if (Status != AE_CTRL_TERMINATE)
371 {
372 ACPI_EXCEPTION ((AE_INFO, Status, "During name lookup/catalog"));
373 }
374 return_ACPI_STATUS (Status);
375 }
376
377 if (!*Op)
378 {
379 return_ACPI_STATUS (AE_CTRL_PARSE_CONTINUE);
380 }
381
382 Status = AcpiPsNextParseState (WalkState, *Op, Status);
383 if (ACPI_FAILURE (Status))
384 {
385 if (Status == AE_CTRL_PENDING)
386 {
387 Status = AE_CTRL_PARSE_PENDING;
388 }
389 return_ACPI_STATUS (Status);
390 }
391
392 AcpiPsAppendArg (*Op, UnnamedOp->Common.Value.Arg);
393
394 #ifdef ACPI_ASL_COMPILER
395
396 /* save any comments that might be associated with UnnamedOp. */
397
398 (*Op)->Common.InlineComment = UnnamedOp->Common.InlineComment;
399 (*Op)->Common.EndNodeComment = UnnamedOp->Common.EndNodeComment;
400 (*Op)->Common.CloseBraceComment = UnnamedOp->Common.CloseBraceComment;
401 (*Op)->Common.NameComment = UnnamedOp->Common.NameComment;
402 (*Op)->Common.CommentList = UnnamedOp->Common.CommentList;
403 (*Op)->Common.EndBlkComment = UnnamedOp->Common.EndBlkComment;
404 (*Op)->Common.CvFilename = UnnamedOp->Common.CvFilename;
405 (*Op)->Common.CvParentFilename = UnnamedOp->Common.CvParentFilename;
406 (*Op)->Named.Aml = UnnamedOp->Common.Aml;
407
408 UnnamedOp->Common.InlineComment = NULL;
409 UnnamedOp->Common.EndNodeComment = NULL;
410 UnnamedOp->Common.CloseBraceComment = NULL;
411 UnnamedOp->Common.NameComment = NULL;
412 UnnamedOp->Common.CommentList = NULL;
413 UnnamedOp->Common.EndBlkComment = NULL;
414 #endif
415
416 if ((*Op)->Common.AmlOpcode == AML_REGION_OP ||
417 (*Op)->Common.AmlOpcode == AML_DATA_REGION_OP)
418 {
419 /*
420 * Defer final parsing of an OperationRegion body, because we don't
421 * have enough info in the first pass to parse it correctly (i.e.,
422 * there may be method calls within the TermArg elements of the body.)
423 *
424 * However, we must continue parsing because the opregion is not a
425 * standalone package -- we don't know where the end is at this point.
426 *
427 * (Length is unknown until parse of the body complete)
428 */
429 (*Op)->Named.Data = AmlOpStart;
430 (*Op)->Named.Length = 0;
431 }
432
433 return_ACPI_STATUS (AE_OK);
434 }
435
436
437 /*******************************************************************************
438 *
439 * FUNCTION: AcpiPsCreateOp
440 *
441 * PARAMETERS: WalkState - Current state
442 * AmlOpStart - Op start in AML
443 * NewOp - Returned Op
444 *
445 * RETURN: Status
446 *
447 * DESCRIPTION: Get Op from AML
448 *
449 ******************************************************************************/
450
451 ACPI_STATUS
AcpiPsCreateOp(ACPI_WALK_STATE * WalkState,UINT8 * AmlOpStart,ACPI_PARSE_OBJECT ** NewOp)452 AcpiPsCreateOp (
453 ACPI_WALK_STATE *WalkState,
454 UINT8 *AmlOpStart,
455 ACPI_PARSE_OBJECT **NewOp)
456 {
457 ACPI_STATUS Status = AE_OK;
458 ACPI_PARSE_OBJECT *Op;
459 ACPI_PARSE_OBJECT *NamedOp = NULL;
460 ACPI_PARSE_OBJECT *ParentScope;
461 UINT8 ArgumentCount;
462 const ACPI_OPCODE_INFO *OpInfo;
463
464
465 ACPI_FUNCTION_TRACE_PTR (PsCreateOp, WalkState);
466
467
468 Status = AcpiPsGetAmlOpcode (WalkState);
469 if (Status == AE_CTRL_PARSE_CONTINUE)
470 {
471 return_ACPI_STATUS (AE_CTRL_PARSE_CONTINUE);
472 }
473 if (ACPI_FAILURE (Status))
474 {
475 return_ACPI_STATUS (Status);
476 }
477
478 /* Create Op structure and append to parent's argument list */
479
480 WalkState->OpInfo = AcpiPsGetOpcodeInfo (WalkState->Opcode);
481 Op = AcpiPsAllocOp (WalkState->Opcode, AmlOpStart);
482 if (!Op)
483 {
484 return_ACPI_STATUS (AE_NO_MEMORY);
485 }
486
487 if (WalkState->OpInfo->Flags & AML_NAMED)
488 {
489 Status = AcpiPsBuildNamedOp (WalkState, AmlOpStart, Op, &NamedOp);
490 AcpiPsFreeOp (Op);
491
492 #ifdef ACPI_ASL_COMPILER
493 if (AcpiGbl_DisasmFlag && WalkState->Opcode == AML_EXTERNAL_OP &&
494 Status == AE_NOT_FOUND)
495 {
496 /*
497 * If parsing of AML_EXTERNAL_OP's name path fails, then skip
498 * past this opcode and keep parsing. This is a much better
499 * alternative than to abort the entire disassembler. At this
500 * point, the ParserState is at the end of the namepath of the
501 * external declaration opcode. Setting WalkState->Aml to
502 * WalkState->ParserState.Aml + 2 moves increments the
503 * WalkState->Aml past the object type and the paramcount of the
504 * external opcode.
505 */
506 WalkState->Aml = WalkState->ParserState.Aml + 2;
507 WalkState->ParserState.Aml = WalkState->Aml;
508 return_ACPI_STATUS (AE_CTRL_PARSE_CONTINUE);
509 }
510 #endif
511 if (ACPI_FAILURE (Status))
512 {
513 return_ACPI_STATUS (Status);
514 }
515
516 *NewOp = NamedOp;
517 return_ACPI_STATUS (AE_OK);
518 }
519
520 /* Not a named opcode, just allocate Op and append to parent */
521
522 if (WalkState->OpInfo->Flags & AML_CREATE)
523 {
524 /*
525 * Backup to beginning of CreateXXXfield declaration
526 * BodyLength is unknown until we parse the body
527 */
528 Op->Named.Data = AmlOpStart;
529 Op->Named.Length = 0;
530 }
531
532 if (WalkState->Opcode == AML_BANK_FIELD_OP)
533 {
534 /*
535 * Backup to beginning of BankField declaration
536 * BodyLength is unknown until we parse the body
537 */
538 Op->Named.Data = AmlOpStart;
539 Op->Named.Length = 0;
540 }
541
542 ParentScope = AcpiPsGetParentScope (&(WalkState->ParserState));
543 AcpiPsAppendArg (ParentScope, Op);
544
545 if (ParentScope)
546 {
547 OpInfo = AcpiPsGetOpcodeInfo (ParentScope->Common.AmlOpcode);
548 if (OpInfo->Flags & AML_HAS_TARGET)
549 {
550 ArgumentCount = AcpiPsGetArgumentCount (OpInfo->Type);
551 if (ParentScope->Common.ArgListLength > ArgumentCount)
552 {
553 Op->Common.Flags |= ACPI_PARSEOP_TARGET;
554 }
555 }
556
557 /*
558 * Special case for both Increment() and Decrement(), where
559 * the lone argument is both a source and a target.
560 */
561 else if ((ParentScope->Common.AmlOpcode == AML_INCREMENT_OP) ||
562 (ParentScope->Common.AmlOpcode == AML_DECREMENT_OP))
563 {
564 Op->Common.Flags |= ACPI_PARSEOP_TARGET;
565 }
566 }
567
568 if (WalkState->DescendingCallback != NULL)
569 {
570 /*
571 * Find the object. This will either insert the object into
572 * the namespace or simply look it up
573 */
574 WalkState->Op = *NewOp = Op;
575
576 Status = WalkState->DescendingCallback (WalkState, &Op);
577 Status = AcpiPsNextParseState (WalkState, Op, Status);
578 if (Status == AE_CTRL_PENDING)
579 {
580 Status = AE_CTRL_PARSE_PENDING;
581 }
582 }
583
584 return_ACPI_STATUS (Status);
585 }
586
587
588 /*******************************************************************************
589 *
590 * FUNCTION: AcpiPsCompleteOp
591 *
592 * PARAMETERS: WalkState - Current state
593 * Op - Returned Op
594 * Status - Parse status before complete Op
595 *
596 * RETURN: Status
597 *
598 * DESCRIPTION: Complete Op
599 *
600 ******************************************************************************/
601
602 ACPI_STATUS
AcpiPsCompleteOp(ACPI_WALK_STATE * WalkState,ACPI_PARSE_OBJECT ** Op,ACPI_STATUS Status)603 AcpiPsCompleteOp (
604 ACPI_WALK_STATE *WalkState,
605 ACPI_PARSE_OBJECT **Op,
606 ACPI_STATUS Status)
607 {
608 ACPI_STATUS Status2;
609
610
611 ACPI_FUNCTION_TRACE_PTR (PsCompleteOp, WalkState);
612
613
614 /*
615 * Finished one argument of the containing scope
616 */
617 WalkState->ParserState.Scope->ParseScope.ArgCount--;
618
619 /* Close this Op (will result in parse subtree deletion) */
620
621 Status2 = AcpiPsCompleteThisOp (WalkState, *Op);
622 if (ACPI_FAILURE (Status2))
623 {
624 return_ACPI_STATUS (Status2);
625 }
626
627 *Op = NULL;
628
629 switch (Status)
630 {
631 case AE_OK:
632
633 break;
634
635 case AE_CTRL_TRANSFER:
636
637 /* We are about to transfer to a called method */
638
639 WalkState->PrevOp = NULL;
640 WalkState->PrevArgTypes = WalkState->ArgTypes;
641 return_ACPI_STATUS (Status);
642
643 case AE_CTRL_END:
644
645 AcpiPsPopScope (&(WalkState->ParserState), Op,
646 &WalkState->ArgTypes, &WalkState->ArgCount);
647
648 if (*Op)
649 {
650 WalkState->Op = *Op;
651 WalkState->OpInfo = AcpiPsGetOpcodeInfo ((*Op)->Common.AmlOpcode);
652 WalkState->Opcode = (*Op)->Common.AmlOpcode;
653
654 Status = WalkState->AscendingCallback (WalkState);
655 Status = AcpiPsNextParseState (WalkState, *Op, Status);
656
657 Status2 = AcpiPsCompleteThisOp (WalkState, *Op);
658 if (ACPI_FAILURE (Status2))
659 {
660 return_ACPI_STATUS (Status2);
661 }
662 }
663
664 Status = AE_OK;
665 break;
666
667 case AE_CTRL_BREAK:
668 case AE_CTRL_CONTINUE:
669
670 /* Pop off scopes until we find the While */
671
672 while (!(*Op) || ((*Op)->Common.AmlOpcode != AML_WHILE_OP))
673 {
674 AcpiPsPopScope (&(WalkState->ParserState), Op,
675 &WalkState->ArgTypes, &WalkState->ArgCount);
676 }
677
678 /* Close this iteration of the While loop */
679
680 WalkState->Op = *Op;
681 WalkState->OpInfo = AcpiPsGetOpcodeInfo ((*Op)->Common.AmlOpcode);
682 WalkState->Opcode = (*Op)->Common.AmlOpcode;
683
684 Status = WalkState->AscendingCallback (WalkState);
685 Status = AcpiPsNextParseState (WalkState, *Op, Status);
686
687 Status2 = AcpiPsCompleteThisOp (WalkState, *Op);
688 if (ACPI_FAILURE (Status2))
689 {
690 return_ACPI_STATUS (Status2);
691 }
692
693 Status = AE_OK;
694 break;
695
696 case AE_CTRL_TERMINATE:
697
698 /* Clean up */
699 do
700 {
701 if (*Op)
702 {
703 Status2 = AcpiPsCompleteThisOp (WalkState, *Op);
704 if (ACPI_FAILURE (Status2))
705 {
706 return_ACPI_STATUS (Status2);
707 }
708
709 AcpiUtDeleteGenericState (
710 AcpiUtPopGenericState (&WalkState->ControlState));
711 }
712
713 AcpiPsPopScope (&(WalkState->ParserState), Op,
714 &WalkState->ArgTypes, &WalkState->ArgCount);
715
716 } while (*Op);
717
718 return_ACPI_STATUS (AE_OK);
719
720 default: /* All other non-AE_OK status */
721
722 do
723 {
724 if (*Op)
725 {
726 /*
727 * These Opcodes need to be removed from the namespace because they
728 * get created even if these opcodes cannot be created due to
729 * errors.
730 */
731 if (((*Op)->Common.AmlOpcode == AML_REGION_OP) ||
732 ((*Op)->Common.AmlOpcode == AML_DATA_REGION_OP))
733 {
734 AcpiNsDeleteChildren ((*Op)->Common.Node);
735 AcpiNsRemoveNode ((*Op)->Common.Node);
736 (*Op)->Common.Node = NULL;
737 AcpiPsDeleteParseTree (*Op);
738 }
739
740 Status2 = AcpiPsCompleteThisOp (WalkState, *Op);
741 if (ACPI_FAILURE (Status2))
742 {
743 return_ACPI_STATUS (Status2);
744 }
745 }
746
747 AcpiPsPopScope (&(WalkState->ParserState), Op,
748 &WalkState->ArgTypes, &WalkState->ArgCount);
749
750 } while (*Op);
751
752
753 #if 0
754 /*
755 * TBD: Cleanup parse ops on error
756 */
757 if (*Op == NULL)
758 {
759 AcpiPsPopScope (ParserState, Op,
760 &WalkState->ArgTypes, &WalkState->ArgCount);
761 }
762 #endif
763 WalkState->PrevOp = NULL;
764 WalkState->PrevArgTypes = WalkState->ArgTypes;
765
766 if (WalkState->ParseFlags & ACPI_PARSE_MODULE_LEVEL)
767 {
768 /*
769 * There was something that went wrong while executing code at the
770 * module-level. We need to skip parsing whatever caused the
771 * error and keep going. One runtime error during the table load
772 * should not cause the entire table to not be loaded. This is
773 * because there could be correct AML beyond the parts that caused
774 * the runtime error.
775 */
776 ACPI_ERROR ((AE_INFO, "Ignore error and continue table load"));
777 return_ACPI_STATUS (AE_OK);
778 }
779 return_ACPI_STATUS (Status);
780 }
781
782 /* This scope complete? */
783
784 if (AcpiPsHasCompletedScope (&(WalkState->ParserState)))
785 {
786 AcpiPsPopScope (&(WalkState->ParserState), Op,
787 &WalkState->ArgTypes, &WalkState->ArgCount);
788 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "Popped scope, Op=%p\n", *Op));
789 }
790 else
791 {
792 *Op = NULL;
793 }
794
795 return_ACPI_STATUS (AE_OK);
796 }
797
798
799 /*******************************************************************************
800 *
801 * FUNCTION: AcpiPsCompleteFinalOp
802 *
803 * PARAMETERS: WalkState - Current state
804 * Op - Current Op
805 * Status - Current parse status before complete last
806 * Op
807 *
808 * RETURN: Status
809 *
810 * DESCRIPTION: Complete last Op.
811 *
812 ******************************************************************************/
813
814 ACPI_STATUS
AcpiPsCompleteFinalOp(ACPI_WALK_STATE * WalkState,ACPI_PARSE_OBJECT * Op,ACPI_STATUS Status)815 AcpiPsCompleteFinalOp (
816 ACPI_WALK_STATE *WalkState,
817 ACPI_PARSE_OBJECT *Op,
818 ACPI_STATUS Status)
819 {
820 ACPI_STATUS Status2;
821
822
823 ACPI_FUNCTION_TRACE_PTR (PsCompleteFinalOp, WalkState);
824
825
826 /*
827 * Complete the last Op (if not completed), and clear the scope stack.
828 * It is easily possible to end an AML "package" with an unbounded number
829 * of open scopes (such as when several ASL blocks are closed with
830 * sequential closing braces). We want to terminate each one cleanly.
831 */
832 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "AML package complete at Op %p\n", Op));
833 do
834 {
835 if (Op)
836 {
837 if (WalkState->AscendingCallback != NULL)
838 {
839 WalkState->Op = Op;
840 WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
841 WalkState->Opcode = Op->Common.AmlOpcode;
842
843 Status = WalkState->AscendingCallback (WalkState);
844 Status = AcpiPsNextParseState (WalkState, Op, Status);
845 if (Status == AE_CTRL_PENDING)
846 {
847 Status = AcpiPsCompleteOp (WalkState, &Op, AE_OK);
848 if (ACPI_FAILURE (Status))
849 {
850 return_ACPI_STATUS (Status);
851 }
852 }
853
854 if (Status == AE_CTRL_TERMINATE)
855 {
856 Status = AE_OK;
857
858 /* Clean up */
859 do
860 {
861 if (Op)
862 {
863 Status2 = AcpiPsCompleteThisOp (WalkState, Op);
864 if (ACPI_FAILURE (Status2))
865 {
866 return_ACPI_STATUS (Status2);
867 }
868 }
869
870 AcpiPsPopScope (&(WalkState->ParserState), &Op,
871 &WalkState->ArgTypes, &WalkState->ArgCount);
872
873 } while (Op);
874
875 return_ACPI_STATUS (Status);
876 }
877
878 else if (ACPI_FAILURE (Status))
879 {
880 /* First error is most important */
881
882 (void) AcpiPsCompleteThisOp (WalkState, Op);
883 return_ACPI_STATUS (Status);
884 }
885 }
886
887 Status2 = AcpiPsCompleteThisOp (WalkState, Op);
888 if (ACPI_FAILURE (Status2))
889 {
890 return_ACPI_STATUS (Status2);
891 }
892 }
893
894 AcpiPsPopScope (&(WalkState->ParserState), &Op, &WalkState->ArgTypes,
895 &WalkState->ArgCount);
896
897 } while (Op);
898
899 return_ACPI_STATUS (Status);
900 }
901