MLIR  20.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 396 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 399 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 405 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 402 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 413 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 409 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 417 of file BufferizableOpInterface.h.

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


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