MLIR  20.0.0git
Namespaces | Classes | Typedefs
mlir::pdl_to_pdl_interp Namespace Reference

Namespaces

 Predicates
 

Classes

class  PredicateBase
 Base class for all predicates, used to allow efficient pointer comparison. More...
 
class  PredicateBase< ConcreteT, BaseT, void, Kind >
 Base storage for simple predicates that only unique with the kind. More...
 
class  Position
 A position describes a value on the input IR on which a predicate may be applied, such as an operation or attribute. More...
 
struct  AttributePosition
 A position describing an attribute of an operation. More...
 
struct  AttributeLiteralPosition
 A position describing a literal attribute. More...
 
struct  ForEachPosition
 A position describing an iterative choice of an operation. More...
 
struct  OperandPosition
 A position describing an operand of an operation. More...
 
struct  OperandGroupPosition
 A position describing an operand group of an operation. More...
 
struct  OperationPosition
 An operation position describes an operation node in the IR. More...
 
struct  ConstraintPosition
 A position describing the result of a native constraint. More...
 
struct  ResultPosition
 A position describing a result of an operation. More...
 
struct  ResultGroupPosition
 A position describing a result group of an operation. More...
 
struct  TypePosition
 A position describing the result type of an entity, i.e. More...
 
struct  TypeLiteralPosition
 A position describing a literal type or type range. More...
 
struct  UsersPosition
 A position describing the users of a value or a range of values. More...
 
class  Qualifier
 An ordinal predicate consists of a "Question" and a set of acceptable "Answers" (later converted to ordinal values). More...
 
struct  AttributeAnswer
 An Answer representing an Attribute value. More...
 
struct  OperationNameAnswer
 An Answer representing an OperationName value. More...
 
struct  TrueAnswer
 An Answer representing a boolean true value. More...
 
struct  FalseAnswer
 An Answer representing a boolean 'false' value. More...
 
struct  TypeAnswer
 An Answer representing a Type value. More...
 
struct  UnsignedAnswer
 An Answer representing an unsigned value. More...
 
struct  AttributeQuestion
 Compare an Attribute to a constant value. More...
 
struct  ConstraintQuestion
 Apply a parameterized constraint to multiple position values and possibly produce results. More...
 
struct  EqualToQuestion
 Compare the equality of two values. More...
 
struct  IsNotNullQuestion
 Compare a positional value with null, i.e. check if it exists. More...
 
struct  OperandCountQuestion
 Compare the number of operands of an operation with a known value. More...
 
struct  OperandCountAtLeastQuestion
 
struct  OperationNameQuestion
 Compare the name of an operation with a known value. More...
 
struct  ResultCountQuestion
 Compare the number of results of an operation with a known value. More...
 
struct  ResultCountAtLeastQuestion
 
struct  TypeQuestion
 Compare the type of an attribute or value with a known type. More...
 
class  PredicateUniquer
 This class provides a storage uniquer that is used to allocate predicate instances. More...
 
class  PredicateBuilder
 This class provides utilities for constructing predicates. More...
 
struct  PositionalPredicate
 A PositionalPredicate is a predicate that is associated with a specific positional value. More...
 
class  MatcherNode
 This class represents the base of a predicate matcher node. More...
 
struct  BoolNode
 A BoolNode denotes a question with a boolean-like result. More...
 
struct  ExitNode
 An ExitNode is a special sentinel node that denotes the end of matcher. More...
 
struct  SuccessNode
 A SuccessNode denotes that a given high level pattern has successfully been matched. More...
 
struct  SwitchNode
 A SwitchNode denotes a question with multiple potential results. More...
 
struct  RootOrderingEntry
 The information associated with an edge in the cost graph. More...
 
class  OptimalBranching
 The optimal branching algorithm solver. More...
 

Typedefs

using RootOrderingGraph = DenseMap< Value, DenseMap< Value, RootOrderingEntry > >
 A directed graph representing the cost of ordering the roots in the predicate tree. More...
 

Typedef Documentation

◆ RootOrderingGraph

A directed graph representing the cost of ordering the roots in the predicate tree.

It is represented as an adjacency map, where the outer map is indexed by the target node, and the inner map is indexed by the source node. Each edge is associated with a cost and the underlying connector value.

Definition at line 78 of file RootOrdering.h.