search for: pq_diff

...retation of this clause is what is intended by both the community and what is currently implemented in code. Here's an example in psuedo IR to demonstrate this point (assume all pointers are i8*): p = alloca q = alloca p_int = ptrtoint p q_int = ptrtoint q p_or_q_int = select ( p < q ) p q pq_diff = select ( p < q ) ( q - p ) ( p - q ) p_or_q = inttoptr p_or_q_int x = gep p_or_q pq_diff load x Due to a control dependency, both "p" and "q" contribute to the computation of "p_or_q_int". Thus, in the old wording, "p_or_q" is based on both objects. &qu...