Lines Matching refs:Poison
4806 // Only proceed if we can prove that I does not yield poison.
4847 // If we know that \c I can never be poison period, then that's enough.
4854 // If the add recurrence is poison in any iteration, it is poison on all
4855 // future iterations (since incrementing poison yields poison). If the result
4859 // choosing a sufficiently evil value for the poison feeding into the branch)
4861 // poison. There are two possibilities (let's call the iteration in which \p
4862 // I first became poison as K):
4870 // effect is control dependent on poison, which also yields undefined
4881 // We start by assuming \c I, the post-inc add recurrence, is poison. Only
4882 // things that are known to be fully poison under that assumption go on the
4889 const Instruction *Poison = PoisonStack.pop_back_val();
4891 for (auto *PoisonUser : Poison->users()) {
