Searched refs:PredicateBase (Results 1 – 5 of 5) sorted by relevance
80 class PredicateBase : public ilist_node<PredicateBase> {94 PredicateBase(const PredicateBase &) = delete;95 PredicateBase &operator=(const PredicateBase &) = delete;96 PredicateBase() = delete;97 virtual ~PredicateBase() = default;98 static bool classof(const PredicateBase *PB) { in classof()107 PredicateBase(PredicateType PT, Value *Op, Value *Condition) in PredicateBase() function114 class PredicateAssume : public PredicateBase {118 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume()120 static bool classof(const PredicateBase *PB) { in classof()[all …]
61 const PredicateBase *getPredicateInfoFor(Instruction *I);
61 const BasicBlock *getBranchBlock(const PredicateBase *PB) { in getBranchBlock()70 static Instruction *getBranchTerminator(const PredicateBase *PB) { in getBranchTerminator()78 std::pair<BasicBlock *, BasicBlock *> getBlockEdge(const PredicateBase *PB) { in getBlockEdge()107 PredicateBase *PInfo = nullptr;252 SmallVector<PredicateBase *, 4> Infos;285 PredicateBase *PB);391 Value *Op, PredicateBase *PB) { in addInfoFor()473 PredicateBase *PB = in processBranch()764 Optional<PredicateConstraint> PredicateBase::getConstraint() const { in getConstraint()
339 const PredicateBase *getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()1587 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()