[all-commits] [llvm/llvm-project] 44826e: [MLIR] Correct memrefdataflow behavior in the pres...

[William Moses via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 44826ecd929bdd33b3c86650198a5f8a57965cc7
      https://github.com/llvm/llvm-project/commit/44826ecd929bdd33b3c86650198a5f8a57965cc7
  Author: William S. Moses <gh at wsmoses.com>
  Date:   2021-06-28 (Mon, 28 Jun 2021)

  Changed paths:
    M mlir/lib/Dialect/Affine/Transforms/AffineScalarReplacement.cpp
    M mlir/test/Dialect/Affine/scalrep.mlir

  Log Message:
  -----------
  [MLIR] Correct memrefdataflow behavior in the presence of cast and other operations

MemRefDataFlow performs mem2reg style operations for affine load/stores. Unfortunately, it is not presently correct in the presence of external operations such as memref.cast, or function calls. This diff extends the functionality of the pass to remain correct in the presence of such ops.

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