Searched refs:PredicateAssume (Results 1 – 4 of 4) sorted by relevance
116 class PredicateAssume : public PredicateBase {119 PredicateAssume(Value *Op, IntrinsicInst *AssumeInst, Value *Condition) in PredicateAssume() function121 PredicateAssume() = delete;
215 assert(isa<PredicateAssume>(VD.PInfo) && in getMiddleDef()217 return cast<PredicateAssume>(VD.PInfo)->AssumeInst->getNextNode(); in getMiddleDef()429 auto *PA = new PredicateAssume(V, II, Cond); in processAssume()588 auto *PAssume = dyn_cast<PredicateAssume>(ValInfo); in materializeStack()644 if (const auto *PAssume = dyn_cast<PredicateAssume>(PossibleCopy)) { in renameUses()927 } else if (const auto *PA = dyn_cast<PredicateAssume>(PI)) { in emitInstructionAnnot()
1285 bool MayIncludeUndef = !isa<PredicateAssume>(PI); in handleCallResult()
1821 if (dyn_cast_or_null<PredicateAssume>(CmpPI)) in performSymbolicCmpEvaluation()2043 else if (const auto *PAssume = dyn_cast<PredicateAssume>(Res.PredDep)) in addAdditionalUsers()