aslanalyze.c revision 1.1.1.2.2.2 1 1.1.1.2.2.2 bouyer /******************************************************************************
2 1.1.1.2.2.2 bouyer *
3 1.1.1.2.2.2 bouyer * Module Name: aslanalyze.c - Support functions for parse tree walks
4 1.1.1.2.2.2 bouyer *
5 1.1.1.2.2.2 bouyer *****************************************************************************/
6 1.1.1.2.2.2 bouyer
7 1.1.1.2.2.2 bouyer /*
8 1.1.1.2.2.2 bouyer * Copyright (C) 2000 - 2011, Intel Corp.
9 1.1.1.2.2.2 bouyer * All rights reserved.
10 1.1.1.2.2.2 bouyer *
11 1.1.1.2.2.2 bouyer * Redistribution and use in source and binary forms, with or without
12 1.1.1.2.2.2 bouyer * modification, are permitted provided that the following conditions
13 1.1.1.2.2.2 bouyer * are met:
14 1.1.1.2.2.2 bouyer * 1. Redistributions of source code must retain the above copyright
15 1.1.1.2.2.2 bouyer * notice, this list of conditions, and the following disclaimer,
16 1.1.1.2.2.2 bouyer * without modification.
17 1.1.1.2.2.2 bouyer * 2. Redistributions in binary form must reproduce at minimum a disclaimer
18 1.1.1.2.2.2 bouyer * substantially similar to the "NO WARRANTY" disclaimer below
19 1.1.1.2.2.2 bouyer * ("Disclaimer") and any redistribution must be conditioned upon
20 1.1.1.2.2.2 bouyer * including a substantially similar Disclaimer requirement for further
21 1.1.1.2.2.2 bouyer * binary redistribution.
22 1.1.1.2.2.2 bouyer * 3. Neither the names of the above-listed copyright holders nor the names
23 1.1.1.2.2.2 bouyer * of any contributors may be used to endorse or promote products derived
24 1.1.1.2.2.2 bouyer * from this software without specific prior written permission.
25 1.1.1.2.2.2 bouyer *
26 1.1.1.2.2.2 bouyer * Alternatively, this software may be distributed under the terms of the
27 1.1.1.2.2.2 bouyer * GNU General Public License ("GPL") version 2 as published by the Free
28 1.1.1.2.2.2 bouyer * Software Foundation.
29 1.1.1.2.2.2 bouyer *
30 1.1.1.2.2.2 bouyer * NO WARRANTY
31 1.1.1.2.2.2 bouyer * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
32 1.1.1.2.2.2 bouyer * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
33 1.1.1.2.2.2 bouyer * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
34 1.1.1.2.2.2 bouyer * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
35 1.1.1.2.2.2 bouyer * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
36 1.1.1.2.2.2 bouyer * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
37 1.1.1.2.2.2 bouyer * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
38 1.1.1.2.2.2 bouyer * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
39 1.1.1.2.2.2 bouyer * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
40 1.1.1.2.2.2 bouyer * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
41 1.1.1.2.2.2 bouyer * POSSIBILITY OF SUCH DAMAGES.
42 1.1.1.2.2.2 bouyer */
43 1.1.1.2.2.2 bouyer
44 1.1.1.2.2.2 bouyer
45 1.1.1.2.2.2 bouyer #include "aslcompiler.h"
46 1.1.1.2.2.2 bouyer #include "aslcompiler.y.h"
47 1.1.1.2.2.2 bouyer #include <string.h>
48 1.1.1.2.2.2 bouyer
49 1.1.1.2.2.2 bouyer
50 1.1.1.2.2.2 bouyer #define _COMPONENT ACPI_COMPILER
51 1.1.1.2.2.2 bouyer ACPI_MODULE_NAME ("aslanalyze")
52 1.1.1.2.2.2 bouyer
53 1.1.1.2.2.2 bouyer
54 1.1.1.2.2.2 bouyer /*******************************************************************************
55 1.1.1.2.2.2 bouyer *
56 1.1.1.2.2.2 bouyer * FUNCTION: AnIsInternalMethod
57 1.1.1.2.2.2 bouyer *
58 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Current op
59 1.1.1.2.2.2 bouyer *
60 1.1.1.2.2.2 bouyer * RETURN: Boolean
61 1.1.1.2.2.2 bouyer *
62 1.1.1.2.2.2 bouyer * DESCRIPTION: Check for an internal control method.
63 1.1.1.2.2.2 bouyer *
64 1.1.1.2.2.2 bouyer ******************************************************************************/
65 1.1.1.2.2.2 bouyer
66 1.1.1.2.2.2 bouyer BOOLEAN
67 1.1.1.2.2.2 bouyer AnIsInternalMethod (
68 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op)
69 1.1.1.2.2.2 bouyer {
70 1.1.1.2.2.2 bouyer
71 1.1.1.2.2.2 bouyer if ((!ACPI_STRCMP (Op->Asl.ExternalName, "\\_OSI")) ||
72 1.1.1.2.2.2 bouyer (!ACPI_STRCMP (Op->Asl.ExternalName, "_OSI")))
73 1.1.1.2.2.2 bouyer {
74 1.1.1.2.2.2 bouyer return (TRUE);
75 1.1.1.2.2.2 bouyer }
76 1.1.1.2.2.2 bouyer
77 1.1.1.2.2.2 bouyer return (FALSE);
78 1.1.1.2.2.2 bouyer }
79 1.1.1.2.2.2 bouyer
80 1.1.1.2.2.2 bouyer
81 1.1.1.2.2.2 bouyer /*******************************************************************************
82 1.1.1.2.2.2 bouyer *
83 1.1.1.2.2.2 bouyer * FUNCTION: AnGetInternalMethodReturnType
84 1.1.1.2.2.2 bouyer *
85 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Current op
86 1.1.1.2.2.2 bouyer *
87 1.1.1.2.2.2 bouyer * RETURN: Btype
88 1.1.1.2.2.2 bouyer *
89 1.1.1.2.2.2 bouyer * DESCRIPTION: Get the return type of an internal method
90 1.1.1.2.2.2 bouyer *
91 1.1.1.2.2.2 bouyer ******************************************************************************/
92 1.1.1.2.2.2 bouyer
93 1.1.1.2.2.2 bouyer UINT32
94 1.1.1.2.2.2 bouyer AnGetInternalMethodReturnType (
95 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op)
96 1.1.1.2.2.2 bouyer {
97 1.1.1.2.2.2 bouyer
98 1.1.1.2.2.2 bouyer if ((!ACPI_STRCMP (Op->Asl.ExternalName, "\\_OSI")) ||
99 1.1.1.2.2.2 bouyer (!ACPI_STRCMP (Op->Asl.ExternalName, "_OSI")))
100 1.1.1.2.2.2 bouyer {
101 1.1.1.2.2.2 bouyer return (ACPI_BTYPE_STRING);
102 1.1.1.2.2.2 bouyer }
103 1.1.1.2.2.2 bouyer
104 1.1.1.2.2.2 bouyer return (0);
105 1.1.1.2.2.2 bouyer }
106 1.1.1.2.2.2 bouyer
107 1.1.1.2.2.2 bouyer
108 1.1.1.2.2.2 bouyer /*******************************************************************************
109 1.1.1.2.2.2 bouyer *
110 1.1.1.2.2.2 bouyer * FUNCTION: AnCheckId
111 1.1.1.2.2.2 bouyer *
112 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Current parse op
113 1.1.1.2.2.2 bouyer * Type - HID or CID
114 1.1.1.2.2.2 bouyer *
115 1.1.1.2.2.2 bouyer * RETURN: None
116 1.1.1.2.2.2 bouyer *
117 1.1.1.2.2.2 bouyer * DESCRIPTION: Perform various checks on _HID and _CID strings. Only limited
118 1.1.1.2.2.2 bouyer * checks can be performed on _CID strings.
119 1.1.1.2.2.2 bouyer *
120 1.1.1.2.2.2 bouyer ******************************************************************************/
121 1.1.1.2.2.2 bouyer
122 1.1.1.2.2.2 bouyer void
123 1.1.1.2.2.2 bouyer AnCheckId (
124 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op,
125 1.1.1.2.2.2 bouyer ACPI_NAME Type)
126 1.1.1.2.2.2 bouyer {
127 1.1.1.2.2.2 bouyer UINT32 i;
128 1.1.1.2.2.2 bouyer ACPI_SIZE Length;
129 1.1.1.2.2.2 bouyer UINT32 AlphaPrefixLength;
130 1.1.1.2.2.2 bouyer
131 1.1.1.2.2.2 bouyer
132 1.1.1.2.2.2 bouyer /* Only care about string versions of _HID/_CID (integers are legal) */
133 1.1.1.2.2.2 bouyer
134 1.1.1.2.2.2 bouyer if (Op->Asl.ParseOpcode != PARSEOP_STRING_LITERAL)
135 1.1.1.2.2.2 bouyer {
136 1.1.1.2.2.2 bouyer return;
137 1.1.1.2.2.2 bouyer }
138 1.1.1.2.2.2 bouyer
139 1.1.1.2.2.2 bouyer /* For both _HID and _CID, the string must be non-null */
140 1.1.1.2.2.2 bouyer
141 1.1.1.2.2.2 bouyer Length = strlen (Op->Asl.Value.String);
142 1.1.1.2.2.2 bouyer if (!Length)
143 1.1.1.2.2.2 bouyer {
144 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_NULL_STRING,
145 1.1.1.2.2.2 bouyer Op, NULL);
146 1.1.1.2.2.2 bouyer return;
147 1.1.1.2.2.2 bouyer }
148 1.1.1.2.2.2 bouyer
149 1.1.1.2.2.2 bouyer /*
150 1.1.1.2.2.2 bouyer * One of the things we want to catch here is the use of a leading
151 1.1.1.2.2.2 bouyer * asterisk in the string -- an odd construct that certain platform
152 1.1.1.2.2.2 bouyer * manufacturers are fond of. Technically, a leading asterisk is OK
153 1.1.1.2.2.2 bouyer * for _CID, but a valid use of this has not been seen.
154 1.1.1.2.2.2 bouyer */
155 1.1.1.2.2.2 bouyer if (*Op->Asl.Value.String == '*')
156 1.1.1.2.2.2 bouyer {
157 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_LEADING_ASTERISK,
158 1.1.1.2.2.2 bouyer Op, Op->Asl.Value.String);
159 1.1.1.2.2.2 bouyer return;
160 1.1.1.2.2.2 bouyer }
161 1.1.1.2.2.2 bouyer
162 1.1.1.2.2.2 bouyer /* _CID strings are bus-specific, no more checks can be performed */
163 1.1.1.2.2.2 bouyer
164 1.1.1.2.2.2 bouyer if (Type == ASL_TYPE_CID)
165 1.1.1.2.2.2 bouyer {
166 1.1.1.2.2.2 bouyer return;
167 1.1.1.2.2.2 bouyer }
168 1.1.1.2.2.2 bouyer
169 1.1.1.2.2.2 bouyer /* For _HID, all characters must be alphanumeric */
170 1.1.1.2.2.2 bouyer
171 1.1.1.2.2.2 bouyer for (i = 0; Op->Asl.Value.String[i]; i++)
172 1.1.1.2.2.2 bouyer {
173 1.1.1.2.2.2 bouyer if (!isalnum ((int) Op->Asl.Value.String[i]))
174 1.1.1.2.2.2 bouyer {
175 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_ALPHANUMERIC_STRING,
176 1.1.1.2.2.2 bouyer Op, Op->Asl.Value.String);
177 1.1.1.2.2.2 bouyer break;
178 1.1.1.2.2.2 bouyer }
179 1.1.1.2.2.2 bouyer }
180 1.1.1.2.2.2 bouyer
181 1.1.1.2.2.2 bouyer /* _HID String must be of the form "XXX####" or "ACPI####" */
182 1.1.1.2.2.2 bouyer
183 1.1.1.2.2.2 bouyer if ((Length < 7) || (Length > 8))
184 1.1.1.2.2.2 bouyer {
185 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_HID_LENGTH,
186 1.1.1.2.2.2 bouyer Op, Op->Asl.Value.String);
187 1.1.1.2.2.2 bouyer return;
188 1.1.1.2.2.2 bouyer }
189 1.1.1.2.2.2 bouyer
190 1.1.1.2.2.2 bouyer /* _HID Length is valid, now check for uppercase (first 3 or 4 chars) */
191 1.1.1.2.2.2 bouyer
192 1.1.1.2.2.2 bouyer AlphaPrefixLength = 3;
193 1.1.1.2.2.2 bouyer if (Length >= 8)
194 1.1.1.2.2.2 bouyer {
195 1.1.1.2.2.2 bouyer AlphaPrefixLength = 4;
196 1.1.1.2.2.2 bouyer }
197 1.1.1.2.2.2 bouyer
198 1.1.1.2.2.2 bouyer /* Ensure the alphabetic prefix is all uppercase */
199 1.1.1.2.2.2 bouyer
200 1.1.1.2.2.2 bouyer for (i = 0; (i < AlphaPrefixLength) && Op->Asl.Value.String[i]; i++)
201 1.1.1.2.2.2 bouyer {
202 1.1.1.2.2.2 bouyer if (!isupper ((int) Op->Asl.Value.String[i]))
203 1.1.1.2.2.2 bouyer {
204 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_UPPER_CASE,
205 1.1.1.2.2.2 bouyer Op, &Op->Asl.Value.String[i]);
206 1.1.1.2.2.2 bouyer break;
207 1.1.1.2.2.2 bouyer }
208 1.1.1.2.2.2 bouyer }
209 1.1.1.2.2.2 bouyer }
210 1.1.1.2.2.2 bouyer
211 1.1.1.2.2.2 bouyer
212 1.1.1.2.2.2 bouyer /*******************************************************************************
213 1.1.1.2.2.2 bouyer *
214 1.1.1.2.2.2 bouyer * FUNCTION: AnLastStatementIsReturn
215 1.1.1.2.2.2 bouyer *
216 1.1.1.2.2.2 bouyer * PARAMETERS: Op - A method parse node
217 1.1.1.2.2.2 bouyer *
218 1.1.1.2.2.2 bouyer * RETURN: TRUE if last statement is an ASL RETURN. False otherwise
219 1.1.1.2.2.2 bouyer *
220 1.1.1.2.2.2 bouyer * DESCRIPTION: Walk down the list of top level statements within a method
221 1.1.1.2.2.2 bouyer * to find the last one. Check if that last statement is in
222 1.1.1.2.2.2 bouyer * fact a RETURN statement.
223 1.1.1.2.2.2 bouyer *
224 1.1.1.2.2.2 bouyer ******************************************************************************/
225 1.1.1.2.2.2 bouyer
226 1.1.1.2.2.2 bouyer BOOLEAN
227 1.1.1.2.2.2 bouyer AnLastStatementIsReturn (
228 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op)
229 1.1.1.2.2.2 bouyer {
230 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Next;
231 1.1.1.2.2.2 bouyer
232 1.1.1.2.2.2 bouyer
233 1.1.1.2.2.2 bouyer /* Check if last statement is a return */
234 1.1.1.2.2.2 bouyer
235 1.1.1.2.2.2 bouyer Next = ASL_GET_CHILD_NODE (Op);
236 1.1.1.2.2.2 bouyer while (Next)
237 1.1.1.2.2.2 bouyer {
238 1.1.1.2.2.2 bouyer if ((!Next->Asl.Next) &&
239 1.1.1.2.2.2 bouyer (Next->Asl.ParseOpcode == PARSEOP_RETURN))
240 1.1.1.2.2.2 bouyer {
241 1.1.1.2.2.2 bouyer return (TRUE);
242 1.1.1.2.2.2 bouyer }
243 1.1.1.2.2.2 bouyer
244 1.1.1.2.2.2 bouyer Next = ASL_GET_PEER_NODE (Next);
245 1.1.1.2.2.2 bouyer }
246 1.1.1.2.2.2 bouyer
247 1.1.1.2.2.2 bouyer return (FALSE);
248 1.1.1.2.2.2 bouyer }
249 1.1.1.2.2.2 bouyer
250 1.1.1.2.2.2 bouyer
251 1.1.1.2.2.2 bouyer /*******************************************************************************
252 1.1.1.2.2.2 bouyer *
253 1.1.1.2.2.2 bouyer * FUNCTION: AnCheckMethodReturnValue
254 1.1.1.2.2.2 bouyer *
255 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Parent
256 1.1.1.2.2.2 bouyer * OpInfo - Parent info
257 1.1.1.2.2.2 bouyer * ArgOp - Method invocation op
258 1.1.1.2.2.2 bouyer * RequiredBtypes - What caller requires
259 1.1.1.2.2.2 bouyer * ThisNodeBtype - What this node returns (if anything)
260 1.1.1.2.2.2 bouyer *
261 1.1.1.2.2.2 bouyer * RETURN: None
262 1.1.1.2.2.2 bouyer *
263 1.1.1.2.2.2 bouyer * DESCRIPTION: Check a method invocation for 1) A return value and if it does
264 1.1.1.2.2.2 bouyer * in fact return a value, 2) check the type of the return value.
265 1.1.1.2.2.2 bouyer *
266 1.1.1.2.2.2 bouyer ******************************************************************************/
267 1.1.1.2.2.2 bouyer
268 1.1.1.2.2.2 bouyer void
269 1.1.1.2.2.2 bouyer AnCheckMethodReturnValue (
270 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op,
271 1.1.1.2.2.2 bouyer const ACPI_OPCODE_INFO *OpInfo,
272 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *ArgOp,
273 1.1.1.2.2.2 bouyer UINT32 RequiredBtypes,
274 1.1.1.2.2.2 bouyer UINT32 ThisNodeBtype)
275 1.1.1.2.2.2 bouyer {
276 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *OwningOp;
277 1.1.1.2.2.2 bouyer ACPI_NAMESPACE_NODE *Node;
278 1.1.1.2.2.2 bouyer
279 1.1.1.2.2.2 bouyer
280 1.1.1.2.2.2 bouyer Node = ArgOp->Asl.Node;
281 1.1.1.2.2.2 bouyer
282 1.1.1.2.2.2 bouyer
283 1.1.1.2.2.2 bouyer /* Examine the parent op of this method */
284 1.1.1.2.2.2 bouyer
285 1.1.1.2.2.2 bouyer OwningOp = Node->Op;
286 1.1.1.2.2.2 bouyer if (OwningOp->Asl.CompileFlags & NODE_METHOD_NO_RETVAL)
287 1.1.1.2.2.2 bouyer {
288 1.1.1.2.2.2 bouyer /* Method NEVER returns a value */
289 1.1.1.2.2.2 bouyer
290 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_NO_RETVAL, Op, Op->Asl.ExternalName);
291 1.1.1.2.2.2 bouyer }
292 1.1.1.2.2.2 bouyer else if (OwningOp->Asl.CompileFlags & NODE_METHOD_SOME_NO_RETVAL)
293 1.1.1.2.2.2 bouyer {
294 1.1.1.2.2.2 bouyer /* Method SOMETIMES returns a value, SOMETIMES not */
295 1.1.1.2.2.2 bouyer
296 1.1.1.2.2.2 bouyer AslError (ASL_WARNING, ASL_MSG_SOME_NO_RETVAL, Op, Op->Asl.ExternalName);
297 1.1.1.2.2.2 bouyer }
298 1.1.1.2.2.2 bouyer else if (!(ThisNodeBtype & RequiredBtypes))
299 1.1.1.2.2.2 bouyer {
300 1.1.1.2.2.2 bouyer /* Method returns a value, but the type is wrong */
301 1.1.1.2.2.2 bouyer
302 1.1.1.2.2.2 bouyer AnFormatBtype (StringBuffer, ThisNodeBtype);
303 1.1.1.2.2.2 bouyer AnFormatBtype (StringBuffer2, RequiredBtypes);
304 1.1.1.2.2.2 bouyer
305 1.1.1.2.2.2 bouyer /*
306 1.1.1.2.2.2 bouyer * The case where the method does not return any value at all
307 1.1.1.2.2.2 bouyer * was already handled in the namespace cross reference
308 1.1.1.2.2.2 bouyer * -- Only issue an error if the method in fact returns a value,
309 1.1.1.2.2.2 bouyer * but it is of the wrong type
310 1.1.1.2.2.2 bouyer */
311 1.1.1.2.2.2 bouyer if (ThisNodeBtype != 0)
312 1.1.1.2.2.2 bouyer {
313 1.1.1.2.2.2 bouyer sprintf (MsgBuffer,
314 1.1.1.2.2.2 bouyer "Method returns [%s], %s operator requires [%s]",
315 1.1.1.2.2.2 bouyer StringBuffer, OpInfo->Name, StringBuffer2);
316 1.1.1.2.2.2 bouyer
317 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, ArgOp, MsgBuffer);
318 1.1.1.2.2.2 bouyer }
319 1.1.1.2.2.2 bouyer }
320 1.1.1.2.2.2 bouyer }
321 1.1.1.2.2.2 bouyer
322 1.1.1.2.2.2 bouyer
323 1.1.1.2.2.2 bouyer /*******************************************************************************
324 1.1.1.2.2.2 bouyer *
325 1.1.1.2.2.2 bouyer * FUNCTION: AnIsResultUsed
326 1.1.1.2.2.2 bouyer *
327 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Parent op for the operator
328 1.1.1.2.2.2 bouyer *
329 1.1.1.2.2.2 bouyer * RETURN: TRUE if result from this operation is actually consumed
330 1.1.1.2.2.2 bouyer *
331 1.1.1.2.2.2 bouyer * DESCRIPTION: Determine if the function result value from an operator is
332 1.1.1.2.2.2 bouyer * used.
333 1.1.1.2.2.2 bouyer *
334 1.1.1.2.2.2 bouyer ******************************************************************************/
335 1.1.1.2.2.2 bouyer
336 1.1.1.2.2.2 bouyer BOOLEAN
337 1.1.1.2.2.2 bouyer AnIsResultUsed (
338 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op)
339 1.1.1.2.2.2 bouyer {
340 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Parent;
341 1.1.1.2.2.2 bouyer
342 1.1.1.2.2.2 bouyer
343 1.1.1.2.2.2 bouyer switch (Op->Asl.ParseOpcode)
344 1.1.1.2.2.2 bouyer {
345 1.1.1.2.2.2 bouyer case PARSEOP_INCREMENT:
346 1.1.1.2.2.2 bouyer case PARSEOP_DECREMENT:
347 1.1.1.2.2.2 bouyer
348 1.1.1.2.2.2 bouyer /* These are standalone operators, no return value */
349 1.1.1.2.2.2 bouyer
350 1.1.1.2.2.2 bouyer return (TRUE);
351 1.1.1.2.2.2 bouyer
352 1.1.1.2.2.2 bouyer default:
353 1.1.1.2.2.2 bouyer break;
354 1.1.1.2.2.2 bouyer }
355 1.1.1.2.2.2 bouyer
356 1.1.1.2.2.2 bouyer /* Examine parent to determine if the return value is used */
357 1.1.1.2.2.2 bouyer
358 1.1.1.2.2.2 bouyer Parent = Op->Asl.Parent;
359 1.1.1.2.2.2 bouyer switch (Parent->Asl.ParseOpcode)
360 1.1.1.2.2.2 bouyer {
361 1.1.1.2.2.2 bouyer /* If/While - check if the operator is the predicate */
362 1.1.1.2.2.2 bouyer
363 1.1.1.2.2.2 bouyer case PARSEOP_IF:
364 1.1.1.2.2.2 bouyer case PARSEOP_WHILE:
365 1.1.1.2.2.2 bouyer
366 1.1.1.2.2.2 bouyer /* First child is the predicate */
367 1.1.1.2.2.2 bouyer
368 1.1.1.2.2.2 bouyer if (Parent->Asl.Child == Op)
369 1.1.1.2.2.2 bouyer {
370 1.1.1.2.2.2 bouyer return (TRUE);
371 1.1.1.2.2.2 bouyer }
372 1.1.1.2.2.2 bouyer return (FALSE);
373 1.1.1.2.2.2 bouyer
374 1.1.1.2.2.2 bouyer /* Not used if one of these is the parent */
375 1.1.1.2.2.2 bouyer
376 1.1.1.2.2.2 bouyer case PARSEOP_METHOD:
377 1.1.1.2.2.2 bouyer case PARSEOP_DEFINITIONBLOCK:
378 1.1.1.2.2.2 bouyer case PARSEOP_ELSE:
379 1.1.1.2.2.2 bouyer
380 1.1.1.2.2.2 bouyer return (FALSE);
381 1.1.1.2.2.2 bouyer
382 1.1.1.2.2.2 bouyer default:
383 1.1.1.2.2.2 bouyer /* Any other type of parent means that the result is used */
384 1.1.1.2.2.2 bouyer
385 1.1.1.2.2.2 bouyer return (TRUE);
386 1.1.1.2.2.2 bouyer }
387 1.1.1.2.2.2 bouyer }
388 1.1.1.2.2.2 bouyer
389 1.1.1.2.2.2 bouyer
390 1.1.1.2.2.2 bouyer /*******************************************************************************
391 1.1.1.2.2.2 bouyer *
392 1.1.1.2.2.2 bouyer * FUNCTION: ApCheckForGpeNameConflict
393 1.1.1.2.2.2 bouyer *
394 1.1.1.2.2.2 bouyer * PARAMETERS: Op - Current parse op
395 1.1.1.2.2.2 bouyer *
396 1.1.1.2.2.2 bouyer * RETURN: None
397 1.1.1.2.2.2 bouyer *
398 1.1.1.2.2.2 bouyer * DESCRIPTION: Check for a conflict between GPE names within this scope.
399 1.1.1.2.2.2 bouyer * Conflict means two GPE names with the same GPE number, but
400 1.1.1.2.2.2 bouyer * different types -- such as _L1C and _E1C.
401 1.1.1.2.2.2 bouyer *
402 1.1.1.2.2.2 bouyer ******************************************************************************/
403 1.1.1.2.2.2 bouyer
404 1.1.1.2.2.2 bouyer void
405 1.1.1.2.2.2 bouyer ApCheckForGpeNameConflict (
406 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *Op)
407 1.1.1.2.2.2 bouyer {
408 1.1.1.2.2.2 bouyer ACPI_PARSE_OBJECT *NextOp;
409 1.1.1.2.2.2 bouyer UINT32 GpeNumber;
410 1.1.1.2.2.2 bouyer char Name[ACPI_NAME_SIZE + 1];
411 1.1.1.2.2.2 bouyer char Target[ACPI_NAME_SIZE];
412 1.1.1.2.2.2 bouyer
413 1.1.1.2.2.2 bouyer
414 1.1.1.2.2.2 bouyer /* Need a null-terminated string version of NameSeg */
415 1.1.1.2.2.2 bouyer
416 1.1.1.2.2.2 bouyer ACPI_MOVE_32_TO_32 (Name, &Op->Asl.NameSeg);
417 1.1.1.2.2.2 bouyer Name[ACPI_NAME_SIZE] = 0;
418 1.1.1.2.2.2 bouyer
419 1.1.1.2.2.2 bouyer /*
420 1.1.1.2.2.2 bouyer * For a GPE method:
421 1.1.1.2.2.2 bouyer * 1st char must be underscore
422 1.1.1.2.2.2 bouyer * 2nd char must be L or E
423 1.1.1.2.2.2 bouyer * 3rd/4th chars must be a hex number
424 1.1.1.2.2.2 bouyer */
425 1.1.1.2.2.2 bouyer if ((Name[0] != '_') ||
426 1.1.1.2.2.2 bouyer ((Name[1] != 'L') && (Name[1] != 'E')))
427 1.1.1.2.2.2 bouyer {
428 1.1.1.2.2.2 bouyer return;
429 1.1.1.2.2.2 bouyer }
430 1.1.1.2.2.2 bouyer
431 1.1.1.2.2.2 bouyer /* Verify 3rd/4th chars are a valid hex value */
432 1.1.1.2.2.2 bouyer
433 1.1.1.2.2.2 bouyer GpeNumber = ACPI_STRTOUL (&Name[2], NULL, 16);
434 1.1.1.2.2.2 bouyer if (GpeNumber == ACPI_UINT32_MAX)
435 1.1.1.2.2.2 bouyer {
436 1.1.1.2.2.2 bouyer return;
437 1.1.1.2.2.2 bouyer }
438 1.1.1.2.2.2 bouyer
439 1.1.1.2.2.2 bouyer /*
440 1.1.1.2.2.2 bouyer * We are now sure we have an _Lxx or _Exx.
441 1.1.1.2.2.2 bouyer * Create the target name that would cause collision (Flip E/L)
442 1.1.1.2.2.2 bouyer */
443 1.1.1.2.2.2 bouyer ACPI_MOVE_32_TO_32 (Target, Name);
444 1.1.1.2.2.2 bouyer
445 1.1.1.2.2.2 bouyer /* Inject opposite letter ("L" versus "E") */
446 1.1.1.2.2.2 bouyer
447 1.1.1.2.2.2 bouyer if (Name[1] == 'L')
448 1.1.1.2.2.2 bouyer {
449 1.1.1.2.2.2 bouyer Target[1] = 'E';
450 1.1.1.2.2.2 bouyer }
451 1.1.1.2.2.2 bouyer else /* Name[1] == 'E' */
452 1.1.1.2.2.2 bouyer {
453 1.1.1.2.2.2 bouyer Target[1] = 'L';
454 1.1.1.2.2.2 bouyer }
455 1.1.1.2.2.2 bouyer
456 1.1.1.2.2.2 bouyer /* Search all peers (objects within this scope) for target match */
457 1.1.1.2.2.2 bouyer
458 1.1.1.2.2.2 bouyer NextOp = Op->Asl.Next;
459 1.1.1.2.2.2 bouyer while (NextOp)
460 1.1.1.2.2.2 bouyer {
461 1.1.1.2.2.2 bouyer /*
462 1.1.1.2.2.2 bouyer * We mostly care about methods, but check Name() constructs also,
463 1.1.1.2.2.2 bouyer * even though they will get another error for not being a method.
464 1.1.1.2.2.2 bouyer * All GPE names must be defined as control methods.
465 1.1.1.2.2.2 bouyer */
466 1.1.1.2.2.2 bouyer if ((NextOp->Asl.ParseOpcode == PARSEOP_METHOD) ||
467 1.1.1.2.2.2 bouyer (NextOp->Asl.ParseOpcode == PARSEOP_NAME))
468 1.1.1.2.2.2 bouyer {
469 1.1.1.2.2.2 bouyer if (ACPI_COMPARE_NAME (Target, NextOp->Asl.NameSeg))
470 1.1.1.2.2.2 bouyer {
471 1.1.1.2.2.2 bouyer /* Found both _Exy and _Lxy in the same scope, error */
472 1.1.1.2.2.2 bouyer
473 1.1.1.2.2.2 bouyer AslError (ASL_ERROR, ASL_MSG_GPE_NAME_CONFLICT, NextOp,
474 1.1.1.2.2.2 bouyer Name);
475 1.1.1.2.2.2 bouyer return;
476 1.1.1.2.2.2 bouyer }
477 1.1.1.2.2.2 bouyer }
478 1.1.1.2.2.2 bouyer
479 1.1.1.2.2.2 bouyer NextOp = NextOp->Asl.Next;
480 1.1.1.2.2.2 bouyer }
481 1.1.1.2.2.2 bouyer
482 1.1.1.2.2.2 bouyer /* OK, no conflict found */
483 1.1.1.2.2.2 bouyer
484 1.1.1.2.2.2 bouyer return;
485 1.1.1.2.2.2 bouyer }
486