Lines Matching refs:sliceConstraints

259   FlatAffineValueConstraints sliceConstraints;  in isSliceValid()  local
260   if (failed(getAsConstraints(&sliceConstraints))) {  in isSliceValid()
267   sliceConstraints.projectOut(ivs.size(),  in isSliceValid()
268                               sliceConstraints.getNumVars() - ivs.size());  in isSliceValid()
274   LLVM_DEBUG(sliceConstraints.dump());  in isSliceValid()
278   PresburgerSet sliceSet(sliceConstraints);  in isSliceValid()
321   FlatAffineValueConstraints sliceConstraints;  in isMaximal()  local
322   sliceConstraints.reset(/*numDims=*/consumerIVs.size(), /*numSymbols=*/0,  in isMaximal()
325   if (failed(sliceConstraints.addDomainFromSliceMaps(lbs, ubs, lbOperands[0])))  in isMaximal()
328   if (srcConstraints.getNumDimVars() != sliceConstraints.getNumDimVars())  in isMaximal()
336   PresburgerSet sliceSet(sliceConstraints);  in isMaximal()