Searched refs:sliceConstraints (Results 1 – 1 of 1) sorted by relevance
259 FlatAffineValueConstraints sliceConstraints; in isSliceValid() local260 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() local322 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()[all …]