MLIR  15.0.0git
Public Member Functions | Static Public Member Functions | List of all members
mlir::pdl_to_pdl_interp::BoolNode Struct Reference

A BoolNode denotes a question with a boolean-like result. More...

#include "Conversion/PDLToPDLInterp/PredicateTree.h"

+ Inheritance diagram for mlir::pdl_to_pdl_interp::BoolNode:
+ Collaboration diagram for mlir::pdl_to_pdl_interp::BoolNode:

Public Member Functions

 BoolNode (Position *position, Qualifier *question, Qualifier *answer, std::unique_ptr< MatcherNode > successNode, std::unique_ptr< MatcherNode > failureNode=nullptr)
 
QualifiergetAnswer () const
 Returns the expected answer of this boolean node. More...
 
std::unique_ptr< MatcherNode > & getSuccessNode ()
 Returns the node that should be visited on success. More...
 
- Public Member Functions inherited from mlir::pdl_to_pdl_interp::MatcherNode
virtual ~MatcherNode ()=default
 
PositiongetPosition () const
 Returns the position on which the question predicate should be checked. More...
 
QualifiergetQuestion () const
 Returns the predicate checked on this node. More...
 
std::unique_ptr< MatcherNode > & getFailureNode ()
 Returns the node that should be visited if this, or a subsequent node fails. More...
 
void setFailureNode (std::unique_ptr< MatcherNode > node)
 Sets the node that should be visited if this, or a subsequent node fails. More...
 
TypeID getMatcherTypeID () const
 Returns the unique type ID of this matcher instance. More...
 

Static Public Member Functions

static bool classof (const MatcherNode *node)
 Returns if the given matcher node is an instance of this class, used to support type casting. More...
 
- Static Public Member Functions inherited from mlir::pdl_to_pdl_interp::MatcherNode
static std::unique_ptr< MatcherNodegenerateMatcherTree (ModuleOp module, PredicateBuilder &builder, DenseMap< Value, Position *> &valueToPosition)
 Given a module containing PDL pattern operations, generate a matcher tree using the patterns within the given module and return the root matcher node. More...
 

Additional Inherited Members

- Protected Member Functions inherited from mlir::pdl_to_pdl_interp::MatcherNode
 MatcherNode (TypeID matcherTypeID, Position *position=nullptr, Qualifier *question=nullptr, std::unique_ptr< MatcherNode > failureNode=nullptr)
 

Detailed Description

A BoolNode denotes a question with a boolean-like result.

These nodes branch to a single node on a successful result, otherwise defaulting to the failure node.

Definition at line 109 of file PredicateTree.h.

Constructor & Destructor Documentation

◆ BoolNode()

BoolNode::BoolNode ( Position position,
Qualifier question,
Qualifier answer,
std::unique_ptr< MatcherNode successNode,
std::unique_ptr< MatcherNode failureNode = nullptr 
)

Definition at line 978 of file PredicateTree.cpp.

Member Function Documentation

◆ classof()

static bool mlir::pdl_to_pdl_interp::BoolNode::classof ( const MatcherNode node)
inlinestatic

Returns if the given matcher node is an instance of this class, used to support type casting.

Definition at line 116 of file PredicateTree.h.

References mlir::pdl_to_pdl_interp::MatcherNode::getMatcherTypeID().

◆ getAnswer()

Qualifier* mlir::pdl_to_pdl_interp::BoolNode::getAnswer ( ) const
inline

Returns the expected answer of this boolean node.

Definition at line 121 of file PredicateTree.h.

References mlir::pdl_to_pdl_interp::PositionalPredicate::answer.

◆ getSuccessNode()

std::unique_ptr<MatcherNode>& mlir::pdl_to_pdl_interp::BoolNode::getSuccessNode ( )
inline

Returns the node that should be visited on success.

Definition at line 124 of file PredicateTree.h.

References mlir::pdl_to_pdl_interp::PositionalPredicate::answer.


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