Home
last modified time | relevance | path

Searched refs:VarKind (Results 1 – 18 of 18) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp17 if (kind == VarKind::Domain) in getNumVarKind()
19 if (kind == VarKind::Range) in getNumVarKind()
21 if (kind == VarKind::Symbol) in getNumVarKind()
23 if (kind == VarKind::Local) in getNumVarKind()
31 if (kind == VarKind::Range) in getVarKindOffset()
62 return VarKind::Domain; in getVarKindAt()
64 return VarKind::Range; in getVarKindAt()
66 return VarKind::Symbol; in getVarKindAt()
68 return VarKind::Local; in getVarKindAt()
118 void PresburgerSpace::swapVar(VarKind kindA, VarKind kindB, unsigned posA, in swapVar()
[all …]
H A DIntegerRelation.cpp161 truncateVarKind(VarKind::Range, counts); in truncate()
163 truncateVarKind(VarKind::Local, counts); in truncate()
1319 appendVar(VarKind::Local); in addLocalFloorDiv()
2144 copyRel.convertVarKind(VarKind::Range, 0, getNumVarKind(VarKind::Range), in getDomainSet()
2148 copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain), in getDomainSet()
2158 copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain), in getRangeSet()
2198 convertVarKind(VarKind::Domain, 0, getVarKindEnd(VarKind::Domain), in inverse()
2199 VarKind::Range); in inverse()
2200 convertVarKind(VarKind::Range, 0, numRangeVars, VarKind::Domain); in inverse()
2220 copyRel.convertVarKind(VarKind::Domain, 0, numBVars, VarKind::Range, 0); in compose()
[all …]
H A DPWMAFunction.cpp91 unsigned MultiAffineFunction::insertVar(VarKind kind, unsigned pos, in insertVar()
93 assert(kind != VarKind::Domain && "Domain has to be zero in a set"); in insertVar()
99 void MultiAffineFunction::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange()
122 output.insertColumns(domainSet.getVarKindEnd(VarKind::Local), in mergeLocalVars()
124 other.output.insertColumns(other.domainSet.getVarKindOffset(VarKind::Local), in mergeLocalVars()
132 unsigned localOffset = domainSet.getVarKindOffset(VarKind::Local); in mergeLocalVars()
H A DUtils.cpp275 relA.insertVar(VarKind::Local, relA.getNumLocalVars(), in mergeLocalVars()
277 relB.insertVar(VarKind::Local, 0, initLocals); in mergeLocalVars()
H A DPresburgerRelation.cpp303 sI.getVarKindOffset(VarKind::Local) + i)); in getSetDifference()
306 sI.getVarKindOffset(VarKind::Local) + i)); in getSetDifference()
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSpaceTest.cpp20 space.insertVar(VarKind::Domain, 0, 2); in TEST()
24 space.insertVar(VarKind::Range, 0, 1); in TEST()
34 space.insertVar(VarKind::SetDim, 0, 2); in TEST()
42 space.removeVarRange(VarKind::Domain, 0, 1); in TEST()
46 space.removeVarRange(VarKind::Symbol, 0, 1); in TEST()
47 space.removeVarRange(VarKind::Range, 0, 1); in TEST()
63 space.insertVar(VarKind::Domain, 0, 2); in TEST()
67 space.insertVar(VarKind::Range, 0, 1); in TEST()
94 space.removeVarRange(VarKind::Domain, 0, 1); in TEST()
98 space.removeVarRange(VarKind::Symbol, 0, 1); in TEST()
[all …]
H A DIntegerPolyhedronTest.cpp186 set.removeVar(VarKind::Symbol, 1); in TEST()
190 set.removeVarRange(VarKind::SetDim, 0, 2); in TEST()
193 set.removeVarRange(VarKind::Local, 1, 1); in TEST()
196 set.removeVarRange(VarKind::Local, 0, 1); in TEST()
711 poly.convertToLocal(VarKind::SetDim, 2, 3); in TEST()
725 poly.convertToLocal(VarKind::SetDim, 2, 3); in TEST()
735 poly.convertToLocal(VarKind::SetDim, 2, 3); in TEST()
745 poly.convertToLocal(VarKind::SetDim, 2, 3); in TEST()
760 poly.convertToLocal(VarKind::SetDim, 2, 4); in TEST()
774 poly.convertToLocal(VarKind::SetDim, 1, 2); in TEST()
[all …]
H A DIntegerRelationTest.cpp22 rel.convertVarKind(VarKind::SetDim, 0, numDomain, VarKind::Domain); in parseRelationFromSet()
H A DPresburgerSetTest.cpp469 poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numLocals, in convertSuffixDimsToLocals()
470 poly.getNumDimVars(), VarKind::Local); in convertSuffixDimsToLocals()
841 poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject, in testComputeReprAtPoints()
842 poly.getNumDimVars(), VarKind::Local); in testComputeReprAtPoints()
854 poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject, in testComputeRepr()
855 poly.getNumDimVars(), VarKind::Local); in testComputeRepr()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerSpace.h108 unsigned getNumVarKind(VarKind kind) const;
114 unsigned getVarKindEnd(VarKind kind) const;
122 VarKind getVarKindAt(unsigned pos) const;
138 void swapVar(VarKind kindA, VarKind kindB, unsigned posA, unsigned posB);
165 void setId(VarKind kind, unsigned i, T id) { in setId()
175 T getId(VarKind kind, unsigned i) const { in getId()
184 bool hasId(VarKind kind, unsigned i) const { in hasId()
198 unsigned findId(VarKind kind, T id) const { in findId()
235 void *&atId(VarKind kind, unsigned i) { in atId()
237 assert(kind != VarKind::Local && in atId()
[all …]
H A DIntegerRelation.h186 unsigned getNumVarKind(VarKind kind) const { in getNumVarKind()
191 unsigned getVarKindOffset(VarKind kind) const { in getVarKindOffset()
196 unsigned getVarKindEnd(VarKind kind) const { in getVarKindEnd()
202 unsigned getVarKindOverlap(VarKind kind, unsigned varStart, in getVarKindOverlap()
245 unsigned appendVar(VarKind kind, unsigned num = 1);
260 void removeVar(VarKind kind, unsigned pos);
261 virtual void removeVarRange(VarKind kind, unsigned varStart,
480 VarKind dstKind, unsigned pos);
482 VarKind dstKind) { in convertVarKind()
487 convertVarKind(kind, varStart, varLimit, VarKind::Local); in convertToLocal()
[all …]
H A DPWMAFunction.h72 unsigned insertVar(VarKind kind, unsigned pos, unsigned num = 1);
75 void removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit);
H A DSimplex.h609 constraints.getVarKindOffset(VarKind::Symbol), in SymbolicLexSimplex()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h285 return insertVar(VarKind::SetDim, pos, num);
288 return insertVar(VarKind::Symbol, pos, num);
291 return insertVar(VarKind::Local, pos, num);
295 unsigned insertVar(presburger::VarKind kind, unsigned pos,
308 return appendVar(VarKind::SetDim, num);
311 return appendVar(VarKind::Symbol, num);
314 return appendVar(VarKind::Local, num);
435 getMaybeValues(presburger::VarKind kind) const { in getMaybeValues()
436 assert(kind != VarKind::Local && in getMaybeValues()
465 using VarKind = presburger::VarKind;
[all …]
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp170 insertVar(VarKind::Local, getNumVarKind(VarKind::Local), in FlatAffineValueConstraints()
274 insertVar(VarKind::SetDim, pos, vals); in appendDimVar()
280 insertVar(VarKind::Symbol, pos, vals); in appendSymbolVar()
298 if (kind != VarKind::Local) { in insertVar()
309 assert(kind != VarKind::Local && in insertVar()
378 if (kind == VarKind::SetDim) in areVarsUnique()
380 if (kind == VarKind::Symbol) in areVarsUnique()
719 if (kind != VarKind::Local) { in removeVarRange()
1351 getVarKindAt(posB) == VarKind::Local) in swapVar()
1404 if (getVarKindAt(pos) != VarKind::Local) in fourierMotzkinEliminate()
[all …]
/llvm-project-15.0.7/llvm/lib/Target/Hexagon/MCTargetDesc/
H A DHexagonMCCodeEmitter.cpp461 const MCSymbolRefExpr::VariantKind VarKind) const { in getFixupNoBits()
467 if (VarKind == MCSymbolRefExpr::VK_None) { in getFixupNoBits()
496 auto F = Relocs.find(VarKind); in getFixupNoBits()
499 raise_relocation_error(0, VarKind); in getFixupNoBits()
532 auto F = RelocsLo.find(VarKind); in getFixupNoBits()
539 auto F = RelocsHi.find(VarKind); in getFixupNoBits()
546 raise_relocation_error(0, VarKind); in getFixupNoBits()
633 if (VarKind == MCSymbolRefExpr::VK_None) { in getExprOpValue()
654 } else if (VarKind == MCSymbolRefExpr::VK_GOTREL) { in getExprOpValue()
688 auto FindVK = FixupTable.find(VarKind); in getExprOpValue()
[all …]
/llvm-project-15.0.7/mlir/lib/Dialect/SCF/Utils/
H A DAffineCanonicalizationUtils.cpp46 unpackOptionalValues(constraints.getMaybeValues(VarKind::SetDim), dims); in alignAndAddBound()
47 unpackOptionalValues(constraints.getMaybeValues(VarKind::Symbol), syms); in alignAndAddBound()
/llvm-project-15.0.7/clang/lib/Serialization/
H A DASTReaderDecl.cpp1569 enum VarKind { in VisitVarDeclImpl() enum
1572 switch ((VarKind)Record.readInt()) { in VisitVarDeclImpl()