zend_optimizer_internal.h 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124
  1. /*
  2. +----------------------------------------------------------------------+
  3. | Zend OPcache |
  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: Andi Gutmans <andi@php.net> |
  16. | Zeev Suraski <zeev@php.net> |
  17. | Stanislav Malyshev <stas@zend.com> |
  18. | Dmitry Stogov <dmitry@php.net> |
  19. +----------------------------------------------------------------------+
  20. */
  21. #ifndef ZEND_OPTIMIZER_INTERNAL_H
  22. #define ZEND_OPTIMIZER_INTERNAL_H
  23. #include "zend_ssa.h"
  24. #include "zend_func_info.h"
  25. #define ZEND_OP1_LITERAL(opline) (op_array)->literals[(opline)->op1.constant]
  26. #define ZEND_OP1_JMP_ADDR(opline) OP_JMP_ADDR(opline, (opline)->op1)
  27. #define ZEND_OP2_LITERAL(opline) (op_array)->literals[(opline)->op2.constant]
  28. #define ZEND_OP2_JMP_ADDR(opline) OP_JMP_ADDR(opline, (opline)->op2)
  29. #define VAR_NUM(v) EX_VAR_TO_NUM(v)
  30. #define NUM_VAR(v) EX_NUM_TO_VAR(v)
  31. #define INV_COND(op) ((op) == ZEND_JMPZ ? ZEND_JMPNZ : ZEND_JMPZ)
  32. #define INV_EX_COND(op) ((op) == ZEND_JMPZ_EX ? ZEND_JMPNZ : ZEND_JMPZ)
  33. #define INV_COND_EX(op) ((op) == ZEND_JMPZ ? ZEND_JMPNZ_EX : ZEND_JMPZ_EX)
  34. #define INV_EX_COND_EX(op) ((op) == ZEND_JMPZ_EX ? ZEND_JMPNZ_EX : ZEND_JMPZ_EX)
  35. #define RESULT_UNUSED(op) (op->result_type == IS_UNUSED)
  36. #define SAME_VAR(op1, op2) (op1 ## _type == op2 ## _type && op1.var == op2.var)
  37. typedef struct _zend_optimizer_ctx {
  38. zend_arena *arena;
  39. zend_script *script;
  40. HashTable *constants;
  41. zend_long optimization_level;
  42. zend_long debug_level;
  43. } zend_optimizer_ctx;
  44. #define LITERAL_LONG(op, val) do { \
  45. zval _c; \
  46. ZVAL_LONG(&_c, val); \
  47. op.constant = zend_optimizer_add_literal(op_array, &_c); \
  48. } while (0)
  49. #define LITERAL_BOOL(op, val) do { \
  50. zval _c; \
  51. ZVAL_BOOL(&_c, val); \
  52. op.constant = zend_optimizer_add_literal(op_array, &_c); \
  53. } while (0)
  54. #define literal_dtor(zv) do { \
  55. zval_ptr_dtor_nogc(zv); \
  56. ZVAL_NULL(zv); \
  57. } while (0)
  58. #define COPY_NODE(target, src) do { \
  59. target ## _type = src ## _type; \
  60. target = src; \
  61. } while (0)
  62. static inline bool zend_optimizer_is_loop_var_free(const zend_op *opline) {
  63. return (opline->opcode == ZEND_FE_FREE && opline->extended_value != ZEND_FREE_ON_RETURN)
  64. || (opline->opcode == ZEND_FREE && opline->extended_value == ZEND_FREE_SWITCH);
  65. }
  66. int zend_optimizer_add_literal(zend_op_array *op_array, zval *zv);
  67. int zend_optimizer_get_persistent_constant(zend_string *name, zval *result, int copy);
  68. void zend_optimizer_collect_constant(zend_optimizer_ctx *ctx, zval *name, zval* value);
  69. int zend_optimizer_get_collected_constant(HashTable *constants, zval *name, zval* value);
  70. int zend_optimizer_eval_binary_op(zval *result, zend_uchar opcode, zval *op1, zval *op2);
  71. int zend_optimizer_eval_unary_op(zval *result, zend_uchar opcode, zval *op1);
  72. int zend_optimizer_eval_cast(zval *result, uint32_t type, zval *op1);
  73. int zend_optimizer_eval_strlen(zval *result, zval *op1);
  74. int zend_optimizer_update_op1_const(zend_op_array *op_array,
  75. zend_op *opline,
  76. zval *val);
  77. int zend_optimizer_update_op2_const(zend_op_array *op_array,
  78. zend_op *opline,
  79. zval *val);
  80. int zend_optimizer_replace_by_const(zend_op_array *op_array,
  81. zend_op *opline,
  82. zend_uchar type,
  83. uint32_t var,
  84. zval *val);
  85. zend_op *zend_optimizer_get_loop_var_def(const zend_op_array *op_array, zend_op *free_opline);
  86. zend_class_entry *zend_optimizer_get_class_entry(const zend_script *script, zend_string *lcname);
  87. void zend_optimizer_pass1(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  88. void zend_optimizer_pass3(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  89. void zend_optimize_func_calls(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  90. void zend_optimize_cfg(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  91. void zend_optimize_dfa(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  92. int zend_dfa_analyze_op_array(zend_op_array *op_array, zend_optimizer_ctx *ctx, zend_ssa *ssa);
  93. void zend_dfa_optimize_op_array(zend_op_array *op_array, zend_optimizer_ctx *ctx, zend_ssa *ssa, zend_call_info **call_map);
  94. void zend_optimize_temporary_variables(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  95. void zend_optimizer_nop_removal(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  96. void zend_optimizer_compact_literals(zend_op_array *op_array, zend_optimizer_ctx *ctx);
  97. void zend_optimizer_compact_vars(zend_op_array *op_array);
  98. zend_function *zend_optimizer_get_called_func(
  99. zend_script *script, zend_op_array *op_array, zend_op *opline, bool *is_prototype);
  100. uint32_t zend_optimizer_classify_function(zend_string *name, uint32_t num_args);
  101. void zend_optimizer_migrate_jump(zend_op_array *op_array, zend_op *new_opline, zend_op *opline);
  102. void zend_optimizer_shift_jump(zend_op_array *op_array, zend_op *opline, uint32_t *shiftlist);
  103. int sccp_optimize_op_array(zend_optimizer_ctx *ctx, zend_op_array *op_array, zend_ssa *ssa, zend_call_info **call_map);
  104. int dce_optimize_op_array(zend_op_array *op_array, zend_ssa *ssa, bool reorder_dtor_effects);
  105. int zend_ssa_escape_analysis(const zend_script *script, zend_op_array *op_array, zend_ssa *ssa);
  106. typedef void (*zend_op_array_func_t)(zend_op_array *, void *context);
  107. void zend_foreach_op_array(zend_script *script, zend_op_array_func_t func, void *context);
  108. #endif