[all-commits] [llvm/llvm-project] 9466c4: [MLIR][tensor] Improve `tensor.pack` verifier to c...

[srcarroll via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9466c4e629ecff3060b7fef3cb189179e25c4f5f
      https://github.com/llvm/llvm-project/commit/9466c4e629ecff3060b7fef3cb189179e25c4f5f
  Author: srcarroll <50210727+srcarroll at users.noreply.github.com>
  Date:   2024-02-19 (Mon, 19 Feb 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td
    M mlir/lib/Dialect/Linalg/Transforms/Transforms.cpp
    M mlir/lib/Dialect/Tensor/IR/TensorOps.cpp
    M mlir/test/Dialect/Tensor/invalid.mlir

  Log Message:
  -----------
  [MLIR][tensor] Improve `tensor.pack` verifier to catch more cases with unconditional runtime errors (#77217)

Previously, the `tensor.pack` verifier detects unconditional runtime
errors only when tile sizes are static. Now, dynamic tiles are
considered and we only require that the input and either corresponding
tile or output size are static to determine if it will unconditionally
produce errors at runtime.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications