optimize_func_calls.c 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303
  1. /*
  2. +----------------------------------------------------------------------+
  3. | Zend OPcache |
  4. +----------------------------------------------------------------------+
  5. | Copyright (c) 1998-2018 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. | http://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. | Xinchen Hui <laruence@php.net> |
  17. +----------------------------------------------------------------------+
  18. */
  19. /* pass 4
  20. * - optimize INIT_FCALL_BY_NAME to DO_FCALL
  21. */
  22. #include "php.h"
  23. #include "Optimizer/zend_optimizer.h"
  24. #include "Optimizer/zend_optimizer_internal.h"
  25. #include "zend_API.h"
  26. #include "zend_constants.h"
  27. #include "zend_execute.h"
  28. #include "zend_vm.h"
  29. #define ZEND_OP1_IS_CONST_STRING(opline) \
  30. (opline->op1_type == IS_CONST && \
  31. Z_TYPE(op_array->literals[(opline)->op1.constant]) == IS_STRING)
  32. #define ZEND_OP2_IS_CONST_STRING(opline) \
  33. (opline->op2_type == IS_CONST && \
  34. Z_TYPE(op_array->literals[(opline)->op2.constant]) == IS_STRING)
  35. typedef struct _optimizer_call_info {
  36. zend_function *func;
  37. zend_op *opline;
  38. zend_bool try_inline;
  39. uint32_t func_arg_num;
  40. } optimizer_call_info;
  41. static void zend_delete_call_instructions(zend_op *opline)
  42. {
  43. int call = 0;
  44. while (1) {
  45. switch (opline->opcode) {
  46. case ZEND_INIT_FCALL_BY_NAME:
  47. case ZEND_INIT_NS_FCALL_BY_NAME:
  48. case ZEND_INIT_STATIC_METHOD_CALL:
  49. case ZEND_INIT_METHOD_CALL:
  50. case ZEND_INIT_FCALL:
  51. if (call == 0) {
  52. MAKE_NOP(opline);
  53. return;
  54. }
  55. /* break missing intentionally */
  56. case ZEND_NEW:
  57. case ZEND_INIT_DYNAMIC_CALL:
  58. case ZEND_INIT_USER_CALL:
  59. call--;
  60. break;
  61. case ZEND_DO_FCALL:
  62. case ZEND_DO_ICALL:
  63. case ZEND_DO_UCALL:
  64. case ZEND_DO_FCALL_BY_NAME:
  65. call++;
  66. break;
  67. case ZEND_SEND_VAL:
  68. case ZEND_SEND_VAR:
  69. if (call == 0) {
  70. if (opline->op1_type == IS_CONST) {
  71. MAKE_NOP(opline);
  72. } else if (opline->op1_type == IS_CV) {
  73. opline->opcode = ZEND_CHECK_VAR;
  74. opline->extended_value = 0;
  75. opline->result.var = 0;
  76. } else {
  77. opline->opcode = ZEND_FREE;
  78. opline->extended_value = 0;
  79. opline->result.var = 0;
  80. }
  81. }
  82. break;
  83. }
  84. opline--;
  85. }
  86. }
  87. static void zend_try_inline_call(zend_op_array *op_array, zend_op *fcall, zend_op *opline, zend_function *func)
  88. {
  89. if (func->type == ZEND_USER_FUNCTION
  90. && !(func->op_array.fn_flags & (ZEND_ACC_ABSTRACT|ZEND_ACC_HAS_TYPE_HINTS))
  91. && fcall->extended_value >= func->op_array.required_num_args
  92. && func->op_array.opcodes[func->op_array.num_args].opcode == ZEND_RETURN) {
  93. zend_op *ret_opline = func->op_array.opcodes + func->op_array.num_args;
  94. if (ret_opline->op1_type == IS_CONST) {
  95. uint32_t i, num_args = func->op_array.num_args;
  96. num_args += (func->op_array.fn_flags & ZEND_ACC_VARIADIC) != 0;
  97. if (fcall->opcode == ZEND_INIT_METHOD_CALL && fcall->op1_type == IS_UNUSED) {
  98. /* TODO: we can't inlne methods, because $this may be used
  99. * not in object context ???
  100. */
  101. return;
  102. }
  103. for (i = 0; i < num_args; i++) {
  104. /* Don't inline functions with by-reference arguments. This would require
  105. * correct handling of INDIRECT arguments. */
  106. if (func->op_array.arg_info[i].pass_by_reference) {
  107. return;
  108. }
  109. }
  110. if (fcall->extended_value < func->op_array.num_args) {
  111. /* don't inline functions with named constants in default arguments */
  112. i = fcall->extended_value;
  113. do {
  114. if (Z_TYPE_P(RT_CONSTANT(&func->op_array.opcodes[i], func->op_array.opcodes[i].op2)) == IS_CONSTANT_AST) {
  115. return;
  116. }
  117. i++;
  118. } while (i < func->op_array.num_args);
  119. }
  120. if (RETURN_VALUE_USED(opline)) {
  121. zval zv;
  122. ZVAL_COPY(&zv, RT_CONSTANT(ret_opline, ret_opline->op1));
  123. opline->opcode = ZEND_QM_ASSIGN;
  124. opline->op1_type = IS_CONST;
  125. opline->op1.constant = zend_optimizer_add_literal(op_array, &zv);
  126. SET_UNUSED(opline->op2);
  127. } else {
  128. MAKE_NOP(opline);
  129. }
  130. zend_delete_call_instructions(opline-1);
  131. }
  132. }
  133. }
  134. void zend_optimize_func_calls(zend_op_array *op_array, zend_optimizer_ctx *ctx)
  135. {
  136. zend_op *opline = op_array->opcodes;
  137. zend_op *end = opline + op_array->last;
  138. int call = 0;
  139. void *checkpoint;
  140. optimizer_call_info *call_stack;
  141. if (op_array->last < 2) {
  142. return;
  143. }
  144. checkpoint = zend_arena_checkpoint(ctx->arena);
  145. call_stack = zend_arena_calloc(&ctx->arena, op_array->last / 2, sizeof(optimizer_call_info));
  146. while (opline < end) {
  147. switch (opline->opcode) {
  148. case ZEND_INIT_FCALL_BY_NAME:
  149. case ZEND_INIT_NS_FCALL_BY_NAME:
  150. case ZEND_INIT_STATIC_METHOD_CALL:
  151. case ZEND_INIT_METHOD_CALL:
  152. case ZEND_INIT_FCALL:
  153. case ZEND_NEW:
  154. call_stack[call].func = zend_optimizer_get_called_func(
  155. ctx->script, op_array, opline, 0);
  156. call_stack[call].try_inline = opline->opcode != ZEND_NEW;
  157. /* break missing intentionally */
  158. case ZEND_INIT_DYNAMIC_CALL:
  159. case ZEND_INIT_USER_CALL:
  160. call_stack[call].opline = opline;
  161. call_stack[call].func_arg_num = (uint32_t)-1;
  162. call++;
  163. break;
  164. case ZEND_DO_FCALL:
  165. case ZEND_DO_ICALL:
  166. case ZEND_DO_UCALL:
  167. case ZEND_DO_FCALL_BY_NAME:
  168. call--;
  169. if (call_stack[call].func && call_stack[call].opline) {
  170. zend_op *fcall = call_stack[call].opline;
  171. if (fcall->opcode == ZEND_INIT_FCALL) {
  172. /* nothing to do */
  173. } else if (fcall->opcode == ZEND_INIT_FCALL_BY_NAME) {
  174. fcall->opcode = ZEND_INIT_FCALL;
  175. fcall->op1.num = zend_vm_calc_used_stack(fcall->extended_value, call_stack[call].func);
  176. literal_dtor(&ZEND_OP2_LITERAL(fcall));
  177. fcall->op2.constant = fcall->op2.constant + 1;
  178. opline->opcode = zend_get_call_op(fcall, call_stack[call].func);
  179. } else if (fcall->opcode == ZEND_INIT_NS_FCALL_BY_NAME) {
  180. fcall->opcode = ZEND_INIT_FCALL;
  181. fcall->op1.num = zend_vm_calc_used_stack(fcall->extended_value, call_stack[call].func);
  182. literal_dtor(&op_array->literals[fcall->op2.constant]);
  183. literal_dtor(&op_array->literals[fcall->op2.constant + 2]);
  184. fcall->op2.constant = fcall->op2.constant + 1;
  185. opline->opcode = zend_get_call_op(fcall, call_stack[call].func);
  186. } else if (fcall->opcode == ZEND_INIT_STATIC_METHOD_CALL
  187. || fcall->opcode == ZEND_INIT_METHOD_CALL
  188. || fcall->opcode == ZEND_NEW) {
  189. /* We don't have specialized opcodes for this, do nothing */
  190. } else {
  191. ZEND_ASSERT(0);
  192. }
  193. if ((ZEND_OPTIMIZER_PASS_16 & ctx->optimization_level)
  194. && call_stack[call].try_inline) {
  195. zend_try_inline_call(op_array, fcall, opline, call_stack[call].func);
  196. }
  197. }
  198. call_stack[call].func = NULL;
  199. call_stack[call].opline = NULL;
  200. call_stack[call].try_inline = 0;
  201. call_stack[call].func_arg_num = (uint32_t)-1;
  202. break;
  203. case ZEND_FETCH_FUNC_ARG:
  204. case ZEND_FETCH_STATIC_PROP_FUNC_ARG:
  205. case ZEND_FETCH_OBJ_FUNC_ARG:
  206. case ZEND_FETCH_DIM_FUNC_ARG:
  207. if (call_stack[call - 1].func) {
  208. ZEND_ASSERT(call_stack[call - 1].func_arg_num != (uint32_t)-1);
  209. if (ARG_SHOULD_BE_SENT_BY_REF(call_stack[call - 1].func, call_stack[call - 1].func_arg_num)) {
  210. if (opline->opcode != ZEND_FETCH_STATIC_PROP_FUNC_ARG) {
  211. opline->opcode -= 9;
  212. } else {
  213. opline->opcode = ZEND_FETCH_STATIC_PROP_W;
  214. }
  215. } else {
  216. if (opline->opcode == ZEND_FETCH_DIM_FUNC_ARG
  217. && opline->op2_type == IS_UNUSED) {
  218. /* FETCH_DIM_FUNC_ARG supports UNUSED op2, while FETCH_DIM_R does not.
  219. * Performing the replacement would create an invalid opcode. */
  220. call_stack[call - 1].try_inline = 0;
  221. break;
  222. }
  223. if (opline->opcode != ZEND_FETCH_STATIC_PROP_FUNC_ARG) {
  224. opline->opcode -= 12;
  225. } else {
  226. opline->opcode = ZEND_FETCH_STATIC_PROP_R;
  227. }
  228. }
  229. }
  230. break;
  231. case ZEND_SEND_VAL_EX:
  232. if (call_stack[call - 1].func) {
  233. if (ARG_MUST_BE_SENT_BY_REF(call_stack[call - 1].func, opline->op2.num)) {
  234. /* We won't convert it into_DO_FCALL to emit error at run-time */
  235. call_stack[call - 1].opline = NULL;
  236. } else {
  237. opline->opcode = ZEND_SEND_VAL;
  238. }
  239. }
  240. break;
  241. case ZEND_CHECK_FUNC_ARG:
  242. if (call_stack[call - 1].func) {
  243. call_stack[call - 1].func_arg_num = opline->op2.num;
  244. MAKE_NOP(opline);
  245. }
  246. break;
  247. case ZEND_SEND_VAR_EX:
  248. case ZEND_SEND_FUNC_ARG:
  249. if (call_stack[call - 1].func) {
  250. call_stack[call - 1].func_arg_num = (uint32_t)-1;
  251. if (ARG_SHOULD_BE_SENT_BY_REF(call_stack[call - 1].func, opline->op2.num)) {
  252. opline->opcode = ZEND_SEND_REF;
  253. } else {
  254. opline->opcode = ZEND_SEND_VAR;
  255. }
  256. }
  257. break;
  258. case ZEND_SEND_VAR_NO_REF_EX:
  259. if (call_stack[call - 1].func) {
  260. if (ARG_MUST_BE_SENT_BY_REF(call_stack[call - 1].func, opline->op2.num)) {
  261. opline->opcode = ZEND_SEND_VAR_NO_REF;
  262. } else if (ARG_MAY_BE_SENT_BY_REF(call_stack[call - 1].func, opline->op2.num)) {
  263. opline->opcode = ZEND_SEND_VAL;
  264. } else {
  265. opline->opcode = ZEND_SEND_VAR;
  266. }
  267. }
  268. break;
  269. case ZEND_SEND_UNPACK:
  270. case ZEND_SEND_USER:
  271. case ZEND_SEND_ARRAY:
  272. call_stack[call - 1].try_inline = 0;
  273. break;
  274. default:
  275. break;
  276. }
  277. opline++;
  278. }
  279. zend_arena_release(&ctx->arena, checkpoint);
  280. }