asltransform.c revision 1.1.1.12 1 1.1 jruoho /******************************************************************************
2 1.1 jruoho *
3 1.1 jruoho * Module Name: asltransform - Parse tree transforms
4 1.1 jruoho *
5 1.1 jruoho *****************************************************************************/
6 1.1 jruoho
7 1.1.1.2 jruoho /*
8 1.1.1.10 christos * Copyright (C) 2000 - 2018, Intel Corp.
9 1.1 jruoho * All rights reserved.
10 1.1 jruoho *
11 1.1.1.2 jruoho * Redistribution and use in source and binary forms, with or without
12 1.1.1.2 jruoho * modification, are permitted provided that the following conditions
13 1.1.1.2 jruoho * are met:
14 1.1.1.2 jruoho * 1. Redistributions of source code must retain the above copyright
15 1.1.1.2 jruoho * notice, this list of conditions, and the following disclaimer,
16 1.1.1.2 jruoho * without modification.
17 1.1.1.2 jruoho * 2. Redistributions in binary form must reproduce at minimum a disclaimer
18 1.1.1.2 jruoho * substantially similar to the "NO WARRANTY" disclaimer below
19 1.1.1.2 jruoho * ("Disclaimer") and any redistribution must be conditioned upon
20 1.1.1.2 jruoho * including a substantially similar Disclaimer requirement for further
21 1.1.1.2 jruoho * binary redistribution.
22 1.1.1.2 jruoho * 3. Neither the names of the above-listed copyright holders nor the names
23 1.1.1.2 jruoho * of any contributors may be used to endorse or promote products derived
24 1.1.1.2 jruoho * from this software without specific prior written permission.
25 1.1.1.2 jruoho *
26 1.1.1.2 jruoho * Alternatively, this software may be distributed under the terms of the
27 1.1.1.2 jruoho * GNU General Public License ("GPL") version 2 as published by the Free
28 1.1.1.2 jruoho * Software Foundation.
29 1.1.1.2 jruoho *
30 1.1.1.2 jruoho * NO WARRANTY
31 1.1.1.2 jruoho * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
32 1.1.1.2 jruoho * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
33 1.1.1.2 jruoho * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
34 1.1.1.2 jruoho * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
35 1.1.1.2 jruoho * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
36 1.1.1.2 jruoho * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
37 1.1.1.2 jruoho * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
38 1.1.1.2 jruoho * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
39 1.1.1.2 jruoho * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
40 1.1.1.2 jruoho * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
41 1.1.1.2 jruoho * POSSIBILITY OF SUCH DAMAGES.
42 1.1.1.2 jruoho */
43 1.1 jruoho
44 1.1 jruoho #include "aslcompiler.h"
45 1.1 jruoho #include "aslcompiler.y.h"
46 1.1 jruoho
47 1.1 jruoho #define _COMPONENT ACPI_COMPILER
48 1.1 jruoho ACPI_MODULE_NAME ("asltransform")
49 1.1 jruoho
50 1.1 jruoho /* Local prototypes */
51 1.1 jruoho
52 1.1 jruoho static void
53 1.1 jruoho TrTransformSubtree (
54 1.1 jruoho ACPI_PARSE_OBJECT *Op);
55 1.1 jruoho
56 1.1 jruoho static char *
57 1.1 jruoho TrAmlGetNextTempName (
58 1.1 jruoho ACPI_PARSE_OBJECT *Op,
59 1.1 jruoho UINT8 *TempCount);
60 1.1 jruoho
61 1.1 jruoho static void
62 1.1 jruoho TrAmlInitLineNumbers (
63 1.1 jruoho ACPI_PARSE_OBJECT *Op,
64 1.1 jruoho ACPI_PARSE_OBJECT *Neighbor);
65 1.1 jruoho
66 1.1 jruoho static void
67 1.1 jruoho TrAmlInitNode (
68 1.1 jruoho ACPI_PARSE_OBJECT *Op,
69 1.1 jruoho UINT16 ParseOpcode);
70 1.1 jruoho
71 1.1 jruoho static void
72 1.1 jruoho TrAmlSetSubtreeParent (
73 1.1 jruoho ACPI_PARSE_OBJECT *Op,
74 1.1 jruoho ACPI_PARSE_OBJECT *Parent);
75 1.1 jruoho
76 1.1 jruoho static void
77 1.1 jruoho TrAmlInsertPeer (
78 1.1 jruoho ACPI_PARSE_OBJECT *Op,
79 1.1 jruoho ACPI_PARSE_OBJECT *NewPeer);
80 1.1 jruoho
81 1.1 jruoho static void
82 1.1 jruoho TrDoDefinitionBlock (
83 1.1 jruoho ACPI_PARSE_OBJECT *Op);
84 1.1 jruoho
85 1.1 jruoho static void
86 1.1 jruoho TrDoSwitch (
87 1.1 jruoho ACPI_PARSE_OBJECT *StartNode);
88 1.1 jruoho
89 1.1 jruoho
90 1.1 jruoho /*******************************************************************************
91 1.1 jruoho *
92 1.1 jruoho * FUNCTION: TrAmlGetNextTempName
93 1.1 jruoho *
94 1.1 jruoho * PARAMETERS: Op - Current parse op
95 1.1 jruoho * TempCount - Current temporary counter. Was originally
96 1.1 jruoho * per-module; Currently per method, could be
97 1.1 jruoho * expanded to per-scope.
98 1.1 jruoho *
99 1.1 jruoho * RETURN: A pointer to name (allocated here).
100 1.1 jruoho *
101 1.1.1.3 christos * DESCRIPTION: Generate an ACPI name of the form _T_x. These names are
102 1.1 jruoho * reserved for use by the ASL compiler. (_T_0 through _T_Z)
103 1.1 jruoho *
104 1.1 jruoho ******************************************************************************/
105 1.1 jruoho
106 1.1 jruoho static char *
107 1.1 jruoho TrAmlGetNextTempName (
108 1.1 jruoho ACPI_PARSE_OBJECT *Op,
109 1.1 jruoho UINT8 *TempCount)
110 1.1 jruoho {
111 1.1 jruoho char *TempName;
112 1.1 jruoho
113 1.1 jruoho
114 1.1.1.6 christos if (*TempCount >= (10 + 26)) /* 0-35 valid: 0-9 and A-Z for TempName[3] */
115 1.1 jruoho {
116 1.1 jruoho /* Too many temps */
117 1.1 jruoho
118 1.1 jruoho AslError (ASL_ERROR, ASL_MSG_TOO_MANY_TEMPS, Op, NULL);
119 1.1 jruoho return (NULL);
120 1.1 jruoho }
121 1.1 jruoho
122 1.1 jruoho TempName = UtLocalCalloc (5);
123 1.1 jruoho
124 1.1 jruoho if (*TempCount < 10) /* 0-9 */
125 1.1 jruoho {
126 1.1 jruoho TempName[3] = (char) (*TempCount + '0');
127 1.1 jruoho }
128 1.1 jruoho else /* 10-35: A-Z */
129 1.1 jruoho {
130 1.1 jruoho TempName[3] = (char) (*TempCount + ('A' - 10));
131 1.1 jruoho }
132 1.1.1.6 christos
133 1.1 jruoho (*TempCount)++;
134 1.1 jruoho
135 1.1 jruoho /* First three characters are always "_T_" */
136 1.1 jruoho
137 1.1 jruoho TempName[0] = '_';
138 1.1 jruoho TempName[1] = 'T';
139 1.1 jruoho TempName[2] = '_';
140 1.1 jruoho
141 1.1 jruoho return (TempName);
142 1.1 jruoho }
143 1.1 jruoho
144 1.1 jruoho
145 1.1 jruoho /*******************************************************************************
146 1.1 jruoho *
147 1.1 jruoho * FUNCTION: TrAmlInitLineNumbers
148 1.1 jruoho *
149 1.1 jruoho * PARAMETERS: Op - Op to be initialized
150 1.1 jruoho * Neighbor - Op used for initialization values
151 1.1 jruoho *
152 1.1 jruoho * RETURN: None
153 1.1 jruoho *
154 1.1 jruoho * DESCRIPTION: Initialized the various line numbers for a parse node.
155 1.1 jruoho *
156 1.1 jruoho ******************************************************************************/
157 1.1 jruoho
158 1.1 jruoho static void
159 1.1 jruoho TrAmlInitLineNumbers (
160 1.1 jruoho ACPI_PARSE_OBJECT *Op,
161 1.1 jruoho ACPI_PARSE_OBJECT *Neighbor)
162 1.1 jruoho {
163 1.1 jruoho
164 1.1 jruoho Op->Asl.EndLine = Neighbor->Asl.EndLine;
165 1.1 jruoho Op->Asl.EndLogicalLine = Neighbor->Asl.EndLogicalLine;
166 1.1 jruoho Op->Asl.LineNumber = Neighbor->Asl.LineNumber;
167 1.1 jruoho Op->Asl.LogicalByteOffset = Neighbor->Asl.LogicalByteOffset;
168 1.1 jruoho Op->Asl.LogicalLineNumber = Neighbor->Asl.LogicalLineNumber;
169 1.1 jruoho }
170 1.1 jruoho
171 1.1 jruoho
172 1.1 jruoho /*******************************************************************************
173 1.1 jruoho *
174 1.1 jruoho * FUNCTION: TrAmlInitNode
175 1.1 jruoho *
176 1.1 jruoho * PARAMETERS: Op - Op to be initialized
177 1.1 jruoho * ParseOpcode - Opcode for this node
178 1.1 jruoho *
179 1.1 jruoho * RETURN: None
180 1.1 jruoho *
181 1.1 jruoho * DESCRIPTION: Initialize a node with the parse opcode and opcode name.
182 1.1 jruoho *
183 1.1 jruoho ******************************************************************************/
184 1.1 jruoho
185 1.1 jruoho static void
186 1.1 jruoho TrAmlInitNode (
187 1.1 jruoho ACPI_PARSE_OBJECT *Op,
188 1.1 jruoho UINT16 ParseOpcode)
189 1.1 jruoho {
190 1.1 jruoho
191 1.1 jruoho Op->Asl.ParseOpcode = ParseOpcode;
192 1.1 jruoho UtSetParseOpName (Op);
193 1.1 jruoho }
194 1.1 jruoho
195 1.1 jruoho
196 1.1 jruoho /*******************************************************************************
197 1.1 jruoho *
198 1.1 jruoho * FUNCTION: TrAmlSetSubtreeParent
199 1.1 jruoho *
200 1.1 jruoho * PARAMETERS: Op - First node in a list of peer nodes
201 1.1 jruoho * Parent - Parent of the subtree
202 1.1 jruoho *
203 1.1 jruoho * RETURN: None
204 1.1 jruoho *
205 1.1 jruoho * DESCRIPTION: Set the parent for all peer nodes in a subtree
206 1.1 jruoho *
207 1.1 jruoho ******************************************************************************/
208 1.1 jruoho
209 1.1 jruoho static void
210 1.1 jruoho TrAmlSetSubtreeParent (
211 1.1 jruoho ACPI_PARSE_OBJECT *Op,
212 1.1 jruoho ACPI_PARSE_OBJECT *Parent)
213 1.1 jruoho {
214 1.1 jruoho ACPI_PARSE_OBJECT *Next;
215 1.1 jruoho
216 1.1 jruoho
217 1.1 jruoho Next = Op;
218 1.1 jruoho while (Next)
219 1.1 jruoho {
220 1.1 jruoho Next->Asl.Parent = Parent;
221 1.1.1.6 christos Next = Next->Asl.Next;
222 1.1 jruoho }
223 1.1 jruoho }
224 1.1 jruoho
225 1.1 jruoho
226 1.1 jruoho /*******************************************************************************
227 1.1 jruoho *
228 1.1 jruoho * FUNCTION: TrAmlInsertPeer
229 1.1 jruoho *
230 1.1 jruoho * PARAMETERS: Op - First node in a list of peer nodes
231 1.1 jruoho * NewPeer - Peer node to insert
232 1.1 jruoho *
233 1.1 jruoho * RETURN: None
234 1.1 jruoho *
235 1.1 jruoho * DESCRIPTION: Insert a new peer node into a list of peers.
236 1.1 jruoho *
237 1.1 jruoho ******************************************************************************/
238 1.1 jruoho
239 1.1 jruoho static void
240 1.1 jruoho TrAmlInsertPeer (
241 1.1 jruoho ACPI_PARSE_OBJECT *Op,
242 1.1 jruoho ACPI_PARSE_OBJECT *NewPeer)
243 1.1 jruoho {
244 1.1 jruoho
245 1.1 jruoho NewPeer->Asl.Next = Op->Asl.Next;
246 1.1.1.6 christos Op->Asl.Next = NewPeer;
247 1.1 jruoho }
248 1.1 jruoho
249 1.1 jruoho
250 1.1 jruoho /*******************************************************************************
251 1.1 jruoho *
252 1.1.1.7 christos * FUNCTION: TrAmlTransformWalkBegin
253 1.1 jruoho *
254 1.1 jruoho * PARAMETERS: ASL_WALK_CALLBACK
255 1.1 jruoho *
256 1.1 jruoho * RETURN: None
257 1.1 jruoho *
258 1.1 jruoho * DESCRIPTION: Parse tree walk to generate both the AML opcodes and the AML
259 1.1 jruoho * operands.
260 1.1 jruoho *
261 1.1 jruoho ******************************************************************************/
262 1.1 jruoho
263 1.1 jruoho ACPI_STATUS
264 1.1.1.7 christos TrAmlTransformWalkBegin (
265 1.1 jruoho ACPI_PARSE_OBJECT *Op,
266 1.1 jruoho UINT32 Level,
267 1.1 jruoho void *Context)
268 1.1 jruoho {
269 1.1 jruoho
270 1.1 jruoho TrTransformSubtree (Op);
271 1.1 jruoho return (AE_OK);
272 1.1 jruoho }
273 1.1 jruoho
274 1.1 jruoho
275 1.1 jruoho /*******************************************************************************
276 1.1 jruoho *
277 1.1.1.7 christos * FUNCTION: TrAmlTransformWalkEnd
278 1.1.1.7 christos *
279 1.1.1.7 christos * PARAMETERS: ASL_WALK_CALLBACK
280 1.1.1.7 christos *
281 1.1.1.7 christos * RETURN: None
282 1.1.1.7 christos *
283 1.1.1.7 christos * DESCRIPTION: Parse tree walk to generate both the AML opcodes and the AML
284 1.1.1.7 christos * operands.
285 1.1.1.7 christos *
286 1.1.1.7 christos ******************************************************************************/
287 1.1.1.7 christos
288 1.1.1.7 christos ACPI_STATUS
289 1.1.1.7 christos TrAmlTransformWalkEnd (
290 1.1.1.7 christos ACPI_PARSE_OBJECT *Op,
291 1.1.1.7 christos UINT32 Level,
292 1.1.1.7 christos void *Context)
293 1.1.1.7 christos {
294 1.1.1.7 christos
295 1.1.1.7 christos /* Save possible Externals list in the DefintionBlock Op */
296 1.1.1.7 christos
297 1.1.1.7 christos if (Op->Asl.ParseOpcode == PARSEOP_DEFINITION_BLOCK)
298 1.1.1.7 christos {
299 1.1.1.12 christos Op->Asl.Value.Arg = AslGbl_ExternalsListHead;
300 1.1.1.12 christos AslGbl_ExternalsListHead = NULL;
301 1.1.1.7 christos }
302 1.1.1.7 christos
303 1.1.1.7 christos return (AE_OK);
304 1.1.1.7 christos }
305 1.1.1.7 christos
306 1.1.1.7 christos
307 1.1.1.7 christos /*******************************************************************************
308 1.1.1.7 christos *
309 1.1 jruoho * FUNCTION: TrTransformSubtree
310 1.1 jruoho *
311 1.1 jruoho * PARAMETERS: Op - The parent parse node
312 1.1 jruoho *
313 1.1 jruoho * RETURN: None
314 1.1 jruoho *
315 1.1.1.3 christos * DESCRIPTION: Prepare nodes to be output as AML data and operands. The more
316 1.1 jruoho * complex AML opcodes require processing of the child nodes
317 1.1 jruoho * (arguments/operands).
318 1.1 jruoho *
319 1.1 jruoho ******************************************************************************/
320 1.1 jruoho
321 1.1 jruoho static void
322 1.1 jruoho TrTransformSubtree (
323 1.1 jruoho ACPI_PARSE_OBJECT *Op)
324 1.1 jruoho {
325 1.1.1.9 christos ACPI_PARSE_OBJECT *MethodOp;
326 1.1.1.9 christos
327 1.1 jruoho
328 1.1 jruoho if (Op->Asl.AmlOpcode == AML_RAW_DATA_BYTE)
329 1.1 jruoho {
330 1.1 jruoho return;
331 1.1 jruoho }
332 1.1 jruoho
333 1.1 jruoho switch (Op->Asl.ParseOpcode)
334 1.1 jruoho {
335 1.1.1.6 christos case PARSEOP_DEFINITION_BLOCK:
336 1.1.1.3 christos
337 1.1 jruoho TrDoDefinitionBlock (Op);
338 1.1 jruoho break;
339 1.1 jruoho
340 1.1 jruoho case PARSEOP_SWITCH:
341 1.1.1.3 christos
342 1.1 jruoho TrDoSwitch (Op);
343 1.1 jruoho break;
344 1.1 jruoho
345 1.1 jruoho case PARSEOP_METHOD:
346 1.1 jruoho /*
347 1.1 jruoho * TBD: Zero the tempname (_T_x) count. Probably shouldn't be a global,
348 1.1 jruoho * however
349 1.1 jruoho */
350 1.1.1.12 christos AslGbl_TempCount = 0;
351 1.1 jruoho break;
352 1.1 jruoho
353 1.1.1.7 christos case PARSEOP_EXTERNAL:
354 1.1.1.7 christos
355 1.1.1.12 christos ExDoExternal (Op);
356 1.1.1.7 christos break;
357 1.1.1.7 christos
358 1.1.1.9 christos case PARSEOP___METHOD__:
359 1.1.1.9 christos
360 1.1.1.9 christos /* Transform to a string op containing the parent method name */
361 1.1.1.9 christos
362 1.1.1.9 christos Op->Asl.ParseOpcode = PARSEOP_STRING_LITERAL;
363 1.1.1.9 christos UtSetParseOpName (Op);
364 1.1.1.9 christos
365 1.1.1.9 christos /* Find the parent control method op */
366 1.1.1.9 christos
367 1.1.1.9 christos MethodOp = Op;
368 1.1.1.9 christos while (MethodOp)
369 1.1.1.9 christos {
370 1.1.1.9 christos if (MethodOp->Asl.ParseOpcode == PARSEOP_METHOD)
371 1.1.1.9 christos {
372 1.1.1.9 christos /* First child contains the method name */
373 1.1.1.9 christos
374 1.1.1.9 christos MethodOp = MethodOp->Asl.Child;
375 1.1.1.9 christos Op->Asl.Value.String = MethodOp->Asl.Value.String;
376 1.1.1.9 christos return;
377 1.1.1.9 christos }
378 1.1.1.9 christos
379 1.1.1.9 christos MethodOp = MethodOp->Asl.Parent;
380 1.1.1.9 christos }
381 1.1.1.9 christos
382 1.1.1.9 christos /* At the root, invocation not within a control method */
383 1.1.1.9 christos
384 1.1.1.9 christos Op->Asl.Value.String = "\\";
385 1.1.1.9 christos break;
386 1.1.1.9 christos
387 1.1.1.11 christos case PARSEOP_UNLOAD:
388 1.1.1.11 christos
389 1.1.1.11 christos AslError (ASL_WARNING, ASL_MSG_UNLOAD, Op, NULL);
390 1.1.1.11 christos break;
391 1.1.1.11 christos
392 1.1.1.12 christos case PARSEOP_SLEEP:
393 1.1.1.12 christos
394 1.1.1.12 christos /* Remark for very long sleep values */
395 1.1.1.12 christos
396 1.1.1.12 christos if (Op->Asl.Child->Asl.Value.Integer > 1000)
397 1.1.1.12 christos {
398 1.1.1.12 christos AslError (ASL_REMARK, ASL_MSG_LONG_SLEEP, Op, NULL);
399 1.1.1.12 christos }
400 1.1.1.12 christos break;
401 1.1.1.12 christos
402 1.1 jruoho default:
403 1.1.1.3 christos
404 1.1 jruoho /* Nothing to do here for other opcodes */
405 1.1.1.3 christos
406 1.1 jruoho break;
407 1.1 jruoho }
408 1.1 jruoho }
409 1.1 jruoho
410 1.1 jruoho
411 1.1 jruoho /*******************************************************************************
412 1.1 jruoho *
413 1.1 jruoho * FUNCTION: TrDoDefinitionBlock
414 1.1 jruoho *
415 1.1 jruoho * PARAMETERS: Op - Parse node
416 1.1 jruoho *
417 1.1 jruoho * RETURN: None
418 1.1 jruoho *
419 1.1 jruoho * DESCRIPTION: Find the end of the definition block and set a global to this
420 1.1.1.3 christos * node. It is used by the compiler to insert compiler-generated
421 1.1 jruoho * names at the root level of the namespace.
422 1.1 jruoho *
423 1.1 jruoho ******************************************************************************/
424 1.1 jruoho
425 1.1 jruoho static void
426 1.1 jruoho TrDoDefinitionBlock (
427 1.1 jruoho ACPI_PARSE_OBJECT *Op)
428 1.1 jruoho {
429 1.1 jruoho ACPI_PARSE_OBJECT *Next;
430 1.1 jruoho UINT32 i;
431 1.1 jruoho
432 1.1 jruoho
433 1.1.1.7 christos /* Reset external list when starting a definition block */
434 1.1.1.7 christos
435 1.1.1.12 christos AslGbl_ExternalsListHead = NULL;
436 1.1.1.7 christos
437 1.1 jruoho Next = Op->Asl.Child;
438 1.1 jruoho for (i = 0; i < 5; i++)
439 1.1 jruoho {
440 1.1 jruoho Next = Next->Asl.Next;
441 1.1 jruoho if (i == 0)
442 1.1 jruoho {
443 1.1 jruoho /*
444 1.1 jruoho * This is the table signature. Only the DSDT can be assumed
445 1.1 jruoho * to be at the root of the namespace; Therefore, namepath
446 1.1 jruoho * optimization can only be performed on the DSDT.
447 1.1 jruoho */
448 1.1 jruoho if (!ACPI_COMPARE_NAME (Next->Asl.Value.String, ACPI_SIG_DSDT))
449 1.1 jruoho {
450 1.1.1.12 christos AslGbl_ReferenceOptimizationFlag = FALSE;
451 1.1 jruoho }
452 1.1 jruoho }
453 1.1 jruoho }
454 1.1 jruoho
455 1.1.1.12 christos AslGbl_FirstLevelInsertionNode = Next;
456 1.1 jruoho }
457 1.1 jruoho
458 1.1 jruoho
459 1.1 jruoho /*******************************************************************************
460 1.1 jruoho *
461 1.1 jruoho * FUNCTION: TrDoSwitch
462 1.1 jruoho *
463 1.1 jruoho * PARAMETERS: StartNode - Parse node for SWITCH
464 1.1 jruoho *
465 1.1 jruoho * RETURN: None
466 1.1 jruoho *
467 1.1.1.3 christos * DESCRIPTION: Translate ASL SWITCH statement to if/else pairs. There is
468 1.1 jruoho * no actual AML opcode for SWITCH -- it must be simulated.
469 1.1 jruoho *
470 1.1 jruoho ******************************************************************************/
471 1.1 jruoho
472 1.1 jruoho static void
473 1.1 jruoho TrDoSwitch (
474 1.1 jruoho ACPI_PARSE_OBJECT *StartNode)
475 1.1 jruoho {
476 1.1 jruoho ACPI_PARSE_OBJECT *Next;
477 1.1 jruoho ACPI_PARSE_OBJECT *CaseOp = NULL;
478 1.1 jruoho ACPI_PARSE_OBJECT *CaseBlock = NULL;
479 1.1 jruoho ACPI_PARSE_OBJECT *DefaultOp = NULL;
480 1.1 jruoho ACPI_PARSE_OBJECT *CurrentParentNode;
481 1.1 jruoho ACPI_PARSE_OBJECT *Conditional = NULL;
482 1.1 jruoho ACPI_PARSE_OBJECT *Predicate;
483 1.1 jruoho ACPI_PARSE_OBJECT *Peer;
484 1.1 jruoho ACPI_PARSE_OBJECT *NewOp;
485 1.1 jruoho ACPI_PARSE_OBJECT *NewOp2;
486 1.1 jruoho ACPI_PARSE_OBJECT *MethodOp;
487 1.1 jruoho ACPI_PARSE_OBJECT *StoreOp;
488 1.1 jruoho ACPI_PARSE_OBJECT *BreakOp;
489 1.1.1.3 christos ACPI_PARSE_OBJECT *BufferOp;
490 1.1 jruoho char *PredicateValueName;
491 1.1 jruoho UINT16 Index;
492 1.1 jruoho UINT32 Btype;
493 1.1 jruoho
494 1.1 jruoho
495 1.1 jruoho /* Start node is the Switch() node */
496 1.1 jruoho
497 1.1 jruoho CurrentParentNode = StartNode;
498 1.1 jruoho
499 1.1 jruoho /* Create a new temp name of the form _T_x */
500 1.1 jruoho
501 1.1.1.12 christos PredicateValueName = TrAmlGetNextTempName (StartNode, &AslGbl_TempCount);
502 1.1 jruoho if (!PredicateValueName)
503 1.1 jruoho {
504 1.1 jruoho return;
505 1.1 jruoho }
506 1.1 jruoho
507 1.1 jruoho /* First child is the Switch() predicate */
508 1.1 jruoho
509 1.1 jruoho Next = StartNode->Asl.Child;
510 1.1 jruoho
511 1.1 jruoho /*
512 1.1 jruoho * Examine the return type of the Switch Value -
513 1.1 jruoho * must be Integer/Buffer/String
514 1.1 jruoho */
515 1.1 jruoho Index = (UINT16) (Next->Asl.ParseOpcode - ASL_PARSE_OPCODE_BASE);
516 1.1 jruoho Btype = AslKeywordMapping[Index].AcpiBtype;
517 1.1 jruoho if ((Btype != ACPI_BTYPE_INTEGER) &&
518 1.1 jruoho (Btype != ACPI_BTYPE_STRING) &&
519 1.1 jruoho (Btype != ACPI_BTYPE_BUFFER))
520 1.1 jruoho {
521 1.1 jruoho AslError (ASL_WARNING, ASL_MSG_SWITCH_TYPE, Next, NULL);
522 1.1 jruoho Btype = ACPI_BTYPE_INTEGER;
523 1.1 jruoho }
524 1.1 jruoho
525 1.1 jruoho /* CASE statements start at next child */
526 1.1 jruoho
527 1.1 jruoho Peer = Next->Asl.Next;
528 1.1 jruoho while (Peer)
529 1.1 jruoho {
530 1.1 jruoho Next = Peer;
531 1.1 jruoho Peer = Next->Asl.Next;
532 1.1 jruoho
533 1.1 jruoho if (Next->Asl.ParseOpcode == PARSEOP_CASE)
534 1.1 jruoho {
535 1.1 jruoho if (CaseOp)
536 1.1 jruoho {
537 1.1 jruoho /* Add an ELSE to complete the previous CASE */
538 1.1 jruoho
539 1.1.1.9 christos NewOp = TrCreateLeafOp (PARSEOP_ELSE);
540 1.1 jruoho NewOp->Asl.Parent = Conditional->Asl.Parent;
541 1.1 jruoho TrAmlInitLineNumbers (NewOp, NewOp->Asl.Parent);
542 1.1 jruoho
543 1.1 jruoho /* Link ELSE node as a peer to the previous IF */
544 1.1 jruoho
545 1.1 jruoho TrAmlInsertPeer (Conditional, NewOp);
546 1.1 jruoho CurrentParentNode = NewOp;
547 1.1 jruoho }
548 1.1 jruoho
549 1.1.1.6 christos CaseOp = Next;
550 1.1 jruoho Conditional = CaseOp;
551 1.1.1.6 christos CaseBlock = CaseOp->Asl.Child->Asl.Next;
552 1.1 jruoho Conditional->Asl.Child->Asl.Next = NULL;
553 1.1 jruoho Predicate = CaseOp->Asl.Child;
554 1.1 jruoho
555 1.1 jruoho if ((Predicate->Asl.ParseOpcode == PARSEOP_PACKAGE) ||
556 1.1 jruoho (Predicate->Asl.ParseOpcode == PARSEOP_VAR_PACKAGE))
557 1.1 jruoho {
558 1.1 jruoho /*
559 1.1 jruoho * Convert the package declaration to this form:
560 1.1 jruoho *
561 1.1 jruoho * If (LNotEqual (Match (Package(<size>){<data>},
562 1.1 jruoho * MEQ, _T_x, MTR, Zero, Zero), Ones))
563 1.1 jruoho */
564 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_MATCHTYPE_MEQ);
565 1.1 jruoho Predicate->Asl.Next = NewOp2;
566 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
567 1.1 jruoho
568 1.1 jruoho NewOp = NewOp2;
569 1.1.1.9 christos NewOp2 = TrCreateValuedLeafOp (PARSEOP_NAMESTRING,
570 1.1 jruoho (UINT64) ACPI_TO_INTEGER (PredicateValueName));
571 1.1 jruoho NewOp->Asl.Next = NewOp2;
572 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Predicate);
573 1.1 jruoho
574 1.1 jruoho NewOp = NewOp2;
575 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_MATCHTYPE_MTR);
576 1.1 jruoho NewOp->Asl.Next = NewOp2;
577 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Predicate);
578 1.1 jruoho
579 1.1 jruoho NewOp = NewOp2;
580 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_ZERO);
581 1.1 jruoho NewOp->Asl.Next = NewOp2;
582 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Predicate);
583 1.1 jruoho
584 1.1 jruoho NewOp = NewOp2;
585 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_ZERO);
586 1.1 jruoho NewOp->Asl.Next = NewOp2;
587 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Predicate);
588 1.1 jruoho
589 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_MATCH);
590 1.1 jruoho NewOp2->Asl.Child = Predicate; /* PARSEOP_PACKAGE */
591 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
592 1.1 jruoho TrAmlSetSubtreeParent (Predicate, NewOp2);
593 1.1 jruoho
594 1.1 jruoho NewOp = NewOp2;
595 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_ONES);
596 1.1 jruoho NewOp->Asl.Next = NewOp2;
597 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
598 1.1 jruoho
599 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_LEQUAL);
600 1.1 jruoho NewOp2->Asl.Child = NewOp;
601 1.1 jruoho NewOp->Asl.Parent = NewOp2;
602 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
603 1.1 jruoho TrAmlSetSubtreeParent (NewOp, NewOp2);
604 1.1 jruoho
605 1.1 jruoho NewOp = NewOp2;
606 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_LNOT);
607 1.1 jruoho NewOp2->Asl.Child = NewOp;
608 1.1 jruoho NewOp2->Asl.Parent = Conditional;
609 1.1 jruoho NewOp->Asl.Parent = NewOp2;
610 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
611 1.1 jruoho
612 1.1 jruoho Conditional->Asl.Child = NewOp2;
613 1.1 jruoho NewOp2->Asl.Next = CaseBlock;
614 1.1 jruoho }
615 1.1 jruoho else
616 1.1 jruoho {
617 1.1 jruoho /*
618 1.1 jruoho * Integer and Buffer case.
619 1.1 jruoho *
620 1.1 jruoho * Change CaseOp() to: If (LEqual (SwitchValue, CaseValue)) {...}
621 1.1 jruoho * Note: SwitchValue is first to allow the CaseValue to be implicitly
622 1.1 jruoho * converted to the type of SwitchValue if necessary.
623 1.1 jruoho *
624 1.1 jruoho * CaseOp->Child is the case value
625 1.1 jruoho * CaseOp->Child->Peer is the beginning of the case block
626 1.1 jruoho */
627 1.1.1.9 christos NewOp = TrCreateValuedLeafOp (PARSEOP_NAMESTRING,
628 1.1.1.6 christos (UINT64) ACPI_TO_INTEGER (PredicateValueName));
629 1.1 jruoho NewOp->Asl.Next = Predicate;
630 1.1 jruoho TrAmlInitLineNumbers (NewOp, Predicate);
631 1.1 jruoho
632 1.1.1.9 christos NewOp2 = TrCreateLeafOp (PARSEOP_LEQUAL);
633 1.1 jruoho NewOp2->Asl.Parent = Conditional;
634 1.1 jruoho NewOp2->Asl.Child = NewOp;
635 1.1 jruoho TrAmlInitLineNumbers (NewOp2, Conditional);
636 1.1 jruoho
637 1.1 jruoho TrAmlSetSubtreeParent (NewOp, NewOp2);
638 1.1 jruoho
639 1.1 jruoho Predicate = NewOp2;
640 1.1 jruoho Predicate->Asl.Next = CaseBlock;
641 1.1 jruoho
642 1.1 jruoho TrAmlSetSubtreeParent (Predicate, Conditional);
643 1.1 jruoho Conditional->Asl.Child = Predicate;
644 1.1 jruoho }
645 1.1 jruoho
646 1.1 jruoho /* Reinitialize the CASE node to an IF node */
647 1.1 jruoho
648 1.1 jruoho TrAmlInitNode (Conditional, PARSEOP_IF);
649 1.1 jruoho
650 1.1 jruoho /*
651 1.1 jruoho * The first CASE(IF) is not nested under an ELSE.
652 1.1 jruoho * All other CASEs are children of a parent ELSE.
653 1.1 jruoho */
654 1.1 jruoho if (CurrentParentNode == StartNode)
655 1.1 jruoho {
656 1.1 jruoho Conditional->Asl.Next = NULL;
657 1.1 jruoho }
658 1.1 jruoho else
659 1.1 jruoho {
660 1.1 jruoho /*
661 1.1.1.3 christos * The IF is a child of previous IF/ELSE. It
662 1.1 jruoho * is therefore without peer.
663 1.1 jruoho */
664 1.1 jruoho CurrentParentNode->Asl.Child = Conditional;
665 1.1 jruoho Conditional->Asl.Parent = CurrentParentNode;
666 1.1 jruoho Conditional->Asl.Next = NULL;
667 1.1 jruoho }
668 1.1 jruoho }
669 1.1 jruoho else if (Next->Asl.ParseOpcode == PARSEOP_DEFAULT)
670 1.1 jruoho {
671 1.1 jruoho if (DefaultOp)
672 1.1 jruoho {
673 1.1 jruoho /*
674 1.1 jruoho * More than one Default
675 1.1 jruoho * (Parser does not catch this, must check here)
676 1.1 jruoho */
677 1.1 jruoho AslError (ASL_ERROR, ASL_MSG_MULTIPLE_DEFAULT, Next, NULL);
678 1.1 jruoho }
679 1.1 jruoho else
680 1.1 jruoho {
681 1.1 jruoho /* Save the DEFAULT node for later, after CASEs */
682 1.1 jruoho
683 1.1 jruoho DefaultOp = Next;
684 1.1 jruoho }
685 1.1 jruoho }
686 1.1 jruoho else
687 1.1 jruoho {
688 1.1 jruoho /* Unknown peer opcode */
689 1.1 jruoho
690 1.1 jruoho AcpiOsPrintf ("Unknown parse opcode for switch statement: %s (%u)\n",
691 1.1.1.6 christos Next->Asl.ParseOpName, Next->Asl.ParseOpcode);
692 1.1 jruoho }
693 1.1 jruoho }
694 1.1 jruoho
695 1.1 jruoho /* Add the default case at the end of the if/else construct */
696 1.1 jruoho
697 1.1 jruoho if (DefaultOp)
698 1.1 jruoho {
699 1.1 jruoho /* If no CASE statements, this is an error - see below */
700 1.1 jruoho
701 1.1 jruoho if (CaseOp)
702 1.1 jruoho {
703 1.1 jruoho /* Convert the DEFAULT node to an ELSE */
704 1.1 jruoho
705 1.1 jruoho TrAmlInitNode (DefaultOp, PARSEOP_ELSE);
706 1.1 jruoho DefaultOp->Asl.Parent = Conditional->Asl.Parent;
707 1.1 jruoho
708 1.1 jruoho /* Link ELSE node as a peer to the previous IF */
709 1.1 jruoho
710 1.1 jruoho TrAmlInsertPeer (Conditional, DefaultOp);
711 1.1 jruoho }
712 1.1 jruoho }
713 1.1 jruoho
714 1.1 jruoho if (!CaseOp)
715 1.1 jruoho {
716 1.1 jruoho AslError (ASL_ERROR, ASL_MSG_NO_CASES, StartNode, NULL);
717 1.1 jruoho }
718 1.1 jruoho
719 1.1 jruoho
720 1.1 jruoho /*
721 1.1 jruoho * Create a Name(_T_x, ...) statement. This statement must appear at the
722 1.1 jruoho * method level, in case a loop surrounds the switch statement and could
723 1.1 jruoho * cause the name to be created twice (error).
724 1.1 jruoho */
725 1.1 jruoho
726 1.1 jruoho /* Create the Name node */
727 1.1 jruoho
728 1.1 jruoho Predicate = StartNode->Asl.Child;
729 1.1.1.9 christos NewOp = TrCreateLeafOp (PARSEOP_NAME);
730 1.1.1.3 christos TrAmlInitLineNumbers (NewOp, StartNode);
731 1.1 jruoho
732 1.1 jruoho /* Find the parent method */
733 1.1 jruoho
734 1.1 jruoho Next = StartNode;
735 1.1 jruoho while ((Next->Asl.ParseOpcode != PARSEOP_METHOD) &&
736 1.1.1.6 christos (Next->Asl.ParseOpcode != PARSEOP_DEFINITION_BLOCK))
737 1.1 jruoho {
738 1.1 jruoho Next = Next->Asl.Parent;
739 1.1 jruoho }
740 1.1 jruoho MethodOp = Next;
741 1.1 jruoho
742 1.1.1.9 christos NewOp->Asl.CompileFlags |= OP_COMPILER_EMITTED;
743 1.1 jruoho NewOp->Asl.Parent = Next;
744 1.1 jruoho
745 1.1 jruoho /* Insert name after the method name and arguments */
746 1.1 jruoho
747 1.1 jruoho Next = Next->Asl.Child; /* Name */
748 1.1 jruoho Next = Next->Asl.Next; /* NumArgs */
749 1.1 jruoho Next = Next->Asl.Next; /* SerializeRule */
750 1.1 jruoho
751 1.1 jruoho /*
752 1.1 jruoho * If method is not Serialized, we must make is so, because of the way
753 1.1 jruoho * that Switch() must be implemented -- we cannot allow multiple threads
754 1.1 jruoho * to execute this method concurrently since we need to create local
755 1.1 jruoho * temporary name(s).
756 1.1 jruoho */
757 1.1 jruoho if (Next->Asl.ParseOpcode != PARSEOP_SERIALIZERULE_SERIAL)
758 1.1 jruoho {
759 1.1.1.6 christos AslError (ASL_REMARK, ASL_MSG_SERIALIZED, MethodOp,
760 1.1.1.6 christos "Due to use of Switch operator");
761 1.1 jruoho Next->Asl.ParseOpcode = PARSEOP_SERIALIZERULE_SERIAL;
762 1.1 jruoho }
763 1.1 jruoho
764 1.1 jruoho Next = Next->Asl.Next; /* SyncLevel */
765 1.1 jruoho Next = Next->Asl.Next; /* ReturnType */
766 1.1 jruoho Next = Next->Asl.Next; /* ParameterTypes */
767 1.1 jruoho
768 1.1 jruoho TrAmlInsertPeer (Next, NewOp);
769 1.1 jruoho TrAmlInitLineNumbers (NewOp, Next);
770 1.1 jruoho
771 1.1 jruoho /* Create the NameSeg child for the Name node */
772 1.1 jruoho
773 1.1.1.9 christos NewOp2 = TrCreateValuedLeafOp (PARSEOP_NAMESEG,
774 1.1.1.6 christos (UINT64) ACPI_TO_INTEGER (PredicateValueName));
775 1.1.1.3 christos TrAmlInitLineNumbers (NewOp2, NewOp);
776 1.1.1.9 christos NewOp2->Asl.CompileFlags |= OP_IS_NAME_DECLARATION;
777 1.1 jruoho NewOp->Asl.Child = NewOp2;
778 1.1 jruoho
779 1.1 jruoho /* Create the initial value for the Name. Btype was already validated above */
780 1.1 jruoho
781 1.1 jruoho switch (Btype)
782 1.1 jruoho {
783 1.1 jruoho case ACPI_BTYPE_INTEGER:
784 1.1.1.3 christos
785 1.1.1.9 christos NewOp2->Asl.Next = TrCreateValuedLeafOp (PARSEOP_ZERO,
786 1.1.1.6 christos (UINT64) 0);
787 1.1.1.3 christos TrAmlInitLineNumbers (NewOp2->Asl.Next, NewOp);
788 1.1 jruoho break;
789 1.1 jruoho
790 1.1 jruoho case ACPI_BTYPE_STRING:
791 1.1.1.3 christos
792 1.1.1.9 christos NewOp2->Asl.Next = TrCreateValuedLeafOp (PARSEOP_STRING_LITERAL,
793 1.1.1.6 christos (UINT64) ACPI_TO_INTEGER (""));
794 1.1.1.3 christos TrAmlInitLineNumbers (NewOp2->Asl.Next, NewOp);
795 1.1 jruoho break;
796 1.1 jruoho
797 1.1 jruoho case ACPI_BTYPE_BUFFER:
798 1.1.1.3 christos
799 1.1.1.9 christos (void) TrLinkPeerOp (NewOp2, TrCreateValuedLeafOp (PARSEOP_BUFFER,
800 1.1.1.6 christos (UINT64) 0));
801 1.1 jruoho Next = NewOp2->Asl.Next;
802 1.1.1.3 christos TrAmlInitLineNumbers (Next, NewOp2);
803 1.1.1.9 christos
804 1.1.1.9 christos (void) TrLinkOpChildren (Next, 1, TrCreateValuedLeafOp (PARSEOP_ZERO,
805 1.1.1.6 christos (UINT64) 1));
806 1.1.1.3 christos TrAmlInitLineNumbers (Next->Asl.Child, Next);
807 1.1.1.3 christos
808 1.1.1.9 christos BufferOp = TrCreateValuedLeafOp (PARSEOP_DEFAULT_ARG, (UINT64) 0);
809 1.1.1.3 christos TrAmlInitLineNumbers (BufferOp, Next->Asl.Child);
810 1.1.1.9 christos (void) TrLinkPeerOp (Next->Asl.Child, BufferOp);
811 1.1 jruoho
812 1.1 jruoho TrAmlSetSubtreeParent (Next->Asl.Child, Next);
813 1.1 jruoho break;
814 1.1 jruoho
815 1.1 jruoho default:
816 1.1.1.3 christos
817 1.1 jruoho break;
818 1.1 jruoho }
819 1.1 jruoho
820 1.1 jruoho TrAmlSetSubtreeParent (NewOp2, NewOp);
821 1.1 jruoho
822 1.1 jruoho /*
823 1.1 jruoho * Transform the Switch() into a While(One)-Break node.
824 1.1 jruoho * And create a Store() node which will be used to save the
825 1.1.1.3 christos * Switch() value. The store is of the form: Store (Value, _T_x)
826 1.1 jruoho * where _T_x is the temp variable.
827 1.1 jruoho */
828 1.1 jruoho TrAmlInitNode (StartNode, PARSEOP_WHILE);
829 1.1.1.9 christos NewOp = TrCreateLeafOp (PARSEOP_ONE);
830 1.1.1.3 christos TrAmlInitLineNumbers (NewOp, StartNode);
831 1.1 jruoho NewOp->Asl.Next = Predicate->Asl.Next;
832 1.1 jruoho NewOp->Asl.Parent = StartNode;
833 1.1 jruoho StartNode->Asl.Child = NewOp;
834 1.1 jruoho
835 1.1 jruoho /* Create a Store() node */
836 1.1 jruoho
837 1.1.1.9 christos StoreOp = TrCreateLeafOp (PARSEOP_STORE);
838 1.1.1.3 christos TrAmlInitLineNumbers (StoreOp, NewOp);
839 1.1 jruoho StoreOp->Asl.Parent = StartNode;
840 1.1 jruoho TrAmlInsertPeer (NewOp, StoreOp);
841 1.1 jruoho
842 1.1 jruoho /* Complete the Store subtree */
843 1.1 jruoho
844 1.1 jruoho StoreOp->Asl.Child = Predicate;
845 1.1 jruoho Predicate->Asl.Parent = StoreOp;
846 1.1 jruoho
847 1.1.1.9 christos NewOp = TrCreateValuedLeafOp (PARSEOP_NAMESEG,
848 1.1.1.6 christos (UINT64) ACPI_TO_INTEGER (PredicateValueName));
849 1.1.1.3 christos TrAmlInitLineNumbers (NewOp, StoreOp);
850 1.1 jruoho NewOp->Asl.Parent = StoreOp;
851 1.1 jruoho Predicate->Asl.Next = NewOp;
852 1.1 jruoho
853 1.1 jruoho /* Create a Break() node and insert it into the end of While() */
854 1.1 jruoho
855 1.1 jruoho Conditional = StartNode->Asl.Child;
856 1.1 jruoho while (Conditional->Asl.Next)
857 1.1 jruoho {
858 1.1 jruoho Conditional = Conditional->Asl.Next;
859 1.1 jruoho }
860 1.1 jruoho
861 1.1.1.9 christos BreakOp = TrCreateLeafOp (PARSEOP_BREAK);
862 1.1.1.3 christos TrAmlInitLineNumbers (BreakOp, NewOp);
863 1.1 jruoho BreakOp->Asl.Parent = StartNode;
864 1.1 jruoho TrAmlInsertPeer (Conditional, BreakOp);
865 1.1 jruoho }
866