[all-commits] [llvm/llvm-project] 525d60: [mlir][mem2reg] Add support for mem2reg in MemRef.

[Théo Degioanni via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 525d60bf3501629c4c0b1812086053efafcad37b
      https://github.com/llvm/llvm-project/commit/525d60bf3501629c4c0b1812086053efafcad37b
  Author: Théo Degioanni <theo.degioanni at nextsilicon.com>
  Date:   2023-05-04 (Thu, 04 May 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/MemRef/IR/MemRef.h
    M mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td
    M mlir/lib/Dialect/MemRef/IR/CMakeLists.txt
    A mlir/lib/Dialect/MemRef/IR/MemRefMem2Reg.cpp
    A mlir/test/Dialect/LLVMIR/mem2reg-dbginfo.mlir
    A mlir/test/Dialect/LLVMIR/mem2reg.mlir
    A mlir/test/Dialect/MemRef/mem2reg.mlir
    R mlir/test/Transforms/mem2reg-llvmir-dbginfo.mlir
    R mlir/test/Transforms/mem2reg-llvmir.mlir

  Log Message:
  -----------
  [mlir][mem2reg] Add support for mem2reg in MemRef.

This patch implements the mem2reg interfaces for MemRef types. This only supports scalar memrefs of a small list of types. It would be beneficial to create more interfaces for default values before expanding support to more types. Additionally, I am working on an upcoming revision to bring SROA to MLIR that should help with non-scalar memrefs.

Reviewed By: gysit, Mogball

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