Searched refs:PoisonI (Results 1 - 2 of 2) sorted by relevance

/external/llvm/include/llvm/Analysis/
H A DValueTracking.h388 /// Return true if this function can prove that if PoisonI is executed
394 bool isKnownNotFullPoison(const Instruction *PoisonI);
/external/llvm/lib/Analysis/
H A DValueTracking.cpp3637 bool llvm::isKnownNotFullPoison(const Instruction *PoisonI) { argument
3640 // executed given that PoisonI is executed.
3645 const BasicBlock *BB = PoisonI->getParent();
3647 // Set of instructions that we have proved will yield poison if PoisonI
3651 YieldsPoison.insert(PoisonI);
3652 Visited.insert(PoisonI->getParent());
3654 BasicBlock::const_iterator Begin = PoisonI->getIterator(), End = BB->end();
3659 if (&I != PoisonI) {

Completed in 683 milliseconds