1bc36eafdSMike Gerdts /******************************************************************************
2bc36eafdSMike Gerdts *
3bc36eafdSMike Gerdts * Module Name: aslwalks.c - Miscellaneous analytical parse tree walks
4bc36eafdSMike Gerdts *
5bc36eafdSMike Gerdts *****************************************************************************/
6bc36eafdSMike Gerdts
7*35786f68SRobert Mustacchi /******************************************************************************
8*35786f68SRobert Mustacchi *
9*35786f68SRobert Mustacchi * 1. Copyright Notice
10*35786f68SRobert Mustacchi *
11*35786f68SRobert Mustacchi * Some or all of this work - Copyright (c) 1999 - 2018, Intel Corp.
12bc36eafdSMike Gerdts * All rights reserved.
13bc36eafdSMike Gerdts *
14*35786f68SRobert Mustacchi * 2. License
15*35786f68SRobert Mustacchi *
16*35786f68SRobert Mustacchi * 2.1. This is your license from Intel Corp. under its intellectual property
17*35786f68SRobert Mustacchi * rights. You may have additional license terms from the party that provided
18*35786f68SRobert Mustacchi * you this software, covering your right to use that party's intellectual
19*35786f68SRobert Mustacchi * property rights.
20*35786f68SRobert Mustacchi *
21*35786f68SRobert Mustacchi * 2.2. Intel grants, free of charge, to any person ("Licensee") obtaining a
22*35786f68SRobert Mustacchi * copy of the source code appearing in this file ("Covered Code") an
23*35786f68SRobert Mustacchi * irrevocable, perpetual, worldwide license under Intel's copyrights in the
24*35786f68SRobert Mustacchi * base code distributed originally by Intel ("Original Intel Code") to copy,
25*35786f68SRobert Mustacchi * make derivatives, distribute, use and display any portion of the Covered
26*35786f68SRobert Mustacchi * Code in any form, with the right to sublicense such rights; and
27*35786f68SRobert Mustacchi *
28*35786f68SRobert Mustacchi * 2.3. Intel grants Licensee a non-exclusive and non-transferable patent
29*35786f68SRobert Mustacchi * license (with the right to sublicense), under only those claims of Intel
30*35786f68SRobert Mustacchi * patents that are infringed by the Original Intel Code, to make, use, sell,
31*35786f68SRobert Mustacchi * offer to sell, and import the Covered Code and derivative works thereof
32*35786f68SRobert Mustacchi * solely to the minimum extent necessary to exercise the above copyright
33*35786f68SRobert Mustacchi * license, and in no event shall the patent license extend to any additions
34*35786f68SRobert Mustacchi * to or modifications of the Original Intel Code. No other license or right
35*35786f68SRobert Mustacchi * is granted directly or by implication, estoppel or otherwise;
36*35786f68SRobert Mustacchi *
37*35786f68SRobert Mustacchi * The above copyright and patent license is granted only if the following
38*35786f68SRobert Mustacchi * conditions are met:
39*35786f68SRobert Mustacchi *
40*35786f68SRobert Mustacchi * 3. Conditions
41*35786f68SRobert Mustacchi *
42*35786f68SRobert Mustacchi * 3.1. Redistribution of Source with Rights to Further Distribute Source.
43*35786f68SRobert Mustacchi * Redistribution of source code of any substantial portion of the Covered
44*35786f68SRobert Mustacchi * Code or modification with rights to further distribute source must include
45*35786f68SRobert Mustacchi * the above Copyright Notice, the above License, this list of Conditions,
46*35786f68SRobert Mustacchi * and the following Disclaimer and Export Compliance provision. In addition,
47*35786f68SRobert Mustacchi * Licensee must cause all Covered Code to which Licensee contributes to
48*35786f68SRobert Mustacchi * contain a file documenting the changes Licensee made to create that Covered
49*35786f68SRobert Mustacchi * Code and the date of any change. Licensee must include in that file the
50*35786f68SRobert Mustacchi * documentation of any changes made by any predecessor Licensee. Licensee
51*35786f68SRobert Mustacchi * must include a prominent statement that the modification is derived,
52*35786f68SRobert Mustacchi * directly or indirectly, from Original Intel Code.
53*35786f68SRobert Mustacchi *
54*35786f68SRobert Mustacchi * 3.2. Redistribution of Source with no Rights to Further Distribute Source.
55*35786f68SRobert Mustacchi * Redistribution of source code of any substantial portion of the Covered
56*35786f68SRobert Mustacchi * Code or modification without rights to further distribute source must
57*35786f68SRobert Mustacchi * include the following Disclaimer and Export Compliance provision in the
58*35786f68SRobert Mustacchi * documentation and/or other materials provided with distribution. In
59*35786f68SRobert Mustacchi * addition, Licensee may not authorize further sublicense of source of any
60*35786f68SRobert Mustacchi * portion of the Covered Code, and must include terms to the effect that the
61*35786f68SRobert Mustacchi * license from Licensee to its licensee is limited to the intellectual
62*35786f68SRobert Mustacchi * property embodied in the software Licensee provides to its licensee, and
63*35786f68SRobert Mustacchi * not to intellectual property embodied in modifications its licensee may
64*35786f68SRobert Mustacchi * make.
65*35786f68SRobert Mustacchi *
66*35786f68SRobert Mustacchi * 3.3. Redistribution of Executable. Redistribution in executable form of any
67*35786f68SRobert Mustacchi * substantial portion of the Covered Code or modification must reproduce the
68*35786f68SRobert Mustacchi * above Copyright Notice, and the following Disclaimer and Export Compliance
69*35786f68SRobert Mustacchi * provision in the documentation and/or other materials provided with the
70*35786f68SRobert Mustacchi * distribution.
71*35786f68SRobert Mustacchi *
72*35786f68SRobert Mustacchi * 3.4. Intel retains all right, title, and interest in and to the Original
73*35786f68SRobert Mustacchi * Intel Code.
74*35786f68SRobert Mustacchi *
75*35786f68SRobert Mustacchi * 3.5. Neither the name Intel nor any other trademark owned or controlled by
76*35786f68SRobert Mustacchi * Intel shall be used in advertising or otherwise to promote the sale, use or
77*35786f68SRobert Mustacchi * other dealings in products derived from or relating to the Covered Code
78*35786f68SRobert Mustacchi * without prior written authorization from Intel.
79*35786f68SRobert Mustacchi *
80*35786f68SRobert Mustacchi * 4. Disclaimer and Export Compliance
81*35786f68SRobert Mustacchi *
82*35786f68SRobert Mustacchi * 4.1. INTEL MAKES NO WARRANTY OF ANY KIND REGARDING ANY SOFTWARE PROVIDED
83*35786f68SRobert Mustacchi * HERE. ANY SOFTWARE ORIGINATING FROM INTEL OR DERIVED FROM INTEL SOFTWARE
84*35786f68SRobert Mustacchi * IS PROVIDED "AS IS," AND INTEL WILL NOT PROVIDE ANY SUPPORT, ASSISTANCE,
85*35786f68SRobert Mustacchi * INSTALLATION, TRAINING OR OTHER SERVICES. INTEL WILL NOT PROVIDE ANY
86*35786f68SRobert Mustacchi * UPDATES, ENHANCEMENTS OR EXTENSIONS. INTEL SPECIFICALLY DISCLAIMS ANY
87*35786f68SRobert Mustacchi * IMPLIED WARRANTIES OF MERCHANTABILITY, NONINFRINGEMENT AND FITNESS FOR A
88*35786f68SRobert Mustacchi * PARTICULAR PURPOSE.
89*35786f68SRobert Mustacchi *
90*35786f68SRobert Mustacchi * 4.2. IN NO EVENT SHALL INTEL HAVE ANY LIABILITY TO LICENSEE, ITS LICENSEES
91*35786f68SRobert Mustacchi * OR ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR
92*35786f68SRobert Mustacchi * COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY INDIRECT,
93*35786f68SRobert Mustacchi * SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THIS AGREEMENT, UNDER ANY
94*35786f68SRobert Mustacchi * CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL
95*35786f68SRobert Mustacchi * HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS
96*35786f68SRobert Mustacchi * SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY
97*35786f68SRobert Mustacchi * LIMITED REMEDY.
98*35786f68SRobert Mustacchi *
99*35786f68SRobert Mustacchi * 4.3. Licensee shall not export, either directly or indirectly, any of this
100*35786f68SRobert Mustacchi * software or system incorporating such software without first obtaining any
101*35786f68SRobert Mustacchi * required license or other approval from the U. S. Department of Commerce or
102*35786f68SRobert Mustacchi * any other agency or department of the United States Government. In the
103*35786f68SRobert Mustacchi * event Licensee exports any such software from the United States or
104*35786f68SRobert Mustacchi * re-exports any such software from a foreign destination, Licensee shall
105*35786f68SRobert Mustacchi * ensure that the distribution and export/re-export of the software is in
106*35786f68SRobert Mustacchi * compliance with all laws, regulations, orders, or other restrictions of the
107*35786f68SRobert Mustacchi * U.S. Export Administration Regulations. Licensee agrees that neither it nor
108*35786f68SRobert Mustacchi * any of its subsidiaries will export/re-export any technical data, process,
109*35786f68SRobert Mustacchi * software, or service, directly or indirectly, to any country for which the
110*35786f68SRobert Mustacchi * United States government or any agency thereof requires an export license,
111*35786f68SRobert Mustacchi * other governmental approval, or letter of assurance, without first obtaining
112*35786f68SRobert Mustacchi * such license, approval or letter.
113*35786f68SRobert Mustacchi *
114*35786f68SRobert Mustacchi *****************************************************************************
115*35786f68SRobert Mustacchi *
116*35786f68SRobert Mustacchi * Alternatively, you may choose to be licensed under the terms of the
117*35786f68SRobert Mustacchi * following license:
118*35786f68SRobert Mustacchi *
119bc36eafdSMike Gerdts * Redistribution and use in source and binary forms, with or without
120bc36eafdSMike Gerdts * modification, are permitted provided that the following conditions
121bc36eafdSMike Gerdts * are met:
122bc36eafdSMike Gerdts * 1. Redistributions of source code must retain the above copyright
123bc36eafdSMike Gerdts * notice, this list of conditions, and the following disclaimer,
124bc36eafdSMike Gerdts * without modification.
125bc36eafdSMike Gerdts * 2. Redistributions in binary form must reproduce at minimum a disclaimer
126bc36eafdSMike Gerdts * substantially similar to the "NO WARRANTY" disclaimer below
127bc36eafdSMike Gerdts * ("Disclaimer") and any redistribution must be conditioned upon
128bc36eafdSMike Gerdts * including a substantially similar Disclaimer requirement for further
129bc36eafdSMike Gerdts * binary redistribution.
130bc36eafdSMike Gerdts * 3. Neither the names of the above-listed copyright holders nor the names
131bc36eafdSMike Gerdts * of any contributors may be used to endorse or promote products derived
132bc36eafdSMike Gerdts * from this software without specific prior written permission.
133bc36eafdSMike Gerdts *
134bc36eafdSMike Gerdts * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
135bc36eafdSMike Gerdts * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
136*35786f68SRobert Mustacchi * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
137bc36eafdSMike Gerdts * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
138*35786f68SRobert Mustacchi * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
139*35786f68SRobert Mustacchi * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
140*35786f68SRobert Mustacchi * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
141*35786f68SRobert Mustacchi * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
142*35786f68SRobert Mustacchi * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
143*35786f68SRobert Mustacchi * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
144*35786f68SRobert Mustacchi * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
145*35786f68SRobert Mustacchi *
146*35786f68SRobert Mustacchi * Alternatively, you may choose to be licensed under the terms of the
147*35786f68SRobert Mustacchi * GNU General Public License ("GPL") version 2 as published by the Free
148*35786f68SRobert Mustacchi * Software Foundation.
149*35786f68SRobert Mustacchi *
150*35786f68SRobert Mustacchi *****************************************************************************/
151bc36eafdSMike Gerdts
152bc36eafdSMike Gerdts #include "aslcompiler.h"
153bc36eafdSMike Gerdts #include "aslcompiler.y.h"
154bc36eafdSMike Gerdts #include "acparser.h"
155bc36eafdSMike Gerdts #include "amlcode.h"
156bc36eafdSMike Gerdts
157bc36eafdSMike Gerdts
158bc36eafdSMike Gerdts #define _COMPONENT ACPI_COMPILER
159bc36eafdSMike Gerdts ACPI_MODULE_NAME ("aslwalks")
160bc36eafdSMike Gerdts
161bc36eafdSMike Gerdts
162bc36eafdSMike Gerdts /* Local prototypes */
163bc36eafdSMike Gerdts
164bc36eafdSMike Gerdts static void
165bc36eafdSMike Gerdts AnAnalyzeStoreOperator (
166bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *Op);
167bc36eafdSMike Gerdts
168bc36eafdSMike Gerdts
169bc36eafdSMike Gerdts /*******************************************************************************
170bc36eafdSMike Gerdts *
171bc36eafdSMike Gerdts * FUNCTION: AnMethodTypingWalkEnd
172bc36eafdSMike Gerdts *
173bc36eafdSMike Gerdts * PARAMETERS: ASL_WALK_CALLBACK
174bc36eafdSMike Gerdts *
175bc36eafdSMike Gerdts * RETURN: Status
176bc36eafdSMike Gerdts *
177bc36eafdSMike Gerdts * DESCRIPTION: Ascending callback for typing walk. Complete the method
178bc36eafdSMike Gerdts * return analysis. Check methods for:
179bc36eafdSMike Gerdts * 1) Initialized local variables
180bc36eafdSMike Gerdts * 2) Valid arguments
181bc36eafdSMike Gerdts * 3) Return types
182bc36eafdSMike Gerdts *
183bc36eafdSMike Gerdts ******************************************************************************/
184bc36eafdSMike Gerdts
185bc36eafdSMike Gerdts ACPI_STATUS
AnMethodTypingWalkEnd(ACPI_PARSE_OBJECT * Op,UINT32 Level,void * Context)186bc36eafdSMike Gerdts AnMethodTypingWalkEnd (
187bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *Op,
188bc36eafdSMike Gerdts UINT32 Level,
189bc36eafdSMike Gerdts void *Context)
190bc36eafdSMike Gerdts {
191bc36eafdSMike Gerdts UINT32 ThisOpBtype;
192bc36eafdSMike Gerdts
193bc36eafdSMike Gerdts
194bc36eafdSMike Gerdts switch (Op->Asl.ParseOpcode)
195bc36eafdSMike Gerdts {
196bc36eafdSMike Gerdts case PARSEOP_METHOD:
197bc36eafdSMike Gerdts
198*35786f68SRobert Mustacchi Op->Asl.CompileFlags |= OP_METHOD_TYPED;
199bc36eafdSMike Gerdts break;
200bc36eafdSMike Gerdts
201bc36eafdSMike Gerdts case PARSEOP_RETURN:
202bc36eafdSMike Gerdts
203bc36eafdSMike Gerdts if ((Op->Asl.Child) &&
204bc36eafdSMike Gerdts (Op->Asl.Child->Asl.ParseOpcode != PARSEOP_DEFAULT_ARG))
205bc36eafdSMike Gerdts {
206bc36eafdSMike Gerdts ThisOpBtype = AnGetBtype (Op->Asl.Child);
207bc36eafdSMike Gerdts
208bc36eafdSMike Gerdts if ((Op->Asl.Child->Asl.ParseOpcode == PARSEOP_METHODCALL) &&
209bc36eafdSMike Gerdts (ThisOpBtype == (ACPI_UINT32_MAX -1)))
210bc36eafdSMike Gerdts {
211bc36eafdSMike Gerdts /*
212bc36eafdSMike Gerdts * The called method is untyped at this time (typically a
213bc36eafdSMike Gerdts * forward reference).
214bc36eafdSMike Gerdts *
215bc36eafdSMike Gerdts * Check for a recursive method call first. Note: the
216bc36eafdSMike Gerdts * Child->Node will be null if the method has not been
217bc36eafdSMike Gerdts * resolved.
218bc36eafdSMike Gerdts */
219bc36eafdSMike Gerdts if (Op->Asl.Child->Asl.Node &&
220bc36eafdSMike Gerdts (Op->Asl.ParentMethod != Op->Asl.Child->Asl.Node->Op))
221bc36eafdSMike Gerdts {
222bc36eafdSMike Gerdts /* We must type the method here */
223bc36eafdSMike Gerdts
224bc36eafdSMike Gerdts TrWalkParseTree (Op->Asl.Child->Asl.Node->Op,
225bc36eafdSMike Gerdts ASL_WALK_VISIT_UPWARD, NULL,
226bc36eafdSMike Gerdts AnMethodTypingWalkEnd, NULL);
227bc36eafdSMike Gerdts
228bc36eafdSMike Gerdts ThisOpBtype = AnGetBtype (Op->Asl.Child);
229bc36eafdSMike Gerdts }
230bc36eafdSMike Gerdts }
231bc36eafdSMike Gerdts
232bc36eafdSMike Gerdts /* Returns a value, save the value type */
233bc36eafdSMike Gerdts
234bc36eafdSMike Gerdts if (Op->Asl.ParentMethod)
235bc36eafdSMike Gerdts {
236bc36eafdSMike Gerdts Op->Asl.ParentMethod->Asl.AcpiBtype |= ThisOpBtype;
237bc36eafdSMike Gerdts }
238bc36eafdSMike Gerdts }
239bc36eafdSMike Gerdts break;
240bc36eafdSMike Gerdts
241bc36eafdSMike Gerdts default:
242bc36eafdSMike Gerdts
243bc36eafdSMike Gerdts break;
244bc36eafdSMike Gerdts }
245bc36eafdSMike Gerdts
246bc36eafdSMike Gerdts return (AE_OK);
247bc36eafdSMike Gerdts }
248bc36eafdSMike Gerdts
249bc36eafdSMike Gerdts
250bc36eafdSMike Gerdts /*******************************************************************************
251bc36eafdSMike Gerdts *
252bc36eafdSMike Gerdts * FUNCTION: AnOperandTypecheckWalkEnd
253bc36eafdSMike Gerdts *
254bc36eafdSMike Gerdts * PARAMETERS: ASL_WALK_CALLBACK
255bc36eafdSMike Gerdts *
256bc36eafdSMike Gerdts * RETURN: Status
257bc36eafdSMike Gerdts *
258bc36eafdSMike Gerdts * DESCRIPTION: Ascending callback for analysis walk. Complete method
259bc36eafdSMike Gerdts * return analysis.
260bc36eafdSMike Gerdts *
261bc36eafdSMike Gerdts ******************************************************************************/
262bc36eafdSMike Gerdts
263bc36eafdSMike Gerdts ACPI_STATUS
AnOperandTypecheckWalkEnd(ACPI_PARSE_OBJECT * Op,UINT32 Level,void * Context)264bc36eafdSMike Gerdts AnOperandTypecheckWalkEnd (
265bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *Op,
266bc36eafdSMike Gerdts UINT32 Level,
267bc36eafdSMike Gerdts void *Context)
268bc36eafdSMike Gerdts {
269bc36eafdSMike Gerdts const ACPI_OPCODE_INFO *OpInfo;
270bc36eafdSMike Gerdts UINT32 RuntimeArgTypes;
271bc36eafdSMike Gerdts UINT32 RuntimeArgTypes2;
272bc36eafdSMike Gerdts UINT32 RequiredBtypes;
273bc36eafdSMike Gerdts UINT32 ThisNodeBtype;
274bc36eafdSMike Gerdts UINT32 CommonBtypes;
275bc36eafdSMike Gerdts UINT32 OpcodeClass;
276bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *ArgOp;
277bc36eafdSMike Gerdts UINT32 ArgType;
278bc36eafdSMike Gerdts
279bc36eafdSMike Gerdts
280bc36eafdSMike Gerdts switch (Op->Asl.AmlOpcode)
281bc36eafdSMike Gerdts {
282bc36eafdSMike Gerdts case AML_RAW_DATA_BYTE:
283bc36eafdSMike Gerdts case AML_RAW_DATA_WORD:
284bc36eafdSMike Gerdts case AML_RAW_DATA_DWORD:
285bc36eafdSMike Gerdts case AML_RAW_DATA_QWORD:
286bc36eafdSMike Gerdts case AML_RAW_DATA_BUFFER:
287bc36eafdSMike Gerdts case AML_RAW_DATA_CHAIN:
288bc36eafdSMike Gerdts case AML_PACKAGE_LENGTH:
289bc36eafdSMike Gerdts case AML_UNASSIGNED_OPCODE:
290bc36eafdSMike Gerdts case AML_DEFAULT_ARG_OP:
291bc36eafdSMike Gerdts
292bc36eafdSMike Gerdts /* Ignore the internal (compiler-only) AML opcodes */
293bc36eafdSMike Gerdts
294bc36eafdSMike Gerdts return (AE_OK);
295bc36eafdSMike Gerdts
296bc36eafdSMike Gerdts default:
297bc36eafdSMike Gerdts
298bc36eafdSMike Gerdts break;
299bc36eafdSMike Gerdts }
300bc36eafdSMike Gerdts
301bc36eafdSMike Gerdts OpInfo = AcpiPsGetOpcodeInfo (Op->Asl.AmlOpcode);
302bc36eafdSMike Gerdts if (!OpInfo)
303bc36eafdSMike Gerdts {
304bc36eafdSMike Gerdts return (AE_OK);
305bc36eafdSMike Gerdts }
306bc36eafdSMike Gerdts
307bc36eafdSMike Gerdts ArgOp = Op->Asl.Child;
308bc36eafdSMike Gerdts OpcodeClass = OpInfo->Class;
309bc36eafdSMike Gerdts RuntimeArgTypes = OpInfo->RuntimeArgs;
310bc36eafdSMike Gerdts
311bc36eafdSMike Gerdts #ifdef ASL_ERROR_NAMED_OBJECT_IN_WHILE
312bc36eafdSMike Gerdts /*
313bc36eafdSMike Gerdts * Update 11/2008: In practice, we can't perform this check. A simple
314bc36eafdSMike Gerdts * analysis is not sufficient. Also, it can cause errors when compiling
315bc36eafdSMike Gerdts * disassembled code because of the way Switch operators are implemented
316bc36eafdSMike Gerdts * (a While(One) loop with a named temp variable created within.)
317bc36eafdSMike Gerdts */
318bc36eafdSMike Gerdts
319bc36eafdSMike Gerdts /*
320bc36eafdSMike Gerdts * If we are creating a named object, check if we are within a while loop
321bc36eafdSMike Gerdts * by checking if the parent is a WHILE op. This is a simple analysis, but
322bc36eafdSMike Gerdts * probably sufficient for many cases.
323bc36eafdSMike Gerdts *
324bc36eafdSMike Gerdts * Allow Scope(), Buffer(), and Package().
325bc36eafdSMike Gerdts */
326bc36eafdSMike Gerdts if (((OpcodeClass == AML_CLASS_NAMED_OBJECT) && (Op->Asl.AmlOpcode != AML_SCOPE_OP)) ||
327bc36eafdSMike Gerdts ((OpcodeClass == AML_CLASS_CREATE) && (OpInfo->Flags & AML_NSNODE)))
328bc36eafdSMike Gerdts {
329bc36eafdSMike Gerdts if (Op->Asl.Parent->Asl.AmlOpcode == AML_WHILE_OP)
330bc36eafdSMike Gerdts {
331bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_NAMED_OBJECT_IN_WHILE, Op, NULL);
332bc36eafdSMike Gerdts }
333bc36eafdSMike Gerdts }
334bc36eafdSMike Gerdts #endif
335bc36eafdSMike Gerdts
336bc36eafdSMike Gerdts /*
337bc36eafdSMike Gerdts * Special case for control opcodes IF/RETURN/WHILE since they
338bc36eafdSMike Gerdts * have no runtime arg list (at this time)
339bc36eafdSMike Gerdts */
340bc36eafdSMike Gerdts switch (Op->Asl.AmlOpcode)
341bc36eafdSMike Gerdts {
342bc36eafdSMike Gerdts case AML_IF_OP:
343bc36eafdSMike Gerdts case AML_WHILE_OP:
344bc36eafdSMike Gerdts case AML_RETURN_OP:
345bc36eafdSMike Gerdts
346bc36eafdSMike Gerdts if (ArgOp->Asl.ParseOpcode == PARSEOP_METHODCALL)
347bc36eafdSMike Gerdts {
348bc36eafdSMike Gerdts /* Check for an internal method */
349bc36eafdSMike Gerdts
350bc36eafdSMike Gerdts if (AnIsInternalMethod (ArgOp))
351bc36eafdSMike Gerdts {
352bc36eafdSMike Gerdts return (AE_OK);
353bc36eafdSMike Gerdts }
354bc36eafdSMike Gerdts
355bc36eafdSMike Gerdts /* The lone arg is a method call, check it */
356bc36eafdSMike Gerdts
357bc36eafdSMike Gerdts RequiredBtypes = AnMapArgTypeToBtype (ARGI_INTEGER);
358bc36eafdSMike Gerdts if (Op->Asl.AmlOpcode == AML_RETURN_OP)
359bc36eafdSMike Gerdts {
360bc36eafdSMike Gerdts RequiredBtypes = 0xFFFFFFFF;
361bc36eafdSMike Gerdts }
362bc36eafdSMike Gerdts
363bc36eafdSMike Gerdts ThisNodeBtype = AnGetBtype (ArgOp);
364bc36eafdSMike Gerdts if (ThisNodeBtype == ACPI_UINT32_MAX)
365bc36eafdSMike Gerdts {
366bc36eafdSMike Gerdts return (AE_OK);
367bc36eafdSMike Gerdts }
368bc36eafdSMike Gerdts
369bc36eafdSMike Gerdts AnCheckMethodReturnValue (Op, OpInfo, ArgOp,
370bc36eafdSMike Gerdts RequiredBtypes, ThisNodeBtype);
371bc36eafdSMike Gerdts }
372bc36eafdSMike Gerdts return (AE_OK);
373bc36eafdSMike Gerdts
374bc36eafdSMike Gerdts case AML_EXTERNAL_OP:
375bc36eafdSMike Gerdts /*
376bc36eafdSMike Gerdts * Not really a "runtime" opcode since it used by disassembler only.
377bc36eafdSMike Gerdts * The parser will find any issues with the operands.
378bc36eafdSMike Gerdts */
379bc36eafdSMike Gerdts return (AE_OK);
380bc36eafdSMike Gerdts
381bc36eafdSMike Gerdts default:
382bc36eafdSMike Gerdts
383bc36eafdSMike Gerdts break;
384bc36eafdSMike Gerdts }
385bc36eafdSMike Gerdts
386bc36eafdSMike Gerdts /* Ignore the non-executable opcodes */
387bc36eafdSMike Gerdts
388bc36eafdSMike Gerdts if (RuntimeArgTypes == ARGI_INVALID_OPCODE)
389bc36eafdSMike Gerdts {
390bc36eafdSMike Gerdts return (AE_OK);
391bc36eafdSMike Gerdts }
392bc36eafdSMike Gerdts
393bc36eafdSMike Gerdts /*
394bc36eafdSMike Gerdts * Special handling for certain opcodes.
395bc36eafdSMike Gerdts */
396bc36eafdSMike Gerdts switch (Op->Asl.AmlOpcode)
397bc36eafdSMike Gerdts {
398bc36eafdSMike Gerdts /* BankField has one TermArg */
399bc36eafdSMike Gerdts
400bc36eafdSMike Gerdts case AML_BANK_FIELD_OP:
401bc36eafdSMike Gerdts
402bc36eafdSMike Gerdts OpcodeClass = AML_CLASS_EXECUTE;
403bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
404bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
405bc36eafdSMike Gerdts break;
406bc36eafdSMike Gerdts
407bc36eafdSMike Gerdts /* Operation Region has 2 TermArgs */
408bc36eafdSMike Gerdts
409bc36eafdSMike Gerdts case AML_REGION_OP:
410bc36eafdSMike Gerdts
411bc36eafdSMike Gerdts OpcodeClass = AML_CLASS_EXECUTE;
412bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
413bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
414bc36eafdSMike Gerdts break;
415bc36eafdSMike Gerdts
416bc36eafdSMike Gerdts /* DataTableRegion has 3 TermArgs */
417bc36eafdSMike Gerdts
418bc36eafdSMike Gerdts case AML_DATA_REGION_OP:
419bc36eafdSMike Gerdts
420bc36eafdSMike Gerdts OpcodeClass = AML_CLASS_EXECUTE;
421bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
422bc36eafdSMike Gerdts break;
423bc36eafdSMike Gerdts
424bc36eafdSMike Gerdts /* Buffers/Packages have a length that is a TermArg */
425bc36eafdSMike Gerdts
426bc36eafdSMike Gerdts case AML_BUFFER_OP:
427bc36eafdSMike Gerdts case AML_PACKAGE_OP:
428*35786f68SRobert Mustacchi case AML_VARIABLE_PACKAGE_OP:
429bc36eafdSMike Gerdts
430bc36eafdSMike Gerdts /* If length is a constant, we are done */
431bc36eafdSMike Gerdts
432bc36eafdSMike Gerdts if ((ArgOp->Asl.ParseOpcode == PARSEOP_INTEGER) ||
433bc36eafdSMike Gerdts (ArgOp->Asl.ParseOpcode == PARSEOP_RAW_DATA))
434bc36eafdSMike Gerdts {
435bc36eafdSMike Gerdts return (AE_OK);
436bc36eafdSMike Gerdts }
437bc36eafdSMike Gerdts break;
438bc36eafdSMike Gerdts
439bc36eafdSMike Gerdts /* Store can write any object to the Debug object */
440bc36eafdSMike Gerdts
441bc36eafdSMike Gerdts case AML_STORE_OP:
442bc36eafdSMike Gerdts /*
443bc36eafdSMike Gerdts * If this is a Store() to the Debug object, we don't need
444bc36eafdSMike Gerdts * to perform any further validation -- because a Store of
445bc36eafdSMike Gerdts * any object to Debug is permitted and supported.
446bc36eafdSMike Gerdts */
447bc36eafdSMike Gerdts if (ArgOp->Asl.Next->Asl.AmlOpcode == AML_DEBUG_OP)
448bc36eafdSMike Gerdts {
449bc36eafdSMike Gerdts return (AE_OK);
450bc36eafdSMike Gerdts }
451bc36eafdSMike Gerdts break;
452bc36eafdSMike Gerdts
453bc36eafdSMike Gerdts default:
454bc36eafdSMike Gerdts break;
455bc36eafdSMike Gerdts }
456bc36eafdSMike Gerdts
457bc36eafdSMike Gerdts switch (OpcodeClass)
458bc36eafdSMike Gerdts {
459bc36eafdSMike Gerdts case AML_CLASS_EXECUTE:
460bc36eafdSMike Gerdts case AML_CLASS_CREATE:
461bc36eafdSMike Gerdts case AML_CLASS_CONTROL:
462bc36eafdSMike Gerdts case AML_CLASS_RETURN_VALUE:
463bc36eafdSMike Gerdts
464bc36eafdSMike Gerdts /* Reverse the runtime argument list */
465bc36eafdSMike Gerdts
466bc36eafdSMike Gerdts RuntimeArgTypes2 = 0;
467bc36eafdSMike Gerdts while ((ArgType = GET_CURRENT_ARG_TYPE (RuntimeArgTypes)))
468bc36eafdSMike Gerdts {
469bc36eafdSMike Gerdts RuntimeArgTypes2 <<= ARG_TYPE_WIDTH;
470bc36eafdSMike Gerdts RuntimeArgTypes2 |= ArgType;
471bc36eafdSMike Gerdts INCREMENT_ARG_LIST (RuntimeArgTypes);
472bc36eafdSMike Gerdts }
473bc36eafdSMike Gerdts
474bc36eafdSMike Gerdts /* Typecheck each argument */
475bc36eafdSMike Gerdts
476bc36eafdSMike Gerdts while ((ArgType = GET_CURRENT_ARG_TYPE (RuntimeArgTypes2)))
477bc36eafdSMike Gerdts {
478bc36eafdSMike Gerdts /* Get the required type(s) for the argument */
479bc36eafdSMike Gerdts
480bc36eafdSMike Gerdts RequiredBtypes = AnMapArgTypeToBtype (ArgType);
481bc36eafdSMike Gerdts
482bc36eafdSMike Gerdts if (!ArgOp)
483bc36eafdSMike Gerdts {
484bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_COMPILER_INTERNAL, Op,
485bc36eafdSMike Gerdts "Null ArgOp in argument loop");
486bc36eafdSMike Gerdts AslAbort ();
487bc36eafdSMike Gerdts }
488bc36eafdSMike Gerdts
489bc36eafdSMike Gerdts /* Get the actual type of the argument */
490bc36eafdSMike Gerdts
491bc36eafdSMike Gerdts ThisNodeBtype = AnGetBtype (ArgOp);
492bc36eafdSMike Gerdts if (ThisNodeBtype == ACPI_UINT32_MAX)
493bc36eafdSMike Gerdts {
494bc36eafdSMike Gerdts goto NextArgument;
495bc36eafdSMike Gerdts }
496bc36eafdSMike Gerdts
497bc36eafdSMike Gerdts /* Examine the arg based on the required type of the arg */
498bc36eafdSMike Gerdts
499bc36eafdSMike Gerdts switch (ArgType)
500bc36eafdSMike Gerdts {
501bc36eafdSMike Gerdts case ARGI_TARGETREF:
502bc36eafdSMike Gerdts
503bc36eafdSMike Gerdts if (ArgOp->Asl.ParseOpcode == PARSEOP_ZERO)
504bc36eafdSMike Gerdts {
505bc36eafdSMike Gerdts /* ZERO is the placeholder for "don't store result" */
506bc36eafdSMike Gerdts
507bc36eafdSMike Gerdts ThisNodeBtype = RequiredBtypes;
508bc36eafdSMike Gerdts break;
509bc36eafdSMike Gerdts }
510bc36eafdSMike Gerdts
511bc36eafdSMike Gerdts /* Fallthrough */
512bc36eafdSMike Gerdts
513bc36eafdSMike Gerdts case ARGI_STORE_TARGET:
514bc36eafdSMike Gerdts
515bc36eafdSMike Gerdts if (ArgOp->Asl.ParseOpcode == PARSEOP_INTEGER)
516bc36eafdSMike Gerdts {
517bc36eafdSMike Gerdts /*
518bc36eafdSMike Gerdts * This is the case where an original reference to a resource
519bc36eafdSMike Gerdts * descriptor field has been replaced by an (Integer) offset.
520bc36eafdSMike Gerdts * These named fields are supported at compile-time only;
521bc36eafdSMike Gerdts * the names are not passed to the interpreter (via the AML).
522bc36eafdSMike Gerdts */
523bc36eafdSMike Gerdts if ((ArgOp->Asl.Node->Type == ACPI_TYPE_LOCAL_RESOURCE_FIELD) ||
524bc36eafdSMike Gerdts (ArgOp->Asl.Node->Type == ACPI_TYPE_LOCAL_RESOURCE))
525bc36eafdSMike Gerdts {
526bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_RESOURCE_FIELD,
527bc36eafdSMike Gerdts ArgOp, NULL);
528bc36eafdSMike Gerdts }
529bc36eafdSMike Gerdts else
530bc36eafdSMike Gerdts {
531bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE,
532bc36eafdSMike Gerdts ArgOp, NULL);
533bc36eafdSMike Gerdts }
534bc36eafdSMike Gerdts }
535bc36eafdSMike Gerdts break;
536bc36eafdSMike Gerdts
537bc36eafdSMike Gerdts
538bc36eafdSMike Gerdts #ifdef __FUTURE_IMPLEMENTATION
539bc36eafdSMike Gerdts /*
540bc36eafdSMike Gerdts * Possible future typechecking support
541bc36eafdSMike Gerdts */
542bc36eafdSMike Gerdts case ARGI_REFERENCE: /* References */
543bc36eafdSMike Gerdts case ARGI_INTEGER_REF:
544bc36eafdSMike Gerdts case ARGI_OBJECT_REF:
545bc36eafdSMike Gerdts case ARGI_DEVICE_REF:
546bc36eafdSMike Gerdts
547bc36eafdSMike Gerdts switch (ArgOp->Asl.ParseOpcode)
548bc36eafdSMike Gerdts {
549bc36eafdSMike Gerdts case PARSEOP_LOCAL0:
550bc36eafdSMike Gerdts case PARSEOP_LOCAL1:
551bc36eafdSMike Gerdts case PARSEOP_LOCAL2:
552bc36eafdSMike Gerdts case PARSEOP_LOCAL3:
553bc36eafdSMike Gerdts case PARSEOP_LOCAL4:
554bc36eafdSMike Gerdts case PARSEOP_LOCAL5:
555bc36eafdSMike Gerdts case PARSEOP_LOCAL6:
556bc36eafdSMike Gerdts case PARSEOP_LOCAL7:
557bc36eafdSMike Gerdts
558bc36eafdSMike Gerdts /* TBD: implement analysis of current value (type) of the local */
559bc36eafdSMike Gerdts /* For now, just treat any local as a typematch */
560bc36eafdSMike Gerdts
561bc36eafdSMike Gerdts /*ThisNodeBtype = RequiredBtypes;*/
562bc36eafdSMike Gerdts break;
563bc36eafdSMike Gerdts
564bc36eafdSMike Gerdts case PARSEOP_ARG0:
565bc36eafdSMike Gerdts case PARSEOP_ARG1:
566bc36eafdSMike Gerdts case PARSEOP_ARG2:
567bc36eafdSMike Gerdts case PARSEOP_ARG3:
568bc36eafdSMike Gerdts case PARSEOP_ARG4:
569bc36eafdSMike Gerdts case PARSEOP_ARG5:
570bc36eafdSMike Gerdts case PARSEOP_ARG6:
571bc36eafdSMike Gerdts
572bc36eafdSMike Gerdts /* Hard to analyze argument types, so we won't */
573bc36eafdSMike Gerdts /* for now. Just treat any arg as a typematch */
574bc36eafdSMike Gerdts
575bc36eafdSMike Gerdts /* ThisNodeBtype = RequiredBtypes; */
576bc36eafdSMike Gerdts break;
577bc36eafdSMike Gerdts
578bc36eafdSMike Gerdts case PARSEOP_DEBUG:
579bc36eafdSMike Gerdts case PARSEOP_REFOF:
580bc36eafdSMike Gerdts case PARSEOP_INDEX:
581bc36eafdSMike Gerdts default:
582bc36eafdSMike Gerdts
583bc36eafdSMike Gerdts break;
584bc36eafdSMike Gerdts }
585bc36eafdSMike Gerdts break;
586bc36eafdSMike Gerdts #endif
587bc36eafdSMike Gerdts case ARGI_INTEGER:
588bc36eafdSMike Gerdts default:
589bc36eafdSMike Gerdts
590bc36eafdSMike Gerdts break;
591bc36eafdSMike Gerdts }
592bc36eafdSMike Gerdts
593bc36eafdSMike Gerdts
594bc36eafdSMike Gerdts /* Check for a type mismatch (required versus actual) */
595bc36eafdSMike Gerdts
596bc36eafdSMike Gerdts CommonBtypes = ThisNodeBtype & RequiredBtypes;
597bc36eafdSMike Gerdts
598bc36eafdSMike Gerdts if (ArgOp->Asl.ParseOpcode == PARSEOP_METHODCALL)
599bc36eafdSMike Gerdts {
600bc36eafdSMike Gerdts if (AnIsInternalMethod (ArgOp))
601bc36eafdSMike Gerdts {
602bc36eafdSMike Gerdts return (AE_OK);
603bc36eafdSMike Gerdts }
604bc36eafdSMike Gerdts
605bc36eafdSMike Gerdts /* Check a method call for a valid return value */
606bc36eafdSMike Gerdts
607bc36eafdSMike Gerdts AnCheckMethodReturnValue (Op, OpInfo, ArgOp,
608bc36eafdSMike Gerdts RequiredBtypes, ThisNodeBtype);
609bc36eafdSMike Gerdts }
610bc36eafdSMike Gerdts
611bc36eafdSMike Gerdts /*
612bc36eafdSMike Gerdts * Now check if the actual type(s) match at least one
613bc36eafdSMike Gerdts * bit to the required type
614bc36eafdSMike Gerdts */
615bc36eafdSMike Gerdts else if (!CommonBtypes)
616bc36eafdSMike Gerdts {
617bc36eafdSMike Gerdts /* No match -- this is a type mismatch error */
618bc36eafdSMike Gerdts
619bc36eafdSMike Gerdts AnFormatBtype (StringBuffer, ThisNodeBtype);
620bc36eafdSMike Gerdts AnFormatBtype (StringBuffer2, RequiredBtypes);
621bc36eafdSMike Gerdts
622bc36eafdSMike Gerdts sprintf (MsgBuffer, "[%s] found, %s operator requires [%s]",
623bc36eafdSMike Gerdts StringBuffer, OpInfo->Name, StringBuffer2);
624bc36eafdSMike Gerdts
625bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE,
626bc36eafdSMike Gerdts ArgOp, MsgBuffer);
627bc36eafdSMike Gerdts }
628bc36eafdSMike Gerdts
629bc36eafdSMike Gerdts NextArgument:
630bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
631bc36eafdSMike Gerdts INCREMENT_ARG_LIST (RuntimeArgTypes2);
632bc36eafdSMike Gerdts }
633bc36eafdSMike Gerdts break;
634bc36eafdSMike Gerdts
635bc36eafdSMike Gerdts default:
636bc36eafdSMike Gerdts
637bc36eafdSMike Gerdts break;
638bc36eafdSMike Gerdts }
639bc36eafdSMike Gerdts
640bc36eafdSMike Gerdts return (AE_OK);
641bc36eafdSMike Gerdts }
642bc36eafdSMike Gerdts
643bc36eafdSMike Gerdts
644bc36eafdSMike Gerdts /*******************************************************************************
645bc36eafdSMike Gerdts *
646bc36eafdSMike Gerdts * FUNCTION: AnOtherSemanticAnalysisWalkBegin
647bc36eafdSMike Gerdts *
648bc36eafdSMike Gerdts * PARAMETERS: ASL_WALK_CALLBACK
649bc36eafdSMike Gerdts *
650bc36eafdSMike Gerdts * RETURN: Status
651bc36eafdSMike Gerdts *
652bc36eafdSMike Gerdts * DESCRIPTION: Descending callback for the analysis walk. Checks for
653bc36eafdSMike Gerdts * miscellaneous issues in the code.
654bc36eafdSMike Gerdts *
655bc36eafdSMike Gerdts ******************************************************************************/
656bc36eafdSMike Gerdts
657bc36eafdSMike Gerdts ACPI_STATUS
AnOtherSemanticAnalysisWalkBegin(ACPI_PARSE_OBJECT * Op,UINT32 Level,void * Context)658bc36eafdSMike Gerdts AnOtherSemanticAnalysisWalkBegin (
659bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *Op,
660bc36eafdSMike Gerdts UINT32 Level,
661bc36eafdSMike Gerdts void *Context)
662bc36eafdSMike Gerdts {
663bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *ArgOp;
664bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *PrevArgOp = NULL;
665bc36eafdSMike Gerdts const ACPI_OPCODE_INFO *OpInfo;
666bc36eafdSMike Gerdts ACPI_NAMESPACE_NODE *Node;
667bc36eafdSMike Gerdts
668bc36eafdSMike Gerdts
669bc36eafdSMike Gerdts OpInfo = AcpiPsGetOpcodeInfo (Op->Asl.AmlOpcode);
670bc36eafdSMike Gerdts
671bc36eafdSMike Gerdts
672bc36eafdSMike Gerdts /*
673bc36eafdSMike Gerdts * Determine if an execution class operator actually does something by
674bc36eafdSMike Gerdts * checking if it has a target and/or the function return value is used.
675bc36eafdSMike Gerdts * (Target is optional, so a standalone statement can actually do nothing.)
676bc36eafdSMike Gerdts */
677bc36eafdSMike Gerdts if ((OpInfo->Class == AML_CLASS_EXECUTE) &&
678bc36eafdSMike Gerdts (OpInfo->Flags & AML_HAS_RETVAL) &&
679bc36eafdSMike Gerdts (!AnIsResultUsed (Op)))
680bc36eafdSMike Gerdts {
681bc36eafdSMike Gerdts if (OpInfo->Flags & AML_HAS_TARGET)
682bc36eafdSMike Gerdts {
683bc36eafdSMike Gerdts /*
684bc36eafdSMike Gerdts * Find the target node, it is always the last child. If the target
685bc36eafdSMike Gerdts * is not specified in the ASL, a default node of type Zero was
686bc36eafdSMike Gerdts * created by the parser.
687bc36eafdSMike Gerdts */
688bc36eafdSMike Gerdts ArgOp = Op->Asl.Child;
689bc36eafdSMike Gerdts while (ArgOp->Asl.Next)
690bc36eafdSMike Gerdts {
691bc36eafdSMike Gerdts PrevArgOp = ArgOp;
692bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
693bc36eafdSMike Gerdts }
694bc36eafdSMike Gerdts
695bc36eafdSMike Gerdts /* Divide() is the only weird case, it has two targets */
696bc36eafdSMike Gerdts
697bc36eafdSMike Gerdts if (Op->Asl.AmlOpcode == AML_DIVIDE_OP)
698bc36eafdSMike Gerdts {
699bc36eafdSMike Gerdts if ((ArgOp->Asl.ParseOpcode == PARSEOP_ZERO) &&
700bc36eafdSMike Gerdts (PrevArgOp) &&
701bc36eafdSMike Gerdts (PrevArgOp->Asl.ParseOpcode == PARSEOP_ZERO))
702bc36eafdSMike Gerdts {
703bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_RESULT_NOT_USED,
704bc36eafdSMike Gerdts Op, Op->Asl.ExternalName);
705bc36eafdSMike Gerdts }
706bc36eafdSMike Gerdts }
707bc36eafdSMike Gerdts
708bc36eafdSMike Gerdts else if (ArgOp->Asl.ParseOpcode == PARSEOP_ZERO)
709bc36eafdSMike Gerdts {
710bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_RESULT_NOT_USED,
711bc36eafdSMike Gerdts Op, Op->Asl.ExternalName);
712bc36eafdSMike Gerdts }
713bc36eafdSMike Gerdts }
714bc36eafdSMike Gerdts else
715bc36eafdSMike Gerdts {
716bc36eafdSMike Gerdts /*
717bc36eafdSMike Gerdts * Has no target and the result is not used. Only a couple opcodes
718bc36eafdSMike Gerdts * can have this combination.
719bc36eafdSMike Gerdts */
720bc36eafdSMike Gerdts switch (Op->Asl.ParseOpcode)
721bc36eafdSMike Gerdts {
722bc36eafdSMike Gerdts case PARSEOP_ACQUIRE:
723bc36eafdSMike Gerdts case PARSEOP_WAIT:
724bc36eafdSMike Gerdts case PARSEOP_LOADTABLE:
725bc36eafdSMike Gerdts
726bc36eafdSMike Gerdts break;
727bc36eafdSMike Gerdts
728bc36eafdSMike Gerdts default:
729bc36eafdSMike Gerdts
730bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_RESULT_NOT_USED,
731bc36eafdSMike Gerdts Op, Op->Asl.ExternalName);
732bc36eafdSMike Gerdts break;
733bc36eafdSMike Gerdts }
734bc36eafdSMike Gerdts }
735bc36eafdSMike Gerdts }
736bc36eafdSMike Gerdts
737bc36eafdSMike Gerdts
738bc36eafdSMike Gerdts /*
739bc36eafdSMike Gerdts * Semantic checks for individual ASL operators
740bc36eafdSMike Gerdts */
741bc36eafdSMike Gerdts switch (Op->Asl.ParseOpcode)
742bc36eafdSMike Gerdts {
743bc36eafdSMike Gerdts case PARSEOP_STORE:
744bc36eafdSMike Gerdts
745bc36eafdSMike Gerdts if (Gbl_DoTypechecking)
746bc36eafdSMike Gerdts {
747bc36eafdSMike Gerdts AnAnalyzeStoreOperator (Op);
748bc36eafdSMike Gerdts }
749bc36eafdSMike Gerdts break;
750bc36eafdSMike Gerdts
751bc36eafdSMike Gerdts
752bc36eafdSMike Gerdts case PARSEOP_ACQUIRE:
753bc36eafdSMike Gerdts case PARSEOP_WAIT:
754bc36eafdSMike Gerdts /*
755bc36eafdSMike Gerdts * Emit a warning if the timeout parameter for these operators is not
756bc36eafdSMike Gerdts * ACPI_WAIT_FOREVER, and the result value from the operator is not
757bc36eafdSMike Gerdts * checked, meaning that a timeout could happen, but the code
758bc36eafdSMike Gerdts * would not know about it.
759bc36eafdSMike Gerdts */
760bc36eafdSMike Gerdts
761bc36eafdSMike Gerdts /* First child is the namepath, 2nd child is timeout */
762bc36eafdSMike Gerdts
763bc36eafdSMike Gerdts ArgOp = Op->Asl.Child;
764bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
765bc36eafdSMike Gerdts
766bc36eafdSMike Gerdts /*
767bc36eafdSMike Gerdts * Check for the WAIT_FOREVER case - defined by the ACPI spec to be
768bc36eafdSMike Gerdts * 0xFFFF or greater
769bc36eafdSMike Gerdts */
770bc36eafdSMike Gerdts if (((ArgOp->Asl.ParseOpcode == PARSEOP_WORDCONST) ||
771bc36eafdSMike Gerdts (ArgOp->Asl.ParseOpcode == PARSEOP_INTEGER)) &&
772bc36eafdSMike Gerdts (ArgOp->Asl.Value.Integer >= (UINT64) ACPI_WAIT_FOREVER))
773bc36eafdSMike Gerdts {
774bc36eafdSMike Gerdts break;
775bc36eafdSMike Gerdts }
776bc36eafdSMike Gerdts
777bc36eafdSMike Gerdts /*
778bc36eafdSMike Gerdts * The operation could timeout. If the return value is not used
779bc36eafdSMike Gerdts * (indicates timeout occurred), issue a warning
780bc36eafdSMike Gerdts */
781bc36eafdSMike Gerdts if (!AnIsResultUsed (Op))
782bc36eafdSMike Gerdts {
783bc36eafdSMike Gerdts AslError (ASL_WARNING, ASL_MSG_TIMEOUT, ArgOp,
784bc36eafdSMike Gerdts Op->Asl.ExternalName);
785bc36eafdSMike Gerdts }
786bc36eafdSMike Gerdts break;
787bc36eafdSMike Gerdts
788bc36eafdSMike Gerdts case PARSEOP_CREATEFIELD:
789bc36eafdSMike Gerdts /*
790bc36eafdSMike Gerdts * Check for a zero Length (NumBits) operand. NumBits is the 3rd operand
791bc36eafdSMike Gerdts */
792bc36eafdSMike Gerdts ArgOp = Op->Asl.Child;
793bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
794bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
795bc36eafdSMike Gerdts
796bc36eafdSMike Gerdts if ((ArgOp->Asl.ParseOpcode == PARSEOP_ZERO) ||
797bc36eafdSMike Gerdts ((ArgOp->Asl.ParseOpcode == PARSEOP_INTEGER) &&
798bc36eafdSMike Gerdts (ArgOp->Asl.Value.Integer == 0)))
799bc36eafdSMike Gerdts {
800bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_NON_ZERO, ArgOp, NULL);
801bc36eafdSMike Gerdts }
802bc36eafdSMike Gerdts break;
803bc36eafdSMike Gerdts
804bc36eafdSMike Gerdts case PARSEOP_CONNECTION:
805bc36eafdSMike Gerdts /*
806bc36eafdSMike Gerdts * Ensure that the referenced operation region has the correct SPACE_ID.
807bc36eafdSMike Gerdts * From the grammar/parser, we know the parent is a FIELD definition.
808bc36eafdSMike Gerdts */
809bc36eafdSMike Gerdts ArgOp = Op->Asl.Parent; /* Field definition */
810bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Child; /* First child is the OpRegion Name */
811bc36eafdSMike Gerdts Node = ArgOp->Asl.Node; /* OpRegion namespace node */
812bc36eafdSMike Gerdts if (!Node)
813bc36eafdSMike Gerdts {
814bc36eafdSMike Gerdts break;
815bc36eafdSMike Gerdts }
816bc36eafdSMike Gerdts
817bc36eafdSMike Gerdts ArgOp = Node->Op; /* OpRegion definition */
818bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Child; /* First child is the OpRegion Name */
819bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* Next peer is the SPACE_ID (what we want) */
820bc36eafdSMike Gerdts
821bc36eafdSMike Gerdts /*
822bc36eafdSMike Gerdts * The Connection() operator is only valid for the following operation
823bc36eafdSMike Gerdts * region SpaceIds: GeneralPurposeIo and GenericSerialBus.
824bc36eafdSMike Gerdts */
825bc36eafdSMike Gerdts if ((ArgOp->Asl.Value.Integer != ACPI_ADR_SPACE_GPIO) &&
826bc36eafdSMike Gerdts (ArgOp->Asl.Value.Integer != ACPI_ADR_SPACE_GSBUS))
827bc36eafdSMike Gerdts {
828bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_CONNECTION_INVALID, Op, NULL);
829bc36eafdSMike Gerdts }
830bc36eafdSMike Gerdts break;
831bc36eafdSMike Gerdts
832bc36eafdSMike Gerdts case PARSEOP_FIELD:
833bc36eafdSMike Gerdts /*
834bc36eafdSMike Gerdts * Ensure that fields for GeneralPurposeIo and GenericSerialBus
835bc36eafdSMike Gerdts * contain at least one Connection() operator
836bc36eafdSMike Gerdts */
837bc36eafdSMike Gerdts ArgOp = Op->Asl.Child; /* 1st child is the OpRegion Name */
838bc36eafdSMike Gerdts Node = ArgOp->Asl.Node; /* OpRegion namespace node */
839bc36eafdSMike Gerdts if (!Node)
840bc36eafdSMike Gerdts {
841bc36eafdSMike Gerdts break;
842bc36eafdSMike Gerdts }
843bc36eafdSMike Gerdts
844bc36eafdSMike Gerdts ArgOp = Node->Op; /* OpRegion definition */
845bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Child; /* First child is the OpRegion Name */
846bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* Next peer is the SPACE_ID (what we want) */
847bc36eafdSMike Gerdts
848bc36eafdSMike Gerdts /* We are only interested in GeneralPurposeIo and GenericSerialBus */
849bc36eafdSMike Gerdts
850bc36eafdSMike Gerdts if ((ArgOp->Asl.Value.Integer != ACPI_ADR_SPACE_GPIO) &&
851bc36eafdSMike Gerdts (ArgOp->Asl.Value.Integer != ACPI_ADR_SPACE_GSBUS))
852bc36eafdSMike Gerdts {
853bc36eafdSMike Gerdts break;
854bc36eafdSMike Gerdts }
855bc36eafdSMike Gerdts
856bc36eafdSMike Gerdts ArgOp = Op->Asl.Child; /* 1st child is the OpRegion Name */
857bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* AccessType */
858bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* LockRule */
859bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* UpdateRule */
860bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next; /* Start of FieldUnitList */
861bc36eafdSMike Gerdts
862bc36eafdSMike Gerdts /* Walk the FieldUnitList */
863bc36eafdSMike Gerdts
864bc36eafdSMike Gerdts while (ArgOp)
865bc36eafdSMike Gerdts {
866bc36eafdSMike Gerdts if (ArgOp->Asl.ParseOpcode == PARSEOP_CONNECTION)
867bc36eafdSMike Gerdts {
868bc36eafdSMike Gerdts break;
869bc36eafdSMike Gerdts }
870bc36eafdSMike Gerdts else if (ArgOp->Asl.ParseOpcode == PARSEOP_NAMESEG)
871bc36eafdSMike Gerdts {
872bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_CONNECTION_MISSING, ArgOp, NULL);
873bc36eafdSMike Gerdts break;
874bc36eafdSMike Gerdts }
875bc36eafdSMike Gerdts
876bc36eafdSMike Gerdts ArgOp = ArgOp->Asl.Next;
877bc36eafdSMike Gerdts }
878bc36eafdSMike Gerdts break;
879bc36eafdSMike Gerdts
880bc36eafdSMike Gerdts default:
881bc36eafdSMike Gerdts
882bc36eafdSMike Gerdts break;
883bc36eafdSMike Gerdts }
884bc36eafdSMike Gerdts
885bc36eafdSMike Gerdts return (AE_OK);
886bc36eafdSMike Gerdts }
887bc36eafdSMike Gerdts
888bc36eafdSMike Gerdts
889bc36eafdSMike Gerdts /*******************************************************************************
890bc36eafdSMike Gerdts *
891bc36eafdSMike Gerdts * FUNCTION: AnAnalyzeStoreOperator
892bc36eafdSMike Gerdts *
893bc36eafdSMike Gerdts * PARAMETERS: Op - Store() operator
894bc36eafdSMike Gerdts *
895bc36eafdSMike Gerdts * RETURN: None
896bc36eafdSMike Gerdts *
897bc36eafdSMike Gerdts * DESCRIPTION: Analyze a store operator. Mostly for stores to/from package
898bc36eafdSMike Gerdts * objects where there are more restrictions than other data
899bc36eafdSMike Gerdts * types.
900bc36eafdSMike Gerdts *
901bc36eafdSMike Gerdts ******************************************************************************/
902bc36eafdSMike Gerdts
903bc36eafdSMike Gerdts static void
AnAnalyzeStoreOperator(ACPI_PARSE_OBJECT * Op)904bc36eafdSMike Gerdts AnAnalyzeStoreOperator (
905bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *Op)
906bc36eafdSMike Gerdts {
907bc36eafdSMike Gerdts ACPI_NAMESPACE_NODE *SourceNode;
908bc36eafdSMike Gerdts ACPI_NAMESPACE_NODE *TargetNode;
909bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *SourceOperandOp;
910bc36eafdSMike Gerdts ACPI_PARSE_OBJECT *TargetOperandOp;
911bc36eafdSMike Gerdts UINT32 SourceOperandBtype;
912bc36eafdSMike Gerdts UINT32 TargetOperandBtype;
913bc36eafdSMike Gerdts
914bc36eafdSMike Gerdts
915bc36eafdSMike Gerdts /* Extract the two operands for STORE */
916bc36eafdSMike Gerdts
917bc36eafdSMike Gerdts SourceOperandOp = Op->Asl.Child;
918bc36eafdSMike Gerdts TargetOperandOp = SourceOperandOp->Asl.Next;
919bc36eafdSMike Gerdts
920bc36eafdSMike Gerdts /*
921bc36eafdSMike Gerdts * Ignore these Source operand opcodes, they cannot be typechecked,
922bc36eafdSMike Gerdts * the actual result is unknown here.
923bc36eafdSMike Gerdts */
924bc36eafdSMike Gerdts switch (SourceOperandOp->Asl.ParseOpcode)
925bc36eafdSMike Gerdts {
926bc36eafdSMike Gerdts /* For these, type of the returned value is unknown at compile time */
927bc36eafdSMike Gerdts
928bc36eafdSMike Gerdts case PARSEOP_DEREFOF:
929bc36eafdSMike Gerdts case PARSEOP_METHODCALL:
930bc36eafdSMike Gerdts case PARSEOP_STORE:
931bc36eafdSMike Gerdts case PARSEOP_COPYOBJECT:
932bc36eafdSMike Gerdts
933bc36eafdSMike Gerdts return;
934bc36eafdSMike Gerdts
935bc36eafdSMike Gerdts case PARSEOP_INDEX:
936bc36eafdSMike Gerdts case PARSEOP_REFOF:
937bc36eafdSMike Gerdts
938bc36eafdSMike Gerdts if (!Gbl_EnableReferenceTypechecking)
939bc36eafdSMike Gerdts {
940bc36eafdSMike Gerdts return;
941bc36eafdSMike Gerdts }
942bc36eafdSMike Gerdts
943bc36eafdSMike Gerdts /*
944bc36eafdSMike Gerdts * These opcodes always return an object reference, and thus
945bc36eafdSMike Gerdts * the result can only be stored to a Local, Arg, or Debug.
946bc36eafdSMike Gerdts */
947bc36eafdSMike Gerdts if (TargetOperandOp->Asl.AmlOpcode == AML_DEBUG_OP)
948bc36eafdSMike Gerdts {
949bc36eafdSMike Gerdts return;
950bc36eafdSMike Gerdts }
951bc36eafdSMike Gerdts
952bc36eafdSMike Gerdts if ((TargetOperandOp->Asl.AmlOpcode < AML_LOCAL0) ||
953bc36eafdSMike Gerdts (TargetOperandOp->Asl.AmlOpcode > AML_ARG6))
954bc36eafdSMike Gerdts {
955bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, TargetOperandOp,
956bc36eafdSMike Gerdts "Source [Reference], Target must be [Local/Arg/Debug]");
957bc36eafdSMike Gerdts }
958bc36eafdSMike Gerdts return;
959bc36eafdSMike Gerdts
960bc36eafdSMike Gerdts default:
961bc36eafdSMike Gerdts break;
962bc36eafdSMike Gerdts }
963bc36eafdSMike Gerdts
964bc36eafdSMike Gerdts /*
965bc36eafdSMike Gerdts * Ignore these Target operand opcodes, they cannot be typechecked
966bc36eafdSMike Gerdts */
967bc36eafdSMike Gerdts switch (TargetOperandOp->Asl.ParseOpcode)
968bc36eafdSMike Gerdts {
969bc36eafdSMike Gerdts case PARSEOP_DEBUG:
970bc36eafdSMike Gerdts case PARSEOP_DEREFOF:
971bc36eafdSMike Gerdts case PARSEOP_REFOF:
972bc36eafdSMike Gerdts case PARSEOP_INDEX:
973*35786f68SRobert Mustacchi case PARSEOP_STORE:
974bc36eafdSMike Gerdts
975bc36eafdSMike Gerdts return;
976bc36eafdSMike Gerdts
977bc36eafdSMike Gerdts default:
978bc36eafdSMike Gerdts break;
979bc36eafdSMike Gerdts }
980bc36eafdSMike Gerdts
981bc36eafdSMike Gerdts /*
982bc36eafdSMike Gerdts * Ignore typecheck for External() operands of type "UnknownObj",
983bc36eafdSMike Gerdts * we don't know the actual type (source or target).
984bc36eafdSMike Gerdts */
985bc36eafdSMike Gerdts SourceNode = SourceOperandOp->Asl.Node;
986bc36eafdSMike Gerdts if (SourceNode &&
987bc36eafdSMike Gerdts (SourceNode->Flags & ANOBJ_IS_EXTERNAL) &&
988bc36eafdSMike Gerdts (SourceNode->Type == ACPI_TYPE_ANY))
989bc36eafdSMike Gerdts {
990bc36eafdSMike Gerdts return;
991bc36eafdSMike Gerdts }
992bc36eafdSMike Gerdts
993bc36eafdSMike Gerdts TargetNode = TargetOperandOp->Asl.Node;
994bc36eafdSMike Gerdts if (TargetNode &&
995bc36eafdSMike Gerdts (TargetNode->Flags & ANOBJ_IS_EXTERNAL) &&
996bc36eafdSMike Gerdts (TargetNode->Type == ACPI_TYPE_ANY))
997bc36eafdSMike Gerdts {
998bc36eafdSMike Gerdts return;
999bc36eafdSMike Gerdts }
1000bc36eafdSMike Gerdts
1001bc36eafdSMike Gerdts /*
1002bc36eafdSMike Gerdts * A NULL node with a namepath AML opcode indicates non-existent
1003bc36eafdSMike Gerdts * name. Just return, the error message is generated elsewhere.
1004bc36eafdSMike Gerdts */
1005bc36eafdSMike Gerdts if ((!SourceNode && (SourceOperandOp->Asl.AmlOpcode == AML_INT_NAMEPATH_OP)) ||
1006bc36eafdSMike Gerdts (!TargetNode && (TargetOperandOp->Asl.AmlOpcode == AML_INT_NAMEPATH_OP)))
1007bc36eafdSMike Gerdts {
1008bc36eafdSMike Gerdts return;
1009bc36eafdSMike Gerdts }
1010bc36eafdSMike Gerdts
1011bc36eafdSMike Gerdts /*
1012bc36eafdSMike Gerdts * Simple check for source same as target via NS node.
1013bc36eafdSMike Gerdts * -- Could be expanded to locals and args.
1014bc36eafdSMike Gerdts */
1015bc36eafdSMike Gerdts if (SourceNode && TargetNode)
1016bc36eafdSMike Gerdts {
1017bc36eafdSMike Gerdts if (SourceNode == TargetNode)
1018bc36eafdSMike Gerdts {
1019bc36eafdSMike Gerdts AslError (ASL_WARNING, ASL_MSG_DUPLICATE_ITEM,
1020bc36eafdSMike Gerdts TargetOperandOp, "Source is the same as Target");
1021bc36eafdSMike Gerdts return;
1022bc36eafdSMike Gerdts }
1023bc36eafdSMike Gerdts }
1024bc36eafdSMike Gerdts
1025bc36eafdSMike Gerdts /* Ignore typecheck if either source or target is a local or arg */
1026bc36eafdSMike Gerdts
1027bc36eafdSMike Gerdts if ((SourceOperandOp->Asl.AmlOpcode >= AML_LOCAL0) &&
1028bc36eafdSMike Gerdts (SourceOperandOp->Asl.AmlOpcode <= AML_ARG6))
1029bc36eafdSMike Gerdts {
1030bc36eafdSMike Gerdts return; /* Cannot type a local/arg at compile time */
1031bc36eafdSMike Gerdts }
1032bc36eafdSMike Gerdts
1033bc36eafdSMike Gerdts if ((TargetOperandOp->Asl.AmlOpcode >= AML_LOCAL0) &&
1034bc36eafdSMike Gerdts (TargetOperandOp->Asl.AmlOpcode <= AML_ARG6))
1035bc36eafdSMike Gerdts {
1036bc36eafdSMike Gerdts return; /* Cannot type a local/arg at compile time */
1037bc36eafdSMike Gerdts }
1038bc36eafdSMike Gerdts
1039bc36eafdSMike Gerdts /*
1040bc36eafdSMike Gerdts * Package objects are a special case because they cannot by implicitly
1041bc36eafdSMike Gerdts * converted to/from anything. Check for these two illegal cases:
1042bc36eafdSMike Gerdts *
1043bc36eafdSMike Gerdts * Store (non-package, package)
1044bc36eafdSMike Gerdts * Store (package, non-package)
1045bc36eafdSMike Gerdts */
1046bc36eafdSMike Gerdts SourceOperandBtype = AnGetBtype (SourceOperandOp);
1047bc36eafdSMike Gerdts TargetOperandBtype = AnGetBtype (TargetOperandOp);
1048bc36eafdSMike Gerdts
1049bc36eafdSMike Gerdts /* Check source first for (package, non-package) case */
1050bc36eafdSMike Gerdts
1051bc36eafdSMike Gerdts if (SourceOperandBtype & ACPI_BTYPE_PACKAGE)
1052bc36eafdSMike Gerdts {
1053bc36eafdSMike Gerdts /* If Source is PACKAGE-->Target must be PACKAGE */
1054bc36eafdSMike Gerdts
1055bc36eafdSMike Gerdts if (!(TargetOperandBtype & ACPI_BTYPE_PACKAGE))
1056bc36eafdSMike Gerdts {
1057bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, TargetOperandOp,
1058bc36eafdSMike Gerdts "Source is [Package], Target must be a package also");
1059bc36eafdSMike Gerdts }
1060bc36eafdSMike Gerdts }
1061bc36eafdSMike Gerdts
1062bc36eafdSMike Gerdts /* Else check target for (non-package, package) case */
1063bc36eafdSMike Gerdts
1064bc36eafdSMike Gerdts else if (TargetOperandBtype & ACPI_BTYPE_PACKAGE)
1065bc36eafdSMike Gerdts {
1066bc36eafdSMike Gerdts /* If Target is PACKAGE, Source must be PACKAGE */
1067bc36eafdSMike Gerdts
1068bc36eafdSMike Gerdts if (!(SourceOperandBtype & ACPI_BTYPE_PACKAGE))
1069bc36eafdSMike Gerdts {
1070bc36eafdSMike Gerdts AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, SourceOperandOp,
1071bc36eafdSMike Gerdts "Target is [Package], Source must be a package also");
1072bc36eafdSMike Gerdts }
1073bc36eafdSMike Gerdts }
1074bc36eafdSMike Gerdts }
1075