A class for computing basic postdominance information. More...
#include <Dominance.h>
Inheritance diagram for mlir::PostDominanceInfo:
Collaboration diagram for mlir::PostDominanceInfo:
Public Member Functions | |
| bool | properlyPostDominates (Operation *a, Operation *b) |
| Return true if operation A properly postdominates operation B. More... | |
| bool | postDominates (Operation *a, Operation *b) |
| Return true if operation A postdominates operation B. More... | |
| bool | properlyPostDominates (Block *a, Block *b) |
| Return true if the specified block A properly postdominates block B. More... | |
| bool | postDominates (Block *a, Block *b) |
| Return true if the specified block A postdominates block B. More... | |
 Public Member Functions inherited from mlir::detail::DominanceInfoBase< true > | |
| DominanceInfoBase (Operation *op) | |
| DominanceInfoBase (DominanceInfoBase &&)=default | |
| DominanceInfoBase (const DominanceInfoBase &)=delete | |
| DominanceInfoBase & | operator= (DominanceInfoBase &&)=default |
| DominanceInfoBase & | operator= (const DominanceInfoBase &)=delete |
| void | recalculate (Operation *op) |
| Recalculate the dominance info. More... | |
| DominanceInfoNode * | getRootNode (Region *region) |
| Get the root dominance node of the given region. More... | |
Additional Inherited Members | |
| Protected Types inherited from mlir::detail::DominanceInfoBase< true > | |
| using | super = DominanceInfoBase< IsPostDom > |
| Protected Member Functions inherited from mlir::detail::DominanceInfoBase< true > | |
| bool | properlyDominates (Block *a, Block *b) |
| Return true if the specified block A properly dominates block B. More... | |
| Protected Attributes inherited from mlir::detail::DominanceInfoBase< true > | |
| DenseMap< Region *, std::unique_ptr< base > > | dominanceInfos |
| A mapping of regions to their base dominator tree. More... | |
Detailed Description
A class for computing basic postdominance information.
Member Function Documentation
◆ postDominates() [1/2]
Return true if operation A postdominates operation B.
◆ postDominates() [2/2]
Return true if the specified block A postdominates block B.
◆ properlyPostDominates() [1/2]
Return true if operation A properly postdominates operation B.
Returns true if statement 'a' properly postdominates statement b.
◆ properlyPostDominates() [2/2]
Return true if the specified block A properly postdominates block B.
The documentation for this class was generated from the following files:
- include/mlir/Analysis/Dominance.h
- lib/Analysis/Dominance.cpp
