[PATCH] D73614: [mlir] Linalg tiling: generate code avoding out-of-bounds accesses

[Alex Zinenko via Phabricator via llvm-commits]

ftynse created this revision.
ftynse added a reviewer: nicolasvasilache.
Herald added subscribers: llvm-commits, liufengdb, lucyrfox, mgester, arpith-jacob, antiagainst, shauheen, burmako, jpienaar, rriddle, mehdi_amini.
Herald added a project: LLVM.

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).


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D73614

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73614.241078.patch
Type: text/x-patch
Size: 28893 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200129/c33c2673/attachment.bin>