[all-commits] [llvm/llvm-project] 48e6ad: [RFC][mlir] Resource hierarchy for MLIR Side Effec...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 48e6adc97edd0d833908b49e2c504afb4a90c61a
      https://github.com/llvm/llvm-project/commit/48e6adc97edd0d833908b49e2c504afb4a90c61a
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2026-03-09 (Mon, 09 Mar 2026)

  Changed paths:
    M flang/include/flang/Optimizer/Dialect/FIROps.h
    M mlir/docs/Rationale/SideEffectsAndSpeculation.md
    M mlir/include/mlir/Dialect/OpenACC/OpenACC.h
    M mlir/include/mlir/Dialect/Transform/Interfaces/TransformInterfaces.h
    M mlir/include/mlir/Interfaces/SideEffectInterfaces.h
    M mlir/lib/Analysis/AliasAnalysis/LocalAliasAnalysis.cpp
    M mlir/lib/Transforms/CSE.cpp
    M mlir/test/Analysis/test-alias-analysis-modref.mlir
    A mlir/test/Dialect/OpenACC/cse.mlir
    M mlir/test/Transforms/cse.mlir
    M mlir/test/lib/Dialect/Test/TestOpDefs.cpp
    M mlir/test/lib/Dialect/Test/TestOps.h
    M mlir/unittests/Interfaces/CMakeLists.txt
    A mlir/unittests/Interfaces/SideEffectInterfacesTest.cpp

  Log Message:
  -----------
  [RFC][mlir] Resource hierarchy for MLIR Side Effects. (#181229)

This patch allows creating a hierarchy of `SideEffects::Resource`s by adding
a virtual `getParent()` method, so that effects on *disjoint* resources
can be proven non-conflicting. It also adds virtual `isAddressable()` method
that represents a property of a resource to be addressable via a pointer
value. The non-addressable resources may not be affected via any pointer.
This is unblocking CSE, LICM and alias analysis without per-pass
special-casing.

RFC:
https://discourse.llvm.org/t/rfc-mlir-memory-region-hierarchy-for-mlir-side-effects/89811



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