Lines Matching refs:ControlConditions

52 class ControlConditions {  class
63   static const Optional<ControlConditions>
82   bool isEquivalent(const ControlConditions &Other) const;
89   ControlConditions() = default;
108 const Optional<ControlConditions> ControlConditions::collectControlConditions(  in collectControlConditions()
113   ControlConditions Conditions;  in collectControlConditions()
166 bool ControlConditions::addControlCondition(ControlCondition C) {  in addControlCondition()
169         return ControlConditions::isEquivalent(C, Exists);  in addControlCondition()
179 bool ControlConditions::isEquivalent(const ControlConditions &Other) const {  in isEquivalent()
188       return ControlConditions::isEquivalent(C, OtherC);  in isEquivalent()
193 bool ControlConditions::isEquivalent(const ControlCondition &C1,  in isEquivalent()
208 bool ControlConditions::isEquivalent(const Value &V1, const Value &V2) {  in isEquivalent()
212 bool ControlConditions::isInverse(const Value &V1, const Value &V2) {  in isInverse()
252   const Optional<ControlConditions> BB0Conditions =  in isControlFlowEquivalent()
253       ControlConditions::collectControlConditions(BB0, *CommonDominator, DT,  in isControlFlowEquivalent()
258   const Optional<ControlConditions> BB1Conditions =  in isControlFlowEquivalent()
259       ControlConditions::collectControlConditions(BB1, *CommonDominator, DT,  in isControlFlowEquivalent()