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()116 class PredicateAssume : public PredicateBase {122 static bool classof(const PredicateBase *PB) { in classof()130 class PredicateWithEdge : public PredicateBase {135 static bool classof(const PredicateBase *PB) { in classof()[all …]
61 const PredicateBase *getPredicateInfoFor(Instruction *I);
63 const BasicBlock *getBranchBlock(const PredicateBase *PB) { in getBranchBlock()72 static Instruction *getBranchTerminator(const PredicateBase *PB) { in getBranchTerminator()80 std::pair<BasicBlock *, BasicBlock *> getBlockEdge(const PredicateBase *PB) { in getBlockEdge()109 PredicateBase *PInfo = nullptr;254 SmallVector<PredicateBase *, 4> Infos;287 PredicateBase *PB);393 Value *Op, PredicateBase *PB) { in addInfoFor()475 PredicateBase *PB = in processBranch()794 Optional<PredicateConstraint> PredicateBase::getConstraint() const { in getConstraint()
339 const PredicateBase *getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()1617 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()1817 const PredicateBase *LastPredInfo = nullptr; in performSymbolicCmpEvaluation()