Searched refs:PredicateAssume (Results 1 – 3 of 3) sorted by relevance
114 class PredicateAssume : public PredicateBase {117 PredicateAssume(Value *Op, IntrinsicInst *AssumeInst, Value *Condition) in PredicateAssume() function119 PredicateAssume() = delete;
182 assert(isa<PredicateAssume>(VD.PInfo) && in getDefOrUser()184 return cast<PredicateAssume>(VD.PInfo)->AssumeInst->getNextNode(); in getDefOrUser()377 auto *PA = new (Allocator) PredicateAssume(V, II, Cond); in processAssume()540 auto *PAssume = dyn_cast<PredicateAssume>(ValInfo); in materializeStack()591 if (const auto *PAssume = dyn_cast<PredicateAssume>(PossibleCopy)) { in renameUses()839 } else if (const auto *PA = dyn_cast<PredicateAssume>(PI)) { in emitInstructionAnnot()
1905 if (isa_and_nonnull<PredicateAssume>(CmpPI)) in performSymbolicCmpEvaluation()2113 else if (const auto *PAssume = dyn_cast<PredicateAssume>(Res.PredDep)) in addAdditionalUsers()