[all-commits] [llvm/llvm-project] 6d5aeb: [mlir][linalg] Improve aliasing approximation for ...

[Thomas via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 6d5aeb0dceebd4c4d4ac9d9d78919362db28f081
      https://github.com/llvm/llvm-project/commit/6d5aeb0dceebd4c4d4ac9d9d78919362db28f081
  Author: Thomas Raoux <thomasraoux at google.com>
  Date:   2020-07-10 (Fri, 10 Jul 2020)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/Hoisting.cpp
    M mlir/test/Dialect/Linalg/hoisting.mlir

  Log Message:
  -----------
  [mlir][linalg] Improve aliasing approximation for hoisting transfer read/write

Improve the logic deciding if it is safe to hoist vector transfer read/write
out of the loop. Change the logic to prevent hoisting operations if there are
any unknown access to the memref in the loop no matter where the operation is.
For other transfer read/write in the loop check if we can prove that they
access disjoint memory and ignore them in this case.

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