| // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 |
| /****************************************************************************** |
| * |
| * Module Name: dswexec - Dispatcher method execution callbacks; |
| * dispatch to interpreter. |
| * |
| * Copyright (C) 2000 - 2020, Intel Corp. |
| * |
| *****************************************************************************/ |
| |
| #include <acpi/acpi.h> |
| #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, |
| ACPI_IMPLICIT_CONVERSION); |
| 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_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) */ |
| |
| status = acpi_db_single_step(walk_state, op, op_class); |
| 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_VARIABLE_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 Child=%p ParentOpcode=%4.4X\n", |
| op, op->named.value.arg, |
| op->common.parent->common. |
| aml_opcode)); |
| |
| 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_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); |
| } |