Searched refs:newSet (Results 1 – 5 of 5) sorted by relevance
624 PresburgerRelation newSet = PresburgerRelation::getEmpty(space); in coalesce() local626 newSet.unionInPlace(disjuncts[i]); in coalesce()628 return newSet; in coalesce()703 IntegerRelation newSet(disjunct.getSpace()); in coalescePairCutCase() local706 newSet.addInequality(curr); in coalescePairCutCase()709 newSet.addInequality(curr); in coalescePairCutCase()711 addCoalescedDisjunct(i, j, newSet); in coalescePairCutCase()
564 PresburgerSet newSet = set.coalesce(); in expectCoalesce() local565 EXPECT_TRUE(set.isEqual(newSet)); in expectCoalesce()566 EXPECT_TRUE(expectedNumPoly == newSet.getNumDisjuncts()); in expectCoalesce()
774 auto &newSet{scope.equivalenceSets().emplace_back()}; in CombineEquivalencedInitialization() local775 newSet.emplace_back(combinedSymbol); in CombineEquivalencedInitialization()776 newSet.emplace_back(const_cast<Symbol &>(first)); in CombineEquivalencedInitialization()
2459 void AffineIfOp::setIntegerSet(IntegerSet newSet) { in setIntegerSet() argument2460 (*this)->setAttr(getConditionAttrStrName(), IntegerSetAttr::get(newSet)); in setIntegerSet()
442 void setIntegerSet(IntegerSet newSet);