[all-commits] [llvm/llvm-project] a9fd34: MLIR, LLVM: Add an IR utility to perform proper sl...

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/mlir-ir-slicing-utility
  Home:   https://github.com/llvm/llvm-project
  Commit: a9fd34956d7a9ddfc06bcfaf011cec7e3c5ddcd2
      https://github.com/llvm/llvm-project/commit/a9fd34956d7a9ddfc06bcfaf011cec7e3c5ddcd2
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    A mlir/include/mlir/IR/SliceSupport.h
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/lib/IR/CMakeLists.txt
    A mlir/lib/IR/SliceSupport.cpp

  Log Message:
  -----------
  MLIR, LLVM: Add an IR utility to perform proper slicing

This commit introduces a backwards slicing utility that is both
`RegionBranchOpInterface` and `BranchOpInterface` aware. This is a first
step in replacing the currently broken slicing utilities that cannot be
used for structured control flow.

Note that the utility is currently placed in the IR library, because
LLVM's inlining uses it and is part of the LLVMIR library. There was
originally a substantial push back on moving the inliner interface out
of said library.


  Commit: a5c512d3d81621efb2db7c1d8884df8188eb79b2
      https://github.com/llvm/llvm-project/commit/a5c512d3d81621efb2db7c1d8884df8188eb79b2
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    M mlir/include/mlir/IR/SliceSupport.h
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/lib/IR/SliceSupport.cpp

  Log Message:
  -----------
  turn into a general slice walk


  Commit: 10ee77feb18c3a88dc5363aa7e92df6dd5c2f492
      https://github.com/llvm/llvm-project/commit/10ee77feb18c3a88dc5363aa7e92df6dd5c2f492
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    M mlir/test/Dialect/LLVMIR/inlining-alias-scopes.mlir

  Log Message:
  -----------
  add llvm region inlining test


  Commit: 8ea911eee6ab302532d4a9105cc627b46bbf3684
      https://github.com/llvm/llvm-project/commit/8ea911eee6ab302532d4a9105cc627b46bbf3684
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    R mlir/include/mlir/IR/SliceSupport.h
    A mlir/include/mlir/IR/SliceWalk.h
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/lib/IR/CMakeLists.txt
    R mlir/lib/IR/SliceSupport.cpp
    A mlir/lib/IR/SliceWalk.cpp

  Log Message:
  -----------
  rename to SliceWalk.*


  Commit: e216f6cc6afc0a74c1de3e99274c53a290435d9f
      https://github.com/llvm/llvm-project/commit/e216f6cc6afc0a74c1de3e99274c53a290435d9f
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    M mlir/include/mlir/IR/SliceWalk.h
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/lib/IR/SliceWalk.cpp

  Log Message:
  -----------
  address review comments


  Commit: 7521cd1b6ab146af57af54413b4220f54a7e7d8b
      https://github.com/llvm/llvm-project/commit/7521cd1b6ab146af57af54413b4220f54a7e7d8b
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-14 (Wed, 14 Aug 2024)

  Changed paths:
    A mlir/include/mlir/Analysis/SliceWalk.h
    R mlir/include/mlir/IR/SliceWalk.h
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/lib/Analysis/SliceWalk.cpp
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/lib/IR/CMakeLists.txt
    R mlir/lib/IR/SliceWalk.cpp

  Log Message:
  -----------
  move to analysis directory


Compare: https://github.com/llvm/llvm-project/compare/a14355f1ce67...7521cd1b6ab1

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications