[all-commits] [llvm/llvm-project] bc1862: [mlir] vector.type_cast: disallow memrefs with lay...

[ftynse via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bc18624b40385dd317b9de051946a57884eeb441
      https://github.com/llvm/llvm-project/commit/bc18624b40385dd317b9de051946a57884eeb441
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-03-19 (Thu, 19 Mar 2020)

  Changed paths:
    M mlir/lib/Dialect/Vector/VectorOps.cpp
    M mlir/test/Dialect/Vector/invalid.mlir

  Log Message:
  -----------
  [mlir] vector.type_cast: disallow memrefs with layout in verifier

Summary:
These are not supported by any of the code using `type_cast`. In the general
case, such casting would require memrefs to handle a non-contiguous vector
representation or misaligned vectors (e.g., if the offset of the source memref
is not divisible by vector size, since offset in the target memref is expressed
in the number of elements).

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