Lines Matching refs:Inv
455 Instruction *Inv = cast<Instruction>(V); in isValidAssumeForContext() local
466 if (Q.DT->dominates(Inv, Q.CxtI)) { in isValidAssumeForContext()
468 } else if (Inv->getParent() == Q.CxtI->getParent()) { in isValidAssumeForContext()
473 IE(Inv); I != IE; ++I) in isValidAssumeForContext()
477 return !isEphemeralValueOf(Inv, Q.CxtI); in isValidAssumeForContext()
484 if (Inv->getParent() == Q.CxtI->getParent()->getSinglePredecessor()) { in isValidAssumeForContext()
486 } else if (Inv->getParent() == Q.CxtI->getParent()) { in isValidAssumeForContext()
489 for (BasicBlock::iterator I = std::next(BasicBlock::iterator(Inv)), in isValidAssumeForContext()
490 IE = Inv->getParent()->end(); I != IE; ++I) in isValidAssumeForContext()
497 IE(Inv); I != IE; ++I) in isValidAssumeForContext()
501 return !isEphemeralValueOf(Inv, Q.CxtI); in isValidAssumeForContext()