Predicate.h File Reference

#include "mlir/IR/MLIRContext.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/Types.h"

Go to the source code of this file.

Classes
class	mlir::pdl_to_pdl_interp::PredicateBase< ConcreteT, BaseT, Key, Kind >
	Base class for all predicates, used to allow efficient pointer comparison. More...
class	mlir::pdl_to_pdl_interp::PredicateBase< ConcreteT, BaseT, void, Kind >
	Base storage for simple predicates that only unique with the kind. More...
class	mlir::pdl_to_pdl_interp::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	mlir::pdl_to_pdl_interp::AttributePosition
	A position describing an attribute of an operation. More...
struct	mlir::pdl_to_pdl_interp::AttributeLiteralPosition
	A position describing a literal attribute. More...
struct	mlir::pdl_to_pdl_interp::ForEachPosition
	A position describing an iterative choice of an operation. More...
struct	mlir::pdl_to_pdl_interp::OperandPosition
	A position describing an operand of an operation. More...
struct	mlir::pdl_to_pdl_interp::OperandGroupPosition
	A position describing an operand group of an operation. More...
struct	mlir::pdl_to_pdl_interp::OperationPosition
	An operation position describes an operation node in the IR. More...
struct	mlir::pdl_to_pdl_interp::ConstraintPosition
	A position describing the result of a native constraint. More...
struct	mlir::pdl_to_pdl_interp::ResultPosition
	A position describing a result of an operation. More...
struct	mlir::pdl_to_pdl_interp::ResultGroupPosition
	A position describing a result group of an operation. More...
struct	mlir::pdl_to_pdl_interp::TypePosition
	A position describing the result type of an entity, i.e. More...
struct	mlir::pdl_to_pdl_interp::TypeLiteralPosition
	A position describing a literal type or type range. More...
struct	mlir::pdl_to_pdl_interp::UsersPosition
	A position describing the users of a value or a range of values. More...
class	mlir::pdl_to_pdl_interp::Qualifier
	An ordinal predicate consists of a "Question" and a set of acceptable "Answers" (later converted to ordinal values). More...
struct	mlir::pdl_to_pdl_interp::AttributeAnswer
	An Answer representing an Attribute value. More...
struct	mlir::pdl_to_pdl_interp::OperationNameAnswer
	An Answer representing an OperationName value. More...
struct	mlir::pdl_to_pdl_interp::TrueAnswer
	An Answer representing a boolean true value. More...
struct	mlir::pdl_to_pdl_interp::FalseAnswer
	An Answer representing a boolean 'false' value. More...
struct	mlir::pdl_to_pdl_interp::TypeAnswer
	An Answer representing a Type value. More...
struct	mlir::pdl_to_pdl_interp::UnsignedAnswer
	An Answer representing an unsigned value. More...
struct	mlir::pdl_to_pdl_interp::AttributeQuestion
	Compare an Attribute to a constant value. More...
struct	mlir::pdl_to_pdl_interp::ConstraintQuestion
	Apply a parameterized constraint to multiple position values and possibly produce results. More...
struct	mlir::pdl_to_pdl_interp::EqualToQuestion
	Compare the equality of two values. More...
struct	mlir::pdl_to_pdl_interp::IsNotNullQuestion
	Compare a positional value with null, i.e. check if it exists. More...
struct	mlir::pdl_to_pdl_interp::OperandCountQuestion
	Compare the number of operands of an operation with a known value. More...
struct	mlir::pdl_to_pdl_interp::OperandCountAtLeastQuestion
struct	mlir::pdl_to_pdl_interp::OperationNameQuestion
	Compare the name of an operation with a known value. More...
struct	mlir::pdl_to_pdl_interp::ResultCountQuestion
	Compare the number of results of an operation with a known value. More...
struct	mlir::pdl_to_pdl_interp::ResultCountAtLeastQuestion
struct	mlir::pdl_to_pdl_interp::TypeQuestion
	Compare the type of an attribute or value with a known type. More...
class	mlir::pdl_to_pdl_interp::PredicateUniquer
	This class provides a storage uniquer that is used to allocate predicate instances. More...
class	mlir::pdl_to_pdl_interp::PredicateBuilder
	This class provides utilities for constructing predicates. More...

Namespaces
	mlir
	Include the generated interface declarations.
	mlir::pdl_to_pdl_interp
	mlir::pdl_to_pdl_interp::Predicates

Enumerations
enum	mlir::pdl_to_pdl_interp::Predicates::Kind : unsigned {   mlir::pdl_to_pdl_interp::Predicates::OperationPos , mlir::pdl_to_pdl_interp::Predicates::OperandPos , mlir::pdl_to_pdl_interp::Predicates::OperandGroupPos , mlir::pdl_to_pdl_interp::Predicates::AttributePos ,   mlir::pdl_to_pdl_interp::Predicates::ConstraintResultPos , mlir::pdl_to_pdl_interp::Predicates::ResultPos , mlir::pdl_to_pdl_interp::Predicates::ResultGroupPos , mlir::pdl_to_pdl_interp::Predicates::TypePos ,   mlir::pdl_to_pdl_interp::Predicates::AttributeLiteralPos , mlir::pdl_to_pdl_interp::Predicates::TypeLiteralPos , mlir::pdl_to_pdl_interp::Predicates::UsersPos , mlir::pdl_to_pdl_interp::Predicates::ForEachPos ,   mlir::pdl_to_pdl_interp::Predicates::IsNotNullQuestion , mlir::pdl_to_pdl_interp::Predicates::OperationNameQuestion , mlir::pdl_to_pdl_interp::Predicates::TypeQuestion , mlir::pdl_to_pdl_interp::Predicates::AttributeQuestion ,   mlir::pdl_to_pdl_interp::Predicates::OperandCountAtLeastQuestion , mlir::pdl_to_pdl_interp::Predicates::OperandCountQuestion , mlir::pdl_to_pdl_interp::Predicates::ResultCountAtLeastQuestion , mlir::pdl_to_pdl_interp::Predicates::ResultCountQuestion ,   mlir::pdl_to_pdl_interp::Predicates::EqualToQuestion , mlir::pdl_to_pdl_interp::Predicates::ConstraintQuestion , mlir::pdl_to_pdl_interp::Predicates::AttributeAnswer , mlir::pdl_to_pdl_interp::Predicates::FalseAnswer ,   mlir::pdl_to_pdl_interp::Predicates::OperationNameAnswer , mlir::pdl_to_pdl_interp::Predicates::TrueAnswer , mlir::pdl_to_pdl_interp::Predicates::TypeAnswer , mlir::pdl_to_pdl_interp::Predicates::UnsignedAnswer }
	An enumeration of the kinds of predicates. More...