[all-commits] [llvm/llvm-project] 978299: [mlir][affine] Check the input vector sizes to be ...

[Kai Sasaki via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 97829935844e7f35216e12c13231f35fbea640c3
      https://github.com/llvm/llvm-project/commit/97829935844e7f35216e12c13231f35fbea640c3
  Author: Kai Sasaki <lewuathe at gmail.com>
  Date:   2023-10-02 (Mon, 02 Oct 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Passes.td
    M mlir/lib/Dialect/Affine/Transforms/SuperVectorize.cpp
    A mlir/test/Dialect/Affine/SuperVectorize/invalid-zero-size.mlir

  Log Message:
  -----------
  [mlir][affine] Check the input vector sizes to be greater than 0 (#65293)

In the process of vectorization of the affine loop, the 0 vector size
causes the crash with building the invalid AffineForOp. We can catch the
case beforehand propagating to the assertion.

See: https://github.com/llvm/llvm-project/issues/64262