Lines Matching full:branches
16 // * Proves conditional branches to be unconditional
258 /// that branches on undef values cannot reach any of their successors.
534 // Overdefined condition variables, and branches on unfoldable constant
646 // from different branches, or if the PHI node merges in an overdefined
1235 /// that branches on undef values cannot reach any of their successors.
