[all-commits] [llvm/llvm-project] 9dfcdd: [mlir] Linalg tiling: generate code avoding out-of...

[ftynse via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9dfcddfaae50a3138173311a15e7ab19d36c1860
      https://github.com/llvm/llvm-project/commit/9dfcddfaae50a3138173311a15e7ab19d36c1860
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-01-31 (Fri, 31 Jan 2020)

  Changed paths:
    M mlir/include/mlir/EDSC/Intrinsics.h
    M mlir/lib/Dialect/Linalg/Transforms/Tiling.cpp
    M mlir/test/Dialect/Linalg/tile.mlir
    M mlir/test/Dialect/Linalg/tile_conv.mlir

  Log Message:
  -----------
  [mlir] Linalg tiling: generate code avoding out-of-bounds accesses

Summary:
After the `subview` operation was migrated from Linalg to Standard, it changed
semantics and does not guarantee the absence of out-of-bounds accesses through
the created view anymore. Compute the size of the subview to make sure it
always fits within the view (subviews in last iterations of the loops may be
smaller than those in other iterations).

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