Lines Matching refs:ssa_op
45 zend_ssa_op *ssa_op = &ssa->ops[op]; in is_used_by_op() local
46 return (ssa_op->op1_use == check) in is_used_by_op()
47 || (ssa_op->op2_use == check) in is_used_by_op()
48 || (ssa_op->result_use == check); in is_used_by_op()
52 zend_ssa_op *ssa_op = &ssa->ops[op]; in is_defined_by_op() local
53 return (ssa_op->op1_def == check) in is_defined_by_op()
54 || (ssa_op->op2_def == check) in is_defined_by_op()
55 || (ssa_op->result_def == check); in is_defined_by_op()
208 zend_ssa_op *ssa_op = &ssa->ops[i]; in ssa_verify_integrity() local
211 if (ssa_op->op1_use < 0 && ssa_op->op1_def < 0) { in ssa_verify_integrity()
215 if (ssa_op->op1_use >= 0 || ssa_op->op1_def >= 0) { in ssa_verify_integrity()
220 if (ssa_op->op2_use < 0 && ssa_op->op2_def < 0) { in ssa_verify_integrity()
224 if (ssa_op->op2_use >= 0 || ssa_op->op2_def >= 0) { in ssa_verify_integrity()
229 if (ssa_op->result_use < 0 && ssa_op->result_def < 0) { in ssa_verify_integrity()
233 if (ssa_op->result_use >= 0 || ssa_op->result_def >= 0) { in ssa_verify_integrity()
238 if (ssa_op->op1_use >= 0) { in ssa_verify_integrity()
239 if (ssa_op->op1_use >= ssa->vars_count) { in ssa_verify_integrity()
240 FAIL("op1 use %d out of range\n", ssa_op->op1_use); in ssa_verify_integrity()
242 if (!is_defined(ssa, op_array, ssa_op->op1_use)) { in ssa_verify_integrity()
244 VAR(ssa_op->op1_use), INSTR(i)); in ssa_verify_integrity()
246 if (!is_in_use_chain(ssa, ssa_op->op1_use, i)) { in ssa_verify_integrity()
248 VAR(ssa_op->op1_use), INSTR(i)); 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()
255 if (ssa_op->op2_use >= 0) { in ssa_verify_integrity()
256 if (ssa_op->op2_use >= ssa->vars_count) { in ssa_verify_integrity()
257 FAIL("op2 use %d out of range\n", ssa_op->op2_use); in ssa_verify_integrity()
259 if (!is_defined(ssa, op_array, ssa_op->op2_use)) { in ssa_verify_integrity()
261 VAR(ssa_op->op2_use), INSTR(i)); in ssa_verify_integrity()
263 if (!is_in_use_chain(ssa, ssa_op->op2_use, i)) { in ssa_verify_integrity()
265 VAR(ssa_op->op2_use), 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()
272 if (ssa_op->result_use >= 0) { in ssa_verify_integrity()
273 if (ssa_op->result_use >= ssa->vars_count) { in ssa_verify_integrity()
274 FAIL("result use %d out of range\n", ssa_op->result_use); in ssa_verify_integrity()
276 if (!is_defined(ssa, op_array, ssa_op->result_use)) { in ssa_verify_integrity()
278 VAR(ssa_op->result_use), INSTR(i)); in ssa_verify_integrity()
280 if (!is_in_use_chain(ssa, ssa_op->result_use, i)) { in ssa_verify_integrity()
282 VAR(ssa_op->result_use), 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()
289 if (ssa_op->op1_def >= 0) { in ssa_verify_integrity()
290 if (ssa_op->op1_def >= ssa->vars_count) { in ssa_verify_integrity()
291 FAIL("op1 def %d out of range\n", ssa_op->op1_def); in ssa_verify_integrity()
293 if (ssa->vars[ssa_op->op1_def].definition != i) { in ssa_verify_integrity()
295 VAR(ssa_op->op1_def), 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()
302 if (ssa_op->op2_def >= 0) { in ssa_verify_integrity()
303 if (ssa_op->op2_def >= ssa->vars_count) { in ssa_verify_integrity()
304 FAIL("op2 def %d out of range\n", ssa_op->op2_def); in ssa_verify_integrity()
306 if (ssa->vars[ssa_op->op2_def].definition != i) { in ssa_verify_integrity()
308 VAR(ssa_op->op2_def), 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()
315 if (ssa_op->result_def >= 0) { in ssa_verify_integrity()
316 if (ssa_op->result_def >= ssa->vars_count) { in ssa_verify_integrity()
317 FAIL("result def %d out of range\n", ssa_op->result_def); in ssa_verify_integrity()
319 if (ssa->vars[ssa_op->result_def].definition != i) { in ssa_verify_integrity()
321 VAR(ssa_op->result_def), 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()
