Lines Matching defs:valueDim
128 for (auto valueDim : var.mapOperands) {
129 auto it = llvm::find(this->mapOperands, valueDim);
138 this->mapOperands.push_back(valueDim);
221 ValueDim valueDim = std::make_pair(value, dim.value_or(kIndexValue));
222 if (valueDimToPosition.contains(valueDim)) {
268 ValueDim valueDim = std::make_pair(value, dim.value_or(kIndexValue));
269 assert(!valueDimToPosition.contains(valueDim) && "already mapped");
277 positionToValueDim.insert(positionToValueDim.begin() + pos, valueDim);
370 ValueDim valueDim = *positionToValueDim[pos];
371 Value value = valueDim.first;
372 int64_t dim = valueDim.second;
479 // Project out all variables (apart from `valueDim`) that do not match the
488 // Compute lower and upper bounds for `valueDim`.
564 ValueBoundsConstraintSet::ValueDim valueDim = *cstr.positionToValueDim[i];
565 Value value = valueDim.first;
566 int64_t dim = valueDim.second;
646 // Compute constant bound for `valueDim`.
886 for (auto [index, valueDim] : llvm::enumerate(positionToValueDim)) {
888 if (valueDim) {
889 if (valueDim->second == kIndexValue) {
892 llvm::errs() << valueDim->second << "\t";
894 llvm::errs() << getOwnerOfValue(valueDim->first)->getName() << " ";
895 if (OpResult result = dyn_cast<OpResult>(valueDim->first)) {
899 << cast<BlockArgument>(valueDim->first).getArgNumber()