Searched refs:PredicateWithCondition (Results 1 – 2 of 2) sorted by relevance
116 class PredicateWithCondition : public PredicateBase {125 PredicateWithCondition(PredicateType PT, Value *Op, Value *Condition) in PredicateWithCondition() function132 class PredicateAssume : public PredicateWithCondition {136 : PredicateWithCondition(PT_Assume, Op, Condition), in PredicateAssume()147 class PredicateWithEdge : public PredicateWithCondition {159 : PredicateWithCondition(PType, Op, Cond), From(From), To(To) {} in PredicateWithEdge()
1536 auto *PWC = dyn_cast<PredicateWithCondition>(PI); in performSymbolicPredicateInfoEvaluation()