/src/php-src/Zend/Optimizer/zend_call_graph.c
Line | Count | Source |
1 | | /* |
2 | | +----------------------------------------------------------------------+ |
3 | | | Zend Engine, Call Graph | |
4 | | +----------------------------------------------------------------------+ |
5 | | | Copyright (c) The PHP Group | |
6 | | +----------------------------------------------------------------------+ |
7 | | | This source file is subject to version 3.01 of the PHP license, | |
8 | | | that is bundled with this package in the file LICENSE, and is | |
9 | | | available through the world-wide-web at the following url: | |
10 | | | https://www.php.net/license/3_01.txt | |
11 | | | If you did not receive a copy of the PHP license and are unable to | |
12 | | | obtain it through the world-wide-web, please send a note to | |
13 | | | license@php.net so we can mail you a copy immediately. | |
14 | | +----------------------------------------------------------------------+ |
15 | | | Authors: Dmitry Stogov <dmitry@php.net> | |
16 | | +----------------------------------------------------------------------+ |
17 | | */ |
18 | | |
19 | | #include "zend_compile.h" |
20 | | #include "zend_extensions.h" |
21 | | #include "Optimizer/zend_optimizer.h" |
22 | | #include "zend_optimizer_internal.h" |
23 | | #include "zend_inference.h" |
24 | | #include "zend_call_graph.h" |
25 | | #include "zend_func_info.h" |
26 | | |
27 | | static void zend_op_array_calc(zend_op_array *op_array, void *context) |
28 | 89.7k | { |
29 | 89.7k | zend_call_graph *call_graph = context; |
30 | 89.7k | call_graph->op_arrays_count++; |
31 | 89.7k | } |
32 | | |
33 | | static void zend_op_array_collect(zend_op_array *op_array, void *context) |
34 | 89.7k | { |
35 | 89.7k | zend_call_graph *call_graph = context; |
36 | 89.7k | zend_func_info *func_info = call_graph->func_infos + call_graph->op_arrays_count; |
37 | | |
38 | 89.7k | ZEND_SET_FUNC_INFO(op_array, func_info); |
39 | 89.7k | call_graph->op_arrays[call_graph->op_arrays_count] = op_array; |
40 | 89.7k | func_info->num = call_graph->op_arrays_count; |
41 | 89.7k | call_graph->op_arrays_count++; |
42 | 89.7k | } |
43 | | |
44 | | ZEND_API void zend_analyze_calls(zend_arena **arena, zend_script *script, uint32_t build_flags, zend_op_array *op_array, zend_func_info *func_info) |
45 | 89.7k | { |
46 | 89.7k | zend_op *opline = op_array->opcodes; |
47 | 89.7k | zend_op *end = opline + op_array->last; |
48 | 89.7k | zend_function *func; |
49 | 89.7k | zend_call_info *call_info; |
50 | 89.7k | int call = 0; |
51 | 89.7k | zend_call_info **call_stack; |
52 | 89.7k | ALLOCA_FLAG(use_heap); |
53 | 89.7k | bool is_prototype; |
54 | | |
55 | 89.7k | call_stack = do_alloca((op_array->last / 2) * sizeof(zend_call_info*), use_heap); |
56 | 89.7k | call_info = NULL; |
57 | 2.35M | while (opline != end) { |
58 | 2.26M | switch (opline->opcode) { |
59 | 100k | case ZEND_INIT_FCALL: |
60 | 137k | case ZEND_INIT_METHOD_CALL: |
61 | 143k | case ZEND_INIT_STATIC_METHOD_CALL: |
62 | 143k | case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL: |
63 | 143k | call_stack[call] = call_info; |
64 | 143k | func = zend_optimizer_get_called_func( |
65 | 143k | script, op_array, opline, &is_prototype); |
66 | 143k | if (func) { |
67 | 104k | call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info) + (sizeof(zend_send_arg_info) * ((int)opline->extended_value - 1))); |
68 | 104k | call_info->caller_op_array = op_array; |
69 | 104k | call_info->caller_init_opline = opline; |
70 | 104k | call_info->caller_call_opline = NULL; |
71 | 104k | call_info->callee_func = func; |
72 | 104k | call_info->num_args = opline->extended_value; |
73 | 104k | call_info->next_callee = func_info->callee_info; |
74 | 104k | call_info->is_prototype = is_prototype; |
75 | 104k | call_info->is_frameless = false; |
76 | 104k | func_info->callee_info = call_info; |
77 | | |
78 | 104k | if (build_flags & ZEND_CALL_TREE) { |
79 | 0 | call_info->next_caller = NULL; |
80 | 104k | } else if (func->type == ZEND_INTERNAL_FUNCTION |
81 | 83.6k | || func->op_array.filename != script->filename) { |
82 | 83.6k | call_info->next_caller = NULL; |
83 | 83.6k | } else { |
84 | 20.8k | zend_func_info *callee_func_info = ZEND_FUNC_INFO(&func->op_array); |
85 | 20.8k | if (callee_func_info) { |
86 | 20.8k | call_info->next_caller = callee_func_info->caller_info; |
87 | 20.8k | callee_func_info->caller_info = call_info; |
88 | 20.8k | } else { |
89 | 16 | call_info->next_caller = NULL; |
90 | 16 | } |
91 | 20.8k | } |
92 | 104k | } else { |
93 | 38.9k | call_info = NULL; |
94 | 38.9k | } |
95 | 143k | call++; |
96 | 143k | break; |
97 | 4.92k | case ZEND_INIT_FCALL_BY_NAME: |
98 | 7.17k | case ZEND_INIT_NS_FCALL_BY_NAME: |
99 | 11.5k | case ZEND_INIT_DYNAMIC_CALL: |
100 | 63.1k | case ZEND_NEW: |
101 | 63.7k | case ZEND_INIT_USER_CALL: |
102 | 63.7k | call_stack[call] = call_info; |
103 | 63.7k | call_info = NULL; |
104 | 63.7k | call++; |
105 | 63.7k | break; |
106 | 0 | case ZEND_FRAMELESS_ICALL_0: |
107 | 0 | case ZEND_FRAMELESS_ICALL_1: |
108 | 0 | case ZEND_FRAMELESS_ICALL_2: |
109 | 0 | case ZEND_FRAMELESS_ICALL_3: { |
110 | 0 | func = ZEND_FLF_FUNC(opline); |
111 | 0 | zend_call_info *call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info)); |
112 | 0 | call_info->caller_op_array = op_array; |
113 | 0 | call_info->caller_init_opline = opline; |
114 | 0 | call_info->caller_call_opline = NULL; |
115 | 0 | call_info->callee_func = func; |
116 | 0 | call_info->num_args = ZEND_FLF_NUM_ARGS(opline->opcode); |
117 | 0 | call_info->next_callee = func_info->callee_info; |
118 | 0 | call_info->is_prototype = false; |
119 | 0 | call_info->is_frameless = true; |
120 | 0 | call_info->next_caller = NULL; |
121 | 0 | func_info->callee_info = call_info; |
122 | 0 | break; |
123 | 0 | } |
124 | 197k | case ZEND_DO_FCALL: |
125 | 197k | case ZEND_DO_ICALL: |
126 | 206k | case ZEND_DO_UCALL: |
127 | 206k | case ZEND_DO_FCALL_BY_NAME: |
128 | 207k | case ZEND_CALLABLE_CONVERT: |
129 | 207k | func_info->flags |= ZEND_FUNC_HAS_CALLS; |
130 | 207k | if (call_info) { |
131 | 104k | call_info->caller_call_opline = opline; |
132 | 104k | } |
133 | 207k | call--; |
134 | 207k | call_info = call_stack[call]; |
135 | 207k | break; |
136 | 102k | case ZEND_SEND_VAL: |
137 | 164k | case ZEND_SEND_VAR: |
138 | 178k | case ZEND_SEND_VAL_EX: |
139 | 188k | case ZEND_SEND_VAR_EX: |
140 | 189k | case ZEND_SEND_FUNC_ARG: |
141 | 191k | case ZEND_SEND_REF: |
142 | 191k | case ZEND_SEND_VAR_NO_REF: |
143 | 193k | case ZEND_SEND_VAR_NO_REF_EX: |
144 | 195k | case ZEND_SEND_USER: |
145 | 195k | if (call_info) { |
146 | 112k | if (opline->op2_type == IS_CONST) { |
147 | 1.21k | call_info->named_args = true; |
148 | 1.21k | break; |
149 | 1.21k | } |
150 | | |
151 | 111k | uint32_t num = opline->op2.num; |
152 | 111k | if (num > 0) { |
153 | 111k | num--; |
154 | 111k | } |
155 | 111k | call_info->arg_info[num].opline = opline; |
156 | 111k | } |
157 | 194k | break; |
158 | 194k | case ZEND_SEND_ARRAY: |
159 | 1.17k | case ZEND_SEND_UNPACK: |
160 | 1.17k | if (call_info) { |
161 | 782 | call_info->send_unpack = true; |
162 | 782 | } |
163 | 1.17k | break; |
164 | 2.26M | } |
165 | 2.26M | opline++; |
166 | 2.26M | } |
167 | 89.7k | free_alloca(call_stack, use_heap); |
168 | 89.7k | } |
169 | | |
170 | | static bool zend_is_indirectly_recursive(const zend_op_array *root, const zend_op_array *op_array, zend_bitset visited) |
171 | 23.1k | { |
172 | 23.1k | const zend_func_info *func_info; |
173 | 23.1k | zend_call_info *call_info; |
174 | 23.1k | bool ret = false; |
175 | | |
176 | 23.1k | if (op_array == root) { |
177 | 0 | return true; |
178 | 0 | } |
179 | | |
180 | 23.1k | func_info = ZEND_FUNC_INFO(op_array); |
181 | 23.1k | if (zend_bitset_in(visited, func_info->num)) { |
182 | 1.46k | return false; |
183 | 1.46k | } |
184 | 21.6k | zend_bitset_incl(visited, func_info->num); |
185 | 21.6k | call_info = func_info->caller_info; |
186 | 24.4k | while (call_info) { |
187 | 2.74k | if (zend_is_indirectly_recursive(root, call_info->caller_op_array, visited)) { |
188 | 0 | call_info->recursive = true; |
189 | 0 | ret = true; |
190 | 0 | } |
191 | 2.74k | call_info = call_info->next_caller; |
192 | 2.74k | } |
193 | 21.6k | return ret; |
194 | 23.1k | } |
195 | | |
196 | | static void zend_analyze_recursion(zend_call_graph *call_graph) |
197 | 49.8k | { |
198 | 49.8k | const zend_op_array *op_array; |
199 | 49.8k | zend_func_info *func_info; |
200 | 49.8k | zend_call_info *call_info; |
201 | 49.8k | uint32_t set_len = zend_bitset_len(call_graph->op_arrays_count); |
202 | 49.8k | zend_bitset visited; |
203 | 49.8k | ALLOCA_FLAG(use_heap); |
204 | | |
205 | 49.8k | visited = ZEND_BITSET_ALLOCA(set_len, use_heap); |
206 | 139k | for (uint32_t i = 0; i < call_graph->op_arrays_count; i++) { |
207 | 89.7k | op_array = call_graph->op_arrays[i]; |
208 | 89.7k | func_info = call_graph->func_infos + i; |
209 | 89.7k | call_info = func_info->caller_info; |
210 | 110k | for (; call_info; call_info = call_info->next_caller) { |
211 | 20.8k | if (call_info->is_prototype) { |
212 | | /* Might be calling an overridden child method and not actually recursive. */ |
213 | 344 | continue; |
214 | 344 | } |
215 | 20.5k | if (call_info->caller_op_array == op_array) { |
216 | 162 | call_info->recursive = true; |
217 | 162 | func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_DIRECTLY; |
218 | 20.3k | } else { |
219 | 20.3k | memset(visited, 0, sizeof(zend_ulong) * set_len); |
220 | 20.3k | if (zend_is_indirectly_recursive(op_array, call_info->caller_op_array, visited)) { |
221 | 0 | call_info->recursive = true; |
222 | 0 | func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_INDIRECTLY; |
223 | 0 | } |
224 | 20.3k | } |
225 | 20.5k | } |
226 | 89.7k | } |
227 | | |
228 | 49.8k | free_alloca(visited, use_heap); |
229 | 49.8k | } |
230 | | |
231 | | static void zend_sort_op_arrays(zend_call_graph *call_graph) |
232 | 49.8k | { |
233 | 49.8k | (void) call_graph; |
234 | | |
235 | | // TODO: perform topological sort of cyclic call graph |
236 | 49.8k | } |
237 | | |
238 | | ZEND_API void zend_build_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */ |
239 | 49.8k | { |
240 | 49.8k | call_graph->op_arrays_count = 0; |
241 | 49.8k | zend_foreach_op_array(script, zend_op_array_calc, call_graph); |
242 | | |
243 | 49.8k | call_graph->op_arrays = (zend_op_array**)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_op_array*)); |
244 | 49.8k | call_graph->func_infos = (zend_func_info*)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_func_info)); |
245 | 49.8k | call_graph->op_arrays_count = 0; |
246 | 49.8k | zend_foreach_op_array(script, zend_op_array_collect, call_graph); |
247 | 49.8k | } |
248 | | /* }}} */ |
249 | | |
250 | | ZEND_API void zend_analyze_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */ |
251 | 49.8k | { |
252 | 139k | for (uint32_t i = 0; i < call_graph->op_arrays_count; i++) { |
253 | 89.7k | zend_analyze_calls(arena, script, 0, call_graph->op_arrays[i], call_graph->func_infos + i); |
254 | 89.7k | } |
255 | 49.8k | zend_analyze_recursion(call_graph); |
256 | 49.8k | zend_sort_op_arrays(call_graph); |
257 | 49.8k | } |
258 | | /* }}} */ |
259 | | |
260 | | ZEND_API zend_call_info **zend_build_call_map(zend_arena **arena, const zend_func_info *info, const zend_op_array *op_array) /* {{{ */ |
261 | 89.7k | { |
262 | 89.7k | zend_call_info **map, *call; |
263 | 89.7k | if (!info->callee_info) { |
264 | | /* Don't build call map if function contains no calls */ |
265 | 49.2k | return NULL; |
266 | 49.2k | } |
267 | | |
268 | 40.4k | map = zend_arena_calloc(arena, sizeof(zend_call_info *), op_array->last); |
269 | 144k | for (call = info->callee_info; call; call = call->next_callee) { |
270 | 104k | map[call->caller_init_opline - op_array->opcodes] = call; |
271 | 104k | if (call->caller_call_opline) { |
272 | 104k | map[call->caller_call_opline - op_array->opcodes] = call; |
273 | 104k | } |
274 | 104k | if (!call->is_frameless) { |
275 | 216k | for (uint32_t i = 0; i < call->num_args; i++) { |
276 | 111k | if (call->arg_info[i].opline) { |
277 | 111k | map[call->arg_info[i].opline - op_array->opcodes] = call; |
278 | 111k | } |
279 | 111k | } |
280 | 104k | } |
281 | 104k | } |
282 | 40.4k | return map; |
283 | 89.7k | } |
284 | | /* }}} */ |