/****************************************************************************** * * Module Name: dswexec - Dispatcher method execution callbacks; * dispatch to interpreter. * *****************************************************************************/ /* * Copyright (C) 2000 - 2015, Intel Corp. * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions, and the following disclaimer, * without modification. * 2. Redistributions in binary form must reproduce at minimum a disclaimer * substantially similar to the "NO WARRANTY" disclaimer below * ("Disclaimer") and any redistribution must be conditioned upon * including a substantially similar Disclaimer requirement for further * binary redistribution. * 3. Neither the names of the above-listed copyright holders nor the names * of any contributors may be used to endorse or promote products derived * from this software without specific prior written permission. * * Alternatively, this software may be distributed under the terms of the * GNU General Public License ("GPL") version 2 as published by the Free * Software Foundation. * * NO WARRANTY * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE * POSSIBILITY OF SUCH DAMAGES. */ #include #include "accommon.h" #include "acparser.h" #include "amlcode.h" #include "acdispat.h" #include "acinterp.h" #include "acnamesp.h" #include "acdebug.h" #define _COMPONENT ACPI_DISPATCHER ACPI_MODULE_NAME("dswexec") /* * Dispatch table for opcode classes */ static acpi_execute_op acpi_gbl_op_type_dispatch[] = { acpi_ex_opcode_0A_0T_1R, acpi_ex_opcode_1A_0T_0R, acpi_ex_opcode_1A_0T_1R, acpi_ex_opcode_1A_1T_0R, acpi_ex_opcode_1A_1T_1R, acpi_ex_opcode_2A_0T_0R, acpi_ex_opcode_2A_0T_1R, acpi_ex_opcode_2A_1T_1R, acpi_ex_opcode_2A_2T_1R, acpi_ex_opcode_3A_0T_0R, acpi_ex_opcode_3A_1T_1R, acpi_ex_opcode_6A_0T_1R }; /***************************************************************************** * * FUNCTION: acpi_ds_get_predicate_value * * PARAMETERS: walk_state - Current state of the parse tree walk * result_obj - if non-zero, pop result from result stack * * RETURN: Status * * DESCRIPTION: Get the result of a predicate evaluation * ****************************************************************************/ acpi_status acpi_ds_get_predicate_value(struct acpi_walk_state *walk_state, union acpi_operand_object *result_obj) { acpi_status status = AE_OK; union acpi_operand_object *obj_desc; union acpi_operand_object *local_obj_desc = NULL; ACPI_FUNCTION_TRACE_PTR(ds_get_predicate_value, walk_state); walk_state->control_state->common.state = 0; if (result_obj) { status = acpi_ds_result_pop(&obj_desc, walk_state); if (ACPI_FAILURE(status)) { ACPI_EXCEPTION((AE_INFO, status, "Could not get result from predicate evaluation")); return_ACPI_STATUS(status); } } else { status = acpi_ds_create_operand(walk_state, walk_state->op, 0); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } status = acpi_ex_resolve_to_value(&walk_state->operands[0], walk_state); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } obj_desc = walk_state->operands[0]; } if (!obj_desc) { ACPI_ERROR((AE_INFO, "No predicate ObjDesc=%p State=%p", obj_desc, walk_state)); return_ACPI_STATUS(AE_AML_NO_OPERAND); } /* * Result of predicate evaluation must be an Integer * object. Implicitly convert the argument if necessary. */ status = acpi_ex_convert_to_integer(obj_desc, &local_obj_desc, 16); if (ACPI_FAILURE(status)) { goto cleanup; } if (local_obj_desc->common.type != ACPI_TYPE_INTEGER) { ACPI_ERROR((AE_INFO, "Bad predicate (not an integer) ObjDesc=%p State=%p Type=0x%X", obj_desc, walk_state, obj_desc->common.type)); status = AE_AML_OPERAND_TYPE; goto cleanup; } /* Truncate the predicate to 32-bits if necessary */ (void)acpi_ex_truncate_for32bit_table(local_obj_desc); /* * Save the result of the predicate evaluation on * the control stack */ if (local_obj_desc->integer.value) { walk_state->control_state->common.value = TRUE; } else { /* * Predicate is FALSE, we will just toss the * rest of the package */ walk_state->control_state->common.value = FALSE; status = AE_CTRL_FALSE; } /* Predicate can be used for an implicit return value */ (void)acpi_ds_do_implicit_return(local_obj_desc, walk_state, TRUE); cleanup: ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Completed a predicate eval=%X Op=%p\n", walk_state->control_state->common.value, walk_state->op)); /* Break to debugger to display result */ ACPI_DEBUGGER_EXEC(acpi_db_display_result_object (local_obj_desc, walk_state)); /* * Delete the predicate result object (we know that * we don't need it anymore) */ if (local_obj_desc != obj_desc) { acpi_ut_remove_reference(local_obj_desc); } acpi_ut_remove_reference(obj_desc); walk_state->control_state->common.state = ACPI_CONTROL_NORMAL; return_ACPI_STATUS(status); } /***************************************************************************** * * FUNCTION: acpi_ds_exec_begin_op * * PARAMETERS: walk_state - Current state of the parse tree walk * out_op - Where to return op if a new one is created * * RETURN: Status * * DESCRIPTION: Descending callback used during the execution of control * methods. This is where most operators and operands are * dispatched to the interpreter. * ****************************************************************************/ acpi_status acpi_ds_exec_begin_op(struct acpi_walk_state *walk_state, union acpi_parse_object **out_op) { union acpi_parse_object *op; acpi_status status = AE_OK; u32 opcode_class; ACPI_FUNCTION_TRACE_PTR(ds_exec_begin_op, walk_state); op = walk_state->op; if (!op) { status = acpi_ds_load2_begin_op(walk_state, out_op); if (ACPI_FAILURE(status)) { goto error_exit; } op = *out_op; walk_state->op = op; walk_state->opcode = op->common.aml_opcode; walk_state->op_info = acpi_ps_get_opcode_info(op->common.aml_opcode); if (acpi_ns_opens_scope(walk_state->op_info->object_type)) { ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "(%s) Popping scope for Op %p\n", acpi_ut_get_type_name(walk_state-> op_info-> object_type), op)); status = acpi_ds_scope_stack_pop(walk_state); if (ACPI_FAILURE(status)) { goto error_exit; } } } if (op == walk_state->origin) { if (out_op) { *out_op = op; } return_ACPI_STATUS(AE_OK); } /* * If the previous opcode was a conditional, this opcode * must be the beginning of the associated predicate. * Save this knowledge in the current scope descriptor */ if ((walk_state->control_state) && (walk_state->control_state->common.state == ACPI_CONTROL_CONDITIONAL_EXECUTING)) { ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Exec predicate Op=%p State=%p\n", op, walk_state)); walk_state->control_state->common.state = ACPI_CONTROL_PREDICATE_EXECUTING; /* Save start of predicate */ walk_state->control_state->control.predicate_op = op; } opcode_class = walk_state->op_info->class; /* We want to send namepaths to the load code */ if (op->common.aml_opcode == AML_INT_NAMEPATH_OP) { opcode_class = AML_CLASS_NAMED_OBJECT; } /* * Handle the opcode based upon the opcode type */ switch (opcode_class) { case AML_CLASS_CONTROL: status = acpi_ds_exec_begin_control_op(walk_state, op); break; case AML_CLASS_NAMED_OBJECT: if (walk_state->walk_type & ACPI_WALK_METHOD) { /* * Found a named object declaration during method execution; * we must enter this object into the namespace. The created * object is temporary and will be deleted upon completion of * the execution of this method. * * Note 10/2010: Except for the Scope() op. This opcode does * not actually create a new object, it refers to an existing * object. However, for Scope(), we want to indeed open a * new scope. */ if (op->common.aml_opcode != AML_SCOPE_OP) { status = acpi_ds_load2_begin_op(walk_state, NULL); } else { status = acpi_ds_scope_stack_push(op->named.node, op->named.node-> type, walk_state); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } } } break; case AML_CLASS_EXECUTE: case AML_CLASS_CREATE: break; default: break; } /* Nothing to do here during method execution */ return_ACPI_STATUS(status); error_exit: status = acpi_ds_method_error(status, walk_state); return_ACPI_STATUS(status); } /***************************************************************************** * * FUNCTION: acpi_ds_exec_end_op * * PARAMETERS: walk_state - Current state of the parse tree walk * * RETURN: Status * * DESCRIPTION: Ascending callback used during the execution of control * methods. The only thing we really need to do here is to * notice the beginning of IF, ELSE, and WHILE blocks. * ****************************************************************************/ acpi_status acpi_ds_exec_end_op(struct acpi_walk_state *walk_state) { union acpi_parse_object *op; acpi_status status = AE_OK; u32 op_type; u32 op_class; union acpi_parse_object *next_op; union acpi_parse_object *first_arg; ACPI_FUNCTION_TRACE_PTR(ds_exec_end_op, walk_state); op = walk_state->op; op_type = walk_state->op_info->type; op_class = walk_state->op_info->class; if (op_class == AML_CLASS_UNKNOWN) { ACPI_ERROR((AE_INFO, "Unknown opcode 0x%X", op->common.aml_opcode)); return_ACPI_STATUS(AE_NOT_IMPLEMENTED); } first_arg = op->common.value.arg; /* Init the walk state */ walk_state->num_operands = 0; walk_state->operand_index = 0; walk_state->return_desc = NULL; walk_state->result_obj = NULL; /* Call debugger for single step support (DEBUG build only) */ ACPI_DEBUGGER_EXEC(status = acpi_db_single_step(walk_state, op, op_class)); ACPI_DEBUGGER_EXEC(if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status);} ) ; /* Decode the Opcode Class */ switch (op_class) { case AML_CLASS_ARGUMENT: /* Constants, literals, etc. */ if (walk_state->opcode == AML_INT_NAMEPATH_OP) { status = acpi_ds_evaluate_name_path(walk_state); if (ACPI_FAILURE(status)) { goto cleanup; } } break; case AML_CLASS_EXECUTE: /* Most operators with arguments */ /* Build resolved operand stack */ status = acpi_ds_create_operands(walk_state, first_arg); if (ACPI_FAILURE(status)) { goto cleanup; } /* * All opcodes require operand resolution, with the only exceptions * being the object_type and size_of operators. */ if (!(walk_state->op_info->flags & AML_NO_OPERAND_RESOLVE)) { /* Resolve all operands */ status = acpi_ex_resolve_operands(walk_state->opcode, &(walk_state-> operands [walk_state-> num_operands - 1]), walk_state); } if (ACPI_SUCCESS(status)) { /* * Dispatch the request to the appropriate interpreter handler * routine. There is one routine per opcode "type" based upon the * number of opcode arguments and return type. */ status = acpi_gbl_op_type_dispatch[op_type] (walk_state); } else { /* * Treat constructs of the form "Store(LocalX,LocalX)" as noops when the * Local is uninitialized. */ if ((status == AE_AML_UNINITIALIZED_LOCAL) && (walk_state->opcode == AML_STORE_OP) && (walk_state->operands[0]->common.type == ACPI_TYPE_LOCAL_REFERENCE) && (walk_state->operands[1]->common.type == ACPI_TYPE_LOCAL_REFERENCE) && (walk_state->operands[0]->reference.class == walk_state->operands[1]->reference.class) && (walk_state->operands[0]->reference.value == walk_state->operands[1]->reference.value)) { status = AE_OK; } else { ACPI_EXCEPTION((AE_INFO, status, "While resolving operands for [%s]", acpi_ps_get_opcode_name (walk_state->opcode))); } } /* Always delete the argument objects and clear the operand stack */ acpi_ds_clear_operands(walk_state); /* * If a result object was returned from above, push it on the * current result stack */ if (ACPI_SUCCESS(status) && walk_state->result_obj) { status = acpi_ds_result_push(walk_state->result_obj, walk_state); } break; default: switch (op_type) { case AML_TYPE_CONTROL: /* Type 1 opcode, IF/ELSE/WHILE/NOOP */ /* 1 Operand, 0 external_result, 0 internal_result */ status = acpi_ds_exec_end_control_op(walk_state, op); break; case AML_TYPE_METHOD_CALL: /* * If the method is referenced from within a package * declaration, it is not a invocation of the method, just * a reference to it. */ if ((op->asl.parent) && ((op->asl.parent->asl.aml_opcode == AML_PACKAGE_OP) || (op->asl.parent->asl.aml_opcode == AML_VAR_PACKAGE_OP))) { ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Method Reference in a Package, Op=%p\n", op)); op->common.node = (struct acpi_namespace_node *)op->asl.value. arg->asl.node; acpi_ut_add_reference(op->asl.value.arg->asl. node->object); return_ACPI_STATUS(AE_OK); } ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Method invocation, Op=%p\n", op)); /* * (AML_METHODCALL) Op->Asl.Value.Arg->Asl.Node contains * the method Node pointer */ /* next_op points to the op that holds the method name */ next_op = first_arg; /* next_op points to first argument op */ next_op = next_op->common.next; /* * Get the method's arguments and put them on the operand stack */ status = acpi_ds_create_operands(walk_state, next_op); if (ACPI_FAILURE(status)) { break; } /* * Since the operands will be passed to another control method, * we must resolve all local references here (Local variables, * arguments to *this* method, etc.) */ status = acpi_ds_resolve_operands(walk_state); if (ACPI_FAILURE(status)) { /* On error, clear all resolved operands */ acpi_ds_clear_operands(walk_state); break; } /* * Tell the walk loop to preempt this running method and * execute the new method */ status = AE_CTRL_TRANSFER; /* * Return now; we don't want to disturb anything, * especially the operand count! */ return_ACPI_STATUS(status); case AML_TYPE_CREATE_FIELD: ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Executing CreateField Buffer/Index Op=%p\n", op)); status = acpi_ds_load2_end_op(walk_state); if (ACPI_FAILURE(status)) { break; } status = acpi_ds_eval_buffer_field_operands(walk_state, op); break; case AML_TYPE_CREATE_OBJECT: ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Executing CreateObject (Buffer/Package) Op=%p\n", op)); switch (op->common.parent->common.aml_opcode) { case AML_NAME_OP: /* * Put the Node on the object stack (Contains the ACPI Name * of this object) */ walk_state->operands[0] = (void *)op->common.parent->common.node; walk_state->num_operands = 1; status = acpi_ds_create_node(walk_state, op->common.parent-> common.node, op->common.parent); if (ACPI_FAILURE(status)) { break; } /* Fall through */ /*lint -fallthrough */ case AML_INT_EVAL_SUBTREE_OP: status = acpi_ds_eval_data_object_operands (walk_state, op, acpi_ns_get_attached_object(op->common. parent->common. node)); break; default: status = acpi_ds_eval_data_object_operands (walk_state, op, NULL); break; } /* * If a result object was returned from above, push it on the * current result stack */ if (walk_state->result_obj) { status = acpi_ds_result_push(walk_state->result_obj, walk_state); } break; case AML_TYPE_NAMED_FIELD: case AML_TYPE_NAMED_COMPLEX: case AML_TYPE_NAMED_SIMPLE: case AML_TYPE_NAMED_NO_OBJ: status = acpi_ds_load2_end_op(walk_state); if (ACPI_FAILURE(status)) { break; } if (op->common.aml_opcode == AML_REGION_OP) { ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Executing OpRegion Address/Length Op=%p\n", op)); status = acpi_ds_eval_region_operands(walk_state, op); if (ACPI_FAILURE(status)) { break; } } else if (op->common.aml_opcode == AML_DATA_REGION_OP) { ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Executing DataTableRegion Strings Op=%p\n", op)); status = acpi_ds_eval_table_region_operands (walk_state, op); if (ACPI_FAILURE(status)) { break; } } else if (op->common.aml_opcode == AML_BANK_FIELD_OP) { ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Executing BankField Op=%p\n", op)); status = acpi_ds_eval_bank_field_operands(walk_state, op); if (ACPI_FAILURE(status)) { break; } } break; case AML_TYPE_UNDEFINED: ACPI_ERROR((AE_INFO, "Undefined opcode type Op=%p", op)); return_ACPI_STATUS(AE_NOT_IMPLEMENTED); case AML_TYPE_BOGUS: ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Internal opcode=%X type Op=%p\n", walk_state->opcode, op)); break; default: ACPI_ERROR((AE_INFO, "Unimplemented opcode, class=0x%X type=0x%X Opcode=0x%X Op=%p", op_class, op_type, op->common.aml_opcode, op)); status = AE_NOT_IMPLEMENTED; break; } } /* * ACPI 2.0 support for 64-bit integers: Truncate numeric * result value if we are executing from a 32-bit ACPI table */ (void)acpi_ex_truncate_for32bit_table(walk_state->result_obj); /* * Check if we just completed the evaluation of a * conditional predicate */ if ((ACPI_SUCCESS(status)) && (walk_state->control_state) && (walk_state->control_state->common.state == ACPI_CONTROL_PREDICATE_EXECUTING) && (walk_state->control_state->control.predicate_op == op)) { status = acpi_ds_get_predicate_value(walk_state, walk_state->result_obj); walk_state->result_obj = NULL; } cleanup: if (walk_state->result_obj) { /* Break to debugger to display result */ ACPI_DEBUGGER_EXEC(acpi_db_display_result_object (walk_state->result_obj, walk_state)); /* * Delete the result op if and only if: * Parent will not use the result -- such as any * non-nested type2 op in a method (parent will be method) */ acpi_ds_delete_result_if_not_used(op, walk_state->result_obj, walk_state); } #ifdef _UNDER_DEVELOPMENT if (walk_state->parser_state.aml == walk_state->parser_state.aml_end) { acpi_db_method_end(walk_state); } #endif /* Invoke exception handler on error */ if (ACPI_FAILURE(status)) { status = acpi_ds_method_error(status, walk_state); } /* Always clear the object stack */ walk_state->num_operands = 0; return_ACPI_STATUS(status); }