Lines Matching defs:Constraints

1032   addToDisequalityInfo(DisequalityMapTy &Info, ConstraintRangeTy &Constraints,
1045 areFeasible(ConstraintRangeTy Constraints) {
1047       Constraints,
1070                                              ConstraintRangeTy Constraints) {
1071   return State->set<ConstraintRange>(Constraints);
2146       ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2150       Constraints = CF.add(Constraints, Class, NewConstraint);
2163         Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint);
2165       assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2168       return setConstraints(State, Constraints);
2217   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2218   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {
2284   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2285   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {
2383   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2404     Constraints = CRF.remove(Constraints, Other);
2406     Constraints = CRF.add(Constraints, *this, *NewClassConstraint);
2408     assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2411     State = State->set<ConstraintRange>(Constraints);
2529   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2533   if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this,
2535       !addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, Other,
2539   assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2543   State = State->set<ConstraintRange>(Constraints);
2549     DisequalityMapTy &Info, ConstraintRangeTy &Constraints,
2570   if (const RangeSet *SecondConstraint = Constraints.lookup(Second))
2583       Constraints = CRF.add(Constraints, First, FirstConstraint);
2913   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
2914   ConstraintRangeTy NewConstraints = Constraints;
2934     Constraints = ConstraintFactory.remove(Constraints, Class);
2967        Constraints) {
3029     State = State->set<ConstraintRange>(Constraints);
3304   ConstraintRangeTy Constraints = State->get<ConstraintRange>();
3307   if (Constraints.isEmpty()) {
3313   for (std::pair<EquivalenceClass, RangeSet> P : Constraints) {