mlir::bufferization::OneShotAnalysisState::CFGReachabilityCache Class Reference

Cached CFG reachability to avoid repeated linear BFS traversals from Block->isReachable. More...

Public Member Functions
bool	isReachable (Block *from, Block *to, const SmallPtrSetImpl< Block * > *barriers=nullptr)
void	clear ()

Detailed Description

Cached CFG reachability to avoid repeated linear BFS traversals from Block->isReachable.

Definition at line 316 of file OneShotAnalysis.cpp.

Member Function Documentation

clear()

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

inline

Definition at line 350 of file OneShotAnalysis.cpp.

isReachable()

bool mlir::bufferization::OneShotAnalysisState::CFGReachabilityCache::isReachable ( Block * from, Block * to, const SmallPtrSetImpl< Block * > * barriers = nullptr )

inline

Definition at line 318 of file OneShotAnalysis.cpp.

References mlir::Block::getParent(), result, mlir::Block::succ_begin(), and mlir::Block::succ_end().

---

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

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