Lines Matching refs:ssa
40 …bool _ssa_##opN##_has_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
43 zval *zv = CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants); \
47 ssa->ops && \
48 ssa->var_info && \
49 ssa->ops[opline - op_array->opcodes].opN##_use >= 0 && \
50 ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].has_range); \
56 …long _ssa_##opN##_min_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
59 zval *zv = CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants); \
70 ssa->ops && \
71 ssa->var_info && \
72 ssa->ops[opline - op_array->opcodes].opN##_use >= 0 && \
73 ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].has_range) { \
74 return ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].range.min; \
80 …long _ssa_##opN##_max_range(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
83 zval *zv = CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants); \
94 ssa->ops && \
95 ssa->var_info && \
96 ssa->ops[opline - op_array->opcodes].opN##_use >= 0 && \
97 ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].has_range) { \
98 return ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].range.max; \
104 …ssa_##opN##_range_underflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
107 zval *zv = CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants); \
112 ssa->ops && \
113 ssa->var_info && \
114 ssa->ops[opline - op_array->opcodes].opN##_use >= 0 && \
115 ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].has_range) { \
116 return ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].range.underflow; \
122 …_ssa_##opN##_range_overflow(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
125 zval *zv = CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants); \
130 ssa->ops && \
131 ssa->var_info && \
132 ssa->ops[opline - op_array->opcodes].opN##_use >= 0 && \
133 ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].has_range) { \
134 return ssa->var_info[ssa->ops[opline - op_array->opcodes].opN##_use].range.overflow; \
150 #define OP1_HAS_RANGE() (_ssa_op1_has_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
151 #define OP1_MIN_RANGE() (_ssa_op1_min_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
152 #define OP1_MAX_RANGE() (_ssa_op1_max_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
153 #define OP1_RANGE_UNDERFLOW() (_ssa_op1_range_underflow (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
154 #define OP1_RANGE_OVERFLOW() (_ssa_op1_range_overflow (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
155 #define OP2_HAS_RANGE() (_ssa_op2_has_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
156 #define OP2_MIN_RANGE() (_ssa_op2_min_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
157 #define OP2_MAX_RANGE() (_ssa_op2_max_range (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
158 #define OP2_RANGE_UNDERFLOW() (_ssa_op2_range_underflow (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
159 #define OP2_RANGE_OVERFLOW() (_ssa_op2_range_overflow (op_array, ssa, opline)) in DEFINE_SSA_OP_MIN_RANGE()
197 static zend_always_inline uint32_t get_ssa_var_info(const zend_ssa *ssa, int ssa_var_num) in get_ssa_var_info() argument
199 if (ssa->var_info && ssa_var_num >= 0) { in get_ssa_var_info()
200 return ssa->var_info[ssa_var_num].type; in get_ssa_var_info()
207 … uint32_t _ssa_##opN##_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
210 return _const_op_type(CRT_CONSTANT_EX(op_array, opline, opline->opN, ssa->rt_constants)); \
212 return get_ssa_var_info(ssa, ssa->ops ? ssa->ops[opline - op_array->opcodes].opN##_use : -1); \
217 …t32_t _ssa_##opN##_def_info(const zend_op_array *op_array, const zend_ssa *ssa, const zend_op *opl…
219 return get_ssa_var_info(ssa, ssa->ops ? ssa->ops[opline - op_array->opcodes].opN##_def : -1); \
230 #define OP1_INFO() (_ssa_op1_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
231 #define OP2_INFO() (_ssa_op2_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
232 #define OP1_DATA_INFO() (_ssa_op1_info(op_array, ssa, (opline+1))) in DEFINE_SSA_OP_INFO()
233 #define OP2_DATA_INFO() (_ssa_op2_info(op_array, ssa, (opline+1))) in DEFINE_SSA_OP_INFO()
234 #define RES_USE_INFO() (_ssa_result_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
235 #define OP1_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
236 #define OP2_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
237 #define OP1_DATA_DEF_INFO() (_ssa_op1_def_info(op_array, ssa, (opline+1))) in DEFINE_SSA_OP_INFO()
238 #define OP2_DATA_DEF_INFO() (_ssa_op2_def_info(op_array, ssa, (opline+1))) in DEFINE_SSA_OP_INFO()
239 #define RES_INFO() (_ssa_result_def_info(op_array, ssa, opline)) in DEFINE_SSA_OP_INFO()
252 int zend_ssa_find_false_dependencies(const zend_op_array *op_array, zend_ssa *ssa);
253 int zend_ssa_find_sccs(const zend_op_array *op_array, zend_ssa *ssa);
254 …raena, const zend_op_array *op_array, const zend_script *script, zend_ssa *ssa, zend_long optimiza…
258 int zend_inference_calc_range(const zend_op_array *op_array, zend_ssa *ssa, int var, int widening,…
259 void zend_inference_init_range(const zend_op_array *op_array, zend_ssa *ssa, int var, zend_bool und…
264 int zend_infer_types_ex(const zend_op_array *op_array, const zend_script *script, zend_ssa *ssa, z…
275 int zend_may_throw(const zend_op *opline, zend_op_array *op_array, zend_ssa *ssa);
