Searched refs:PredicateBase (Results 1 – 5 of 5) sorted by relevance
82 class PredicateBase : public ilist_node<PredicateBase> {96 PredicateBase(const PredicateBase &) = delete;97 PredicateBase &operator=(const PredicateBase &) = delete;98 PredicateBase() = delete;99 virtual ~PredicateBase() = default;100 static bool classof(const PredicateBase *PB) { in classof()109 PredicateBase(PredicateType PT, Value *Op, Value *Condition) in PredicateBase() function116 class PredicateAssume : public PredicateBase {120 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume()122 static bool classof(const PredicateBase *PB) { in classof()[all …]
92 const PredicateBase *getPredicateInfoFor(Instruction *I);
55 const BasicBlock *getBranchBlock(const PredicateBase *PB) { in getBranchBlock()64 static Instruction *getBranchTerminator(const PredicateBase *PB) { in getBranchTerminator()72 std::pair<BasicBlock *, BasicBlock *> getBlockEdge(const PredicateBase *PB) { in getBlockEdge()101 PredicateBase *PInfo = nullptr;246 SmallVector<PredicateBase *, 4> Infos;279 PredicateBase *PB);385 Value *Op, PredicateBase *PB) { in addInfoFor()467 PredicateBase *PB = in processBranch()786 std::optional<PredicateConstraint> PredicateBase::getConstraint() const { in getConstraint()
568 const PredicateBase *getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()1813 const PredicateBase *SCCPSolver::getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()
675 const PredicateBase *PredDep;678 const PredicateBase *PredDep = nullptr) in ExprResult()699 const PredicateBase *PredDep) { in some()703 const PredicateBase *PredDep) { in some()1847 const PredicateBase *LastPredInfo = nullptr; in performSymbolicCmpEvaluation()