[all-commits] [llvm/llvm-project] f58463: Added static verification for Linalg Ops.

[inho9606 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f58463345415508b1fb5e3d35330ed288f1a0357
      https://github.com/llvm/llvm-project/commit/f58463345415508b1fb5e3d35330ed288f1a0357
  Author: Inho Seo <inhoseo at google.com>
  Date:   2021-03-30 (Tue, 30 Mar 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp
    M mlir/test/Dialect/Linalg/fusion-2-level.mlir
    M mlir/test/Dialect/Linalg/generalize-named-ops.mlir
    M mlir/test/Dialect/Linalg/invalid.mlir
    M mlir/test/Dialect/Linalg/named-ops.mlir
    M mlir/test/Dialect/Linalg/reshape_linearization_fusion.mlir
    M mlir/test/Dialect/Linalg/sparse_nd.mlir
    M mlir/test/Dialect/Linalg/tile-and-fuse-tensors.mlir
    M mlir/test/Dialect/Linalg/tile-indexed-generic.mlir

  Log Message:
  -----------
  Added static verification for Linalg Ops.

This verification is to check if the indices for static shaped operands
on linalgOps access out of bound memory or not. For dynamic shaped
operands, we would be able to check it on runtime stage.

Found several invalid Linalg ops testcases, and fixed them.

Reviewed By: hanchung

Differential Revision: https://reviews.llvm.org/D98390