mlir::WalkResult Class Reference

A utility result that is used to signal how to proceed with an ongoing walk: More...

#include "mlir/IR/Visitors.h"

Public Member Functions
	WalkResult (ResultEnum result)
	WalkResult (LogicalResult result)
	Allow LogicalResult to interrupt the walk on failure. More...
	WalkResult (Diagnostic &&)
	Allow diagnostics to interrupt the walk. More...
	WalkResult (InFlightDiagnostic &&)
bool	operator== (const WalkResult &rhs) const
bool	wasInterrupted () const
	Returns true if the walk was interrupted. More...
bool	wasSkipped () const
	Returns true if the walk was skipped. More...

Static Public Member Functions
static WalkResult	interrupt ()
static WalkResult	advance ()
static WalkResult	skip ()

Detailed Description

A utility result that is used to signal how to proceed with an ongoing walk:

• Interrupt: the walk will be interrupted and no more operations, regions or blocks will be visited.
• Advance: the walk will continue.
• Skip: the walk of the current operation, region or block and their nested elements that haven't been visited already will be skipped and will continue with the next operation, region or block.

Definition at line 34 of file Visitors.h.

Constructor & Destructor Documentation

WalkResult() [1/4]

mlir::WalkResult::WalkResult ( ResultEnum  result )

inline

Definition at line 38 of file Visitors.h.

Referenced by mlir::detail::walk().

WalkResult() [2/4]

mlir::WalkResult::WalkResult ( LogicalResult  result )

inline

Allow LogicalResult to interrupt the walk on failure.

Definition at line 41 of file Visitors.h.

WalkResult() [3/4]

mlir::WalkResult::WalkResult ( Diagnostic &&  )

inline

Allow diagnostics to interrupt the walk.

Definition at line 45 of file Visitors.h.

WalkResult() [4/4]

mlir::WalkResult::WalkResult ( InFlightDiagnostic &&  )

inline

Definition at line 46 of file Visitors.h.

Member Function Documentation

advance()

static WalkResult mlir::WalkResult::advance ( )

inlinestatic

Definition at line 51 of file Visitors.h.

Referenced by areInnerBoundsInvariant(), assertDestinationPassingStyle(), canBeHoisted(), checkAliasInfoConsistency(), checkAndUpdateCapabilityRequirements(), collectLocationsFromLoc(), computeMemRefRankReductionMask(), convertToLaunchFuncOp(), mlir::bufferization::createAllocDeallocOps(), mlir::bufferization::deallocateBuffers(), mlir::bufferization::eliminateAllocTensors(), equivalenceAnalysis(), funcsToCoroutines(), mlir::bufferization::OneShotAnalysisState::gatherUndefinedTensorUses(), mlir::bufferization::OneShotAnalysisState::gatherYieldedTensors(), getFileLineColLoc(), getLastDependentOpInRange(), getLocationFromLoc(), mlir::getLoopNestStats(), getMemoryFootprintBytes(), getSymbolUsesImpl(), hasNonAffineUsersOnThePath(), haveNoReadsAfterWriteExceptSameIndex(), hoistAffineIfOp(), mlir::linalg::hoistRedundantVectorTransfers(), mlir::linalg::hoistRedundantVectorTransfersOnTensor(), interruptIfValidLocation(), mlir::isLoopMemoryParallel(), isMemRefNormalizable(), AllocaScopeInliner::matchAndRewrite(), AllocaScopeHoister::matchAndRewrite(), mlir::bufferization::OneShotAnalysisState::OneShotAnalysisState(), GpuAsyncRegionPass::ThreadTokenCallback::operator()(), printOperation(), replaceAllSymbolUsesImpl(), mlir::sortTopologically(), symbolKnownUseEmptyImpl(), mlir::LLVM::detail::DebugTranslation::translate(), validateSupportedControlFlow(), vectorizeLoopNest(), verifyConstantType(), verifyResultTypesAreInferrable(), mlir::detail::verifySymbolTable(), mlir::LocationAttr::walk(), mlir::detail::walk(), mlir::Region::walk(), walkReferenceCountedValues(), walkSymbolRefs(), walkSymbolTable(), and walkSymbolUses().

interrupt()

static WalkResult mlir::WalkResult::interrupt ( )

inlinestatic

Definition at line 50 of file Visitors.h.

Referenced by areInnerBoundsInvariant(), canBeHoisted(), checkAliasInfoConsistency(), checkAndUpdateCapabilityRequirements(), computeMemRefRankReductionMask(), convertOmpReductionOp(), mlir::bufferization::createAllocDeallocOps(), mlir::bufferization::deallocateBuffers(), findAllocaInsertPoint(), funcsToCoroutines(), getLastDependentOpInRange(), getLocationFromLoc(), mlir::getLoopNestStats(), hasNestedParallelOp(), hasNonAffineUsersOnThePath(), haveNoReadsAfterWriteExceptSameIndex(), hoistAffineIfOp(), mlir::linalg::hoistRedundantVectorTransfers(), mlir::linalg::hoistRedundantVectorTransfersOnTensor(), interruptIfValidLocation(), isInnermostAffineForOp(), mlir::isLoopMemoryParallel(), isMemRefNormalizable(), AllocaScopeInliner::matchAndRewrite(), GpuAsyncRegionPass::ThreadTokenCallback::operator()(), mlir::sortTopologically(), mlir::LLVM::detail::DebugTranslation::translate(), vectorizeLoopNest(), verifyResultTypesAreInferrable(), mlir::LocationAttr::walk(), mlir::detail::walk(), mlir::Region::walk(), walkReferenceCountedValues(), walkSymbolRefs(), and walkSymbolUses().

operator==()

bool mlir::WalkResult::operator== ( const WalkResult &  rhs ) const

inline

Definition at line 48 of file Visitors.h.

skip()

static WalkResult mlir::WalkResult::skip ( )

inlinestatic

Definition at line 52 of file Visitors.h.

Referenced by mlir::bufferization::createAllocDeallocOps(), mlir::bufferization::eliminateAllocTensors(), equivalenceAnalysis(), mlir::bufferization::OneShotAnalysisState::gatherUndefinedTensorUses(), AllocaScopeInliner::matchAndRewrite(), AllocaScopeHoister::matchAndRewrite(), and mlir::bufferization::OneShotAnalysisState::OneShotAnalysisState().

wasInterrupted()

bool mlir::WalkResult::wasInterrupted ( ) const

inline

Returns true if the walk was interrupted.

Definition at line 55 of file Visitors.h.

Referenced by checkAliasInfoConsistency(), checkAndUpdateCapabilityRequirements(), mlir::bufferization::createAllocDeallocOps(), mlir::bufferization::deallocateBuffers(), mlir::bufferization::eliminateAllocTensors(), findAllocaInsertPoint(), printOperation(), mlir::sortTopologically(), mlir::LLVM::ModuleTranslation::stackWalk(), verifyResultTypesAreInferrable(), mlir::detail::walk(), walkReferenceCountedValues(), and walkSymbolRefs().

wasSkipped()

bool mlir::WalkResult::wasSkipped ( ) const

inline

Returns true if the walk was skipped.

Definition at line 58 of file Visitors.h.

Referenced by validateSupportedControlFlow(), and mlir::detail::walk().

---

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

• include/mlir/IR/Visitors.h