Lines Matching defs:lt
76 LevelType lt, bool setLvlFormat = true) {
83 merger.setLevelAndType(tid, idx, lvl, lt);
89 assert(lt.hasDenseSemantic());
94 return findAffine(merger, tid, lvl, binOp.getLHS(), lt, false) &&
95 findAffine(merger, tid, lvl, binOp.getRHS(), lt, false);
120 AffineExpr a, LevelType lt, bool isSubExp = false,
137 merger.setLevelAndType(tensor, idx, lvl, lt);
156 merger.setLoopDependentTensorLevel(idx, tensor, lvl, lt, coefficient);
178 return findDepIdxSet(merger, tensor, lvl, rhs, lt, isSubExp, coefficient);
182 return findDepIdxSet(merger, tensor, lvl, binOp.getLHS(), lt, true) &&
183 findDepIdxSet(merger, tensor, lvl, binOp.getRHS(), lt, true);
269 const LevelType lt = enc.getLvlType(l);
271 if (!findDepIdxSet(env.merger(), tid, l, a, lt))
274 if (!findAffine(env.merger(), tid, l, a, lt))
832 // `CodegenEnv::lt(TensorId, LoopId)`. The returned LT from CodegenEnv
834 const auto lt = env.lt(env.unpackTensorLevel(tidLvl).first, curr);
835 return lt.hasSparseSemantic();
935 [&](TensorLoopId b, TensorId tid, std::optional<Level> lvl, LevelType lt,
942 assert(lvl.has_value() && isUndefLT(lt));
944 lt = stt.getLvlType(*lvl);
948 if (lt.hasSparseSemantic()) {
955 assert(lt.hasDenseSemantic() || isUndefLT(lt));
1016 LevelType lt, bool isIdxReduc) {
1023 if (isUndefLT(lt)) {
1024 // An undefined lt in the lattices, we probably mean to
1042 hasNonUnique = !isUniqueLT(lt) || hasNonUnique;
1045 } else if (lt.hasDenseSemantic() || isIdxReduc) {
1048 assert(isUndefLT(lt));
1067 LevelType lt = stt.getLvlType(l);
1068 if (isa<AffineDimExpr>(exp) || !lt.hasDenseSemantic())
1088 if (isDenseLT(env.lt(outTid, curr))) {