Lines Matching refs:FlatAffineConstraints
43 FlatAffineConstraints localVarCst;
73 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
106 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExpr()
118 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
130 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
145 FlatAffineConstraints::FlatAffineConstraints( in FlatAffineConstraints() function in FlatAffineConstraints
146 const FlatAffineConstraints &other) { in FlatAffineConstraints()
171 std::unique_ptr<FlatAffineConstraints> FlatAffineConstraints::clone() const { in clone()
172 return std::make_unique<FlatAffineConstraints>(*this); in clone()
176 FlatAffineConstraints::FlatAffineConstraints(IntegerSet set) in FlatAffineConstraints() function in FlatAffineConstraints
186 FlatAffineConstraints localVarCst; in FlatAffineConstraints()
209 void FlatAffineConstraints::reset(unsigned numReservedInequalities, in reset()
235 void FlatAffineConstraints::reset(unsigned newNumDims, unsigned newNumSymbols, in reset()
242 void FlatAffineConstraints::append(const FlatAffineConstraints &other) { in append()
260 void FlatAffineConstraints::addLocalId(unsigned pos) { in addLocalId()
264 void FlatAffineConstraints::addDimId(unsigned pos, Value id) { in addDimId()
268 void FlatAffineConstraints::addSymbolId(unsigned pos, Value id) { in addSymbolId()
274 void FlatAffineConstraints::addId(IdKind kind, unsigned pos, Value id) { in addId()
344 static bool areIdsAligned(const FlatAffineConstraints &A, in areIdsAligned()
345 const FlatAffineConstraints &B) { in areIdsAligned()
353 bool FlatAffineConstraints::areIdsAlignedWithOther( in areIdsAlignedWithOther()
354 const FlatAffineConstraints &other) { in areIdsAlignedWithOther()
360 areIdsUnique(const FlatAffineConstraints &cst) { in areIdsUnique()
379 static void mergeAndAlignIds(unsigned offset, FlatAffineConstraints *A, in mergeAndAlignIds()
380 FlatAffineConstraints *B) { in mergeAndAlignIds()
456 void FlatAffineConstraints::mergeAndAlignIdsWithOther( in mergeAndAlignIdsWithOther()
457 unsigned offset, FlatAffineConstraints *other) { in mergeAndAlignIdsWithOther()
464 LogicalResult FlatAffineConstraints::composeMap(const AffineValueMap *vMap) { in composeMap()
466 FlatAffineConstraints localCst; in composeMap()
536 LogicalResult FlatAffineConstraints::composeMatchingMap(AffineMap other) { in composeMatchingMap()
541 FlatAffineConstraints localCst; in composeMatchingMap()
602 static void turnDimIntoSymbol(FlatAffineConstraints *cst, Value id) { in turnDimIntoSymbol()
611 static void turnSymbolIntoDim(FlatAffineConstraints *cst, Value id) { in turnSymbolIntoDim()
621 void FlatAffineConstraints::convertLoopIVSymbolsToDims() { in convertLoopIVSymbolsToDims()
634 void FlatAffineConstraints::addInductionVarOrTerminalSymbol(Value id) { in addInductionVarOrTerminalSymbol()
656 LogicalResult FlatAffineConstraints::addAffineForOpDomain(AffineForOp forOp) { in addAffineForOpDomain()
709 void FlatAffineConstraints::addAffineIfOpDomain(AffineIfOp ifOp) { in addAffineIfOpDomain()
711 FlatAffineConstraints cst(ifOp.getIntegerSet()); in addAffineIfOpDomain()
728 static bool findConstraintWithNonZeroAt(const FlatAffineConstraints &cst, in findConstraintWithNonZeroAt()
747 static void normalizeConstraintByGCD(FlatAffineConstraints *constraints, in normalizeConstraintByGCD()
766 void FlatAffineConstraints::normalizeConstraintsByGCD() { in normalizeConstraintsByGCD()
775 bool FlatAffineConstraints::hasConsistentState() const { in hasConsistentState()
794 bool FlatAffineConstraints::hasInvalidConstraint() const { in hasInvalidConstraint()
827 static void eliminateFromConstraint(FlatAffineConstraints *constraints, in eliminateFromConstraint()
862 static void shiftColumnsToLeft(FlatAffineConstraints *constraints, in shiftColumnsToLeft()
886 void FlatAffineConstraints::removeIdRange(unsigned idStart, unsigned idLimit) { in removeIdRange()
932 static unsigned getBestIdToEliminate(const FlatAffineConstraints &cst, in getBestIdToEliminate()
965 bool FlatAffineConstraints::isEmpty() const { in isEmpty()
971 FlatAffineConstraints tmpCst(*this); in isEmpty()
1021 bool FlatAffineConstraints::isEmptyByGCDTest() const { in isEmptyByGCDTest()
1044 bool FlatAffineConstraints::isIntegerEmpty() const { in isIntegerEmpty()
1055 FlatAffineConstraints::findIntegerSample() const { in findIntegerSample()
1074 bool FlatAffineConstraints::containsPoint(ArrayRef<int64_t> point) const { in containsPoint()
1094 void FlatAffineConstraints::GCDTightenInequalities() { in GCDTightenInequalities()
1113 unsigned FlatAffineConstraints::gaussianEliminateIds(unsigned posStart, in gaussianEliminateIds()
1170 static bool detectAsMod(const FlatAffineConstraints &cst, unsigned pos, in detectAsMod()
1254 void FlatAffineConstraints::getLowerAndUpperBoundIndices( in getLowerAndUpperBoundIndices()
1312 static bool detectAsFloorDiv(const FlatAffineConstraints &cst, unsigned pos, in detectAsFloorDiv()
1384 static inline void fillInequality(FlatAffineConstraints *cst, unsigned r, in fillInequality()
1392 static inline void negateInequality(FlatAffineConstraints *cst, unsigned r) { in negateInequality()
1400 void FlatAffineConstraints::removeRedundantInequalities() { in removeRedundantInequalities()
1405 FlatAffineConstraints tmpCst(*this); in removeRedundantInequalities()
1440 void FlatAffineConstraints::removeRedundantConstraints() { in removeRedundantConstraints()
1483 std::pair<AffineMap, AffineMap> FlatAffineConstraints::getLowerAndUpperBound( in getLowerAndUpperBound()
1571 void FlatAffineConstraints::getSliceBounds(unsigned offset, unsigned num, in getSliceBounds()
1677 Optional<FlatAffineConstraints> tmpClone; in getSliceBounds()
1698 tmpClone.emplace(FlatAffineConstraints(*this)); in getSliceBounds()
1743 FlatAffineConstraints::addLowerOrUpperBound(unsigned pos, AffineMap boundMap, in addLowerOrUpperBound()
1763 FlatAffineConstraints localVarCst; in addLowerOrUpperBound()
1834 LogicalResult FlatAffineConstraints::addSliceBounds(ArrayRef<Value> values, in addSliceBounds()
1872 void FlatAffineConstraints::addEquality(ArrayRef<int64_t> eq) { in addEquality()
1879 void FlatAffineConstraints::addInequality(ArrayRef<int64_t> inEq) { in addInequality()
1886 void FlatAffineConstraints::addConstantLowerBound(unsigned pos, int64_t lb) { in addConstantLowerBound()
1896 void FlatAffineConstraints::addConstantUpperBound(unsigned pos, int64_t ub) { in addConstantUpperBound()
1906 void FlatAffineConstraints::addConstantLowerBound(ArrayRef<int64_t> expr, in addConstantLowerBound()
1917 void FlatAffineConstraints::addConstantUpperBound(ArrayRef<int64_t> expr, in addConstantUpperBound()
1935 void FlatAffineConstraints::addLocalFloorDiv(ArrayRef<int64_t> dividend, in addLocalFloorDiv()
1959 bool FlatAffineConstraints::findId(Value id, unsigned *pos) const { in findId()
1971 bool FlatAffineConstraints::containsId(Value id) const { in containsId()
1977 void FlatAffineConstraints::swapId(unsigned posA, unsigned posB) { in swapId()
1991 void FlatAffineConstraints::setDimSymbolSeparation(unsigned newSymbolCount) { in setDimSymbolSeparation()
1999 void FlatAffineConstraints::setIdToConstant(unsigned pos, int64_t val) { in setIdToConstant()
2010 void FlatAffineConstraints::setIdToConstant(Value id, int64_t val) { in setIdToConstant()
2018 void FlatAffineConstraints::removeEquality(unsigned pos) { in removeEquality()
2031 void FlatAffineConstraints::removeInequality(unsigned pos) { in removeInequality()
2049 static int findEqualityToConstant(const FlatAffineConstraints &cst, in findEqualityToConstant()
2074 void FlatAffineConstraints::setAndEliminate(unsigned pos, int64_t constVal) { in setAndEliminate()
2085 LogicalResult FlatAffineConstraints::constantFoldId(unsigned pos) { in constantFoldId()
2098 void FlatAffineConstraints::constantFoldIdRange(unsigned pos, unsigned num) { in constantFoldIdRange()
2118 Optional<int64_t> FlatAffineConstraints::getConstantBoundOnDimSize( in getConstantBoundOnDimSize()
2244 FlatAffineConstraints::computeConstantLowerOrUpperBound(unsigned pos) { in computeConstantLowerOrUpperBound()
2301 FlatAffineConstraints::getConstantLowerBound(unsigned pos) const { in getConstantLowerBound()
2302 FlatAffineConstraints tmpCst(*this); in getConstantLowerBound()
2307 FlatAffineConstraints::getConstantUpperBound(unsigned pos) const { in getConstantUpperBound()
2308 FlatAffineConstraints tmpCst(*this); in getConstantUpperBound()
2313 bool FlatAffineConstraints::isHyperRectangular(unsigned pos, in isHyperRectangular()
2338 void FlatAffineConstraints::print(raw_ostream &os) const { in print()
2366 void FlatAffineConstraints::dump() const { print(llvm::errs()); } in dump()
2374 void FlatAffineConstraints::removeTrivialRedundancy() { in removeTrivialRedundancy()
2447 void FlatAffineConstraints::clearAndCopyFrom( in clearAndCopyFrom()
2448 const FlatAffineConstraints &other) { in clearAndCopyFrom()
2449 FlatAffineConstraints copy(other); in clearAndCopyFrom()
2454 void FlatAffineConstraints::removeId(unsigned pos) { in removeId()
2459 getNewNumDimsSymbols(unsigned pos, const FlatAffineConstraints &cst) { in getNewNumDimsSymbols()
2523 void FlatAffineConstraints::FourierMotzkinEliminate( in FourierMotzkinEliminate()
2596 FlatAffineConstraints newFac( in FourierMotzkinEliminate()
2691 void FlatAffineConstraints::projectOut(unsigned pos, unsigned num) { in projectOut()
2726 void FlatAffineConstraints::projectOut(Value id) { in projectOut()
2734 void FlatAffineConstraints::clearConstraints() { in clearConstraints()
2763 static void getCommonConstraints(const FlatAffineConstraints &A, in getCommonConstraints()
2764 const FlatAffineConstraints &B, in getCommonConstraints()
2765 FlatAffineConstraints &C) { in getCommonConstraints()
2789 FlatAffineConstraints::unionBoundingBox(const FlatAffineConstraints &otherCst) { in unionBoundingBox()
2799 Optional<FlatAffineConstraints> otherCopy; in unionBoundingBox()
2801 otherCopy.emplace(FlatAffineConstraints(otherCst)); in unionBoundingBox()
2809 FlatAffineConstraints commonCst; in unionBoundingBox()
2916 static LogicalResult computeLocalVars(const FlatAffineConstraints &cst, in computeLocalVars()
2946 void FlatAffineConstraints::getIneqAsAffineValueMap( in getIneqAsAffineValueMap()
2993 static bool isColZero(const FlatAffineConstraints &cst, unsigned pos) { in isColZero()
2999 IntegerSet FlatAffineConstraints::getAsIntegerSet(MLIRContext *context) const { in getAsIntegerSet()
3046 static void getIndependentConstraints(const FlatAffineConstraints &cst, in getIndependentConstraints()
3076 void FlatAffineConstraints::removeIndependentConstraints(unsigned pos, in removeIndependentConstraints()