MLIR  19.0.0git
Public Attributes | List of all members
mlir::bufferization::TraversalConfig Struct Reference

Traversal parameters for findValueInReverseUseDefChain. More...

#include "mlir/Dialect/Bufferization/IR/BufferizableOpInterface.h"

Public Attributes

bool alwaysIncludeLeaves = true
 Specifies if leaves (that do not have further OpOperands to follow) should be returned even if they do not match the specified filter. More...
 
bool followInPlaceOnly = false
 Specifies whether out-of-place/undecided OpOperands should be followed. More...
 
bool followEquivalentOnly = false
 Specifies whether non-equivalent OpOperands should be followed. More...
 
bool followUnknownOps = false
 Specifies whether unknown/non-bufferizable/ops not included in the OpFilter of BufferizationOptions should be followed. More...
 
bool followSameTypeOrCastsOnly = false
 Specifies whether OpOperands with a different type that are not the result of a CastOpInterface op should be followed. More...
 
bool revisitAlreadyVisitedValues = false
 Specifies whether already visited values should be visited again. More...
 

Detailed Description

Traversal parameters for findValueInReverseUseDefChain.

Definition at line 390 of file BufferizableOpInterface.h.

Member Data Documentation

◆ alwaysIncludeLeaves

bool mlir::bufferization::TraversalConfig::alwaysIncludeLeaves = true

Specifies if leaves (that do not have further OpOperands to follow) should be returned even if they do not match the specified filter.

Definition at line 393 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findDefinitions(), and mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().

◆ followEquivalentOnly

bool mlir::bufferization::TraversalConfig::followEquivalentOnly = false

Specifies whether non-equivalent OpOperands should be followed.

Definition at line 399 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().

◆ followInPlaceOnly

bool mlir::bufferization::TraversalConfig::followInPlaceOnly = false

Specifies whether out-of-place/undecided OpOperands should be followed.

Definition at line 396 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().

◆ followSameTypeOrCastsOnly

bool mlir::bufferization::TraversalConfig::followSameTypeOrCastsOnly = false

Specifies whether OpOperands with a different type that are not the result of a CastOpInterface op should be followed.

Definition at line 407 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().

◆ followUnknownOps

bool mlir::bufferization::TraversalConfig::followUnknownOps = false

Specifies whether unknown/non-bufferizable/ops not included in the OpFilter of BufferizationOptions should be followed.

Definition at line 403 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().

◆ revisitAlreadyVisitedValues

bool mlir::bufferization::TraversalConfig::revisitAlreadyVisitedValues = false

Specifies whether already visited values should be visited again.

(Note: This can result in infinite looping.)

Definition at line 411 of file BufferizableOpInterface.h.

Referenced by mlir::bufferization::AnalysisState::findValueInReverseUseDefChain().


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