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()
291 FOREACH_PHI_SOURCE(phi, source) { in ssa_verify_integrity()
293 FAIL(VARFMT " negative source\n", VAR(phi->ssa_var)); in ssa_verify_integrity()
295 if (!is_in_phi_use_chain(ssa, source, phi)) { in ssa_verify_integrity()
296 FAIL(VARFMT " not in phi use chain of %d\n", VAR(phi->ssa_var), source); in ssa_verify_integrity()
298 if (ssa->vars[source].var != ssa->vars[phi->ssa_var].var) { in ssa_verify_integrity()
299 FAIL(VARFMT " source of phi for " VARFMT "\n", VAR(source), VAR(phi->ssa_var)); in ssa_verify_integrity()
302 if (ssa->vars[phi->ssa_var].definition_phi != phi) { in ssa_verify_integrity()
303 FAIL(VARFMT " does not define this phi\n", VAR(phi->ssa_var)); in ssa_verify_integrity()