Searched refs:PredicateBase (Results 1 – 5 of 5) sorted by relevance
81 class PredicateBase : public ilist_node<PredicateBase> {95 PredicateBase(const PredicateBase &) = delete;96 PredicateBase &operator=(const PredicateBase &) = delete;97 PredicateBase() = delete;98 virtual ~PredicateBase() = default;99 static bool classof(const PredicateBase *PB) { in classof()108 PredicateBase(PredicateType PT, Value *Op, Value *Condition) in PredicateBase() function115 class PredicateAssume : public PredicateBase {119 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume()121 static bool classof(const PredicateBase *PB) { in classof()[all …]
82 const PredicateBase *getPredicateInfoFor(Instruction *I);
48 const BasicBlock *getBranchBlock(const PredicateBase *PB) { in getBranchBlock()57 static Instruction *getBranchTerminator(const PredicateBase *PB) { in getBranchTerminator()65 std::pair<BasicBlock *, BasicBlock *> getBlockEdge(const PredicateBase *PB) { in getBlockEdge()94 PredicateBase *PInfo = nullptr;239 SmallVector<PredicateBase *, 4> Infos;272 PredicateBase *PB);378 Value *Op, PredicateBase *PB) { in addInfoFor()460 PredicateBase *PB = in processBranch()777 std::optional<PredicateConstraint> PredicateBase::getConstraint() const { in getConstraint()
699 const PredicateBase *getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()2055 const PredicateBase *SCCPSolver::getPredicateInfoFor(Instruction *I) { in getPredicateInfoFor()
676 const PredicateBase *PredDep;679 const PredicateBase *PredDep = nullptr) in ExprResult()700 const PredicateBase *PredDep) { in some()704 const PredicateBase *PredDep) { in some()1860 const PredicateBase *LastPredInfo = nullptr; in performSymbolicCmpEvaluation()