Lines Matching defs:ubs

847                              Value linearizedIv, ArrayRef<Value> ubs) {
852                                                           ubs);
858   SmallVector<Value> delinearizedIvs(ubs.size());
861   llvm::BitVector isUbOne(ubs.size());
862   for (auto [index, ub] : llvm::enumerate(ubs)) {
868   // Prune the lead ubs that are all ones.
870   for (auto [index, ub] : llvm::enumerate(ubs)) {
880   for (unsigned i = numLeadingOneUbs, e = ubs.size(); i < e; ++i) {
881     unsigned idx = ubs.size() - (i - numLeadingOneUbs) - 1;
883       previous = rewriter.create<arith::DivSIOp>(loc, previous, ubs[idx + 1]);
889         iv = rewriter.create<arith::RemSIOp>(loc, previous, ubs[idx]);
893             loc, rewriter.getZeroAttr(ubs[idx].getType()));
1470   SmallVector<OpFoldResult> ubs = forallOp.getMixedUpperBound();
1481   for (auto [lb, ub, step] : llvm::zip_equal(lbs, ubs, steps)) {