[all-commits] [llvm/llvm-project] 7b9fb1: [mlir][sparse] Update verifier for block sparsity ...

[Yinying Li via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7b9fb1c228337de9c866b123ff60f3491eebd3d7
      https://github.com/llvm/llvm-project/commit/7b9fb1c228337de9c866b123ff60f3491eebd3d7
  Author: Yinying Li <107574043+yinying-lisa-li at users.noreply.github.com>
  Date:   2023-10-19 (Thu, 19 Oct 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SparseTensor/IR/SparseTensor.h
    M mlir/lib/Dialect/SparseTensor/IR/Detail/DimLvlMap.cpp
    M mlir/lib/Dialect/SparseTensor/IR/SparseTensorDialect.cpp
    M mlir/test/Dialect/SparseTensor/invalid_encoding.mlir

  Log Message:
  -----------
  [mlir][sparse] Update verifier for block sparsity and singleton (#69389)

Updates:
1. Verification of block sparsity.
2. Verification of singleton level type can only follow compressed or
loose_compressed levels. And all level types after singleton should be
singleton.
3. Added getBlockSize function.
4. Added an invalid encoding test for an incorrect lvlToDim map that
user provides.