[all-commits] [llvm/llvm-project] 141536: [MLIR][LLVM]: Add an IR utility to perform slice w...

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 141536544f4ec1d1bf24256157f4ff1a3bc07dae
      https://github.com/llvm/llvm-project/commit/141536544f4ec1d1bf24256157f4ff1a3bc07dae
  Author: Christian Ulmann <christianulmann at gmail.com>
  Date:   2024-08-15 (Thu, 15 Aug 2024)

  Changed paths:
    A mlir/include/mlir/Analysis/SliceWalk.h
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/lib/Analysis/SliceWalk.cpp
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/test/Dialect/LLVMIR/inlining-alias-scopes.mlir

  Log Message:
  -----------
  [MLIR][LLVM]: Add an IR utility to perform slice walking (#103053)

This commit introduces a slicing utility that can be used to walk
arbitrary IR slices. It additionally ships logic to determine control
flow predecessors, which allows users to walk backward slices without
dealing with both `RegionBranchOpInterface` and `BranchOpInterface`.

This utility is used to improve the `noalias` propagation in the LLVM
dialect's inliner interface. Before this change, it broke down as soon
as pointer were passed through region control flow operations.



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