Lines Matching refs:ssa_op
46 zend_ssa_op *ssa_op = &ssa->ops[op]; in is_used_by_op() local
47 return (ssa_op->op1_use == check) in is_used_by_op()
48 || (ssa_op->op2_use == check) in is_used_by_op()
49 || (ssa_op->result_use == check); in is_used_by_op()
53 zend_ssa_op *ssa_op = &ssa->ops[op]; in is_defined_by_op() local
54 return (ssa_op->op1_def == check) in is_defined_by_op()
55 || (ssa_op->op2_def == check) in is_defined_by_op()
56 || (ssa_op->result_def == check); in is_defined_by_op()
178 zend_ssa_op *ssa_op = &ssa->ops[i]; in ssa_verify_integrity() local
181 if (ssa_op->op1_use < 0 && ssa_op->op1_def < 0) { in ssa_verify_integrity()
185 if (ssa_op->op1_use >= 0 || ssa_op->op1_def >= 0) { in ssa_verify_integrity()
190 if (ssa_op->op2_use < 0 && ssa_op->op2_def < 0) { in ssa_verify_integrity()
194 if (ssa_op->op2_use >= 0 || ssa_op->op2_def >= 0) { in ssa_verify_integrity()
199 if (ssa_op->result_use < 0 && ssa_op->result_def < 0) { in ssa_verify_integrity()
203 if (ssa_op->result_use >= 0 || ssa_op->result_def >= 0) { in ssa_verify_integrity()
208 if (ssa_op->op1_use >= 0) { in ssa_verify_integrity()
209 if (ssa_op->op1_use >= ssa->vars_count) { in ssa_verify_integrity()
210 FAIL("op1 use %d out of range\n", ssa_op->op1_use); in ssa_verify_integrity()
212 if (!is_in_use_chain(ssa, ssa_op->op1_use, i)) { in ssa_verify_integrity()
214 VAR(ssa_op->op1_use), INSTR(i)); in ssa_verify_integrity()
216 if (VAR_NUM(opline->op1.var) != ssa->vars[ssa_op->op1_use].var) { in ssa_verify_integrity()
218 VAR(ssa_op->op1_use), VAR_NUM(opline->op1.var), INSTR(i)); in ssa_verify_integrity()
221 if (ssa_op->op2_use >= 0) { in ssa_verify_integrity()
222 if (ssa_op->op2_use >= ssa->vars_count) { in ssa_verify_integrity()
223 FAIL("op2 use %d out of range\n", ssa_op->op2_use); in ssa_verify_integrity()
225 if (!is_in_use_chain(ssa, ssa_op->op2_use, i)) { in ssa_verify_integrity()
227 VAR(ssa_op->op2_use), INSTR(i)); in ssa_verify_integrity()
229 if (VAR_NUM(opline->op2.var) != ssa->vars[ssa_op->op2_use].var) { in ssa_verify_integrity()
231 VAR(ssa_op->op2_use), VAR_NUM(opline->op2.var), INSTR(i)); in ssa_verify_integrity()
234 if (ssa_op->result_use >= 0) { in ssa_verify_integrity()
235 if (ssa_op->result_use >= ssa->vars_count) { in ssa_verify_integrity()
236 FAIL("result use %d out of range\n", ssa_op->result_use); in ssa_verify_integrity()
238 if (!is_in_use_chain(ssa, ssa_op->result_use, i)) { in ssa_verify_integrity()
240 VAR(ssa_op->result_use), INSTR(i)); in ssa_verify_integrity()
242 if (VAR_NUM(opline->result.var) != ssa->vars[ssa_op->result_use].var) { in ssa_verify_integrity()
244 VAR(ssa_op->result_use), VAR_NUM(opline->result.var), INSTR(i)); in ssa_verify_integrity()
247 if (ssa_op->op1_def >= 0) { in ssa_verify_integrity()
248 if (ssa_op->op1_def >= ssa->vars_count) { in ssa_verify_integrity()
249 FAIL("op1 def %d out of range\n", ssa_op->op1_def); in ssa_verify_integrity()
251 if (ssa->vars[ssa_op->op1_def].definition != i) { in ssa_verify_integrity()
253 VAR(ssa_op->op1_def), INSTR(i)); in ssa_verify_integrity()
255 if (VAR_NUM(opline->op1.var) != ssa->vars[ssa_op->op1_def].var) { in ssa_verify_integrity()
257 VAR(ssa_op->op1_def), VAR_NUM(opline->op1.var), INSTR(i)); in ssa_verify_integrity()
260 if (ssa_op->op2_def >= 0) { in ssa_verify_integrity()
261 if (ssa_op->op2_def >= ssa->vars_count) { in ssa_verify_integrity()
262 FAIL("op2 def %d out of range\n", ssa_op->op2_def); in ssa_verify_integrity()
264 if (ssa->vars[ssa_op->op2_def].definition != i) { in ssa_verify_integrity()
266 VAR(ssa_op->op2_def), INSTR(i)); in ssa_verify_integrity()
268 if (VAR_NUM(opline->op2.var) != ssa->vars[ssa_op->op2_def].var) { in ssa_verify_integrity()
270 VAR(ssa_op->op2_def), VAR_NUM(opline->op2.var), INSTR(i)); in ssa_verify_integrity()
273 if (ssa_op->result_def >= 0) { in ssa_verify_integrity()
274 if (ssa_op->result_def >= ssa->vars_count) { in ssa_verify_integrity()
275 FAIL("result def %d out of range\n", ssa_op->result_def); in ssa_verify_integrity()
277 if (ssa->vars[ssa_op->result_def].definition != i) { in ssa_verify_integrity()
279 VAR(ssa_op->result_def), INSTR(i)); in ssa_verify_integrity()
281 if (VAR_NUM(opline->result.var) != ssa->vars[ssa_op->result_def].var) { in ssa_verify_integrity()
283 VAR(ssa_op->result_def), VAR_NUM(opline->result.var), INSTR(i)); in ssa_verify_integrity()
