10b94ba42SJung-uk Kim /****************************************************************************** 20b94ba42SJung-uk Kim * 3efcc2a30SJung-uk Kim * Module Name: aslwalks.c - Miscellaneous analytical parse tree walks 40b94ba42SJung-uk Kim * 50b94ba42SJung-uk Kim *****************************************************************************/ 60b94ba42SJung-uk Kim 70b94ba42SJung-uk Kim /* 8efcc2a30SJung-uk Kim * Copyright (C) 2000 - 2013, Intel Corp. 90b94ba42SJung-uk Kim * All rights reserved. 100b94ba42SJung-uk Kim * 110b94ba42SJung-uk Kim * Redistribution and use in source and binary forms, with or without 120b94ba42SJung-uk Kim * modification, are permitted provided that the following conditions 130b94ba42SJung-uk Kim * are met: 140b94ba42SJung-uk Kim * 1. Redistributions of source code must retain the above copyright 150b94ba42SJung-uk Kim * notice, this list of conditions, and the following disclaimer, 160b94ba42SJung-uk Kim * without modification. 170b94ba42SJung-uk Kim * 2. Redistributions in binary form must reproduce at minimum a disclaimer 180b94ba42SJung-uk Kim * substantially similar to the "NO WARRANTY" disclaimer below 190b94ba42SJung-uk Kim * ("Disclaimer") and any redistribution must be conditioned upon 200b94ba42SJung-uk Kim * including a substantially similar Disclaimer requirement for further 210b94ba42SJung-uk Kim * binary redistribution. 220b94ba42SJung-uk Kim * 3. Neither the names of the above-listed copyright holders nor the names 230b94ba42SJung-uk Kim * of any contributors may be used to endorse or promote products derived 240b94ba42SJung-uk Kim * from this software without specific prior written permission. 250b94ba42SJung-uk Kim * 260b94ba42SJung-uk Kim * Alternatively, this software may be distributed under the terms of the 270b94ba42SJung-uk Kim * GNU General Public License ("GPL") version 2 as published by the Free 280b94ba42SJung-uk Kim * Software Foundation. 290b94ba42SJung-uk Kim * 300b94ba42SJung-uk Kim * NO WARRANTY 310b94ba42SJung-uk Kim * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 320b94ba42SJung-uk Kim * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 330b94ba42SJung-uk Kim * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR 340b94ba42SJung-uk Kim * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 350b94ba42SJung-uk Kim * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 360b94ba42SJung-uk Kim * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 370b94ba42SJung-uk Kim * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 380b94ba42SJung-uk Kim * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, 390b94ba42SJung-uk Kim * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING 400b94ba42SJung-uk Kim * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 410b94ba42SJung-uk Kim * POSSIBILITY OF SUCH DAMAGES. 420b94ba42SJung-uk Kim */ 430b94ba42SJung-uk Kim 440b94ba42SJung-uk Kim 450b94ba42SJung-uk Kim #include <contrib/dev/acpica/compiler/aslcompiler.h> 460b94ba42SJung-uk Kim #include "aslcompiler.y.h" 470b94ba42SJung-uk Kim #include <contrib/dev/acpica/include/acparser.h> 480b94ba42SJung-uk Kim #include <contrib/dev/acpica/include/amlcode.h> 490b94ba42SJung-uk Kim 500b94ba42SJung-uk Kim 510b94ba42SJung-uk Kim #define _COMPONENT ACPI_COMPILER 520b94ba42SJung-uk Kim ACPI_MODULE_NAME ("aslwalks") 530b94ba42SJung-uk Kim 540b94ba42SJung-uk Kim 550b94ba42SJung-uk Kim /******************************************************************************* 560b94ba42SJung-uk Kim * 570b94ba42SJung-uk Kim * FUNCTION: AnMethodTypingWalkEnd 580b94ba42SJung-uk Kim * 590b94ba42SJung-uk Kim * PARAMETERS: ASL_WALK_CALLBACK 600b94ba42SJung-uk Kim * 610b94ba42SJung-uk Kim * RETURN: Status 620b94ba42SJung-uk Kim * 630b94ba42SJung-uk Kim * DESCRIPTION: Ascending callback for typing walk. Complete the method 640b94ba42SJung-uk Kim * return analysis. Check methods for: 650b94ba42SJung-uk Kim * 1) Initialized local variables 660b94ba42SJung-uk Kim * 2) Valid arguments 670b94ba42SJung-uk Kim * 3) Return types 680b94ba42SJung-uk Kim * 690b94ba42SJung-uk Kim ******************************************************************************/ 700b94ba42SJung-uk Kim 710b94ba42SJung-uk Kim ACPI_STATUS 720b94ba42SJung-uk Kim AnMethodTypingWalkEnd ( 730b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *Op, 740b94ba42SJung-uk Kim UINT32 Level, 750b94ba42SJung-uk Kim void *Context) 760b94ba42SJung-uk Kim { 770b94ba42SJung-uk Kim UINT32 ThisNodeBtype; 780b94ba42SJung-uk Kim 790b94ba42SJung-uk Kim 800b94ba42SJung-uk Kim switch (Op->Asl.ParseOpcode) 810b94ba42SJung-uk Kim { 820b94ba42SJung-uk Kim case PARSEOP_METHOD: 830b94ba42SJung-uk Kim 840b94ba42SJung-uk Kim Op->Asl.CompileFlags |= NODE_METHOD_TYPED; 850b94ba42SJung-uk Kim break; 860b94ba42SJung-uk Kim 870b94ba42SJung-uk Kim case PARSEOP_RETURN: 880b94ba42SJung-uk Kim 890b94ba42SJung-uk Kim if ((Op->Asl.Child) && 900b94ba42SJung-uk Kim (Op->Asl.Child->Asl.ParseOpcode != PARSEOP_DEFAULT_ARG)) 910b94ba42SJung-uk Kim { 920b94ba42SJung-uk Kim ThisNodeBtype = AnGetBtype (Op->Asl.Child); 930b94ba42SJung-uk Kim 940b94ba42SJung-uk Kim if ((Op->Asl.Child->Asl.ParseOpcode == PARSEOP_METHODCALL) && 950b94ba42SJung-uk Kim (ThisNodeBtype == (ACPI_UINT32_MAX -1))) 960b94ba42SJung-uk Kim { 970b94ba42SJung-uk Kim /* 980b94ba42SJung-uk Kim * The called method is untyped at this time (typically a 990b94ba42SJung-uk Kim * forward reference). 1000b94ba42SJung-uk Kim * 1010b94ba42SJung-uk Kim * Check for a recursive method call first. 1020b94ba42SJung-uk Kim */ 1030b94ba42SJung-uk Kim if (Op->Asl.ParentMethod != Op->Asl.Child->Asl.Node->Op) 1040b94ba42SJung-uk Kim { 1050b94ba42SJung-uk Kim /* We must type the method here */ 1060b94ba42SJung-uk Kim 1070b94ba42SJung-uk Kim TrWalkParseTree (Op->Asl.Child->Asl.Node->Op, 1080b94ba42SJung-uk Kim ASL_WALK_VISIT_UPWARD, NULL, 1090b94ba42SJung-uk Kim AnMethodTypingWalkEnd, NULL); 1100b94ba42SJung-uk Kim 1110b94ba42SJung-uk Kim ThisNodeBtype = AnGetBtype (Op->Asl.Child); 1120b94ba42SJung-uk Kim } 1130b94ba42SJung-uk Kim } 1140b94ba42SJung-uk Kim 1150b94ba42SJung-uk Kim /* Returns a value, save the value type */ 1160b94ba42SJung-uk Kim 1170b94ba42SJung-uk Kim if (Op->Asl.ParentMethod) 1180b94ba42SJung-uk Kim { 1190b94ba42SJung-uk Kim Op->Asl.ParentMethod->Asl.AcpiBtype |= ThisNodeBtype; 1200b94ba42SJung-uk Kim } 1210b94ba42SJung-uk Kim } 1220b94ba42SJung-uk Kim break; 1230b94ba42SJung-uk Kim 1240b94ba42SJung-uk Kim default: 1250b94ba42SJung-uk Kim break; 1260b94ba42SJung-uk Kim } 1270b94ba42SJung-uk Kim 1280b94ba42SJung-uk Kim return (AE_OK); 1290b94ba42SJung-uk Kim } 1300b94ba42SJung-uk Kim 1310b94ba42SJung-uk Kim 1320b94ba42SJung-uk Kim /******************************************************************************* 1330b94ba42SJung-uk Kim * 1340b94ba42SJung-uk Kim * FUNCTION: AnOperandTypecheckWalkEnd 1350b94ba42SJung-uk Kim * 1360b94ba42SJung-uk Kim * PARAMETERS: ASL_WALK_CALLBACK 1370b94ba42SJung-uk Kim * 1380b94ba42SJung-uk Kim * RETURN: Status 1390b94ba42SJung-uk Kim * 1400b94ba42SJung-uk Kim * DESCRIPTION: Ascending callback for analysis walk. Complete method 1410b94ba42SJung-uk Kim * return analysis. 1420b94ba42SJung-uk Kim * 1430b94ba42SJung-uk Kim ******************************************************************************/ 1440b94ba42SJung-uk Kim 1450b94ba42SJung-uk Kim ACPI_STATUS 1460b94ba42SJung-uk Kim AnOperandTypecheckWalkEnd ( 1470b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *Op, 1480b94ba42SJung-uk Kim UINT32 Level, 1490b94ba42SJung-uk Kim void *Context) 1500b94ba42SJung-uk Kim { 1510b94ba42SJung-uk Kim const ACPI_OPCODE_INFO *OpInfo; 1520b94ba42SJung-uk Kim UINT32 RuntimeArgTypes; 1530b94ba42SJung-uk Kim UINT32 RuntimeArgTypes2; 1540b94ba42SJung-uk Kim UINT32 RequiredBtypes; 1550b94ba42SJung-uk Kim UINT32 ThisNodeBtype; 1560b94ba42SJung-uk Kim UINT32 CommonBtypes; 1570b94ba42SJung-uk Kim UINT32 OpcodeClass; 1580b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *ArgOp; 1590b94ba42SJung-uk Kim UINT32 ArgType; 1600b94ba42SJung-uk Kim 1610b94ba42SJung-uk Kim 1620b94ba42SJung-uk Kim switch (Op->Asl.AmlOpcode) 1630b94ba42SJung-uk Kim { 1640b94ba42SJung-uk Kim case AML_RAW_DATA_BYTE: 1650b94ba42SJung-uk Kim case AML_RAW_DATA_WORD: 1660b94ba42SJung-uk Kim case AML_RAW_DATA_DWORD: 1670b94ba42SJung-uk Kim case AML_RAW_DATA_QWORD: 1680b94ba42SJung-uk Kim case AML_RAW_DATA_BUFFER: 1690b94ba42SJung-uk Kim case AML_RAW_DATA_CHAIN: 1700b94ba42SJung-uk Kim case AML_PACKAGE_LENGTH: 1710b94ba42SJung-uk Kim case AML_UNASSIGNED_OPCODE: 1720b94ba42SJung-uk Kim case AML_DEFAULT_ARG_OP: 1730b94ba42SJung-uk Kim 1740b94ba42SJung-uk Kim /* Ignore the internal (compiler-only) AML opcodes */ 1750b94ba42SJung-uk Kim 1760b94ba42SJung-uk Kim return (AE_OK); 1770b94ba42SJung-uk Kim 1780b94ba42SJung-uk Kim default: 1790b94ba42SJung-uk Kim break; 1800b94ba42SJung-uk Kim } 1810b94ba42SJung-uk Kim 1820b94ba42SJung-uk Kim OpInfo = AcpiPsGetOpcodeInfo (Op->Asl.AmlOpcode); 1830b94ba42SJung-uk Kim if (!OpInfo) 1840b94ba42SJung-uk Kim { 1850b94ba42SJung-uk Kim return (AE_OK); 1860b94ba42SJung-uk Kim } 1870b94ba42SJung-uk Kim 1880b94ba42SJung-uk Kim ArgOp = Op->Asl.Child; 1890b94ba42SJung-uk Kim RuntimeArgTypes = OpInfo->RuntimeArgs; 1900b94ba42SJung-uk Kim OpcodeClass = OpInfo->Class; 1910b94ba42SJung-uk Kim 1920b94ba42SJung-uk Kim #ifdef ASL_ERROR_NAMED_OBJECT_IN_WHILE 1930b94ba42SJung-uk Kim /* 1940b94ba42SJung-uk Kim * Update 11/2008: In practice, we can't perform this check. A simple 1950b94ba42SJung-uk Kim * analysis is not sufficient. Also, it can cause errors when compiling 1960b94ba42SJung-uk Kim * disassembled code because of the way Switch operators are implemented 1970b94ba42SJung-uk Kim * (a While(One) loop with a named temp variable created within.) 1980b94ba42SJung-uk Kim */ 1990b94ba42SJung-uk Kim 2000b94ba42SJung-uk Kim /* 2010b94ba42SJung-uk Kim * If we are creating a named object, check if we are within a while loop 2020b94ba42SJung-uk Kim * by checking if the parent is a WHILE op. This is a simple analysis, but 2030b94ba42SJung-uk Kim * probably sufficient for many cases. 2040b94ba42SJung-uk Kim * 2050b94ba42SJung-uk Kim * Allow Scope(), Buffer(), and Package(). 2060b94ba42SJung-uk Kim */ 2070b94ba42SJung-uk Kim if (((OpcodeClass == AML_CLASS_NAMED_OBJECT) && (Op->Asl.AmlOpcode != AML_SCOPE_OP)) || 2080b94ba42SJung-uk Kim ((OpcodeClass == AML_CLASS_CREATE) && (OpInfo->Flags & AML_NSNODE))) 2090b94ba42SJung-uk Kim { 2100b94ba42SJung-uk Kim if (Op->Asl.Parent->Asl.AmlOpcode == AML_WHILE_OP) 2110b94ba42SJung-uk Kim { 2120b94ba42SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_NAMED_OBJECT_IN_WHILE, Op, NULL); 2130b94ba42SJung-uk Kim } 2140b94ba42SJung-uk Kim } 2150b94ba42SJung-uk Kim #endif 2160b94ba42SJung-uk Kim 2170b94ba42SJung-uk Kim /* 2180b94ba42SJung-uk Kim * Special case for control opcodes IF/RETURN/WHILE since they 2190b94ba42SJung-uk Kim * have no runtime arg list (at this time) 2200b94ba42SJung-uk Kim */ 2210b94ba42SJung-uk Kim switch (Op->Asl.AmlOpcode) 2220b94ba42SJung-uk Kim { 2230b94ba42SJung-uk Kim case AML_IF_OP: 2240b94ba42SJung-uk Kim case AML_WHILE_OP: 2250b94ba42SJung-uk Kim case AML_RETURN_OP: 2260b94ba42SJung-uk Kim 2270b94ba42SJung-uk Kim if (ArgOp->Asl.ParseOpcode == PARSEOP_METHODCALL) 2280b94ba42SJung-uk Kim { 2290b94ba42SJung-uk Kim /* Check for an internal method */ 2300b94ba42SJung-uk Kim 2310b94ba42SJung-uk Kim if (AnIsInternalMethod (ArgOp)) 2320b94ba42SJung-uk Kim { 2330b94ba42SJung-uk Kim return (AE_OK); 2340b94ba42SJung-uk Kim } 2350b94ba42SJung-uk Kim 2360b94ba42SJung-uk Kim /* The lone arg is a method call, check it */ 2370b94ba42SJung-uk Kim 2380b94ba42SJung-uk Kim RequiredBtypes = AnMapArgTypeToBtype (ARGI_INTEGER); 2390b94ba42SJung-uk Kim if (Op->Asl.AmlOpcode == AML_RETURN_OP) 2400b94ba42SJung-uk Kim { 2410b94ba42SJung-uk Kim RequiredBtypes = 0xFFFFFFFF; 2420b94ba42SJung-uk Kim } 2430b94ba42SJung-uk Kim 2440b94ba42SJung-uk Kim ThisNodeBtype = AnGetBtype (ArgOp); 2450b94ba42SJung-uk Kim if (ThisNodeBtype == ACPI_UINT32_MAX) 2460b94ba42SJung-uk Kim { 2470b94ba42SJung-uk Kim return (AE_OK); 2480b94ba42SJung-uk Kim } 2490b94ba42SJung-uk Kim AnCheckMethodReturnValue (Op, OpInfo, ArgOp, 2500b94ba42SJung-uk Kim RequiredBtypes, ThisNodeBtype); 2510b94ba42SJung-uk Kim } 2520b94ba42SJung-uk Kim return (AE_OK); 2530b94ba42SJung-uk Kim 2540b94ba42SJung-uk Kim default: 2550b94ba42SJung-uk Kim break; 2560b94ba42SJung-uk Kim } 2570b94ba42SJung-uk Kim 2580b94ba42SJung-uk Kim /* Ignore the non-executable opcodes */ 2590b94ba42SJung-uk Kim 2600b94ba42SJung-uk Kim if (RuntimeArgTypes == ARGI_INVALID_OPCODE) 2610b94ba42SJung-uk Kim { 2620b94ba42SJung-uk Kim return (AE_OK); 2630b94ba42SJung-uk Kim } 2640b94ba42SJung-uk Kim 2650b94ba42SJung-uk Kim switch (OpcodeClass) 2660b94ba42SJung-uk Kim { 2670b94ba42SJung-uk Kim case AML_CLASS_EXECUTE: 2680b94ba42SJung-uk Kim case AML_CLASS_CREATE: 2690b94ba42SJung-uk Kim case AML_CLASS_CONTROL: 2700b94ba42SJung-uk Kim case AML_CLASS_RETURN_VALUE: 2710b94ba42SJung-uk Kim 2720b94ba42SJung-uk Kim /* TBD: Change class or fix typechecking for these */ 2730b94ba42SJung-uk Kim 2740b94ba42SJung-uk Kim if ((Op->Asl.AmlOpcode == AML_BUFFER_OP) || 2750b94ba42SJung-uk Kim (Op->Asl.AmlOpcode == AML_PACKAGE_OP) || 2760b94ba42SJung-uk Kim (Op->Asl.AmlOpcode == AML_VAR_PACKAGE_OP)) 2770b94ba42SJung-uk Kim { 2780b94ba42SJung-uk Kim break; 2790b94ba42SJung-uk Kim } 2800b94ba42SJung-uk Kim 2810b94ba42SJung-uk Kim /* Reverse the runtime argument list */ 2820b94ba42SJung-uk Kim 2830b94ba42SJung-uk Kim RuntimeArgTypes2 = 0; 2840b94ba42SJung-uk Kim while ((ArgType = GET_CURRENT_ARG_TYPE (RuntimeArgTypes))) 2850b94ba42SJung-uk Kim { 2860b94ba42SJung-uk Kim RuntimeArgTypes2 <<= ARG_TYPE_WIDTH; 2870b94ba42SJung-uk Kim RuntimeArgTypes2 |= ArgType; 2880b94ba42SJung-uk Kim INCREMENT_ARG_LIST (RuntimeArgTypes); 2890b94ba42SJung-uk Kim } 2900b94ba42SJung-uk Kim 2910b94ba42SJung-uk Kim while ((ArgType = GET_CURRENT_ARG_TYPE (RuntimeArgTypes2))) 2920b94ba42SJung-uk Kim { 2930b94ba42SJung-uk Kim RequiredBtypes = AnMapArgTypeToBtype (ArgType); 2940b94ba42SJung-uk Kim 2950b94ba42SJung-uk Kim ThisNodeBtype = AnGetBtype (ArgOp); 2960b94ba42SJung-uk Kim if (ThisNodeBtype == ACPI_UINT32_MAX) 2970b94ba42SJung-uk Kim { 2980b94ba42SJung-uk Kim goto NextArgument; 2990b94ba42SJung-uk Kim } 3000b94ba42SJung-uk Kim 3010b94ba42SJung-uk Kim /* Examine the arg based on the required type of the arg */ 3020b94ba42SJung-uk Kim 3030b94ba42SJung-uk Kim switch (ArgType) 3040b94ba42SJung-uk Kim { 3050b94ba42SJung-uk Kim case ARGI_TARGETREF: 3060b94ba42SJung-uk Kim 3070b94ba42SJung-uk Kim if (ArgOp->Asl.ParseOpcode == PARSEOP_ZERO) 3080b94ba42SJung-uk Kim { 3090b94ba42SJung-uk Kim /* ZERO is the placeholder for "don't store result" */ 3100b94ba42SJung-uk Kim 3110b94ba42SJung-uk Kim ThisNodeBtype = RequiredBtypes; 3120b94ba42SJung-uk Kim break; 3130b94ba42SJung-uk Kim } 3140b94ba42SJung-uk Kim 3150b94ba42SJung-uk Kim if (ArgOp->Asl.ParseOpcode == PARSEOP_INTEGER) 3160b94ba42SJung-uk Kim { 3170b94ba42SJung-uk Kim /* 3180b94ba42SJung-uk Kim * This is the case where an original reference to a resource 3190b94ba42SJung-uk Kim * descriptor field has been replaced by an (Integer) offset. 3200b94ba42SJung-uk Kim * These named fields are supported at compile-time only; 3210b94ba42SJung-uk Kim * the names are not passed to the interpreter (via the AML). 3220b94ba42SJung-uk Kim */ 3230b94ba42SJung-uk Kim if ((ArgOp->Asl.Node->Type == ACPI_TYPE_LOCAL_RESOURCE_FIELD) || 3240b94ba42SJung-uk Kim (ArgOp->Asl.Node->Type == ACPI_TYPE_LOCAL_RESOURCE)) 3250b94ba42SJung-uk Kim { 3260b94ba42SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_RESOURCE_FIELD, ArgOp, NULL); 3270b94ba42SJung-uk Kim } 3280b94ba42SJung-uk Kim else 3290b94ba42SJung-uk Kim { 3300b94ba42SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, ArgOp, NULL); 3310b94ba42SJung-uk Kim } 3320b94ba42SJung-uk Kim break; 3330b94ba42SJung-uk Kim } 3340b94ba42SJung-uk Kim 3350b94ba42SJung-uk Kim if ((ArgOp->Asl.ParseOpcode == PARSEOP_METHODCALL) || 3360b94ba42SJung-uk Kim (ArgOp->Asl.ParseOpcode == PARSEOP_DEREFOF)) 3370b94ba42SJung-uk Kim { 3380b94ba42SJung-uk Kim break; 3390b94ba42SJung-uk Kim } 3400b94ba42SJung-uk Kim 3410b94ba42SJung-uk Kim ThisNodeBtype = RequiredBtypes; 3420b94ba42SJung-uk Kim break; 3430b94ba42SJung-uk Kim 3440b94ba42SJung-uk Kim 3450b94ba42SJung-uk Kim case ARGI_REFERENCE: /* References */ 3460b94ba42SJung-uk Kim case ARGI_INTEGER_REF: 3470b94ba42SJung-uk Kim case ARGI_OBJECT_REF: 3480b94ba42SJung-uk Kim case ARGI_DEVICE_REF: 3490b94ba42SJung-uk Kim 3500b94ba42SJung-uk Kim switch (ArgOp->Asl.ParseOpcode) 3510b94ba42SJung-uk Kim { 3520b94ba42SJung-uk Kim case PARSEOP_LOCAL0: 3530b94ba42SJung-uk Kim case PARSEOP_LOCAL1: 3540b94ba42SJung-uk Kim case PARSEOP_LOCAL2: 3550b94ba42SJung-uk Kim case PARSEOP_LOCAL3: 3560b94ba42SJung-uk Kim case PARSEOP_LOCAL4: 3570b94ba42SJung-uk Kim case PARSEOP_LOCAL5: 3580b94ba42SJung-uk Kim case PARSEOP_LOCAL6: 3590b94ba42SJung-uk Kim case PARSEOP_LOCAL7: 3600b94ba42SJung-uk Kim 3610b94ba42SJung-uk Kim /* TBD: implement analysis of current value (type) of the local */ 3620b94ba42SJung-uk Kim /* For now, just treat any local as a typematch */ 3630b94ba42SJung-uk Kim 3640b94ba42SJung-uk Kim /*ThisNodeBtype = RequiredBtypes;*/ 3650b94ba42SJung-uk Kim break; 3660b94ba42SJung-uk Kim 3670b94ba42SJung-uk Kim case PARSEOP_ARG0: 3680b94ba42SJung-uk Kim case PARSEOP_ARG1: 3690b94ba42SJung-uk Kim case PARSEOP_ARG2: 3700b94ba42SJung-uk Kim case PARSEOP_ARG3: 3710b94ba42SJung-uk Kim case PARSEOP_ARG4: 3720b94ba42SJung-uk Kim case PARSEOP_ARG5: 3730b94ba42SJung-uk Kim case PARSEOP_ARG6: 3740b94ba42SJung-uk Kim 3750b94ba42SJung-uk Kim /* Hard to analyze argument types, sow we won't */ 3760b94ba42SJung-uk Kim /* For now, just treat any arg as a typematch */ 3770b94ba42SJung-uk Kim 3780b94ba42SJung-uk Kim /* ThisNodeBtype = RequiredBtypes; */ 3790b94ba42SJung-uk Kim break; 3800b94ba42SJung-uk Kim 3810b94ba42SJung-uk Kim case PARSEOP_DEBUG: 3820b94ba42SJung-uk Kim break; 3830b94ba42SJung-uk Kim 3840b94ba42SJung-uk Kim case PARSEOP_REFOF: 3850b94ba42SJung-uk Kim case PARSEOP_INDEX: 3860b94ba42SJung-uk Kim default: 3870b94ba42SJung-uk Kim break; 3880b94ba42SJung-uk Kim 3890b94ba42SJung-uk Kim } 3900b94ba42SJung-uk Kim break; 3910b94ba42SJung-uk Kim 3920b94ba42SJung-uk Kim case ARGI_INTEGER: 3930b94ba42SJung-uk Kim default: 3940b94ba42SJung-uk Kim break; 3950b94ba42SJung-uk Kim } 3960b94ba42SJung-uk Kim 3970b94ba42SJung-uk Kim 3980b94ba42SJung-uk Kim CommonBtypes = ThisNodeBtype & RequiredBtypes; 3990b94ba42SJung-uk Kim 4000b94ba42SJung-uk Kim if (ArgOp->Asl.ParseOpcode == PARSEOP_METHODCALL) 4010b94ba42SJung-uk Kim { 4020b94ba42SJung-uk Kim if (AnIsInternalMethod (ArgOp)) 4030b94ba42SJung-uk Kim { 4040b94ba42SJung-uk Kim return (AE_OK); 4050b94ba42SJung-uk Kim } 4060b94ba42SJung-uk Kim 4070b94ba42SJung-uk Kim /* Check a method call for a valid return value */ 4080b94ba42SJung-uk Kim 4090b94ba42SJung-uk Kim AnCheckMethodReturnValue (Op, OpInfo, ArgOp, 4100b94ba42SJung-uk Kim RequiredBtypes, ThisNodeBtype); 4110b94ba42SJung-uk Kim } 4120b94ba42SJung-uk Kim 4130b94ba42SJung-uk Kim /* 4140b94ba42SJung-uk Kim * Now check if the actual type(s) match at least one 4150b94ba42SJung-uk Kim * bit to the required type 4160b94ba42SJung-uk Kim */ 4170b94ba42SJung-uk Kim else if (!CommonBtypes) 4180b94ba42SJung-uk Kim { 4190b94ba42SJung-uk Kim /* No match -- this is a type mismatch error */ 4200b94ba42SJung-uk Kim 4210b94ba42SJung-uk Kim AnFormatBtype (StringBuffer, ThisNodeBtype); 4220b94ba42SJung-uk Kim AnFormatBtype (StringBuffer2, RequiredBtypes); 4230b94ba42SJung-uk Kim 4240b94ba42SJung-uk Kim sprintf (MsgBuffer, "[%s] found, %s operator requires [%s]", 4250b94ba42SJung-uk Kim StringBuffer, OpInfo->Name, StringBuffer2); 4260b94ba42SJung-uk Kim 4270b94ba42SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_INVALID_TYPE, ArgOp, MsgBuffer); 4280b94ba42SJung-uk Kim } 4290b94ba42SJung-uk Kim 4300b94ba42SJung-uk Kim NextArgument: 4310b94ba42SJung-uk Kim ArgOp = ArgOp->Asl.Next; 4320b94ba42SJung-uk Kim INCREMENT_ARG_LIST (RuntimeArgTypes2); 4330b94ba42SJung-uk Kim } 4340b94ba42SJung-uk Kim break; 4350b94ba42SJung-uk Kim 4360b94ba42SJung-uk Kim default: 4370b94ba42SJung-uk Kim break; 4380b94ba42SJung-uk Kim } 4390b94ba42SJung-uk Kim 4400b94ba42SJung-uk Kim return (AE_OK); 4410b94ba42SJung-uk Kim } 4420b94ba42SJung-uk Kim 4430b94ba42SJung-uk Kim 4440b94ba42SJung-uk Kim /******************************************************************************* 4450b94ba42SJung-uk Kim * 4460b94ba42SJung-uk Kim * FUNCTION: AnOtherSemanticAnalysisWalkBegin 4470b94ba42SJung-uk Kim * 4480b94ba42SJung-uk Kim * PARAMETERS: ASL_WALK_CALLBACK 4490b94ba42SJung-uk Kim * 4500b94ba42SJung-uk Kim * RETURN: Status 4510b94ba42SJung-uk Kim * 4520b94ba42SJung-uk Kim * DESCRIPTION: Descending callback for the analysis walk. Checks for 4530b94ba42SJung-uk Kim * miscellaneous issues in the code. 4540b94ba42SJung-uk Kim * 4550b94ba42SJung-uk Kim ******************************************************************************/ 4560b94ba42SJung-uk Kim 4570b94ba42SJung-uk Kim ACPI_STATUS 4580b94ba42SJung-uk Kim AnOtherSemanticAnalysisWalkBegin ( 4590b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *Op, 4600b94ba42SJung-uk Kim UINT32 Level, 4610b94ba42SJung-uk Kim void *Context) 4620b94ba42SJung-uk Kim { 4630b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *ArgNode; 4640b94ba42SJung-uk Kim ACPI_PARSE_OBJECT *PrevArgNode = NULL; 4650b94ba42SJung-uk Kim const ACPI_OPCODE_INFO *OpInfo; 4663f0275a0SJung-uk Kim ACPI_NAMESPACE_NODE *Node; 4670b94ba42SJung-uk Kim 4680b94ba42SJung-uk Kim 4690b94ba42SJung-uk Kim OpInfo = AcpiPsGetOpcodeInfo (Op->Asl.AmlOpcode); 4700b94ba42SJung-uk Kim 4710b94ba42SJung-uk Kim /* 4720b94ba42SJung-uk Kim * Determine if an execution class operator actually does something by 4730b94ba42SJung-uk Kim * checking if it has a target and/or the function return value is used. 4740b94ba42SJung-uk Kim * (Target is optional, so a standalone statement can actually do nothing.) 4750b94ba42SJung-uk Kim */ 4760b94ba42SJung-uk Kim if ((OpInfo->Class == AML_CLASS_EXECUTE) && 4770b94ba42SJung-uk Kim (OpInfo->Flags & AML_HAS_RETVAL) && 4780b94ba42SJung-uk Kim (!AnIsResultUsed (Op))) 4790b94ba42SJung-uk Kim { 4800b94ba42SJung-uk Kim if (OpInfo->Flags & AML_HAS_TARGET) 4810b94ba42SJung-uk Kim { 4820b94ba42SJung-uk Kim /* 4830b94ba42SJung-uk Kim * Find the target node, it is always the last child. If the traget 4840b94ba42SJung-uk Kim * is not specified in the ASL, a default node of type Zero was 4850b94ba42SJung-uk Kim * created by the parser. 4860b94ba42SJung-uk Kim */ 4870b94ba42SJung-uk Kim ArgNode = Op->Asl.Child; 4880b94ba42SJung-uk Kim while (ArgNode->Asl.Next) 4890b94ba42SJung-uk Kim { 4900b94ba42SJung-uk Kim PrevArgNode = ArgNode; 4910b94ba42SJung-uk Kim ArgNode = ArgNode->Asl.Next; 4920b94ba42SJung-uk Kim } 4930b94ba42SJung-uk Kim 4940b94ba42SJung-uk Kim /* Divide() is the only weird case, it has two targets */ 4950b94ba42SJung-uk Kim 4960b94ba42SJung-uk Kim if (Op->Asl.AmlOpcode == AML_DIVIDE_OP) 4970b94ba42SJung-uk Kim { 4980b94ba42SJung-uk Kim if ((ArgNode->Asl.ParseOpcode == PARSEOP_ZERO) && 4990b94ba42SJung-uk Kim (PrevArgNode) && 5000b94ba42SJung-uk Kim (PrevArgNode->Asl.ParseOpcode == PARSEOP_ZERO)) 5010b94ba42SJung-uk Kim { 5020b94ba42SJung-uk Kim AslError (ASL_WARNING, ASL_MSG_RESULT_NOT_USED, 5030b94ba42SJung-uk Kim Op, Op->Asl.ExternalName); 5040b94ba42SJung-uk Kim } 5050b94ba42SJung-uk Kim } 5060b94ba42SJung-uk Kim else if (ArgNode->Asl.ParseOpcode == PARSEOP_ZERO) 5070b94ba42SJung-uk Kim { 5080b94ba42SJung-uk Kim AslError (ASL_WARNING, ASL_MSG_RESULT_NOT_USED, 5090b94ba42SJung-uk Kim Op, Op->Asl.ExternalName); 5100b94ba42SJung-uk Kim } 5110b94ba42SJung-uk Kim } 5120b94ba42SJung-uk Kim else 5130b94ba42SJung-uk Kim { 5140b94ba42SJung-uk Kim /* 5150b94ba42SJung-uk Kim * Has no target and the result is not used. Only a couple opcodes 5160b94ba42SJung-uk Kim * can have this combination. 5170b94ba42SJung-uk Kim */ 5180b94ba42SJung-uk Kim switch (Op->Asl.ParseOpcode) 5190b94ba42SJung-uk Kim { 5200b94ba42SJung-uk Kim case PARSEOP_ACQUIRE: 5210b94ba42SJung-uk Kim case PARSEOP_WAIT: 5220b94ba42SJung-uk Kim case PARSEOP_LOADTABLE: 5230b94ba42SJung-uk Kim break; 5240b94ba42SJung-uk Kim 5250b94ba42SJung-uk Kim default: 5260b94ba42SJung-uk Kim AslError (ASL_WARNING, ASL_MSG_RESULT_NOT_USED, 5270b94ba42SJung-uk Kim Op, Op->Asl.ExternalName); 5280b94ba42SJung-uk Kim break; 5290b94ba42SJung-uk Kim } 5300b94ba42SJung-uk Kim } 5310b94ba42SJung-uk Kim } 5320b94ba42SJung-uk Kim 5330b94ba42SJung-uk Kim 5340b94ba42SJung-uk Kim /* 5350b94ba42SJung-uk Kim * Semantic checks for individual ASL operators 5360b94ba42SJung-uk Kim */ 5370b94ba42SJung-uk Kim switch (Op->Asl.ParseOpcode) 5380b94ba42SJung-uk Kim { 5390b94ba42SJung-uk Kim case PARSEOP_ACQUIRE: 5400b94ba42SJung-uk Kim case PARSEOP_WAIT: 5410b94ba42SJung-uk Kim /* 5420b94ba42SJung-uk Kim * Emit a warning if the timeout parameter for these operators is not 5430b94ba42SJung-uk Kim * ACPI_WAIT_FOREVER, and the result value from the operator is not 5440b94ba42SJung-uk Kim * checked, meaning that a timeout could happen, but the code 5450b94ba42SJung-uk Kim * would not know about it. 5460b94ba42SJung-uk Kim */ 5470b94ba42SJung-uk Kim 5480b94ba42SJung-uk Kim /* First child is the namepath, 2nd child is timeout */ 5490b94ba42SJung-uk Kim 5500b94ba42SJung-uk Kim ArgNode = Op->Asl.Child; 5510b94ba42SJung-uk Kim ArgNode = ArgNode->Asl.Next; 5520b94ba42SJung-uk Kim 5530b94ba42SJung-uk Kim /* 5540b94ba42SJung-uk Kim * Check for the WAIT_FOREVER case - defined by the ACPI spec to be 5550b94ba42SJung-uk Kim * 0xFFFF or greater 5560b94ba42SJung-uk Kim */ 5570b94ba42SJung-uk Kim if (((ArgNode->Asl.ParseOpcode == PARSEOP_WORDCONST) || 5580b94ba42SJung-uk Kim (ArgNode->Asl.ParseOpcode == PARSEOP_INTEGER)) && 5590b94ba42SJung-uk Kim (ArgNode->Asl.Value.Integer >= (UINT64) ACPI_WAIT_FOREVER)) 5600b94ba42SJung-uk Kim { 5610b94ba42SJung-uk Kim break; 5620b94ba42SJung-uk Kim } 5630b94ba42SJung-uk Kim 5640b94ba42SJung-uk Kim /* 5650b94ba42SJung-uk Kim * The operation could timeout. If the return value is not used 5660b94ba42SJung-uk Kim * (indicates timeout occurred), issue a warning 5670b94ba42SJung-uk Kim */ 5680b94ba42SJung-uk Kim if (!AnIsResultUsed (Op)) 5690b94ba42SJung-uk Kim { 5700b94ba42SJung-uk Kim AslError (ASL_WARNING, ASL_MSG_TIMEOUT, ArgNode, 5710b94ba42SJung-uk Kim Op->Asl.ExternalName); 5720b94ba42SJung-uk Kim } 5730b94ba42SJung-uk Kim break; 5740b94ba42SJung-uk Kim 5750b94ba42SJung-uk Kim case PARSEOP_CREATEFIELD: 5760b94ba42SJung-uk Kim /* 5770b94ba42SJung-uk Kim * Check for a zero Length (NumBits) operand. NumBits is the 3rd operand 5780b94ba42SJung-uk Kim */ 5790b94ba42SJung-uk Kim ArgNode = Op->Asl.Child; 5800b94ba42SJung-uk Kim ArgNode = ArgNode->Asl.Next; 5810b94ba42SJung-uk Kim ArgNode = ArgNode->Asl.Next; 5820b94ba42SJung-uk Kim 5830b94ba42SJung-uk Kim if ((ArgNode->Asl.ParseOpcode == PARSEOP_ZERO) || 5840b94ba42SJung-uk Kim ((ArgNode->Asl.ParseOpcode == PARSEOP_INTEGER) && 5850b94ba42SJung-uk Kim (ArgNode->Asl.Value.Integer == 0))) 5860b94ba42SJung-uk Kim { 5870b94ba42SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_NON_ZERO, ArgNode, NULL); 5880b94ba42SJung-uk Kim } 5890b94ba42SJung-uk Kim break; 5900b94ba42SJung-uk Kim 5913f0275a0SJung-uk Kim case PARSEOP_CONNECTION: 5923f0275a0SJung-uk Kim /* 5933f0275a0SJung-uk Kim * Ensure that the referenced operation region has the correct SPACE_ID. 5943f0275a0SJung-uk Kim * From the grammar/parser, we know the parent is a FIELD definition. 5953f0275a0SJung-uk Kim */ 5963f0275a0SJung-uk Kim ArgNode = Op->Asl.Parent; /* Field definition */ 5973f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Child; /* First child is the OpRegion Name */ 5983f0275a0SJung-uk Kim Node = ArgNode->Asl.Node; /* OpRegion namespace node */ 5993f0275a0SJung-uk Kim 6003f0275a0SJung-uk Kim ArgNode = Node->Op; /* OpRegion definition */ 6013f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Child; /* First child is the OpRegion Name */ 6023f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* Next peer is the SPACE_ID (what we want) */ 6033f0275a0SJung-uk Kim 6043f0275a0SJung-uk Kim /* 6053f0275a0SJung-uk Kim * The Connection() operator is only valid for the following operation 6063f0275a0SJung-uk Kim * region SpaceIds: GeneralPurposeIo and GenericSerialBus. 6073f0275a0SJung-uk Kim */ 6083f0275a0SJung-uk Kim if ((ArgNode->Asl.Value.Integer != ACPI_ADR_SPACE_GPIO) && 6093f0275a0SJung-uk Kim (ArgNode->Asl.Value.Integer != ACPI_ADR_SPACE_GSBUS)) 6103f0275a0SJung-uk Kim { 6113f0275a0SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_CONNECTION_INVALID, Op, NULL); 6123f0275a0SJung-uk Kim } 6133f0275a0SJung-uk Kim break; 6143f0275a0SJung-uk Kim 6153f0275a0SJung-uk Kim case PARSEOP_FIELD: 6163f0275a0SJung-uk Kim /* 6173f0275a0SJung-uk Kim * Ensure that fields for GeneralPurposeIo and GenericSerialBus 6183f0275a0SJung-uk Kim * contain at least one Connection() operator 6193f0275a0SJung-uk Kim */ 6203f0275a0SJung-uk Kim ArgNode = Op->Asl.Child; /* 1st child is the OpRegion Name */ 6213f0275a0SJung-uk Kim Node = ArgNode->Asl.Node; /* OpRegion namespace node */ 6223f0275a0SJung-uk Kim if (!Node) 6233f0275a0SJung-uk Kim { 6243f0275a0SJung-uk Kim break; 6253f0275a0SJung-uk Kim } 6263f0275a0SJung-uk Kim 6273f0275a0SJung-uk Kim ArgNode = Node->Op; /* OpRegion definition */ 6283f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Child; /* First child is the OpRegion Name */ 6293f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* Next peer is the SPACE_ID (what we want) */ 6303f0275a0SJung-uk Kim 6313f0275a0SJung-uk Kim /* We are only interested in GeneralPurposeIo and GenericSerialBus */ 6323f0275a0SJung-uk Kim 6333f0275a0SJung-uk Kim if ((ArgNode->Asl.Value.Integer != ACPI_ADR_SPACE_GPIO) && 6343f0275a0SJung-uk Kim (ArgNode->Asl.Value.Integer != ACPI_ADR_SPACE_GSBUS)) 6353f0275a0SJung-uk Kim { 6363f0275a0SJung-uk Kim break; 6373f0275a0SJung-uk Kim } 6383f0275a0SJung-uk Kim 6393f0275a0SJung-uk Kim ArgNode = Op->Asl.Child; /* 1st child is the OpRegion Name */ 6403f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* AccessType */ 6413f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* LockRule */ 6423f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* UpdateRule */ 6433f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; /* Start of FieldUnitList */ 6443f0275a0SJung-uk Kim 6453f0275a0SJung-uk Kim /* Walk the FieldUnitList */ 6463f0275a0SJung-uk Kim 6473f0275a0SJung-uk Kim while (ArgNode) 6483f0275a0SJung-uk Kim { 6493f0275a0SJung-uk Kim if (ArgNode->Asl.ParseOpcode == PARSEOP_CONNECTION) 6503f0275a0SJung-uk Kim { 6513f0275a0SJung-uk Kim break; 6523f0275a0SJung-uk Kim } 6533f0275a0SJung-uk Kim else if (ArgNode->Asl.ParseOpcode == PARSEOP_NAMESEG) 6543f0275a0SJung-uk Kim { 6553f0275a0SJung-uk Kim AslError (ASL_ERROR, ASL_MSG_CONNECTION_MISSING, ArgNode, NULL); 6563f0275a0SJung-uk Kim break; 6573f0275a0SJung-uk Kim } 6583f0275a0SJung-uk Kim 6593f0275a0SJung-uk Kim ArgNode = ArgNode->Asl.Next; 6603f0275a0SJung-uk Kim } 6613f0275a0SJung-uk Kim break; 6623f0275a0SJung-uk Kim 6630b94ba42SJung-uk Kim default: 6640b94ba42SJung-uk Kim break; 6650b94ba42SJung-uk Kim } 6660b94ba42SJung-uk Kim 6670b94ba42SJung-uk Kim return (AE_OK); 6680b94ba42SJung-uk Kim } 669