Home
last modified time | relevance | path

Searched refs:convertVarKind (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h479 void convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit,
481 void convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, in convertVarKind() function
483 convertVarKind(srcKind, varStart, varLimit, dstKind, in convertVarKind()
487 convertVarKind(kind, varStart, varLimit, VarKind::Local); in convertToLocal()
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
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()
841 poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject, in testComputeReprAtPoints()
854 poly.convertVarKind(VarKind::SetDim, poly.getNumDimVars() - numToProject, in testComputeRepr()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1257 void IntegerRelation::convertVarKind(VarKind srcKind, unsigned varStart, in convertVarKind() function in IntegerRelation
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()
2200 convertVarKind(VarKind::Range, 0, numRangeVars, VarKind::Domain); in inverse()
2220 copyRel.convertVarKind(VarKind::Domain, 0, numBVars, VarKind::Range, 0); in compose()
2226 convertVarKind(VarKind::Range, 0, numBVars, VarKind::Local); in compose()