Lines Matching refs:phi
36 zend_ssa_phi *phi; in is_in_phi_use_chain() local
37 FOREACH_PHI_USE(&ssa->vars[var], phi) { in is_in_phi_use_chain()
38 if (phi == check) { in is_in_phi_use_chain()
59 static inline zend_bool is_in_phi_sources(zend_ssa *ssa, zend_ssa_phi *phi, int check) { in is_in_phi_sources() argument
61 FOREACH_PHI_SOURCE(phi, source) { in is_in_phi_sources()
114 zend_ssa_phi *phi; in ssa_verify_integrity() local
158 FOREACH_PHI_USE(var, phi) { in ssa_verify_integrity()
163 if (!is_in_phi_sources(ssa, phi, i)) { in ssa_verify_integrity()
164 FAIL("var " VARFMT " not in phi sources of %d\n", VAR(i), phi->ssa_var); in ssa_verify_integrity()
289 FOREACH_PHI(phi) { in ssa_verify_integrity()
290 unsigned num_sources = NUM_PHI_SOURCES(phi); in ssa_verify_integrity()
292 int source = phi->sources[i]; in ssa_verify_integrity()
294 FAIL(VARFMT " negative source\n", VAR(phi->ssa_var)); in ssa_verify_integrity()
296 if (!is_in_phi_use_chain(ssa, source, phi)) { in ssa_verify_integrity()
297 FAIL(VARFMT " not in phi use chain of %d\n", VAR(phi->ssa_var), source); in ssa_verify_integrity()
299 if (ssa->vars[source].var != ssa->vars[phi->ssa_var].var) { in ssa_verify_integrity()
300 FAIL(VARFMT " source of phi for " VARFMT "\n", VAR(source), VAR(phi->ssa_var)); in ssa_verify_integrity()
302 if (phi->use_chains[i]) { in ssa_verify_integrity()
305 if (phi->sources[j] == source && phi->use_chains[j]) { in ssa_verify_integrity()
307 " at %d despite earlier use\n", VAR(source), VAR(phi->ssa_var), j); in ssa_verify_integrity()
312 if (ssa->vars[phi->ssa_var].definition_phi != phi) { in ssa_verify_integrity()
313 FAIL(VARFMT " does not define this phi\n", VAR(phi->ssa_var)); in ssa_verify_integrity()
