1 | // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 |
2 | /****************************************************************************** |
3 | * |
4 | * Module Name: exstoren - AML Interpreter object store support, |
5 | * Store to Node (namespace object) |
6 | * |
7 | * Copyright (C) 2000 - 2023, Intel Corp. |
8 | * |
9 | *****************************************************************************/ |
10 | |
11 | #include <acpi/acpi.h> |
12 | #include "accommon.h" |
13 | #include "acinterp.h" |
14 | #include "amlcode.h" |
15 | |
16 | #define _COMPONENT ACPI_EXECUTER |
17 | ACPI_MODULE_NAME("exstoren" ) |
18 | |
19 | /******************************************************************************* |
20 | * |
21 | * FUNCTION: acpi_ex_resolve_object |
22 | * |
23 | * PARAMETERS: source_desc_ptr - Pointer to the source object |
24 | * target_type - Current type of the target |
25 | * walk_state - Current walk state |
26 | * |
27 | * RETURN: Status, resolved object in source_desc_ptr. |
28 | * |
29 | * DESCRIPTION: Resolve an object. If the object is a reference, dereference |
30 | * it and return the actual object in the source_desc_ptr. |
31 | * |
32 | ******************************************************************************/ |
33 | acpi_status |
34 | acpi_ex_resolve_object(union acpi_operand_object **source_desc_ptr, |
35 | acpi_object_type target_type, |
36 | struct acpi_walk_state *walk_state) |
37 | { |
38 | union acpi_operand_object *source_desc = *source_desc_ptr; |
39 | acpi_status status = AE_OK; |
40 | |
41 | ACPI_FUNCTION_TRACE(ex_resolve_object); |
42 | |
43 | /* Ensure we have a Target that can be stored to */ |
44 | |
45 | switch (target_type) { |
46 | case ACPI_TYPE_BUFFER_FIELD: |
47 | case ACPI_TYPE_LOCAL_REGION_FIELD: |
48 | case ACPI_TYPE_LOCAL_BANK_FIELD: |
49 | case ACPI_TYPE_LOCAL_INDEX_FIELD: |
50 | /* |
51 | * These cases all require only Integers or values that |
52 | * can be converted to Integers (Strings or Buffers) |
53 | */ |
54 | case ACPI_TYPE_INTEGER: |
55 | case ACPI_TYPE_STRING: |
56 | case ACPI_TYPE_BUFFER: |
57 | /* |
58 | * Stores into a Field/Region or into a Integer/Buffer/String |
59 | * are all essentially the same. This case handles the |
60 | * "interchangeable" types Integer, String, and Buffer. |
61 | */ |
62 | if (source_desc->common.type == ACPI_TYPE_LOCAL_REFERENCE) { |
63 | |
64 | /* Resolve a reference object first */ |
65 | |
66 | status = |
67 | acpi_ex_resolve_to_value(stack_ptr: source_desc_ptr, |
68 | walk_state); |
69 | if (ACPI_FAILURE(status)) { |
70 | break; |
71 | } |
72 | } |
73 | |
74 | /* For copy_object, no further validation necessary */ |
75 | |
76 | if (walk_state->opcode == AML_COPY_OBJECT_OP) { |
77 | break; |
78 | } |
79 | |
80 | /* Must have a Integer, Buffer, or String */ |
81 | |
82 | if ((source_desc->common.type != ACPI_TYPE_INTEGER) && |
83 | (source_desc->common.type != ACPI_TYPE_BUFFER) && |
84 | (source_desc->common.type != ACPI_TYPE_STRING) && |
85 | !((source_desc->common.type == ACPI_TYPE_LOCAL_REFERENCE) && |
86 | (source_desc->reference.class == ACPI_REFCLASS_TABLE))) { |
87 | |
88 | /* Conversion successful but still not a valid type */ |
89 | |
90 | ACPI_ERROR((AE_INFO, |
91 | "Cannot assign type [%s] to [%s] (must be type Int/Str/Buf)" , |
92 | acpi_ut_get_object_type_name(source_desc), |
93 | acpi_ut_get_type_name(target_type))); |
94 | |
95 | status = AE_AML_OPERAND_TYPE; |
96 | } |
97 | break; |
98 | |
99 | case ACPI_TYPE_LOCAL_ALIAS: |
100 | case ACPI_TYPE_LOCAL_METHOD_ALIAS: |
101 | /* |
102 | * All aliases should have been resolved earlier, during the |
103 | * operand resolution phase. |
104 | */ |
105 | ACPI_ERROR((AE_INFO, "Store into an unresolved Alias object" )); |
106 | status = AE_AML_INTERNAL; |
107 | break; |
108 | |
109 | case ACPI_TYPE_PACKAGE: |
110 | default: |
111 | /* |
112 | * All other types than Alias and the various Fields come here, |
113 | * including the untyped case - ACPI_TYPE_ANY. |
114 | */ |
115 | break; |
116 | } |
117 | |
118 | return_ACPI_STATUS(status); |
119 | } |
120 | |
121 | /******************************************************************************* |
122 | * |
123 | * FUNCTION: acpi_ex_store_object_to_object |
124 | * |
125 | * PARAMETERS: source_desc - Object to store |
126 | * dest_desc - Object to receive a copy of the source |
127 | * new_desc - New object if dest_desc is obsoleted |
128 | * walk_state - Current walk state |
129 | * |
130 | * RETURN: Status |
131 | * |
132 | * DESCRIPTION: "Store" an object to another object. This may include |
133 | * converting the source type to the target type (implicit |
134 | * conversion), and a copy of the value of the source to |
135 | * the target. |
136 | * |
137 | * The Assignment of an object to another (not named) object |
138 | * is handled here. |
139 | * The Source passed in will replace the current value (if any) |
140 | * with the input value. |
141 | * |
142 | * When storing into an object the data is converted to the |
143 | * target object type then stored in the object. This means |
144 | * that the target object type (for an initialized target) will |
145 | * not be changed by a store operation. |
146 | * |
147 | * This module allows destination types of Number, String, |
148 | * Buffer, and Package. |
149 | * |
150 | * Assumes parameters are already validated. NOTE: source_desc |
151 | * resolution (from a reference object) must be performed by |
152 | * the caller if necessary. |
153 | * |
154 | ******************************************************************************/ |
155 | |
156 | acpi_status |
157 | acpi_ex_store_object_to_object(union acpi_operand_object *source_desc, |
158 | union acpi_operand_object *dest_desc, |
159 | union acpi_operand_object **new_desc, |
160 | struct acpi_walk_state *walk_state) |
161 | { |
162 | union acpi_operand_object *actual_src_desc; |
163 | acpi_status status = AE_OK; |
164 | |
165 | ACPI_FUNCTION_TRACE_PTR(ex_store_object_to_object, source_desc); |
166 | |
167 | actual_src_desc = source_desc; |
168 | if (!dest_desc) { |
169 | /* |
170 | * There is no destination object (An uninitialized node or |
171 | * package element), so we can simply copy the source object |
172 | * creating a new destination object |
173 | */ |
174 | status = |
175 | acpi_ut_copy_iobject_to_iobject(source_desc: actual_src_desc, dest_desc: new_desc, |
176 | walk_state); |
177 | return_ACPI_STATUS(status); |
178 | } |
179 | |
180 | if (source_desc->common.type != dest_desc->common.type) { |
181 | /* |
182 | * The source type does not match the type of the destination. |
183 | * Perform the "implicit conversion" of the source to the current type |
184 | * of the target as per the ACPI specification. |
185 | * |
186 | * If no conversion performed, actual_src_desc = source_desc. |
187 | * Otherwise, actual_src_desc is a temporary object to hold the |
188 | * converted object. |
189 | */ |
190 | status = acpi_ex_convert_to_target_type(destination_type: dest_desc->common.type, |
191 | source_desc, |
192 | result_desc: &actual_src_desc, |
193 | walk_state); |
194 | if (ACPI_FAILURE(status)) { |
195 | return_ACPI_STATUS(status); |
196 | } |
197 | |
198 | if (source_desc == actual_src_desc) { |
199 | /* |
200 | * No conversion was performed. Return the source_desc as the |
201 | * new object. |
202 | */ |
203 | *new_desc = source_desc; |
204 | return_ACPI_STATUS(AE_OK); |
205 | } |
206 | } |
207 | |
208 | /* |
209 | * We now have two objects of identical types, and we can perform a |
210 | * copy of the *value* of the source object. |
211 | */ |
212 | switch (dest_desc->common.type) { |
213 | case ACPI_TYPE_INTEGER: |
214 | |
215 | dest_desc->integer.value = actual_src_desc->integer.value; |
216 | |
217 | /* Truncate value if we are executing from a 32-bit ACPI table */ |
218 | |
219 | (void)acpi_ex_truncate_for32bit_table(obj_desc: dest_desc); |
220 | break; |
221 | |
222 | case ACPI_TYPE_STRING: |
223 | |
224 | status = |
225 | acpi_ex_store_string_to_string(source_desc: actual_src_desc, target_desc: dest_desc); |
226 | break; |
227 | |
228 | case ACPI_TYPE_BUFFER: |
229 | |
230 | status = |
231 | acpi_ex_store_buffer_to_buffer(source_desc: actual_src_desc, target_desc: dest_desc); |
232 | break; |
233 | |
234 | case ACPI_TYPE_PACKAGE: |
235 | |
236 | status = |
237 | acpi_ut_copy_iobject_to_iobject(source_desc: actual_src_desc, dest_desc: &dest_desc, |
238 | walk_state); |
239 | break; |
240 | |
241 | default: |
242 | /* |
243 | * All other types come here. |
244 | */ |
245 | ACPI_WARNING((AE_INFO, "Store into type [%s] not implemented" , |
246 | acpi_ut_get_object_type_name(dest_desc))); |
247 | |
248 | status = AE_NOT_IMPLEMENTED; |
249 | break; |
250 | } |
251 | |
252 | if (actual_src_desc != source_desc) { |
253 | |
254 | /* Delete the intermediate (temporary) source object */ |
255 | |
256 | acpi_ut_remove_reference(object: actual_src_desc); |
257 | } |
258 | |
259 | *new_desc = dest_desc; |
260 | return_ACPI_STATUS(status); |
261 | } |
262 | |