[all-commits] [llvm/llvm-project] bd6266: [MLIR][LLVM] Improve the noalias propagation durin...

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/improve-noalias-propagation-during-inlining
  Home:   https://github.com/llvm/llvm-project
  Commit: bd6266f866db87a981b7a20c3f8f3864466e85e6
      https://github.com/llvm/llvm-project/commit/bd6266f866db87a981b7a20c3f8f3864466e85e6
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-08-19 (Mon, 19 Aug 2024)

  Changed paths:
    M mlir/lib/Dialect/LLVMIR/Transforms/InlinerInterfaceImpl.cpp
    M mlir/test/Dialect/LLVMIR/inlining-alias-scopes.mlir

  Log Message:
  -----------
  [MLIR][LLVM] Improve the noalias propagation during inlining

This commit changes the LLVM dialect's inliner interface to properly
propagate noalias information to memory accesses that have different
underlying object. By always introducing an SSACopy intrinsic, it's
possible to understand that specific memory operations are using
unrelated pointers. Previously, the backwards slice walk did continue
beyond the boundary of the original function and failed to reason about
the "underlying objects".



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