Lines Matching refs:ssa
43 …bool _ssa_##opN##_has_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
50 ssa->var_info && \
52 ssa->var_info[ssa_op->opN##_use].has_range); \
58 …long _ssa_##opN##_min_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
72 ssa->var_info && \
74 ssa->var_info[ssa_op->opN##_use].has_range) { \
75 return ssa->var_info[ssa_op->opN##_use].range.min; \
81 …long _ssa_##opN##_max_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
95 ssa->var_info && \
97 ssa->var_info[ssa_op->opN##_use].has_range) { \
98 return ssa->var_info[ssa_op->opN##_use].range.max; \
104 …ssa_##opN##_range_underflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
112 ssa->var_info && \
114 ssa->var_info[ssa_op->opN##_use].has_range) { \
115 return ssa->var_info[ssa_op->opN##_use].range.underflow; \
121 …_ssa_##opN##_range_overflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
129 ssa->var_info && \
131 ssa->var_info[ssa_op->opN##_use].has_range) { \
132 return ssa->var_info[ssa_op->opN##_use].range.overflow; \
148 #define OP1_HAS_RANGE() (_ssa_op1_has_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
149 #define OP1_MIN_RANGE() (_ssa_op1_min_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
150 #define OP1_MAX_RANGE() (_ssa_op1_max_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
151 #define OP1_RANGE_UNDERFLOW() (_ssa_op1_range_underflow (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
152 #define OP1_RANGE_OVERFLOW() (_ssa_op1_range_overflow (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
153 #define OP2_HAS_RANGE() (_ssa_op2_has_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
154 #define OP2_MIN_RANGE() (_ssa_op2_min_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
155 #define OP2_MAX_RANGE() (_ssa_op2_max_range (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
156 #define OP2_RANGE_UNDERFLOW() (_ssa_op2_range_underflow (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
157 #define OP2_RANGE_OVERFLOW() (_ssa_op2_range_overflow (op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_MIN_RANGE()
198 static zend_always_inline uint32_t get_ssa_var_info(const zend_ssa *ssa, int ssa_var_num) in get_ssa_var_info() argument
200 if (ssa->var_info && ssa_var_num >= 0) { in get_ssa_var_info()
201 return ssa->var_info[ssa_var_num].type; in get_ssa_var_info()
208 … uint32_t _ssa_##opN##_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
213 return get_ssa_var_info(ssa, ssa->var_info ? ssa_op->opN##_use : -1); \
218 …t32_t _ssa_##opN##_def_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
220 return get_ssa_var_info(ssa, ssa->var_info ? ssa_op->opN##_def : -1); \
231 #define OP1_INFO() (_ssa_op1_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
232 #define OP2_INFO() (_ssa_op2_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
233 #define OP1_DATA_INFO() (_ssa_op1_info(op_array, ssa, (opline+1), (ssa_op+1))) in DEFINE_SSA_OP_INFO()
234 #define OP2_DATA_INFO() (_ssa_op2_info(op_array, ssa, (opline+1), (ssa_op+1))) in DEFINE_SSA_OP_INFO()
235 #define RES_USE_INFO() (_ssa_result_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
236 #define OP1_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
237 #define OP2_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
238 #define OP1_DATA_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, (opline+1), (ssa_op+1))) in DEFINE_SSA_OP_INFO()
239 #define OP2_DATA_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, (opline+1), (ssa_op+1))) in DEFINE_SSA_OP_INFO()
240 #define RES_INFO() (_ssa_result_def_info(op_array, ssa, opline, ssa_op)) in DEFINE_SSA_OP_INFO()
253 int zend_ssa_find_false_dependencies(const zend_op_array *op_array, zend_ssa *ssa);
254 int zend_ssa_find_sccs(const zend_op_array *op_array, zend_ssa *ssa);
255 …raena, const zend_op_array *op_array, const zend_script *script, zend_ssa *ssa, zend_long optimiza…
259 int zend_inference_calc_range(const zend_op_array *op_array, zend_ssa *ssa, int var, int widening,…
260 int zend_inference_propagate_range(const zend_op_array *op_array, zend_ssa *ssa, zend_op *opline, z…
261 void zend_inference_init_range(const zend_op_array *op_array, zend_ssa *ssa, int var, zend_bool und…
266 int zend_infer_types_ex(const zend_op_array *op_array, const zend_script *script, zend_ssa *ssa, z…
279 …pline, const zend_ssa_op *ssa_op, const zend_op_array *op_array, zend_ssa *ssa, uint32_t t1, uint3…
280 …ow(const zend_op *opline, const zend_ssa_op *ssa_op, const zend_op_array *op_array, zend_ssa *ssa);
283 zend_ssa *ssa,
