[mlir] Added strides check to rank reducing subview verification
authorJakub Lichman <limo@google.com>
Thu, 8 Oct 2020 07:38:41 +0000 (07:38 +0000)
committerJakub Lichman <limo@google.com>
Thu, 8 Oct 2020 08:39:07 +0000 (08:39 +0000)
commite7cf723051cd4638cf5d2c407b756312292e7c18
tree49b2171fe0f51a494a30b5ccd2fc446bc0969149
parent7c88d13fd1c1a864124d96224996c62192d431f2
[mlir] Added strides check to rank reducing subview verification

Added missing strides check to verification method of rank reducing subview
which enforces strides specification for the resulting type.

Differential Revision: https://reviews.llvm.org/D88879
mlir/lib/Dialect/StandardOps/IR/Ops.cpp
mlir/test/IR/core-ops.mlir
mlir/test/IR/invalid-ops.mlir