MLIR

Multi-Level IR Compiler Framework

'pdl_interp' Dialect

Interpreted pattern execution dialect The PDL Interpreter dialect provides a lower level abstraction compared to the PDL dialect, and is targeted towards low level optimization and interpreter code generation. The dialect operations encapsulates low-level pattern match and rewrite “primitives”, such as navigating the IR (Operation::getOperand), creating new operations (OpBuilder::create), etc. Many of the operations within this dialect also fuse branching control flow with some form of a predicate comparison operation. This type of fusion reduces the amount of work that an interpreter must do when executing.

Operation definition 

pdl_interp.apply_constraint (::mlir::pdl_interp::ApplyConstraintOp) 

Apply a constraint to a set of positional values

Syntax:

operation ::= `pdl_interp.apply_constraint` $name ($constParams^)? `(` $args `:` type($args) `)` attr-dict `->`
              successors

pdl_interp.apply_constraint operations apply a generic constraint, that has been registered with the interpreter, with a given set of positional values. The constraint may have any number of constant parameters. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

// Apply `myConstraint` to the entities defined by `input`, `attr`, and
// `op`.
pdl_interp.apply_constraint "myConstraint"[42, "abc", i32](%input, %attr, %op : !pdl.value, !pdl.attribute, !pdl.operation) -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute
constParams::mlir::ArrayAttrarray attribute

Operands: 

OperandDescription
argspdl type

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.apply_rewrite (::mlir::pdl_interp::ApplyRewriteOp) 

Invoke and apply an externally registered rewrite method

Syntax:

operation ::= `pdl_interp.apply_rewrite` $name ($constParams^)? (`(` $args^ `:` type($args) `)`)?
              (`:` type($results)^)? attr-dict

pdl_interp.apply_rewrite operations invoke an external rewriter that has been registered with the interpreter to perform the rewrite after a successful match. The rewrite is passed a set of positional arguments, and a set of constant parameters. The rewrite function may return any number of results.

Example:

// Rewriter operating solely on the root operation.
pdl_interp.apply_rewrite "rewriter"(%root : !pdl.operation)

// Rewriter operating solely on the root operation and return an attribute.
%attr = pdl_interp.apply_rewrite "rewriter"(%root : !pdl.operation) : !pdl.attribute

// Rewriter operating on the root operation along with additional arguments
// from the matcher.
pdl_interp.apply_rewrite "rewriter"(%root : !pdl.operation, %value : !pdl.value)

// Rewriter operating on the root operation along with additional arguments
// and constant parameters.
pdl_interp.apply_rewrite "rewriter"[42](%root : !pdl.operation, %value : !pdl.value)

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute
constParams::mlir::ArrayAttrarray attribute

Operands: 

OperandDescription
argspdl type

Results: 

ResultDescription
resultspdl type

pdl_interp.are_equal (::mlir::pdl_interp::AreEqualOp) 

Check if two positional values or ranges are equivalent

Syntax:

operation ::= `pdl_interp.are_equal` operands `:` type($lhs) attr-dict `->` successors

pdl_interp.are_equal operations compare two positional values for equality. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

pdl_interp.are_equal %result1, %result2 : !pdl.value -> ^matchDest, ^failureDest

Operands: 

OperandDescription
lhspdl type
rhspdl type

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.branch (::mlir::pdl_interp::BranchOp) 

General branch operation

Syntax:

operation ::= `pdl_interp.branch` $dest attr-dict

pdl_interp.branch operations expose general branch functionality to the interpreter, and are generally used to branch from one pattern match sequence to another.

Example:

pdl_interp.branch ^dest

Successors: 

SuccessorDescription
destany successor

pdl_interp.check_attribute (::mlir::pdl_interp::CheckAttributeOp) 

Check the value of an Attribute

Syntax:

operation ::= `pdl_interp.check_attribute` $attribute `is` $constantValue attr-dict `->` successors

pdl_interp.check_attribute operations compare the value of a given attribute with a constant value. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

pdl_interp.check_attribute %attr is 10 -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
constantValue::mlir::Attributeany attribute

Operands: 

OperandDescription
attributePDL handle to an mlir::Attribute

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.check_operand_count (::mlir::pdl_interp::CheckOperandCountOp) 

Check the number of operands of an Operation

Syntax:

operation ::= `pdl_interp.check_operand_count` `of` $operation `is` (`at_least` $compareAtLeast^)? $count attr-dict
              `->` successors

pdl_interp.check_operand_count operations compare the number of operands of a given operation value with a constant. The comparison is either exact or at_least, with the latter used to compare against a minimum number of expected operands. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

// Check for exact equality.
pdl_interp.check_operand_count of %op is 2 -> ^matchDest, ^failureDest

// Check for at least N operands.
pdl_interp.check_operand_count of %op is at_least 2 -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
count::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative
compareAtLeast::mlir::UnitAttrunit attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.check_operation_name (::mlir::pdl_interp::CheckOperationNameOp) 

Check the OperationName of an Operation

Syntax:

operation ::= `pdl_interp.check_operation_name` `of` $operation `is` $name attr-dict `->` successors

pdl_interp.check_operation_name operations compare the name of a given operation with a known name. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

pdl_interp.check_operation_name of %op is "foo.op" -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.check_result_count (::mlir::pdl_interp::CheckResultCountOp) 

Check the number of results of an Operation

Syntax:

operation ::= `pdl_interp.check_result_count` `of` $operation `is` (`at_least` $compareAtLeast^)? $count attr-dict
              `->` successors

pdl_interp.check_result_count operations compare the number of results of a given operation value with a constant. The comparison is either exact or at_least, with the latter used to compare against a minimum number of expected results. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

// Check for exact equality.
pdl_interp.check_result_count of %op is 2 -> ^matchDest, ^failureDest

// Check for at least N results.
pdl_interp.check_result_count of %op is at_least 2 -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
count::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative
compareAtLeast::mlir::UnitAttrunit attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.check_type (::mlir::pdl_interp::CheckTypeOp) 

Compare a type to a known value

Syntax:

operation ::= `pdl_interp.check_type` $value `is` $type attr-dict `->` successors

pdl_interp.check_type operations compare a type with a statically known type. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

pdl_interp.check_type %type is i32 -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
type::mlir::TypeAttrany type attribute

Operands: 

OperandDescription
valuePDL handle to an mlir::Type

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.check_types (::mlir::pdl_interp::CheckTypesOp) 

Compare a range of types to a range of known values

Syntax:

operation ::= `pdl_interp.check_types` $value `are` $types attr-dict `->` successors

pdl_interp.check_types operations compare a range of types with a statically known range of types. On success, this operation branches to the true destination, otherwise the false destination is taken.

Example:

pdl_interp.check_types %type are [i32, i64] -> ^matchDest, ^failureDest

Attributes: 

AttributeMLIR TypeDescription
types::mlir::ArrayAttrtype array attribute

Operands: 

OperandDescription
valuerange of PDL handle to an mlir::Type values

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.create_attribute (::mlir::pdl_interp::CreateAttributeOp) 

Create an interpreter handle to a constant Attribute

Syntax:

operation ::= `pdl_interp.create_attribute` $value attr-dict

pdl_interp.create_attribute operations generate a handle within the interpreter for a specific constant attribute value.

Example:

%attr = pdl_interp.create_attribute 10 : i64

Attributes: 

AttributeMLIR TypeDescription
value::mlir::Attributeany attribute

Results: 

ResultDescription
attributePDL handle to an mlir::Attribute

pdl_interp.create_operation (::mlir::pdl_interp::CreateOperationOp) 

Create an instance of a specific Operation

Syntax:

operation ::= `pdl_interp.create_operation` $name (`(` $operands^ `:` type($operands) `)`)?
              custom<CreateOperationOpAttributes>($attributes, $attributeNames)
              (`->` `(` $types^ `:` type($types) `)`)? attr-dict

pdl_interp.create_operation operations create an Operation instance with the specified attributes, operands, and result types. See pdl.operation for a more detailed description on the interpretation of the arguments to this operation.

Example:

// Create an instance of a `foo.op` operation.
%op = pdl_interp.create_operation "foo.op"(%arg0 : !pdl.value) {"attrA" = %attr0} -> (%type : !pdl.type)

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute
attributeNames::mlir::ArrayAttrstring array attribute

Operands: 

OperandDescription
operandssingle element or range of PDL handle for an mlir::Value
attributesPDL handle to an mlir::Attribute
typessingle element or range of PDL handle to an mlir::Type

Results: 

ResultDescription
operationPDL handle to an mlir::Operation *

pdl_interp.create_type (::mlir::pdl_interp::CreateTypeOp) 

Create an interpreter handle to a constant Type

Syntax:

operation ::= `pdl_interp.create_type` $value attr-dict

pdl_interp.create_type operations generate a handle within the interpreter for a specific constant type value.

Example:

pdl_interp.create_type i64

Attributes: 

AttributeMLIR TypeDescription
value::mlir::TypeAttrany type attribute

Results: 

ResultDescription
resultPDL handle to an mlir::Type

pdl_interp.create_types (::mlir::pdl_interp::CreateTypesOp) 

Create an interpreter handle to a range of constant Types

Syntax:

operation ::= `pdl_interp.create_types` $value attr-dict

pdl_interp.create_types operations generate a handle within the interpreter for a specific range of constant type values.

Example:

pdl_interp.create_types [i64, i64]

Attributes: 

AttributeMLIR TypeDescription
value::mlir::ArrayAttrtype array attribute

Results: 

ResultDescription
resultrange of PDL handle to an mlir::Type values

pdl_interp.erase (::mlir::pdl_interp::EraseOp) 

Mark an operation as erased

Syntax:

operation ::= `pdl_interp.erase` $operation attr-dict

pdl.erase operations are used to specify that an operation should be marked as erased. The semantics of this operation correspond with the eraseOp method on a PatternRewriter.

Example:

pdl_interp.erase %root

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

pdl_interp.finalize (::mlir::pdl_interp::FinalizeOp) 

Finalize a pattern match or rewrite sequence

Syntax:

operation ::= `pdl_interp.finalize` attr-dict

pdl_interp.finalize is used to denote the termination of a match or rewrite sequence.

Example:

pdl_interp.finalize

pdl_interp.get_attribute (::mlir::pdl_interp::GetAttributeOp) 

Get a specified attribute value from an Operation

Syntax:

operation ::= `pdl_interp.get_attribute` $name `of` $operation attr-dict

pdl_interp.get_attribute operations try to get a specific attribute from an operation. If the operation does not have that attribute, a null value is returned.

Example:

%attr = pdl_interp.get_attribute "attr" of %op

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Results: 

ResultDescription
attributePDL handle to an mlir::Attribute

pdl_interp.get_attribute_type (::mlir::pdl_interp::GetAttributeTypeOp) 

Get the result type of a specified Attribute

Syntax:

operation ::= `pdl_interp.get_attribute_type` `of` $value attr-dict

pdl_interp.get_attribute_type operations get the resulting type of a specific attribute.

Example:

%type = pdl_interp.get_attribute_type of %attr

Operands: 

OperandDescription
valuePDL handle to an mlir::Attribute

Results: 

ResultDescription
resultPDL handle to an mlir::Type

pdl_interp.get_defining_op (::mlir::pdl_interp::GetDefiningOpOp) 

Get the defining operation of a Value

Syntax:

operation ::= `pdl_interp.get_defining_op` `of` $value `:` type($value) attr-dict

pdl_interp.get_defining_op operations try to get the defining operation of a specific value or range of values. In the case of range, the defining op of the first value is returned. If the value is not an operation result or range of operand results, null is returned.

Example:

%op = pdl_interp.get_defining_op of %value : !pdl.value

Operands: 

OperandDescription
valuesingle element or range of PDL handle for an mlir::Value

Results: 

ResultDescription
operationPDL handle to an mlir::Operation *

pdl_interp.get_operand (::mlir::pdl_interp::GetOperandOp) 

Get a specified operand from an Operation

Syntax:

operation ::= `pdl_interp.get_operand` $index `of` $operation attr-dict

pdl_interp.get_operand operations try to get a specific operand from an operation If the operation does not have an operand for the given index, a null value is returned.

Example:

%operand = pdl_interp.get_operand 1 of %op

Attributes: 

AttributeMLIR TypeDescription
index::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Results: 

ResultDescription
valuePDL handle for an mlir::Value

pdl_interp.get_operands (::mlir::pdl_interp::GetOperandsOp) 

Get a specified operand group from an Operation

Syntax:

operation ::= `pdl_interp.get_operands` ($index^)? `of` $operation `:` type($value) attr-dict

pdl_interp.get_operands operations try to get a specific operand group from an operation. If the expected result is a single Value, null is returned if the operand group is not of size 1. If a range is expected, null is returned if the operand group is invalid. If no index is provided, the returned operand group corresponds to all operands of the operation.

Example:

// Get the first group of operands from an operation, and expect a single
// element.
%operand = pdl_interp.get_operands 0 of %op : !pdl.value

// Get the first group of operands from an operation.
%operands = pdl_interp.get_operands 0 of %op : !pdl.range<value>

// Get all of the operands from an operation.
%operands = pdl_interp.get_operands of %op : !pdl.range<value>

Attributes: 

AttributeMLIR TypeDescription
index::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Results: 

ResultDescription
valuesingle element or range of PDL handle for an mlir::Value

pdl_interp.get_result (::mlir::pdl_interp::GetResultOp) 

Get a specified result from an Operation

Syntax:

operation ::= `pdl_interp.get_result` $index `of` $operation attr-dict

pdl_interp.get_result operations try to get a specific result from an operation. If the operation does not have a result for the given index, a null value is returned.

Example:

%result = pdl_interp.get_result 1 of %op

Attributes: 

AttributeMLIR TypeDescription
index::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Results: 

ResultDescription
valuePDL handle for an mlir::Value

pdl_interp.get_results (::mlir::pdl_interp::GetResultsOp) 

Get a specified result group from an Operation

Syntax:

operation ::= `pdl_interp.get_results` ($index^)? `of` $operation `:` type($value) attr-dict

pdl_interp.get_results operations try to get a specific result group from an operation. If the expected result is a single Value, null is returned if the result group is not of size 1. If a range is expected, null is returned if the result group is invalid. If no index is provided, the returned operand group corresponds to all results of the operation.

Example:

// Get the first group of results from an operation, and expect a single
// element.
%result = pdl_interp.get_results 0 of %op : !pdl.value

// Get the first group of results from an operation.
%results = pdl_interp.get_results 0 of %op : !pdl.range<value>

// Get all of the results from an operation.
%results = pdl_interp.get_results of %op : !pdl.range<value>

Attributes: 

AttributeMLIR TypeDescription
index::mlir::IntegerAttr32-bit signless integer attribute whose value is non-negative

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Results: 

ResultDescription
valuesingle element or range of PDL handle for an mlir::Value

pdl_interp.get_value_type (::mlir::pdl_interp::GetValueTypeOp) 

Get the result type of a specified Value

Syntax:

operation ::= `pdl_interp.get_value_type` `of` $value `:` type($result) attr-dict

pdl_interp.get_value_type operations get the resulting type of a specific value or range thereof.

Example:

// Get the type of a single value.
%type = pdl_interp.get_value_type of %value : !pdl.type

// Get the types of a value range.
%type = pdl_interp.get_value_type of %values : !pdl.range<type>

Operands: 

OperandDescription
valuesingle element or range of PDL handle for an mlir::Value

Results: 

ResultDescription
resultsingle element or range of PDL handle to an mlir::Type

pdl_interp.inferred_types (::mlir::pdl_interp::InferredTypesOp) 

Generate a handle to a range of Types that are “inferred”

Syntax:

operation ::= `pdl_interp.inferred_types` attr-dict

pdl_interp.inferred_types operations generate handles to ranges of types that should be inferred. This signals to other operations, such as pdl_interp.create_operation, that these types should be inferred.

Example:

%types = pdl_interp.inferred_types

Results: 

ResultDescription
typerange of PDL handle to an mlir::Type values

pdl_interp.is_not_null (::mlir::pdl_interp::IsNotNullOp) 

Check if a positional value is non-null

Syntax:

operation ::= `pdl_interp.is_not_null` $value `:` type($value) attr-dict `->` successors

pdl_interp.is_not_null operations check that a positional value or range exists. For ranges, this does not mean that the range was simply empty. On success, this operation branches to the true destination. Otherwise, the false destination is taken.

Example:

pdl_interp.is_not_null %value : !pdl.value -> ^matchDest, ^failureDest

Operands: 

OperandDescription
valuepdl type

Successors: 

SuccessorDescription
trueDestany successor
falseDestany successor

pdl_interp.record_match (::mlir::pdl_interp::RecordMatchOp) 

Record the metadata for a successful pattern match

Syntax:

operation ::= `pdl_interp.record_match` $rewriter (`(` $inputs^ `:` type($inputs) `)`)? `:`
              `benefit` `(` $benefit `)` `,`
              (`generatedOps` `(` $generatedOps^ `)` `,`)?
              `loc` `(` `[` $matchedOps `]` `)`
              (`,` `root` `(` $rootKind^ `)`)? attr-dict `->` $dest

pdl_interp.record_match operations record a successful pattern match with the interpreter and branch to the next part of the matcher. The metadata recorded by these operations correspond to a specific pdl.pattern, as well as what values were used during that match that should be propagated to the rewriter.

Example:

pdl_interp.record_match @rewriters::myRewriter(%root : !pdl.operation) : benefit(1), loc([%root, %op1]), root("foo.op") -> ^nextDest

Attributes: 

AttributeMLIR TypeDescription
rewriter::mlir::SymbolRefAttrsymbol reference attribute
rootKind::mlir::StringAttrstring attribute
generatedOps::mlir::ArrayAttrstring array attribute
benefit::mlir::IntegerAttr16-bit signless integer attribute whose value is non-negative

Operands: 

OperandDescription
inputspdl type
matchedOpsPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
destany successor

pdl_interp.replace (::mlir::pdl_interp::ReplaceOp) 

Mark an operation as replaced

Syntax:

operation ::= `pdl_interp.replace` $operation `with` ` ` `(` ($replValues^ `:` type($replValues))? `)`
              attr-dict

pdl_interp.replaced operations are used to specify that an operation should be marked as replaced. The semantics of this operation correspond with the replaceOp method on a PatternRewriter. The set of replacement values must match the number of results specified by the operation.

Example:

// Replace root node with 2 values:
pdl_interp.replace %root with (%val0, %val1 : !pdl.type, !pdl.type)

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *
replValuessingle element or range of PDL handle for an mlir::Value

pdl_interp.switch_attribute (::mlir::pdl_interp::SwitchAttributeOp) 

Switch on the value of an Attribute

Syntax:

operation ::= `pdl_interp.switch_attribute` $attribute `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_attribute operations compare the value of a given attribute with a set of constant attributes. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_attribute %attr to [10, true](^10Dest, ^trueDest) -> ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::ArrayAttrarray attribute

Operands: 

OperandDescription
attributePDL handle to an mlir::Attribute

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor

pdl_interp.switch_operand_count (::mlir::pdl_interp::SwitchOperandCountOp) 

Switch on the operand count of an Operation

Syntax:

operation ::= `pdl_interp.switch_operand_count` `of` $operation `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_operand_count operations compare the operand count of a given operation with a set of potential counts. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_operand_count of %op to [10, 2] -> ^10Dest, ^2Dest, ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::DenseIntElementsAttr32-bit signless integer elements attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor

pdl_interp.switch_operation_name (::mlir::pdl_interp::SwitchOperationNameOp) 

Switch on the OperationName of an Operation

Syntax:

operation ::= `pdl_interp.switch_operation_name` `of` $operation `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_operation_name operations compare the name of a given operation with a set of known names. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_operation_name of %op to ["foo.op", "bar.op"](^fooDest, ^barDest) -> ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::ArrayAttrstring array attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor

pdl_interp.switch_result_count (::mlir::pdl_interp::SwitchResultCountOp) 

Switch on the result count of an Operation

Syntax:

operation ::= `pdl_interp.switch_result_count` `of` $operation `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_result_count operations compare the result count of a given operation with a set of potential counts. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_result_count of %op to [0, 2](^0Dest, ^2Dest) -> ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::DenseIntElementsAttr32-bit signless integer elements attribute

Operands: 

OperandDescription
operationPDL handle to an mlir::Operation *

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor

pdl_interp.switch_type (::mlir::pdl_interp::SwitchTypeOp) 

Switch on a Type value

Syntax:

operation ::= `pdl_interp.switch_type` $value `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_type operations compare a type with a set of statically known types. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_type %type to [i32, i64] -> ^i32Dest, ^i64Dest, ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::ArrayAttrtype array attribute

Operands: 

OperandDescription
valuePDL handle to an mlir::Type

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor

pdl_interp.switch_types (::mlir::pdl_interp::SwitchTypesOp) 

Switch on a range of Type values

Syntax:

operation ::= `pdl_interp.switch_types` $value `to` $caseValues `(` $cases `)` attr-dict `->` $defaultDest

pdl_interp.switch_types operations compare a range of types with a set of statically known ranges. If the value matches one of the provided case values the destination for that case value is taken, otherwise the default destination is taken.

Example:

pdl_interp.switch_types %type is [[i32], [i64, i64]] -> ^i32Dest, ^i64Dest, ^defaultDest

Attributes: 

AttributeMLIR TypeDescription
caseValues::mlir::ArrayAttrtype-array array attribute

Operands: 

OperandDescription
valuerange of PDL handle to an mlir::Type values

Successors: 

SuccessorDescription
defaultDestany successor
casesany successor