[all-commits] [llvm/llvm-project] d69f5e: [mlir][memref] Fix subview offset verification.

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d69f5e197c529e7f87d47edb11c7135decee1d88
      https://github.com/llvm/llvm-project/commit/d69f5e197c529e7f87d47edb11c7135decee1d88
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2021-12-09 (Thu, 09 Dec 2021)

  Changed paths:
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/test/Dialect/MemRef/invalid.mlir
    A mlir/test/Dialect/MemRef/subview.mlir
    M mlir/test/IR/core-ops.mlir

  Log Message:
  -----------
  [mlir][memref] Fix subview offset verification.

Offset-specific verification seems to have been lost in one of the recent refactorings.
Also add proper tests that would have caught this omission.

This addresses the immediate issues discussed in:
https://llvm.discourse.group/t/memref-subview-affine-map-and-symbols/4851

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