mlir::bufferization::OneShotAnalysisState::OpDominanceBlockCache Class Reference

canUseOpDominanceDueToBlocks walks enclosing regions and queries CFG reachability, but the answer is a property of blocks: every op in a block has the same parent chain, and a definition contributes only its block as a reachability barrier. More...

Public Member Functions
bool	getOrCompute (Block *readBlock, Block *writeBlock, ArrayRef< Block * > sortedDefBlocks, function_ref< bool()> compute)
void	clear ()

Detailed Description

canUseOpDominanceDueToBlocks walks enclosing regions and queries CFG reachability, but the answer is a property of blocks: every op in a block has the same parent chain, and a definition contributes only its block as a reachability barrier.

One entry per (read block, write block, def blocks) therefore covers every operand pair in those blocks.

Definition at line 368 of file OneShotAnalysis.cpp.

Member Function Documentation

clear()

void mlir::bufferization::OneShotAnalysisState::OpDominanceBlockCache::clear ( )

inline

Definition at line 392 of file OneShotAnalysis.cpp.

getOrCompute()

bool mlir::bufferization::OneShotAnalysisState::OpDominanceBlockCache::getOrCompute ( Block * readBlock, Block * writeBlock, ArrayRef< Block * > sortedDefBlocks, function_ref< bool()> compute )

inline

Definition at line 370 of file OneShotAnalysis.cpp.

References result.

---

The documentation for this class was generated from the following file:

• lib/Dialect/Bufferization/Transforms/OneShotAnalysis.cpp