MLIR  16.0.0git
mlir::FlatAffineRelation Member List

This is the complete list of members for mlir::FlatAffineRelation, including all inherited members.

addAffineForOpDomain(AffineForOp forOp)mlir::FlatAffineValueConstraints
addAffineIfOpDomain(AffineIfOp ifOp)mlir::FlatAffineValueConstraints
addBound(BoundType type, unsigned pos, AffineMap boundMap, bool isClosedBound)mlir::FlatAffineValueConstraints
addBound(BoundType type, unsigned pos, AffineMap boundMap)mlir::FlatAffineValueConstraints
addBound(BoundType type, unsigned pos, AffineMap boundMap, ValueRange operands)mlir::FlatAffineValueConstraints
addBound(BoundType type, Value val, int64_t value)mlir::FlatAffineValueConstraints
mlir::presburger::IntegerPolyhedron::addBound(BoundType type, unsigned pos, const MPInt &value)mlir::presburger::IntegerRelation
mlir::presburger::IntegerPolyhedron::addBound(BoundType type, unsigned pos, int64_t value)mlir::presburger::IntegerRelationinline
mlir::presburger::IntegerPolyhedron::addBound(BoundType type, ArrayRef< MPInt > expr, const MPInt &value)mlir::presburger::IntegerRelation
mlir::presburger::IntegerPolyhedron::addBound(BoundType type, ArrayRef< int64_t > expr, int64_t value)mlir::presburger::IntegerRelationinline
addDomainFromSliceMaps(ArrayRef< AffineMap > lbMaps, ArrayRef< AffineMap > ubMaps, ArrayRef< Value > operands)mlir::FlatAffineValueConstraints
addEquality(ArrayRef< MPInt > eq)mlir::presburger::IntegerRelation
addEquality(ArrayRef< int64_t > eq)mlir::presburger::IntegerRelationinline
addInductionVarOrTerminalSymbol(Value val)mlir::FlatAffineValueConstraints
addInequality(ArrayRef< MPInt > inEq)mlir::presburger::IntegerRelation
addInequality(ArrayRef< int64_t > inEq)mlir::presburger::IntegerRelationinline
addLocalFloorDiv(ArrayRef< MPInt > dividend, const MPInt &divisor)mlir::presburger::IntegerRelation
addLocalFloorDiv(ArrayRef< int64_t > dividend, int64_t divisor)mlir::presburger::IntegerRelationinline
addSliceBounds(ArrayRef< Value > values, ArrayRef< AffineMap > lbMaps, ArrayRef< AffineMap > ubMaps, ArrayRef< Value > operands)mlir::FlatAffineValueConstraints
append(const IntegerRelation &other)mlir::presburger::IntegerRelation
appendDimVar(ValueRange vals)mlir::FlatAffineValueConstraints
appendDimVar(unsigned num=1)mlir::FlatAffineValueConstraintsinline
appendDomainVar(unsigned num=1)mlir::FlatAffineRelation
appendLocalVar(unsigned num=1)mlir::FlatAffineValueConstraintsinline
appendRangeVar(unsigned num=1)mlir::FlatAffineRelation
appendSymbolVar(ValueRange vals)mlir::FlatAffineValueConstraints
appendSymbolVar(unsigned num=1)mlir::FlatAffineValueConstraintsinline
appendVar(VarKind kind, unsigned num=1)mlir::presburger::IntegerRelation
applyDomain(const IntegerRelation &rel)mlir::presburger::IntegerRelation
applyRange(const IntegerRelation &rel)mlir::presburger::IntegerRelation
areVarsAlignedWithOther(const FlatAffineValueConstraints &other)mlir::FlatAffineValueConstraints
atEq(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
atEq(unsigned i, unsigned j)mlir::presburger::IntegerRelationinline
atEq64(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
atIneq(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
atIneq(unsigned i, unsigned j)mlir::presburger::IntegerRelationinline
atIneq64(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
BoundType enum namemlir::presburger::IntegerRelation
classof(const IntegerRelation *cst)mlir::FlatAffineValueConstraintsinlinestatic
mlir::presburger::IntegerPolyhedron::classof(const IntegerRelation *cst)mlir::presburger::IntegerPolyhedroninlinestatic
clearAndCopyFrom(const IntegerRelation &other) overridemlir::FlatAffineValueConstraints
mlir::presburger::IntegerPolyhedron::clearAndCopyFrom(const IntegerRelation &other)mlir::presburger::IntegerRelationvirtual
clearConstraints()mlir::presburger::IntegerRelation
clone() constmlir::FlatAffineValueConstraints
compose(const FlatAffineRelation &other)mlir::FlatAffineRelation
mlir::FlatAffineValueConstraints::compose(const IntegerRelation &rel)mlir::presburger::IntegerRelation
composeMap(const AffineValueMap *vMap)mlir::FlatAffineValueConstraints
composeMatchingMap(AffineMap other)mlir::FlatAffineValueConstraints
computeAlignedMap(AffineMap map, ValueRange operands) constmlir::FlatAffineValueConstraints
computeConstantLowerOrUpperBound(unsigned pos)mlir::presburger::IntegerRelationprotected
computeConstantLowerOrUpperBound64(unsigned pos)mlir::presburger::IntegerRelationinlineprotected
computeReprWithOnlyDivLocals() constmlir::presburger::IntegerRelation
computeVolume() constmlir::presburger::IntegerRelation
constantFoldVar(unsigned pos)mlir::presburger::IntegerRelation
constantFoldVarRange(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
containsPoint(ArrayRef< MPInt > point) constmlir::presburger::IntegerRelation
containsPoint(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
containsPointNoLocal(ArrayRef< MPInt > point) constmlir::presburger::IntegerRelation
containsPointNoLocal(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
containsVar(Value mayBeVar) constmlir::FlatAffineValueConstraints
convertLoopIVSymbolsToDims()mlir::FlatAffineValueConstraints
convertToLocal(VarKind kind, unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationinline
convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, VarKind dstKind, unsigned pos)mlir::presburger::IntegerRelation
convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, VarKind dstKind)mlir::presburger::IntegerRelationinline
dump() constmlir::presburger::IntegerRelation
eliminateRedundantLocalVar(unsigned posA, unsigned posB)mlir::presburger::IntegerRelationvirtual
EQ enum valuemlir::presburger::IntegerRelation
equalitiesmlir::presburger::IntegerRelationprotected
findConstraintWithNonZeroAt(unsigned colIdx, bool isEq, unsigned *rowIdx) constmlir::presburger::IntegerRelationprotected
findIntegerLexMin() constmlir::presburger::IntegerRelation
findIntegerSample() constmlir::presburger::IntegerRelation
findRationalLexMin() constmlir::presburger::IntegerRelation
findSymbolicIntegerLexMin() constmlir::presburger::IntegerRelation
findVar(Value val, unsigned *pos) constmlir::FlatAffineValueConstraints
FlatAffineRelation(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDomainDims, unsigned numRangeDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Optional< Value >> valArgs={})mlir::FlatAffineRelationinline
FlatAffineRelation(unsigned numDomainDims=0, unsigned numRangeDims=0, unsigned numSymbols=0, unsigned numLocals=0)mlir::FlatAffineRelationinline
FlatAffineRelation(unsigned numDomainDims, unsigned numRangeDims, FlatAffineValueConstraints &fac)mlir::FlatAffineRelationinline
FlatAffineRelation(unsigned numDomainDims, unsigned numRangeDims, IntegerPolyhedron &fac)mlir::FlatAffineRelationinline
FlatAffineValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Optional< Value >> valArgs={})mlir::FlatAffineValueConstraintsinline
FlatAffineValueConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0, ArrayRef< Optional< Value >> valArgs={})mlir::FlatAffineValueConstraintsinline
FlatAffineValueConstraints(const IntegerPolyhedron &fac, ArrayRef< Optional< Value >> valArgs={})mlir::FlatAffineValueConstraintsinline
FlatAffineValueConstraints(const AffineValueMap &avm)mlir::FlatAffineValueConstraintsexplicit
FlatAffineValueConstraints(ArrayRef< const AffineValueMap *> avmRef)mlir::FlatAffineValueConstraintsexplicit
FlatAffineValueConstraints(IntegerSet set)mlir::FlatAffineValueConstraintsexplicit
FlatAffineValueConstraints(ArrayRef< const AffineValueMap *> avmRef, IntegerSet set)mlir::FlatAffineValueConstraints
flattenAlignedMapAndMergeLocals(AffineMap map, std::vector< SmallVector< int64_t, 8 >> *flattenedExprs)mlir::FlatAffineValueConstraintsprotected
fourierMotzkinEliminate(unsigned pos, bool darkShadow=false, bool *isResultIntegerExact=nullptr) overridemlir::FlatAffineValueConstraintsprotectedvirtual
gaussianEliminateVar(unsigned position)mlir::presburger::IntegerRelationinlineprotected
gaussianEliminateVars(unsigned posStart, unsigned posLimit)mlir::presburger::IntegerRelationprotected
gcdTightenInequalities()mlir::presburger::IntegerRelationprotected
getAllValues(SmallVectorImpl< Value > *values) constmlir::FlatAffineValueConstraintsinline
getAsIntegerSet(MLIRContext *context) constmlir::FlatAffineValueConstraints
getBoundedDirections() constmlir::presburger::IntegerRelation
getConstantBound(BoundType type, unsigned pos) constmlir::presburger::IntegerRelation
getConstantBound64(BoundType type, unsigned pos) constmlir::presburger::IntegerRelationinline
getConstantBoundOnDimSize(unsigned pos, SmallVectorImpl< MPInt > *lb=nullptr, MPInt *boundFloorDivisor=nullptr, SmallVectorImpl< MPInt > *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) constmlir::presburger::IntegerRelation
getConstantBoundOnDimSize64(unsigned pos, SmallVectorImpl< int64_t > *lb=nullptr, int64_t *boundFloorDivisor=nullptr, SmallVectorImpl< int64_t > *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) constmlir::presburger::IntegerRelationinline
getCounts() constmlir::presburger::IntegerRelation
getDomainSet() constmlir::FlatAffineRelation
getEquality(unsigned idx) constmlir::presburger::IntegerRelationinline
getEquality64(unsigned idx) constmlir::presburger::IntegerRelationinline
getHyperrectangular(ValueRange ivs, ValueRange lbs, ValueRange ubs)mlir::FlatAffineValueConstraintsstatic
getIneqAsAffineValueMap(unsigned pos, unsigned ineqPos, AffineValueMap &vmap, MLIRContext *context) constmlir::FlatAffineValueConstraints
getInequality(unsigned idx) constmlir::presburger::IntegerRelationinline
getInequality64(unsigned idx) constmlir::presburger::IntegerRelationinline
getKind() const overridemlir::FlatAffineValueConstraintsinlinevirtual
getLocalReprs(std::vector< MaybeLocalRepr > *repr=nullptr) constmlir::presburger::IntegerRelation
getLowerAndUpperBound(unsigned pos, unsigned offset, unsigned num, unsigned symStartPos, ArrayRef< AffineExpr > localExprs, MLIRContext *context) constmlir::FlatAffineValueConstraints
getLowerAndUpperBoundIndices(unsigned pos, SmallVectorImpl< unsigned > *lbIndices, SmallVectorImpl< unsigned > *ubIndices, SmallVectorImpl< unsigned > *eqIndices=nullptr, unsigned offset=0, unsigned num=0) constmlir::presburger::IntegerRelation
getMaybeValues() constmlir::FlatAffineValueConstraintsinline
getMaybeValues(presburger::VarKind kind) constmlir::FlatAffineValueConstraintsinline
getNumCols() constmlir::presburger::IntegerRelationinline
getNumConstraints() constmlir::presburger::IntegerRelationinline
getNumDimAndSymbolVars() constmlir::presburger::IntegerRelationinline
getNumDimVars() constmlir::presburger::IntegerRelationinline
getNumDomainDims() constmlir::FlatAffineRelationinline
getNumDomainVars() constmlir::presburger::IntegerRelationinline
getNumEqualities() constmlir::presburger::IntegerRelationinline
getNumInequalities() constmlir::presburger::IntegerRelationinline
getNumLocalVars() constmlir::presburger::IntegerRelationinline
getNumRangeDims() constmlir::FlatAffineRelationinline
getNumRangeVars() constmlir::presburger::IntegerRelationinline
getNumReservedEqualities() constmlir::presburger::IntegerRelationinline
getNumReservedInequalities() constmlir::presburger::IntegerRelationinline
getNumSymbolVars() constmlir::presburger::IntegerRelationinline
getNumVarKind(VarKind kind) constmlir::presburger::IntegerRelationinline
getNumVars() constmlir::presburger::IntegerRelationinline
getRangeSet() constmlir::FlatAffineRelation
getSliceBounds(unsigned offset, unsigned num, MLIRContext *context, SmallVectorImpl< AffineMap > *lbMaps, SmallVectorImpl< AffineMap > *ubMaps, bool getClosedUB=false)mlir::FlatAffineValueConstraints
getSpace() constmlir::presburger::IntegerRelationinline
getSpaceWithoutLocals() constmlir::presburger::IntegerRelationinline
getUniverse(const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninlinestatic
getValue(unsigned pos) constmlir::FlatAffineValueConstraintsinline
getValues(unsigned start, unsigned end, SmallVectorImpl< Value > *values) constmlir::FlatAffineValueConstraintsinline
getVarKindAt(unsigned pos) constmlir::presburger::IntegerRelationinline
getVarKindEnd(VarKind kind) constmlir::presburger::IntegerRelationinline
getVarKindOffset(VarKind kind) constmlir::presburger::IntegerRelationinline
getVarKindOverlap(VarKind kind, unsigned varStart, unsigned varLimit) constmlir::presburger::IntegerRelationinline
hasConsistentState() const overridemlir::FlatAffineValueConstraintsprotectedvirtual
hasInvalidConstraint() constmlir::presburger::IntegerRelationprotected
hasOnlyDivLocals() constmlir::presburger::IntegerRelation
hasValue(unsigned pos) constmlir::FlatAffineValueConstraintsinline
hasValues() constmlir::FlatAffineValueConstraints
inequalitiesmlir::presburger::IntegerRelationprotected
insertDimVar(unsigned pos, unsigned num=1)mlir::FlatAffineValueConstraintsinline
insertDimVar(unsigned pos, ValueRange vals)mlir::FlatAffineValueConstraints
insertDomainVar(unsigned pos, unsigned num=1)mlir::FlatAffineRelation
insertLocalVar(unsigned pos, unsigned num=1)mlir::FlatAffineValueConstraintsinline
insertRangeVar(unsigned pos, unsigned num=1)mlir::FlatAffineRelation
insertSymbolVar(unsigned pos, unsigned num=1)mlir::FlatAffineValueConstraintsinline
insertSymbolVar(unsigned pos, ValueRange vals)mlir::FlatAffineValueConstraints
insertVar(presburger::VarKind kind, unsigned pos, unsigned num=1) overridemlir::FlatAffineValueConstraintsvirtual
insertVar(presburger::VarKind kind, unsigned pos, ValueRange vals)mlir::FlatAffineValueConstraints
IntegerPolyhedron(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninline
IntegerPolyhedron(const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(const IntegerRelation &rel)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(IntegerRelation &&rel)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerRelation(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space)mlir::presburger::IntegerRelationinline
IntegerRelation(const PresburgerSpace &space)mlir::presburger::IntegerRelationinlineexplicit
intersect(const IntegerPolyhedron &other) constmlir::presburger::IntegerPolyhedron
mlir::presburger::IntegerRelation::intersect(IntegerRelation other) constmlir::presburger::IntegerRelation
intersectDomain(const IntegerPolyhedron &poly)mlir::presburger::IntegerRelation
intersectRange(const IntegerPolyhedron &poly)mlir::presburger::IntegerRelation
inverse()mlir::FlatAffineRelation
isColZero(unsigned pos) constmlir::presburger::IntegerRelationprotected
isEmpty() constmlir::presburger::IntegerRelation
isEmptyByGCDTest() constmlir::presburger::IntegerRelation
isEqual(const IntegerRelation &other) constmlir::presburger::IntegerRelation
isHyperRectangular(unsigned pos, unsigned num) constmlir::presburger::IntegerRelation
isIntegerEmpty() constmlir::presburger::IntegerRelation
isSubsetOf(const IntegerRelation &other) constmlir::presburger::IntegerRelation
kExplosionFactormlir::presburger::IntegerRelationprotectedstatic
Kind enum namemlir::presburger::IntegerRelation
LB enum valuemlir::presburger::IntegerRelation
mergeAndAlignVarsWithOther(unsigned offset, FlatAffineValueConstraints *other)mlir::FlatAffineValueConstraints
mergeLocalVars(IntegerRelation &other)mlir::presburger::IntegerRelation
mergeSymbolVars(FlatAffineValueConstraints &other)mlir::FlatAffineValueConstraints
normalizeConstraintsByGCD()mlir::presburger::IntegerRelationprotected
numDomainDimsmlir::FlatAffineRelationprotected
numRangeDimsmlir::FlatAffineRelationprotected
print(raw_ostream &os) constmlir::presburger::IntegerRelation
printSpace(raw_ostream &os) const overridemlir::FlatAffineValueConstraintsprotectedvirtual
projectOut(Value val)mlir::FlatAffineValueConstraints
mlir::presburger::IntegerPolyhedron::projectOut(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
mlir::presburger::IntegerPolyhedron::projectOut(unsigned pos)mlir::presburger::IntegerRelationinline
removeDuplicateDivs()mlir::presburger::IntegerRelation
removeEquality(unsigned pos)mlir::presburger::IntegerRelation
removeEqualityRange(unsigned start, unsigned end)mlir::presburger::IntegerRelation
removeIndependentConstraints(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
removeInequality(unsigned pos)mlir::presburger::IntegerRelation
removeInequalityRange(unsigned start, unsigned end)mlir::presburger::IntegerRelation
removeRedundantConstraints()mlir::presburger::IntegerRelation
removeRedundantInequalities()mlir::presburger::IntegerRelation
removeRedundantLocalVars()mlir::presburger::IntegerRelationprotected
removeTrivialRedundancy()mlir::presburger::IntegerRelation
removeVar(VarKind kind, unsigned pos)mlir::presburger::IntegerRelation
removeVar(unsigned pos)mlir::presburger::IntegerRelation
removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit) overridemlir::FlatAffineRelationvirtual
mlir::presburger::IntegerPolyhedron::removeVarRange(unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationprotected
reset(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals=0)mlir::FlatAffineValueConstraints
reset(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0)mlir::FlatAffineValueConstraints
reset(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs)mlir::FlatAffineValueConstraints
reset(unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs)mlir::FlatAffineValueConstraints
setAndEliminate(unsigned pos, ArrayRef< MPInt > values)mlir::presburger::IntegerRelation
setAndEliminate(unsigned pos, ArrayRef< int64_t > values)mlir::presburger::IntegerRelationinline
setDimSymbolSeparation(unsigned newSymbolCount)mlir::presburger::IntegerRelationinline
setSpace(const PresburgerSpace &oSpace)mlir::presburger::IntegerRelation
setSpaceExceptLocals(const PresburgerSpace &oSpace)mlir::presburger::IntegerRelation
setValue(unsigned pos, Value val)mlir::FlatAffineValueConstraintsinline
setValues(unsigned start, unsigned end, ArrayRef< Value > values)mlir::FlatAffineValueConstraintsinline
spacemlir::presburger::IntegerRelationprotected
subtract(const PresburgerSet &other) constmlir::presburger::IntegerPolyhedron
mlir::presburger::IntegerRelation::subtract(const PresburgerRelation &set) constmlir::presburger::IntegerRelation
swapVar(unsigned posA, unsigned posB) overridemlir::FlatAffineValueConstraintsvirtual
truncate(const CountsSnapshot &counts)mlir::presburger::IntegerRelation
truncateVarKind(VarKind kind, unsigned num)mlir::presburger::IntegerRelationprotected
truncateVarKind(VarKind kind, const CountsSnapshot &counts)mlir::presburger::IntegerRelationprotected
UB enum valuemlir::presburger::IntegerRelation
unionBoundingBox(const FlatAffineValueConstraints &other)mlir::FlatAffineValueConstraints
mlir::presburger::IntegerPolyhedron::unionBoundingBox(const IntegerRelation &other)mlir::presburger::IntegerRelation
valuesmlir::FlatAffineValueConstraintsprotected
VarKind typedefmlir::FlatAffineValueConstraintsprotected
~IntegerRelation()=defaultmlir::presburger::IntegerRelationvirtual