mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
2f4973fd88
Cf. <https://github.com/php/php-src/pull/10220#issuecomment-1383739816>. This reverts commit45a128c9de. This reverts commit1eb71c3f15. This reverts commit492523a779. This reverts commitc7a4633891. This reverts commit308adb915c. This reverts commitcd27d5e07f. This reverts commitc5933409b4. This reverts commit46371f4eb3. This reverts commit623e2e9fc6. This reverts commite7434c1247. This reverts commitd28d323ca2. This reverts commit1a067b84ee. This reverts commita55c0c5fc3. This reverts commitb5aeb3a4d4. This reverts commitf061a035e4. This reverts commitb088575119. This reverts commitb1d48774a7. This reverts commit94f9a20ce6. This reverts commit4831e48708. This reverts commitcd985de190. This reverts commit9521d21681. This reverts commitd6136151e9.
245 lines
10 KiB
C
245 lines
10 KiB
C
/*
|
|
+----------------------------------------------------------------------+
|
|
| Zend Engine, e-SSA based Type & Range Inference |
|
|
+----------------------------------------------------------------------+
|
|
| Copyright (c) The PHP Group |
|
|
+----------------------------------------------------------------------+
|
|
| This source file is subject to version 3.01 of the PHP license, |
|
|
| that is bundled with this package in the file LICENSE, and is |
|
|
| available through the world-wide-web at the following url: |
|
|
| https://www.php.net/license/3_01.txt |
|
|
| If you did not receive a copy of the PHP license and are unable to |
|
|
| obtain it through the world-wide-web, please send a note to |
|
|
| license@php.net so we can mail you a copy immediately. |
|
|
+----------------------------------------------------------------------+
|
|
| Authors: Dmitry Stogov <dmitry@php.net> |
|
|
+----------------------------------------------------------------------+
|
|
*/
|
|
|
|
#ifndef ZEND_INFERENCE_H
|
|
#define ZEND_INFERENCE_H
|
|
|
|
#include "zend_optimizer.h"
|
|
#include "zend_ssa.h"
|
|
#include "zend_bitset.h"
|
|
|
|
/* Bitmask for type inference (zend_ssa_var_info.type) */
|
|
#include "zend_type_info.h"
|
|
|
|
#define MAY_BE_PACKED_GUARD (1<<27) /* needs packed array guard */
|
|
#define MAY_BE_CLASS_GUARD (1<<27) /* needs class guard */
|
|
#define MAY_BE_GUARD (1<<28) /* needs type guard */
|
|
//#define MAY_BE_IN_REG (1<<29) /* deprecated and not used */
|
|
|
|
#define MAY_HAVE_DTOR \
|
|
(MAY_BE_OBJECT|MAY_BE_RESOURCE \
|
|
|MAY_BE_ARRAY_OF_ARRAY|MAY_BE_ARRAY_OF_OBJECT|MAY_BE_ARRAY_OF_RESOURCE)
|
|
|
|
#define DEFINE_SSA_OP_HAS_RANGE(opN) \
|
|
static zend_always_inline bool _ssa_##opN##_has_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
zval *zv = CRT_CONSTANT(opline->opN); \
|
|
return (Z_TYPE_P(zv) == IS_LONG); \
|
|
} else { \
|
|
return (opline->opN##_type != IS_UNUSED && \
|
|
ssa->var_info && \
|
|
ssa_op->opN##_use >= 0 && \
|
|
ssa->var_info[ssa_op->opN##_use].has_range); \
|
|
} \
|
|
return 0; \
|
|
} \
|
|
|
|
#define DEFINE_SSA_OP_MIN_RANGE(opN) \
|
|
static zend_always_inline zend_long _ssa_##opN##_min_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
zval *zv = CRT_CONSTANT(opline->opN); \
|
|
if (Z_TYPE_P(zv) == IS_LONG) { \
|
|
return Z_LVAL_P(zv); \
|
|
} \
|
|
} else if (opline->opN##_type != IS_UNUSED && \
|
|
ssa->var_info && \
|
|
ssa_op->opN##_use >= 0 && \
|
|
ssa->var_info[ssa_op->opN##_use].has_range) { \
|
|
return ssa->var_info[ssa_op->opN##_use].range.min; \
|
|
} \
|
|
return ZEND_LONG_MIN; \
|
|
} \
|
|
|
|
#define DEFINE_SSA_OP_MAX_RANGE(opN) \
|
|
static zend_always_inline zend_long _ssa_##opN##_max_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
zval *zv = CRT_CONSTANT(opline->opN); \
|
|
if (Z_TYPE_P(zv) == IS_LONG) { \
|
|
return Z_LVAL_P(zv); \
|
|
} \
|
|
} else if (opline->opN##_type != IS_UNUSED && \
|
|
ssa->var_info && \
|
|
ssa_op->opN##_use >= 0 && \
|
|
ssa->var_info[ssa_op->opN##_use].has_range) { \
|
|
return ssa->var_info[ssa_op->opN##_use].range.max; \
|
|
} \
|
|
return ZEND_LONG_MAX; \
|
|
} \
|
|
|
|
#define DEFINE_SSA_OP_RANGE_UNDERFLOW(opN) \
|
|
static zend_always_inline char _ssa_##opN##_range_underflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
zval *zv = CRT_CONSTANT(opline->opN); \
|
|
if (Z_TYPE_P(zv) == IS_LONG) { \
|
|
return 0; \
|
|
} \
|
|
} else if (opline->opN##_type != IS_UNUSED && \
|
|
ssa->var_info && \
|
|
ssa_op->opN##_use >= 0 && \
|
|
ssa->var_info[ssa_op->opN##_use].has_range) { \
|
|
return ssa->var_info[ssa_op->opN##_use].range.underflow; \
|
|
} \
|
|
return 1; \
|
|
} \
|
|
|
|
#define DEFINE_SSA_OP_RANGE_OVERFLOW(opN) \
|
|
static zend_always_inline char _ssa_##opN##_range_overflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
zval *zv = CRT_CONSTANT(opline->opN); \
|
|
if (Z_TYPE_P(zv) == IS_LONG) { \
|
|
return 0; \
|
|
} \
|
|
} else if (opline->opN##_type != IS_UNUSED && \
|
|
ssa->var_info && \
|
|
ssa_op->opN##_use >= 0 && \
|
|
ssa->var_info[ssa_op->opN##_use].has_range) { \
|
|
return ssa->var_info[ssa_op->opN##_use].range.overflow; \
|
|
} \
|
|
return 1; \
|
|
} \
|
|
|
|
DEFINE_SSA_OP_HAS_RANGE(op1)
|
|
DEFINE_SSA_OP_MIN_RANGE(op1)
|
|
DEFINE_SSA_OP_MAX_RANGE(op1)
|
|
DEFINE_SSA_OP_RANGE_UNDERFLOW(op1)
|
|
DEFINE_SSA_OP_RANGE_OVERFLOW(op1)
|
|
DEFINE_SSA_OP_HAS_RANGE(op2)
|
|
DEFINE_SSA_OP_MIN_RANGE(op2)
|
|
DEFINE_SSA_OP_MAX_RANGE(op2)
|
|
DEFINE_SSA_OP_RANGE_UNDERFLOW(op2)
|
|
DEFINE_SSA_OP_RANGE_OVERFLOW(op2)
|
|
|
|
#define OP1_HAS_RANGE() (_ssa_op1_has_range (op_array, ssa, opline, ssa_op))
|
|
#define OP1_MIN_RANGE() (_ssa_op1_min_range (op_array, ssa, opline, ssa_op))
|
|
#define OP1_MAX_RANGE() (_ssa_op1_max_range (op_array, ssa, opline, ssa_op))
|
|
#define OP1_RANGE_UNDERFLOW() (_ssa_op1_range_underflow (op_array, ssa, opline, ssa_op))
|
|
#define OP1_RANGE_OVERFLOW() (_ssa_op1_range_overflow (op_array, ssa, opline, ssa_op))
|
|
#define OP2_HAS_RANGE() (_ssa_op2_has_range (op_array, ssa, opline, ssa_op))
|
|
#define OP2_MIN_RANGE() (_ssa_op2_min_range (op_array, ssa, opline, ssa_op))
|
|
#define OP2_MAX_RANGE() (_ssa_op2_max_range (op_array, ssa, opline, ssa_op))
|
|
#define OP2_RANGE_UNDERFLOW() (_ssa_op2_range_underflow (op_array, ssa, opline, ssa_op))
|
|
#define OP2_RANGE_OVERFLOW() (_ssa_op2_range_overflow (op_array, ssa, opline, ssa_op))
|
|
|
|
BEGIN_EXTERN_C()
|
|
ZEND_API uint32_t ZEND_FASTCALL zend_array_type_info(const zval *zv);
|
|
END_EXTERN_C()
|
|
|
|
static zend_always_inline uint32_t _const_op_type(const zval *zv) {
|
|
if (Z_TYPE_P(zv) == IS_CONSTANT_AST) {
|
|
return MAY_BE_RC1 | MAY_BE_RCN | MAY_BE_ANY | MAY_BE_ARRAY_KEY_ANY | MAY_BE_ARRAY_OF_ANY;
|
|
} else if (Z_TYPE_P(zv) == IS_ARRAY) {
|
|
return zend_array_type_info(zv);
|
|
} else {
|
|
uint32_t tmp = (1 << Z_TYPE_P(zv));
|
|
|
|
if (Z_REFCOUNTED_P(zv)) {
|
|
tmp |= MAY_BE_RC1 | MAY_BE_RCN;
|
|
} else if (Z_TYPE_P(zv) == IS_STRING) {
|
|
tmp |= MAY_BE_RCN;
|
|
}
|
|
return tmp;
|
|
}
|
|
}
|
|
|
|
static zend_always_inline uint32_t get_ssa_var_info(const zend_ssa *ssa, int ssa_var_num)
|
|
{
|
|
if (ssa->var_info && ssa_var_num >= 0) {
|
|
return ssa->var_info[ssa_var_num].type;
|
|
} else {
|
|
return MAY_BE_UNDEF | MAY_BE_RC1 | MAY_BE_RCN | MAY_BE_REF | MAY_BE_INDIRECT | MAY_BE_ANY | MAY_BE_ARRAY_KEY_ANY | MAY_BE_ARRAY_OF_ANY | MAY_BE_ARRAY_OF_REF;
|
|
}
|
|
}
|
|
|
|
#define DEFINE_SSA_OP_INFO(opN) \
|
|
static zend_always_inline uint32_t _ssa_##opN##_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
if (opline->opN##_type == IS_CONST) { \
|
|
return _const_op_type(CRT_CONSTANT(opline->opN)); \
|
|
} else { \
|
|
return get_ssa_var_info(ssa, ssa->var_info ? ssa_op->opN##_use : -1); \
|
|
} \
|
|
} \
|
|
|
|
#define DEFINE_SSA_OP_DEF_INFO(opN) \
|
|
static zend_always_inline uint32_t _ssa_##opN##_def_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op *ssa_op) \
|
|
{ \
|
|
return get_ssa_var_info(ssa, ssa->var_info ? ssa_op->opN##_def : -1); \
|
|
} \
|
|
|
|
|
|
DEFINE_SSA_OP_INFO(op1)
|
|
DEFINE_SSA_OP_INFO(op2)
|
|
DEFINE_SSA_OP_INFO(result)
|
|
DEFINE_SSA_OP_DEF_INFO(op1)
|
|
DEFINE_SSA_OP_DEF_INFO(op2)
|
|
DEFINE_SSA_OP_DEF_INFO(result)
|
|
|
|
#define OP1_INFO() (_ssa_op1_info(op_array, ssa, opline, ssa_op))
|
|
#define OP2_INFO() (_ssa_op2_info(op_array, ssa, opline, ssa_op))
|
|
#define OP1_DATA_INFO() (_ssa_op1_info(op_array, ssa, (opline+1), (ssa_op+1)))
|
|
#define OP2_DATA_INFO() (_ssa_op2_info(op_array, ssa, (opline+1), (ssa_op+1)))
|
|
#define RES_USE_INFO() (_ssa_result_info(op_array, ssa, opline, ssa_op))
|
|
#define OP1_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, opline, ssa_op))
|
|
#define OP2_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, opline, ssa_op))
|
|
#define OP1_DATA_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, (opline+1), (ssa_op+1)))
|
|
#define OP2_DATA_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, (opline+1), (ssa_op+1)))
|
|
#define RES_INFO() (_ssa_result_def_info(op_array, ssa, opline, ssa_op))
|
|
|
|
static zend_always_inline bool zend_add_will_overflow(zend_long a, zend_long b) {
|
|
return (b > 0 && a > ZEND_LONG_MAX - b)
|
|
|| (b < 0 && a < ZEND_LONG_MIN - b);
|
|
}
|
|
static zend_always_inline bool zend_sub_will_overflow(zend_long a, zend_long b) {
|
|
return (b > 0 && a < ZEND_LONG_MIN + b)
|
|
|| (b < 0 && a > ZEND_LONG_MAX + b);
|
|
}
|
|
|
|
BEGIN_EXTERN_C()
|
|
|
|
ZEND_API void zend_ssa_find_false_dependencies(const zend_op_array *op_array, zend_ssa *ssa);
|
|
ZEND_API void zend_ssa_find_sccs(const zend_op_array *op_array, zend_ssa *ssa);
|
|
ZEND_API int zend_ssa_inference(zend_arena **raena, const zend_op_array *op_array, const zend_script *script, zend_ssa *ssa, zend_long optimization_level);
|
|
|
|
ZEND_API uint32_t zend_array_element_type(uint32_t t1, zend_uchar op_type, int write, int insert);
|
|
|
|
ZEND_API bool zend_inference_propagate_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opline, const zend_ssa_op* ssa_op, int var, zend_ssa_range *tmp);
|
|
|
|
ZEND_API uint32_t zend_fetch_arg_info_type(
|
|
const zend_script *script, const zend_arg_info *arg_info, zend_class_entry **pce);
|
|
ZEND_API void zend_init_func_return_info(
|
|
const zend_op_array *op_array, const zend_script *script, zend_ssa_var_info *ret);
|
|
uint32_t zend_get_return_info_from_signature_only(
|
|
const zend_function *func, const zend_script *script,
|
|
zend_class_entry **ce, bool *ce_is_instanceof, bool use_tentative_return_info);
|
|
|
|
ZEND_API bool zend_may_throw_ex(const zend_op *opline, const zend_ssa_op *ssa_op, const zend_op_array *op_array, const zend_ssa *ssa, uint32_t t1, uint32_t t2);
|
|
ZEND_API bool zend_may_throw(const zend_op *opline, const zend_ssa_op *ssa_op, const zend_op_array *op_array, const zend_ssa *ssa);
|
|
|
|
ZEND_API zend_result zend_update_type_info(
|
|
const zend_op_array *op_array, zend_ssa *ssa, const zend_script *script,
|
|
zend_op *opline, zend_ssa_op *ssa_op, const zend_op **ssa_opcodes,
|
|
zend_long optimization_level);
|
|
|
|
END_EXTERN_C()
|
|
|
|
#endif /* ZEND_INFERENCE_H */
|