MLIR: lib/Dialect/Bufferization/Transforms/BufferDeallocationSimplification.cpp File Reference (original) (raw)

Go to the source code of this file.

Functions
static Value getViewBase (Value value)
Given a memref value, return the "base" value by skipping over all ViewLikeOpInterface ops (if any) in the reverse use-def chain.
static LogicalResult updateDeallocIfChanged (DeallocOp deallocOp, ValueRange memrefs, ValueRange conditions, PatternRewriter &rewriter)
static bool distinctAllocAndBlockArgument (Value v1, Value v2)
Return "true" if the given values are guaranteed to be different (and non-aliasing) allocations based on the fact that one value is the result of an allocation and the other value is a block argument of a parent block.
static bool potentiallyAliasesMemref (BufferOriginAnalysis &analysis, ValueRange otherList, Value memref)
Checks if memref may potentially alias a MemRef in otherList.

GEN_PASS_DEF_BUFFERDEALLOCATIONSIMPLIFICATIONPASS

#define GEN_PASS_DEF_BUFFERDEALLOCATIONSIMPLIFICATIONPASS

distinctAllocAndBlockArgument()

getViewBase()

potentiallyAliasesMemref()

updateDeallocIfChanged()