Searched defs:phi1 (Results 1 – 2 of 2) sorted by relevance
25 static int phi_compare(pseudo_t phi1, pseudo_t phi2) in phi_compare()132 pseudo_t phi1, phi2; in phi_list_compare() local
1617 pseudo_t phi1, pseudo_t phi2) in add_join_conditional()1642 pseudo_t phi1, phi2; in linearize_short_conditional() local1668 pseudo_t phi1, phi2; in linearize_conditional() local