[Mlir-commits] [mlir] 042912f - [MLIR] Document the need for updating the cached symbol tables during bufferization (#141594)

[llvmlistbot at llvm.org]

Author: Michele Scuttari
Date: 2025-05-28T08:58:16+02:00
New Revision: 042912fe0ab12f8841d16890ed1e1c2a869b880b

URL: https://github.com/llvm/llvm-project/commit/042912fe0ab12f8841d16890ed1e1c2a869b880b
DIFF: https://github.com/llvm/llvm-project/commit/042912fe0ab12f8841d16890ed1e1c2a869b880b.diff

LOG: [MLIR] Document the need for updating the cached symbol tables during bufferization (#141594)

Added: 
    

Modified: 
    mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td b/mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td
index b599a9f053215..72974a8c808fd 100644
--- a/mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td
+++ b/mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td
@@ -416,6 +416,11 @@ def BufferizableOpInterface : OpInterface<"BufferizableOpInterface"> {
           expected to survive bufferization, `success` should be returned
           (together with `allow-unknown-ops` enabled).
 
+          If the bufferized operation has symbol semantics (i.e., it defines a
+          symbol or a symbol table), the implementation is expected to update
+          the cached symbol tables -- within the bufferization state -- to keep
+          them in a consistent state.
+
           Note: If this op supports unstructured control flow in its regions,
           then this function should also bufferize all block signatures that
           belong to this op. Branch ops (that branch to a block) are typically