Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DUtils.cpp237 FlatAffineValueConstraints srcConstraints; in isSliceValid() local
239 if (failed(getSourceAsConstraints(srcConstraints))) { in isSliceValid()
245 if (srcConstraints.getNumSymbolVars() > 0) { in isSliceValid()
252 if (srcConstraints.getNumLocalVars() != 0) { in isSliceValid()
271 LLVM_DEBUG(srcConstraints.dump()); in isSliceValid()
277 PresburgerSet srcSet(srcConstraints); in isSliceValid()
299 FlatAffineValueConstraints srcConstraints; in isMaximal() local
300 srcConstraints.reset(/*numDims=*/ivs.size(), /*numSymbols=*/0, in isMaximal()
305 if (failed(srcConstraints.addAffineForOpDomain(loop))) in isMaximal()
328 if (srcConstraints.getNumDimVars() != sliceConstraints.getNumDimVars()) in isMaximal()
[all …]