Searched refs:PT_Assume (Results 1 – 2 of 2) sorted by relevance
70 enum PredicateType { PT_Branch, PT_Assume, PT_Switch }; enumerator100 return PB->Type == PT_Assume || PB->Type == PT_Branch || in classof()119 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume()122 return PB->Type == PT_Assume; in classof()
779 case PT_Assume: in getConstraint()