Lines Matching refs:ControlConditions
51 class ControlConditions { class
62 static const std::optional<ControlConditions>
81 bool isEquivalent(const ControlConditions &Other) const;
88 ControlConditions() = default;
107 const std::optional<ControlConditions>
108 ControlConditions::collectControlConditions(const BasicBlock &BB, in collectControlConditions()
115 ControlConditions Conditions; in collectControlConditions()
168 bool ControlConditions::addControlCondition(ControlCondition C) { in addControlCondition()
171 return ControlConditions::isEquivalent(C, Exists); in addControlCondition()
181 bool ControlConditions::isEquivalent(const ControlConditions &Other) const { in isEquivalent()
190 return ControlConditions::isEquivalent(C, OtherC); in isEquivalent()
195 bool ControlConditions::isEquivalent(const ControlCondition &C1, in isEquivalent()
210 bool ControlConditions::isEquivalent(const Value &V1, const Value &V2) { in isEquivalent()
214 bool ControlConditions::isInverse(const Value &V1, const Value &V2) { in isInverse()
254 const std::optional<ControlConditions> BB0Conditions = in isControlFlowEquivalent()
255 ControlConditions::collectControlConditions(BB0, *CommonDominator, DT, in isControlFlowEquivalent()
260 const std::optional<ControlConditions> BB1Conditions = in isControlFlowEquivalent()
261 ControlConditions::collectControlConditions(BB1, *CommonDominator, DT, in isControlFlowEquivalent()