Searched refs:PredicateAssume (Results 1 – 3 of 3) sorted by relevance
132 class PredicateAssume : public PredicateWithCondition {135 PredicateAssume(Value *Op, IntrinsicInst *AssumeInst, Value *Condition) in PredicateAssume() function138 PredicateAssume() = delete;
188 assert(isa<PredicateAssume>(VD.PInfo) && in getMiddleDef()190 return cast<PredicateAssume>(VD.PInfo)->AssumeInst; in getMiddleDef()343 auto *PA = new PredicateAssume(Op, II, Cmp); in processAssume()351 auto *PA = new PredicateAssume(BinOp, II, BinOp); in processAssume()533 auto *PAssume = dyn_cast<PredicateAssume>(ValInfo); in materializeStack()591 if (const auto *PAssume = dyn_cast<PredicateAssume>(PossibleCopy)) { in renameUses()825 } else if (const auto *PA = dyn_cast<PredicateAssume>(PI)) { in emitInstructionAnnot()
1548 if (isa<PredicateAssume>(PI)) in performSymbolicPredicateInfoEvaluation()1588 if (isa<PredicateAssume>(PI)) { in performSymbolicPredicateInfoEvaluation()1872 if (dyn_cast_or_null<PredicateAssume>(CmpPI)) in performSymbolicCmpEvaluation()