Lines Matching defs:lvl
65 function_ref<Value(OpBuilder &builder, Location loc, Level lvl)>;
67 // Map from [tid, lvl] to a list of dependent [LoopId, coeffecient] for
73 // expression on the input [tid, lvl].
138 // Still need a way to specify the lvl for non-annotated tensors though,
143 /// tensor_tid_[0, lvl - 1] have already been generated.
238 Value getCoord(TensorId tid, Level lvl) const {
239 return getCurIterator(tid, lvl).getCrd();
262 // The set of <tensor, lvl>, with *only* trivial index expressions, that are
285 /// Generates instructions to compute the coordinate of tensors[tid][lvl]
302 bool isValidLevel(TensorId tid, Level lvl) const {
303 return tid < lvls.size() && lvl < lvls[tid].size();
306 /// Prepares loop for iterating over `tensor[lvl]`, under the assumption
307 /// that `tensor[0...lvl-1]` loops have already been set up.
309 TensorId tid, Level lvl);
370 /// Get the reduced number of contraints on tensor[tid][lvl].
371 unsigned redDepOnLevel(TensorId tid, Level lvl) const {
372 return levelReducedDep[tid][lvl];
375 SparseIterator &getCurIterator(TensorId tid, Level lvl) const {
376 if (dependentLvlMap[tid][lvl].empty())
377 return *iters[tid][lvl].back();
379 assert(redDepOnLevel(tid, lvl) >= 1);
380 return *iters[tid][lvl][redDepOnLevel(tid, lvl) - 1];