Searched refs:ControlConditions (Results 1 – 1 of 1) sorted by relevance
51 class ControlConditions { class62 static const std::optional<ControlConditions>81 bool isEquivalent(const ControlConditions &Other) const;88 ControlConditions() = default;107 const std::optional<ControlConditions>115 ControlConditions Conditions; in collectControlConditions()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()254 const std::optional<ControlConditions> BB0Conditions = in isControlFlowEquivalent()[all …]