Lines Matching refs:var
24 static inline bool is_in_use_chain(zend_ssa *ssa, int var, int check) { in is_in_use_chain() argument
26 FOREACH_USE(&ssa->vars[var], use) { in is_in_use_chain()
34 static inline bool is_in_phi_use_chain(zend_ssa *ssa, int var, zend_ssa_phi *check) { in is_in_phi_use_chain() argument
36 FOREACH_PHI_USE(&ssa->vars[var], phi) { in is_in_phi_use_chain()
92 static inline bool is_defined(const zend_ssa *ssa, const zend_op_array *op_array, int var) { in is_defined() argument
93 const zend_ssa_var *ssa_var = &ssa->vars[var]; in is_defined()
94 return ssa_var->definition >= 0 || ssa_var->definition_phi || var < op_array->last_var; in is_defined()
109 (i), (ssa->vars[i].var < op_array->last_var ? "CV $" : "TMP"), \
110 (ssa->vars[i].var < op_array->last_var ? ZSTR_VAL(op_array->vars[ssa->vars[i].var]) : "")
124 zend_ssa_var *var = &ssa->vars[i]; in ssa_verify_integrity() local
128 if (var->definition < 0 && !var->definition_phi && i > op_array->last_var) { in ssa_verify_integrity()
129 if (var->use_chain >= 0) { in ssa_verify_integrity()
132 if (var->phi_use_chain) { in ssa_verify_integrity()
136 if (var->definition >= 0 && var->definition_phi) { in ssa_verify_integrity()
139 if (var->definition >= 0) { in ssa_verify_integrity()
140 if (!is_defined_by_op(ssa, var->definition, i)) { in ssa_verify_integrity()
142 VAR(i), INSTR(var->definition)); in ssa_verify_integrity()
145 if (var->definition_phi) { in ssa_verify_integrity()
146 if (var->definition_phi->ssa_var != i) { in ssa_verify_integrity()
152 use = var->use_chain; in ssa_verify_integrity()
155 use = zend_ssa_next_use(ssa->ops, var - ssa->vars, use); in ssa_verify_integrity()
156 second_use = zend_ssa_next_use(ssa->ops, var - ssa->vars, second_use); in ssa_verify_integrity()
160 second_use = zend_ssa_next_use(ssa->ops, var - ssa->vars, second_use); in ssa_verify_integrity()
167 FOREACH_USE(var, use) { in ssa_verify_integrity()
174 phi = var->phi_use_chain; in ssa_verify_integrity()
177 phi = zend_ssa_next_use_phi(ssa, var - ssa->vars, phi); in ssa_verify_integrity()
178 second_phi = zend_ssa_next_use_phi(ssa, var - ssa->vars, second_phi); in ssa_verify_integrity()
182 second_phi = zend_ssa_next_use_phi(ssa, var - ssa->vars, second_phi); in ssa_verify_integrity()
189 FOREACH_PHI_USE(var, phi) { in ssa_verify_integrity()
250 if (VAR_NUM(opline->op1.var) != ssa->vars[ssa_op->op1_use].var) { in ssa_verify_integrity()
252 VAR(ssa_op->op1_use), VAR_NUM(opline->op1.var), INSTR(i)); in ssa_verify_integrity()
267 if (VAR_NUM(opline->op2.var) != ssa->vars[ssa_op->op2_use].var) { in ssa_verify_integrity()
269 VAR(ssa_op->op2_use), VAR_NUM(opline->op2.var), INSTR(i)); in ssa_verify_integrity()
284 if (VAR_NUM(opline->result.var) != ssa->vars[ssa_op->result_use].var) { in ssa_verify_integrity()
286 VAR(ssa_op->result_use), VAR_NUM(opline->result.var), INSTR(i)); in ssa_verify_integrity()
297 if (VAR_NUM(opline->op1.var) != ssa->vars[ssa_op->op1_def].var) { in ssa_verify_integrity()
299 VAR(ssa_op->op1_def), VAR_NUM(opline->op1.var), INSTR(i)); in ssa_verify_integrity()
310 if (VAR_NUM(opline->op2.var) != ssa->vars[ssa_op->op2_def].var) { in ssa_verify_integrity()
312 VAR(ssa_op->op2_def), VAR_NUM(opline->op2.var), INSTR(i)); in ssa_verify_integrity()
323 if (VAR_NUM(opline->result.var) != ssa->vars[ssa_op->result_def].var) { in ssa_verify_integrity()
325 VAR(ssa_op->result_def), VAR_NUM(opline->result.var), INSTR(i)); in ssa_verify_integrity()
341 if (ssa->vars[source].var != ssa->vars[phi->ssa_var].var) { in ssa_verify_integrity()
