Home | History | Annotate | Line # | Download | only in compiler
      1   1.1    jruoho /******************************************************************************
      2   1.1    jruoho  *
      3   1.2  christos  * Module Name: aslanalyze.c - Support functions for parse tree walks
      4   1.1    jruoho  *
      5   1.1    jruoho  *****************************************************************************/
      6   1.1    jruoho 
      7  1.18  christos /******************************************************************************
      8  1.18  christos  *
      9  1.18  christos  * 1. Copyright Notice
     10  1.18  christos  *
     11  1.19  christos  * Some or all of this work - Copyright (c) 1999 - 2025, Intel Corp.
     12   1.1    jruoho  * All rights reserved.
     13   1.1    jruoho  *
     14  1.18  christos  * 2. License
     15  1.18  christos  *
     16  1.18  christos  * 2.1. This is your license from Intel Corp. under its intellectual property
     17  1.18  christos  * rights. You may have additional license terms from the party that provided
     18  1.18  christos  * you this software, covering your right to use that party's intellectual
     19  1.18  christos  * property rights.
     20  1.18  christos  *
     21  1.18  christos  * 2.2. Intel grants, free of charge, to any person ("Licensee") obtaining a
     22  1.18  christos  * copy of the source code appearing in this file ("Covered Code") an
     23  1.18  christos  * irrevocable, perpetual, worldwide license under Intel's copyrights in the
     24  1.18  christos  * base code distributed originally by Intel ("Original Intel Code") to copy,
     25  1.18  christos  * make derivatives, distribute, use and display any portion of the Covered
     26  1.18  christos  * Code in any form, with the right to sublicense such rights; and
     27  1.18  christos  *
     28  1.18  christos  * 2.3. Intel grants Licensee a non-exclusive and non-transferable patent
     29  1.18  christos  * license (with the right to sublicense), under only those claims of Intel
     30  1.18  christos  * patents that are infringed by the Original Intel Code, to make, use, sell,
     31  1.18  christos  * offer to sell, and import the Covered Code and derivative works thereof
     32  1.18  christos  * solely to the minimum extent necessary to exercise the above copyright
     33  1.18  christos  * license, and in no event shall the patent license extend to any additions
     34  1.18  christos  * to or modifications of the Original Intel Code. No other license or right
     35  1.18  christos  * is granted directly or by implication, estoppel or otherwise;
     36  1.18  christos  *
     37  1.18  christos  * The above copyright and patent license is granted only if the following
     38  1.18  christos  * conditions are met:
     39  1.18  christos  *
     40  1.18  christos  * 3. Conditions
     41  1.18  christos  *
     42  1.18  christos  * 3.1. Redistribution of Source with Rights to Further Distribute Source.
     43  1.18  christos  * Redistribution of source code of any substantial portion of the Covered
     44  1.18  christos  * Code or modification with rights to further distribute source must include
     45  1.18  christos  * the above Copyright Notice, the above License, this list of Conditions,
     46  1.18  christos  * and the following Disclaimer and Export Compliance provision. In addition,
     47  1.18  christos  * Licensee must cause all Covered Code to which Licensee contributes to
     48  1.18  christos  * contain a file documenting the changes Licensee made to create that Covered
     49  1.18  christos  * Code and the date of any change. Licensee must include in that file the
     50  1.18  christos  * documentation of any changes made by any predecessor Licensee. Licensee
     51  1.18  christos  * must include a prominent statement that the modification is derived,
     52  1.18  christos  * directly or indirectly, from Original Intel Code.
     53  1.18  christos  *
     54  1.18  christos  * 3.2. Redistribution of Source with no Rights to Further Distribute Source.
     55  1.18  christos  * Redistribution of source code of any substantial portion of the Covered
     56  1.18  christos  * Code or modification without rights to further distribute source must
     57  1.18  christos  * include the following Disclaimer and Export Compliance provision in the
     58  1.18  christos  * documentation and/or other materials provided with distribution. In
     59  1.18  christos  * addition, Licensee may not authorize further sublicense of source of any
     60  1.18  christos  * portion of the Covered Code, and must include terms to the effect that the
     61  1.18  christos  * license from Licensee to its licensee is limited to the intellectual
     62  1.18  christos  * property embodied in the software Licensee provides to its licensee, and
     63  1.18  christos  * not to intellectual property embodied in modifications its licensee may
     64  1.18  christos  * make.
     65  1.18  christos  *
     66  1.18  christos  * 3.3. Redistribution of Executable. Redistribution in executable form of any
     67  1.18  christos  * substantial portion of the Covered Code or modification must reproduce the
     68  1.18  christos  * above Copyright Notice, and the following Disclaimer and Export Compliance
     69  1.18  christos  * provision in the documentation and/or other materials provided with the
     70  1.18  christos  * distribution.
     71  1.18  christos  *
     72  1.18  christos  * 3.4. Intel retains all right, title, and interest in and to the Original
     73  1.18  christos  * Intel Code.
     74  1.18  christos  *
     75  1.18  christos  * 3.5. Neither the name Intel nor any other trademark owned or controlled by
     76  1.18  christos  * Intel shall be used in advertising or otherwise to promote the sale, use or
     77  1.18  christos  * other dealings in products derived from or relating to the Covered Code
     78  1.18  christos  * without prior written authorization from Intel.
     79  1.18  christos  *
     80  1.18  christos  * 4. Disclaimer and Export Compliance
     81  1.18  christos  *
     82  1.18  christos  * 4.1. INTEL MAKES NO WARRANTY OF ANY KIND REGARDING ANY SOFTWARE PROVIDED
     83  1.18  christos  * HERE. ANY SOFTWARE ORIGINATING FROM INTEL OR DERIVED FROM INTEL SOFTWARE
     84  1.18  christos  * IS PROVIDED "AS IS," AND INTEL WILL NOT PROVIDE ANY SUPPORT, ASSISTANCE,
     85  1.18  christos  * INSTALLATION, TRAINING OR OTHER SERVICES. INTEL WILL NOT PROVIDE ANY
     86  1.18  christos  * UPDATES, ENHANCEMENTS OR EXTENSIONS. INTEL SPECIFICALLY DISCLAIMS ANY
     87  1.18  christos  * IMPLIED WARRANTIES OF MERCHANTABILITY, NONINFRINGEMENT AND FITNESS FOR A
     88  1.18  christos  * PARTICULAR PURPOSE.
     89  1.18  christos  *
     90  1.18  christos  * 4.2. IN NO EVENT SHALL INTEL HAVE ANY LIABILITY TO LICENSEE, ITS LICENSEES
     91  1.18  christos  * OR ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR
     92  1.18  christos  * COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY INDIRECT,
     93  1.18  christos  * SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THIS AGREEMENT, UNDER ANY
     94  1.18  christos  * CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL
     95  1.18  christos  * HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS
     96  1.18  christos  * SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY
     97  1.18  christos  * LIMITED REMEDY.
     98  1.18  christos  *
     99  1.18  christos  * 4.3. Licensee shall not export, either directly or indirectly, any of this
    100  1.18  christos  * software or system incorporating such software without first obtaining any
    101  1.18  christos  * required license or other approval from the U. S. Department of Commerce or
    102  1.18  christos  * any other agency or department of the United States Government. In the
    103  1.18  christos  * event Licensee exports any such software from the United States or
    104  1.18  christos  * re-exports any such software from a foreign destination, Licensee shall
    105  1.18  christos  * ensure that the distribution and export/re-export of the software is in
    106  1.18  christos  * compliance with all laws, regulations, orders, or other restrictions of the
    107  1.18  christos  * U.S. Export Administration Regulations. Licensee agrees that neither it nor
    108  1.18  christos  * any of its subsidiaries will export/re-export any technical data, process,
    109  1.18  christos  * software, or service, directly or indirectly, to any country for which the
    110  1.18  christos  * United States government or any agency thereof requires an export license,
    111  1.18  christos  * other governmental approval, or letter of assurance, without first obtaining
    112  1.18  christos  * such license, approval or letter.
    113  1.18  christos  *
    114  1.18  christos  *****************************************************************************
    115  1.18  christos  *
    116  1.18  christos  * Alternatively, you may choose to be licensed under the terms of the
    117  1.18  christos  * following license:
    118  1.18  christos  *
    119   1.2  christos  * Redistribution and use in source and binary forms, with or without
    120   1.2  christos  * modification, are permitted provided that the following conditions
    121   1.2  christos  * are met:
    122   1.2  christos  * 1. Redistributions of source code must retain the above copyright
    123   1.2  christos  *    notice, this list of conditions, and the following disclaimer,
    124   1.2  christos  *    without modification.
    125   1.2  christos  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
    126   1.2  christos  *    substantially similar to the "NO WARRANTY" disclaimer below
    127   1.2  christos  *    ("Disclaimer") and any redistribution must be conditioned upon
    128   1.2  christos  *    including a substantially similar Disclaimer requirement for further
    129   1.2  christos  *    binary redistribution.
    130   1.2  christos  * 3. Neither the names of the above-listed copyright holders nor the names
    131   1.2  christos  *    of any contributors may be used to endorse or promote products derived
    132   1.2  christos  *    from this software without specific prior written permission.
    133   1.2  christos  *
    134   1.2  christos  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
    135   1.2  christos  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
    136  1.15  christos  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
    137   1.2  christos  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
    138  1.18  christos  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
    139  1.18  christos  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
    140  1.18  christos  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
    141  1.18  christos  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
    142  1.18  christos  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
    143  1.18  christos  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
    144  1.18  christos  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
    145  1.18  christos  *
    146  1.18  christos  * Alternatively, you may choose to be licensed under the terms of the
    147  1.18  christos  * GNU General Public License ("GPL") version 2 as published by the Free
    148  1.18  christos  * Software Foundation.
    149  1.18  christos  *
    150  1.18  christos  *****************************************************************************/
    151   1.1    jruoho 
    152   1.1    jruoho #include "aslcompiler.h"
    153   1.1    jruoho #include "aslcompiler.y.h"
    154  1.14  christos #include "acnamesp.h"
    155   1.2  christos #include <string.h>
    156   1.2  christos 
    157   1.1    jruoho 
    158   1.1    jruoho #define _COMPONENT          ACPI_COMPILER
    159   1.1    jruoho         ACPI_MODULE_NAME    ("aslanalyze")
    160   1.1    jruoho 
    161   1.1    jruoho 
    162   1.7  christos /* Local Prototypes */
    163   1.7  christos 
    164   1.7  christos static ACPI_STATUS
    165   1.7  christos ApDeviceSubtreeWalk (
    166   1.7  christos     ACPI_PARSE_OBJECT       *Op,
    167   1.7  christos     UINT32                  Level,
    168   1.7  christos     void                    *Context);
    169   1.7  christos 
    170   1.7  christos 
    171   1.1    jruoho /*******************************************************************************
    172   1.1    jruoho  *
    173   1.1    jruoho  * FUNCTION:    AnIsInternalMethod
    174   1.1    jruoho  *
    175   1.2  christos  * PARAMETERS:  Op                  - Current op
    176   1.1    jruoho  *
    177   1.1    jruoho  * RETURN:      Boolean
    178   1.1    jruoho  *
    179   1.1    jruoho  * DESCRIPTION: Check for an internal control method.
    180   1.1    jruoho  *
    181   1.1    jruoho  ******************************************************************************/
    182   1.1    jruoho 
    183   1.2  christos BOOLEAN
    184   1.1    jruoho AnIsInternalMethod (
    185   1.1    jruoho     ACPI_PARSE_OBJECT       *Op)
    186   1.1    jruoho {
    187   1.1    jruoho 
    188   1.5  christos     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
    189   1.5  christos         (!strcmp (Op->Asl.ExternalName, "_OSI")))
    190   1.1    jruoho     {
    191   1.1    jruoho         return (TRUE);
    192   1.1    jruoho     }
    193   1.1    jruoho 
    194   1.1    jruoho     return (FALSE);
    195   1.1    jruoho }
    196   1.1    jruoho 
    197   1.1    jruoho 
    198   1.1    jruoho /*******************************************************************************
    199   1.1    jruoho  *
    200   1.1    jruoho  * FUNCTION:    AnGetInternalMethodReturnType
    201   1.1    jruoho  *
    202   1.2  christos  * PARAMETERS:  Op                  - Current op
    203   1.1    jruoho  *
    204   1.1    jruoho  * RETURN:      Btype
    205   1.1    jruoho  *
    206   1.1    jruoho  * DESCRIPTION: Get the return type of an internal method
    207   1.1    jruoho  *
    208   1.1    jruoho  ******************************************************************************/
    209   1.1    jruoho 
    210   1.2  christos UINT32
    211   1.1    jruoho AnGetInternalMethodReturnType (
    212   1.1    jruoho     ACPI_PARSE_OBJECT       *Op)
    213   1.1    jruoho {
    214   1.1    jruoho 
    215   1.5  christos     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
    216   1.5  christos         (!strcmp (Op->Asl.ExternalName, "_OSI")))
    217   1.1    jruoho     {
    218   1.1    jruoho         return (ACPI_BTYPE_STRING);
    219   1.1    jruoho     }
    220   1.1    jruoho 
    221   1.1    jruoho     return (0);
    222   1.1    jruoho }
    223   1.1    jruoho 
    224   1.1    jruoho 
    225   1.1    jruoho /*******************************************************************************
    226   1.1    jruoho  *
    227   1.2  christos  * FUNCTION:    AnCheckId
    228   1.1    jruoho  *
    229   1.2  christos  * PARAMETERS:  Op                  - Current parse op
    230   1.2  christos  *              Type                - HID or CID
    231   1.1    jruoho  *
    232   1.2  christos  * RETURN:      None
    233   1.1    jruoho  *
    234   1.2  christos  * DESCRIPTION: Perform various checks on _HID and _CID strings. Only limited
    235   1.2  christos  *              checks can be performed on _CID strings.
    236   1.1    jruoho  *
    237   1.1    jruoho  ******************************************************************************/
    238   1.1    jruoho 
    239   1.2  christos void
    240   1.2  christos AnCheckId (
    241   1.2  christos     ACPI_PARSE_OBJECT       *Op,
    242   1.2  christos     ACPI_NAME               Type)
    243   1.1    jruoho {
    244   1.2  christos     UINT32                  i;
    245   1.2  christos     ACPI_SIZE               Length;
    246   1.1    jruoho 
    247   1.1    jruoho 
    248   1.2  christos     /* Only care about string versions of _HID/_CID (integers are legal) */
    249   1.1    jruoho 
    250   1.2  christos     if (Op->Asl.ParseOpcode != PARSEOP_STRING_LITERAL)
    251   1.1    jruoho     {
    252   1.2  christos         return;
    253   1.1    jruoho     }
    254   1.1    jruoho 
    255   1.2  christos     /* For both _HID and _CID, the string must be non-null */
    256   1.1    jruoho 
    257   1.2  christos     Length = strlen (Op->Asl.Value.String);
    258   1.2  christos     if (!Length)
    259   1.1    jruoho     {
    260   1.6  christos         AslError (ASL_ERROR, ASL_MSG_NULL_STRING, Op, NULL);
    261   1.2  christos         return;
    262   1.1    jruoho     }
    263   1.1    jruoho 
    264   1.2  christos     /*
    265   1.2  christos      * One of the things we want to catch here is the use of a leading
    266   1.2  christos      * asterisk in the string -- an odd construct that certain platform
    267   1.2  christos      * manufacturers are fond of. Technically, a leading asterisk is OK
    268   1.2  christos      * for _CID, but a valid use of this has not been seen.
    269   1.2  christos      */
    270   1.2  christos     if (*Op->Asl.Value.String == '*')
    271   1.1    jruoho     {
    272   1.2  christos         AslError (ASL_ERROR, ASL_MSG_LEADING_ASTERISK,
    273   1.2  christos             Op, Op->Asl.Value.String);
    274   1.2  christos         return;
    275   1.1    jruoho     }
    276   1.1    jruoho 
    277   1.2  christos     /* _CID strings are bus-specific, no more checks can be performed */
    278   1.1    jruoho 
    279   1.2  christos     if (Type == ASL_TYPE_CID)
    280   1.1    jruoho     {
    281   1.1    jruoho         return;
    282   1.1    jruoho     }
    283   1.1    jruoho 
    284   1.2  christos     /* For _HID, all characters must be alphanumeric */
    285   1.1    jruoho 
    286   1.2  christos     for (i = 0; Op->Asl.Value.String[i]; i++)
    287   1.1    jruoho     {
    288   1.2  christos         if (!isalnum ((int) Op->Asl.Value.String[i]))
    289   1.1    jruoho         {
    290   1.2  christos             AslError (ASL_ERROR, ASL_MSG_ALPHANUMERIC_STRING,
    291   1.2  christos                 Op, Op->Asl.Value.String);
    292   1.2  christos             return;
    293   1.1    jruoho         }
    294   1.1    jruoho     }
    295   1.1    jruoho 
    296   1.2  christos     /*
    297   1.2  christos      * _HID String must be one of these forms:
    298   1.2  christos      *
    299   1.2  christos      * "AAA####"    A is an uppercase letter and # is a hex digit
    300   1.2  christos      * "ACPI####"   # is a hex digit
    301   1.2  christos      * "NNNN####"   N is an uppercase letter or decimal digit (0-9)
    302   1.2  christos      *              # is a hex digit (ACPI 5.0)
    303   1.2  christos      */
    304   1.2  christos     if ((Length < 7) || (Length > 8))
    305   1.1    jruoho     {
    306   1.2  christos         AslError (ASL_ERROR, ASL_MSG_HID_LENGTH,
    307   1.2  christos             Op, Op->Asl.Value.String);
    308   1.2  christos         return;
    309   1.1    jruoho     }
    310   1.1    jruoho 
    311   1.6  christos     /* _HID Length is valid (7 or 8), now check prefix (first 3 or 4 chars) */
    312   1.1    jruoho 
    313   1.2  christos     if (Length == 7)
    314   1.1    jruoho     {
    315   1.2  christos         /* AAA####: Ensure the alphabetic prefix is all uppercase */
    316   1.1    jruoho 
    317   1.2  christos         for (i = 0; i < 3; i++)
    318   1.1    jruoho         {
    319   1.2  christos             if (!isupper ((int) Op->Asl.Value.String[i]))
    320   1.1    jruoho             {
    321   1.2  christos                 AslError (ASL_ERROR, ASL_MSG_UPPER_CASE,
    322   1.2  christos                     Op, &Op->Asl.Value.String[i]);
    323   1.2  christos                 return;
    324   1.1    jruoho             }
    325   1.1    jruoho         }
    326   1.1    jruoho     }
    327   1.2  christos     else /* Length == 8 */
    328   1.1    jruoho     {
    329   1.1    jruoho         /*
    330   1.2  christos          * ACPI#### or NNNN####:
    331   1.2  christos          * Ensure the prefix contains only uppercase alpha or decimal digits
    332   1.1    jruoho          */
    333   1.2  christos         for (i = 0; i < 4; i++)
    334   1.1    jruoho         {
    335   1.2  christos             if (!isupper ((int) Op->Asl.Value.String[i]) &&
    336   1.2  christos                 !isdigit ((int) Op->Asl.Value.String[i]))
    337   1.2  christos             {
    338   1.2  christos                 AslError (ASL_ERROR, ASL_MSG_HID_PREFIX,
    339   1.2  christos                     Op, &Op->Asl.Value.String[i]);
    340   1.2  christos                 return;
    341   1.2  christos             }
    342   1.1    jruoho         }
    343   1.2  christos     }
    344   1.1    jruoho 
    345   1.2  christos     /* Remaining characters (suffix) must be hex digits */
    346   1.1    jruoho 
    347   1.2  christos     for (; i < Length; i++)
    348   1.2  christos     {
    349   1.2  christos         if (!isxdigit ((int) Op->Asl.Value.String[i]))
    350   1.1    jruoho         {
    351   1.6  christos             AslError (ASL_ERROR, ASL_MSG_HID_SUFFIX,
    352   1.6  christos                 Op, &Op->Asl.Value.String[i]);
    353   1.2  christos             break;
    354   1.1    jruoho         }
    355   1.1    jruoho     }
    356   1.1    jruoho }
    357   1.1    jruoho 
    358   1.1    jruoho 
    359   1.1    jruoho /*******************************************************************************
    360   1.1    jruoho  *
    361   1.2  christos  * FUNCTION:    AnLastStatementIsReturn
    362   1.1    jruoho  *
    363   1.2  christos  * PARAMETERS:  Op                  - A method parse node
    364   1.1    jruoho  *
    365   1.2  christos  * RETURN:      TRUE if last statement is an ASL RETURN. False otherwise
    366   1.1    jruoho  *
    367   1.2  christos  * DESCRIPTION: Walk down the list of top level statements within a method
    368   1.2  christos  *              to find the last one. Check if that last statement is in
    369   1.2  christos  *              fact a RETURN statement.
    370   1.1    jruoho  *
    371   1.1    jruoho  ******************************************************************************/
    372   1.1    jruoho 
    373   1.2  christos BOOLEAN
    374   1.2  christos AnLastStatementIsReturn (
    375   1.2  christos     ACPI_PARSE_OBJECT       *Op)
    376   1.1    jruoho {
    377   1.2  christos     ACPI_PARSE_OBJECT       *Next;
    378   1.1    jruoho 
    379   1.1    jruoho 
    380   1.2  christos     /* Check if last statement is a return */
    381   1.1    jruoho 
    382   1.2  christos     Next = ASL_GET_CHILD_NODE (Op);
    383   1.2  christos     while (Next)
    384   1.1    jruoho     {
    385   1.2  christos         if ((!Next->Asl.Next) &&
    386   1.2  christos             (Next->Asl.ParseOpcode == PARSEOP_RETURN))
    387   1.1    jruoho         {
    388   1.2  christos             return (TRUE);
    389   1.1    jruoho         }
    390   1.1    jruoho 
    391   1.2  christos         Next = ASL_GET_PEER_NODE (Next);
    392   1.1    jruoho     }
    393   1.1    jruoho 
    394   1.2  christos     return (FALSE);
    395   1.1    jruoho }
    396   1.1    jruoho 
    397   1.1    jruoho 
    398   1.1    jruoho /*******************************************************************************
    399   1.1    jruoho  *
    400   1.1    jruoho  * FUNCTION:    AnCheckMethodReturnValue
    401   1.1    jruoho  *
    402   1.1    jruoho  * PARAMETERS:  Op                  - Parent
    403   1.1    jruoho  *              OpInfo              - Parent info
    404   1.1    jruoho  *              ArgOp               - Method invocation op
    405   1.1    jruoho  *              RequiredBtypes      - What caller requires
    406   1.1    jruoho  *              ThisNodeBtype       - What this node returns (if anything)
    407   1.1    jruoho  *
    408   1.1    jruoho  * RETURN:      None
    409   1.1    jruoho  *
    410   1.1    jruoho  * DESCRIPTION: Check a method invocation for 1) A return value and if it does
    411   1.1    jruoho  *              in fact return a value, 2) check the type of the return value.
    412   1.1    jruoho  *
    413   1.1    jruoho  ******************************************************************************/
    414   1.1    jruoho 
    415   1.2  christos void
    416   1.1    jruoho AnCheckMethodReturnValue (
    417   1.1    jruoho     ACPI_PARSE_OBJECT       *Op,
    418   1.1    jruoho     const ACPI_OPCODE_INFO  *OpInfo,
    419   1.1    jruoho     ACPI_PARSE_OBJECT       *ArgOp,
    420   1.1    jruoho     UINT32                  RequiredBtypes,
    421   1.1    jruoho     UINT32                  ThisNodeBtype)
    422   1.1    jruoho {
    423   1.1    jruoho     ACPI_PARSE_OBJECT       *OwningOp;
    424   1.1    jruoho     ACPI_NAMESPACE_NODE     *Node;
    425  1.14  christos     char                    *ExternalPath;
    426   1.1    jruoho 
    427   1.1    jruoho 
    428   1.1    jruoho     Node = ArgOp->Asl.Node;
    429   1.1    jruoho 
    430   1.7  christos     if (!Node)
    431   1.7  christos     {
    432   1.7  christos         /* No error message, this can happen and is OK */
    433   1.7  christos 
    434   1.7  christos         return;
    435   1.7  christos     }
    436   1.1    jruoho 
    437   1.1    jruoho     /* Examine the parent op of this method */
    438   1.1    jruoho 
    439   1.1    jruoho     OwningOp = Node->Op;
    440  1.14  christos     ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
    441  1.14  christos 
    442   1.9  christos     if (OwningOp->Asl.CompileFlags & OP_METHOD_NO_RETVAL)
    443   1.1    jruoho     {
    444   1.1    jruoho         /* Method NEVER returns a value */
    445   1.1    jruoho 
    446  1.14  christos         AslError (ASL_ERROR, ASL_MSG_NO_RETVAL, Op, ExternalPath);
    447   1.1    jruoho     }
    448   1.9  christos     else if (OwningOp->Asl.CompileFlags & OP_METHOD_SOME_NO_RETVAL)
    449   1.1    jruoho     {
    450   1.1    jruoho         /* Method SOMETIMES returns a value, SOMETIMES not */
    451   1.1    jruoho 
    452  1.14  christos         AslError (ASL_WARNING, ASL_MSG_SOME_NO_RETVAL, Op, ExternalPath);
    453   1.1    jruoho     }
    454   1.1    jruoho     else if (!(ThisNodeBtype & RequiredBtypes))
    455   1.1    jruoho     {
    456   1.1    jruoho         /* Method returns a value, but the type is wrong */
    457   1.1    jruoho 
    458  1.11  christos         AnFormatBtype (AslGbl_StringBuffer, ThisNodeBtype);
    459  1.11  christos         AnFormatBtype (AslGbl_StringBuffer2, RequiredBtypes);
    460   1.1    jruoho 
    461   1.1    jruoho         /*
    462   1.1    jruoho          * The case where the method does not return any value at all
    463   1.1    jruoho          * was already handled in the namespace cross reference
    464   1.1    jruoho          * -- Only issue an error if the method in fact returns a value,
    465   1.1    jruoho          * but it is of the wrong type
    466   1.1    jruoho          */
    467   1.1    jruoho         if (ThisNodeBtype != 0)
    468   1.1    jruoho         {
    469  1.11  christos             snprintf (AslGbl_MsgBuffer, sizeof(AslGbl_MsgBuffer),
    470   1.1    jruoho                 "Method returns [%s], %s operator requires [%s]",
    471  1.11  christos                 AslGbl_StringBuffer, OpInfo->Name, AslGbl_StringBuffer2);
    472   1.1    jruoho 
    473  1.15  christos             AslError (ASL_WARNING, ASL_MSG_INVALID_TYPE, ArgOp, AslGbl_MsgBuffer);
    474   1.1    jruoho         }
    475   1.1    jruoho     }
    476  1.14  christos 
    477  1.14  christos     if (ExternalPath)
    478  1.14  christos     {
    479  1.14  christos         ACPI_FREE (ExternalPath);
    480  1.14  christos     }
    481   1.1    jruoho }
    482   1.1    jruoho 
    483   1.1    jruoho 
    484   1.1    jruoho /*******************************************************************************
    485   1.1    jruoho  *
    486   1.1    jruoho  * FUNCTION:    AnIsResultUsed
    487   1.1    jruoho  *
    488   1.2  christos  * PARAMETERS:  Op                  - Parent op for the operator
    489   1.1    jruoho  *
    490   1.1    jruoho  * RETURN:      TRUE if result from this operation is actually consumed
    491   1.1    jruoho  *
    492   1.1    jruoho  * DESCRIPTION: Determine if the function result value from an operator is
    493   1.1    jruoho  *              used.
    494   1.1    jruoho  *
    495   1.1    jruoho  ******************************************************************************/
    496   1.1    jruoho 
    497   1.1    jruoho BOOLEAN
    498   1.1    jruoho AnIsResultUsed (
    499   1.1    jruoho     ACPI_PARSE_OBJECT       *Op)
    500   1.1    jruoho {
    501   1.1    jruoho     ACPI_PARSE_OBJECT       *Parent;
    502   1.1    jruoho 
    503   1.1    jruoho 
    504   1.1    jruoho     switch (Op->Asl.ParseOpcode)
    505   1.1    jruoho     {
    506   1.1    jruoho     case PARSEOP_INCREMENT:
    507   1.1    jruoho     case PARSEOP_DECREMENT:
    508   1.1    jruoho 
    509   1.1    jruoho         /* These are standalone operators, no return value */
    510   1.1    jruoho 
    511   1.1    jruoho         return (TRUE);
    512   1.1    jruoho 
    513   1.1    jruoho     default:
    514   1.2  christos 
    515   1.1    jruoho         break;
    516   1.1    jruoho     }
    517   1.1    jruoho 
    518   1.1    jruoho     /* Examine parent to determine if the return value is used */
    519   1.1    jruoho 
    520   1.1    jruoho     Parent = Op->Asl.Parent;
    521   1.1    jruoho     switch (Parent->Asl.ParseOpcode)
    522   1.1    jruoho     {
    523   1.1    jruoho     /* If/While - check if the operator is the predicate */
    524   1.1    jruoho 
    525   1.1    jruoho     case PARSEOP_IF:
    526   1.1    jruoho     case PARSEOP_WHILE:
    527   1.1    jruoho 
    528   1.1    jruoho         /* First child is the predicate */
    529   1.1    jruoho 
    530   1.1    jruoho         if (Parent->Asl.Child == Op)
    531   1.1    jruoho         {
    532   1.1    jruoho             return (TRUE);
    533   1.1    jruoho         }
    534   1.6  christos 
    535   1.1    jruoho         return (FALSE);
    536   1.1    jruoho 
    537   1.1    jruoho     /* Not used if one of these is the parent */
    538   1.1    jruoho 
    539   1.1    jruoho     case PARSEOP_METHOD:
    540   1.6  christos     case PARSEOP_DEFINITION_BLOCK:
    541   1.1    jruoho     case PARSEOP_ELSE:
    542   1.1    jruoho 
    543   1.1    jruoho         return (FALSE);
    544   1.1    jruoho 
    545   1.1    jruoho     default:
    546   1.2  christos 
    547   1.1    jruoho         /* Any other type of parent means that the result is used */
    548   1.1    jruoho 
    549   1.1    jruoho         return (TRUE);
    550   1.1    jruoho     }
    551   1.1    jruoho }
    552   1.1    jruoho 
    553   1.1    jruoho 
    554   1.1    jruoho /*******************************************************************************
    555   1.1    jruoho  *
    556   1.2  christos  * FUNCTION:    ApCheckForGpeNameConflict
    557   1.1    jruoho  *
    558   1.2  christos  * PARAMETERS:  Op                  - Current parse op
    559   1.1    jruoho  *
    560   1.2  christos  * RETURN:      None
    561   1.1    jruoho  *
    562   1.2  christos  * DESCRIPTION: Check for a conflict between GPE names within this scope.
    563   1.2  christos  *              Conflict means two GPE names with the same GPE number, but
    564   1.2  christos  *              different types -- such as _L1C and _E1C.
    565   1.1    jruoho  *
    566   1.1    jruoho  ******************************************************************************/
    567   1.1    jruoho 
    568   1.2  christos void
    569   1.2  christos ApCheckForGpeNameConflict (
    570   1.2  christos     ACPI_PARSE_OBJECT       *Op)
    571   1.1    jruoho {
    572   1.2  christos     ACPI_PARSE_OBJECT       *NextOp;
    573   1.2  christos     UINT32                  GpeNumber;
    574  1.12  christos     char                    Name[ACPI_NAMESEG_SIZE + 1];
    575  1.19  christos     char                    Target[ACPI_NAMESEG_SIZE] ACPI_NONSTRING;
    576   1.1    jruoho 
    577   1.1    jruoho 
    578  1.19  christos     /**
    579  1.19  christos      * Need a null-terminated string version of NameSeg
    580  1.19  christos      *
    581  1.19  christos      * NOTE: during a review on Name[ACPI_NAMESEG_SIZE + 1] having an extra
    582  1.19  christos      *       byte[1], compiler testing exhibited a difference in behavior between
    583  1.19  christos      *       GCC and Clang[2] (at least; MSVC may also exhibit the same) in
    584  1.19  christos      *       how optimization is done. The extra byte is needed to ensure
    585  1.19  christos      *       the signature does not get mangled, subsequently avoiding
    586  1.19  christos      *       GpeNumber being a completely different return value from strtoul.
    587  1.19  christos      *
    588  1.19  christos      *       [1] https://github.com/acpica/acpica/pull/1019#discussion_r2058687704
    589  1.19  christos      *       [2] https://github.com/acpica/acpica/pull/1019#discussion_r2061953039
    590  1.19  christos      */
    591   1.2  christos 
    592  1.13  christos     ACPI_MOVE_32_TO_32 (Name, Op->Asl.NameSeg);
    593  1.12  christos     Name[ACPI_NAMESEG_SIZE] = 0;
    594   1.1    jruoho 
    595   1.1    jruoho     /*
    596   1.2  christos      * For a GPE method:
    597   1.2  christos      * 1st char must be underscore
    598   1.2  christos      * 2nd char must be L or E
    599   1.2  christos      * 3rd/4th chars must be a hex number
    600   1.1    jruoho      */
    601   1.2  christos     if ((Name[0] != '_') ||
    602   1.2  christos        ((Name[1] != 'L') && (Name[1] != 'E')))
    603   1.1    jruoho     {
    604   1.2  christos         return;
    605   1.2  christos     }
    606   1.1    jruoho 
    607   1.2  christos     /* Verify 3rd/4th chars are a valid hex value */
    608   1.1    jruoho 
    609   1.5  christos     GpeNumber = strtoul (&Name[2], NULL, 16);
    610   1.2  christos     if (GpeNumber == ACPI_UINT32_MAX)
    611   1.2  christos     {
    612   1.2  christos         return;
    613   1.1    jruoho     }
    614   1.1    jruoho 
    615   1.1    jruoho     /*
    616   1.2  christos      * We are now sure we have an _Lxx or _Exx.
    617   1.2  christos      * Create the target name that would cause collision (Flip E/L)
    618   1.1    jruoho      */
    619   1.2  christos     ACPI_MOVE_32_TO_32 (Target, Name);
    620   1.1    jruoho 
    621   1.2  christos     /* Inject opposite letter ("L" versus "E") */
    622   1.1    jruoho 
    623   1.2  christos     if (Name[1] == 'L')
    624   1.2  christos     {
    625   1.2  christos         Target[1] = 'E';
    626   1.2  christos     }
    627   1.2  christos     else /* Name[1] == 'E' */
    628   1.2  christos     {
    629   1.2  christos         Target[1] = 'L';
    630   1.2  christos     }
    631   1.1    jruoho 
    632   1.2  christos     /* Search all peers (objects within this scope) for target match */
    633   1.1    jruoho 
    634   1.2  christos     NextOp = Op->Asl.Next;
    635   1.2  christos     while (NextOp)
    636   1.2  christos     {
    637   1.1    jruoho         /*
    638   1.2  christos          * We mostly care about methods, but check Name() constructs also,
    639   1.2  christos          * even though they will get another error for not being a method.
    640   1.2  christos          * All GPE names must be defined as control methods.
    641   1.1    jruoho          */
    642   1.2  christos         if ((NextOp->Asl.ParseOpcode == PARSEOP_METHOD) ||
    643   1.2  christos             (NextOp->Asl.ParseOpcode == PARSEOP_NAME))
    644   1.1    jruoho         {
    645  1.12  christos             if (ACPI_COMPARE_NAMESEG (Target, NextOp->Asl.NameSeg))
    646   1.2  christos             {
    647   1.2  christos                 /* Found both _Exy and _Lxy in the same scope, error */
    648   1.1    jruoho 
    649   1.2  christos                 AslError (ASL_ERROR, ASL_MSG_GPE_NAME_CONFLICT, NextOp,
    650   1.2  christos                     Name);
    651   1.2  christos                 return;
    652   1.2  christos             }
    653   1.1    jruoho         }
    654   1.1    jruoho 
    655   1.2  christos         NextOp = NextOp->Asl.Next;
    656   1.1    jruoho     }
    657   1.1    jruoho 
    658   1.2  christos     /* OK, no conflict found */
    659   1.2  christos 
    660   1.2  christos     return;
    661   1.1    jruoho }
    662   1.1    jruoho 
    663   1.1    jruoho 
    664   1.1    jruoho /*******************************************************************************
    665   1.1    jruoho  *
    666   1.2  christos  * FUNCTION:    ApCheckRegMethod
    667   1.1    jruoho  *
    668   1.2  christos  * PARAMETERS:  Op                  - Current parse op
    669   1.1    jruoho  *
    670   1.2  christos  * RETURN:      None
    671   1.1    jruoho  *
    672   1.2  christos  * DESCRIPTION: Ensure that a _REG method has a corresponding Operation
    673   1.2  christos  *              Region declaration within the same scope. Note: _REG is defined
    674   1.2  christos  *              to have two arguments and must therefore be defined as a
    675   1.2  christos  *              control method.
    676   1.1    jruoho  *
    677   1.1    jruoho  ******************************************************************************/
    678   1.1    jruoho 
    679   1.2  christos void
    680   1.2  christos ApCheckRegMethod (
    681   1.2  christos     ACPI_PARSE_OBJECT       *Op)
    682   1.1    jruoho {
    683   1.2  christos     ACPI_PARSE_OBJECT       *Next;
    684   1.2  christos     ACPI_PARSE_OBJECT       *Parent;
    685   1.1    jruoho 
    686   1.1    jruoho 
    687   1.2  christos     /* We are only interested in _REG methods */
    688   1.1    jruoho 
    689  1.12  christos     if (!ACPI_COMPARE_NAMESEG (METHOD_NAME__REG, &Op->Asl.NameSeg))
    690   1.2  christos     {
    691   1.2  christos         return;
    692   1.2  christos     }
    693   1.1    jruoho 
    694   1.2  christos     /* Get the start of the current scope */
    695   1.1    jruoho 
    696   1.2  christos     Parent = Op->Asl.Parent;
    697   1.2  christos     Next = Parent->Asl.Child;
    698   1.1    jruoho 
    699   1.2  christos     /* Search entire scope for an operation region declaration */
    700   1.1    jruoho 
    701   1.2  christos     while (Next)
    702   1.1    jruoho     {
    703   1.2  christos         if (Next->Asl.ParseOpcode == PARSEOP_OPERATIONREGION)
    704   1.2  christos         {
    705   1.2  christos             return; /* Found region, OK */
    706   1.2  christos         }
    707   1.2  christos 
    708   1.2  christos         Next = Next->Asl.Next;
    709   1.1    jruoho     }
    710   1.1    jruoho 
    711   1.2  christos     /* No region found, issue warning */
    712   1.1    jruoho 
    713   1.2  christos     AslError (ASL_WARNING, ASL_MSG_NO_REGION, Op, NULL);
    714   1.1    jruoho }
    715   1.3  christos 
    716   1.3  christos 
    717   1.3  christos /*******************************************************************************
    718   1.3  christos  *
    719   1.7  christos  * FUNCTION:    ApFindNameInDeviceTree
    720   1.7  christos  *
    721   1.7  christos  * PARAMETERS:  Name                - Name to search for
    722   1.7  christos  *              Op                  - Current parse op
    723   1.7  christos  *
    724   1.7  christos  * RETURN:      TRUE if name found in the same scope as Op.
    725   1.7  christos  *
    726   1.7  christos  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
    727   1.7  christos  *              a Method() or a Name(). "Same scope" can mean under an If or
    728   1.7  christos  *              Else statement.
    729   1.7  christos  *
    730   1.7  christos  * NOTE: Detects _HID/_ADR in this type of construct (legal in ACPI 6.1+)
    731   1.7  christos  *
    732   1.7  christos  * Scope (\_SB.PCI0)
    733   1.7  christos  * {
    734   1.7  christos  *     Device (I2C0)
    735   1.7  christos  *     {
    736   1.7  christos  *         If (SMD0 != 4) {
    737   1.7  christos  *             Name (_HID, "INT3442")
    738   1.7  christos  *         } Else {
    739   1.7  christos  *             Name (_ADR, 0x400)
    740   1.7  christos  *         }
    741   1.7  christos  *     }
    742   1.7  christos  * }
    743   1.7  christos  ******************************************************************************/
    744   1.7  christos 
    745   1.7  christos BOOLEAN
    746   1.7  christos ApFindNameInDeviceTree (
    747   1.7  christos     char                    *Name,
    748   1.7  christos     ACPI_PARSE_OBJECT       *Op)
    749   1.7  christos {
    750   1.7  christos     ACPI_STATUS             Status;
    751   1.7  christos 
    752   1.7  christos 
    753   1.7  christos     Status = TrWalkParseTree (Op, ASL_WALK_VISIT_DOWNWARD,
    754   1.7  christos         ApDeviceSubtreeWalk, NULL, Name);
    755   1.7  christos 
    756   1.7  christos     if (Status == AE_CTRL_TRUE)
    757   1.7  christos     {
    758   1.7  christos         return (TRUE);  /* Found a match */
    759   1.7  christos     }
    760   1.7  christos 
    761   1.7  christos     return (FALSE);
    762   1.7  christos }
    763   1.7  christos 
    764   1.7  christos 
    765   1.7  christos /* Callback function for interface above */
    766   1.7  christos 
    767   1.7  christos static ACPI_STATUS
    768   1.7  christos ApDeviceSubtreeWalk (
    769   1.7  christos     ACPI_PARSE_OBJECT       *Op,
    770   1.7  christos     UINT32                  Level,
    771   1.7  christos     void                    *Context)
    772   1.7  christos {
    773   1.7  christos     char                    *Name = ACPI_CAST_PTR (char, Context);
    774   1.7  christos 
    775   1.7  christos 
    776   1.7  christos     switch (Op->Asl.ParseOpcode)
    777   1.7  christos     {
    778   1.7  christos     case PARSEOP_DEVICE:
    779   1.7  christos 
    780   1.7  christos         /* Level 0 is the starting device, ignore it */
    781   1.7  christos 
    782   1.7  christos         if (Level > 0)
    783   1.7  christos         {
    784   1.7  christos             /* Ignore sub-devices */
    785   1.7  christos 
    786   1.7  christos             return (AE_CTRL_DEPTH);
    787   1.7  christos         }
    788   1.7  christos         break;
    789   1.7  christos 
    790   1.7  christos     case PARSEOP_NAME:
    791   1.7  christos     case PARSEOP_METHOD:
    792   1.7  christos 
    793   1.7  christos         /* These are what we are looking for */
    794   1.7  christos 
    795  1.12  christos         if (ACPI_COMPARE_NAMESEG (Name, Op->Asl.NameSeg))
    796   1.7  christos         {
    797   1.7  christos             return (AE_CTRL_TRUE);
    798   1.7  christos         }
    799   1.7  christos         return (AE_CTRL_DEPTH);
    800   1.7  christos 
    801   1.7  christos     case PARSEOP_SCOPE:
    802   1.7  christos     case PARSEOP_FIELD:
    803   1.7  christos     case PARSEOP_OPERATIONREGION:
    804   1.7  christos 
    805   1.7  christos         /*
    806   1.7  christos          * We want to ignore these, because either they can be large
    807   1.7  christos          * subtrees or open a scope to somewhere else.
    808   1.7  christos          */
    809   1.7  christos         return (AE_CTRL_DEPTH);
    810   1.7  christos 
    811   1.7  christos     default:
    812   1.7  christos         break;
    813   1.7  christos     }
    814   1.7  christos 
    815   1.7  christos     return (AE_OK);
    816   1.7  christos }
    817   1.7  christos 
    818   1.7  christos 
    819   1.7  christos /*******************************************************************************
    820   1.7  christos  *
    821   1.3  christos  * FUNCTION:    ApFindNameInScope
    822   1.3  christos  *
    823   1.3  christos  * PARAMETERS:  Name                - Name to search for
    824   1.3  christos  *              Op                  - Current parse op
    825   1.3  christos  *
    826   1.3  christos  * RETURN:      TRUE if name found in the same scope as Op.
    827   1.3  christos  *
    828   1.3  christos  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
    829   1.3  christos  *              a Method() or a Name().
    830   1.3  christos  *
    831   1.3  christos  ******************************************************************************/
    832   1.3  christos 
    833   1.3  christos BOOLEAN
    834   1.3  christos ApFindNameInScope (
    835   1.3  christos     char                    *Name,
    836   1.3  christos     ACPI_PARSE_OBJECT       *Op)
    837   1.3  christos {
    838   1.3  christos     ACPI_PARSE_OBJECT       *Next;
    839   1.3  christos     ACPI_PARSE_OBJECT       *Parent;
    840   1.3  christos 
    841   1.3  christos 
    842   1.3  christos     /* Get the start of the current scope */
    843   1.3  christos 
    844   1.3  christos     Parent = Op->Asl.Parent;
    845   1.3  christos     Next = Parent->Asl.Child;
    846   1.3  christos 
    847   1.3  christos     /* Search entire scope for a match to the name */
    848   1.3  christos 
    849   1.3  christos     while (Next)
    850   1.3  christos     {
    851   1.3  christos         if ((Next->Asl.ParseOpcode == PARSEOP_METHOD) ||
    852   1.3  christos             (Next->Asl.ParseOpcode == PARSEOP_NAME))
    853   1.3  christos         {
    854  1.12  christos             if (ACPI_COMPARE_NAMESEG (Name, Next->Asl.NameSeg))
    855   1.3  christos             {
    856   1.3  christos                 return (TRUE);
    857   1.3  christos             }
    858   1.3  christos         }
    859   1.3  christos 
    860   1.3  christos         Next = Next->Asl.Next;
    861   1.3  christos     }
    862   1.3  christos 
    863   1.3  christos     return (FALSE);
    864   1.3  christos }
    865