Lines Matching defs:scalableCstr

58   ScalableValueBoundsConstraintSet scalableCstr(
61   int64_t pos = scalableCstr.insert(value, dim, /*isSymbol=*/false);
62   scalableCstr.processWorklist();
65   if (scalableCstr.cstr.isEmpty()) {
75     return p.first != scalableCstr.getVscaleValue() && !isStartingPoint;
77   scalableCstr.projectOut(projectOutFn);
78   scalableCstr.projectOutAnonymous(/*except=*/pos);
81   for (unsigned i = 0, e = scalableCstr.cstr.getNumLocalVars(); i < e; ++i) {
82     scalableCstr.cstr.projectOut(scalableCstr.cstr.getNumDimAndSymbolVars());
85   assert(scalableCstr.cstr.getNumDimAndSymbolVars() ==
86              scalableCstr.positionToValueDim.size() &&
90   for (int64_t i = 0; i < scalableCstr.cstr.getNumDimAndSymbolVars(); ++i) {
93     if (scalableCstr.positionToValueDim[i] !=
94         ValueDim(scalableCstr.getVscaleValue(),
101   scalableCstr.cstr.getSliceBounds(pos, 1, value.getContext(), &lowerBound,