Module melior::dialect::ods::pdl_interp
source · Expand description
pdl_interp 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.
Structs§
- An
apply_constraintoperation. Apply a constraint to a set of positional values. - A builder for an
apply_constraintoperation. - An
apply_rewriteoperation. Invoke and apply an externally registered rewrite method. - A builder for an
apply_rewriteoperation. - An
are_equaloperation. Check if two positional values or ranges are equivalent. - A builder for an
are_equaloperation. - A
branchoperation. General branch operation. - A builder for a
branchoperation. - A
check_attributeoperation. Check the value of anAttribute. - A builder for a
check_attributeoperation. - A
check_operand_countoperation. Check the number of operands of anOperation. - A builder for a
check_operand_countoperation. - A
check_operation_nameoperation. Check the OperationName of anOperation. - A builder for a
check_operation_nameoperation. - A
check_result_countoperation. Check the number of results of anOperation. - A builder for a
check_result_countoperation. - A
check_typeoperation. Compare a type to a known value. - A builder for a
check_typeoperation. - A
check_typesoperation. Compare a range of types to a range of known values. - A builder for a
check_typesoperation. - A
continueoperation. Breaks the current iteration. - A builder for a
continueoperation. - A
create_attributeoperation. Create an interpreter handle to a constantAttribute. - A builder for a
create_attributeoperation. - A
create_operationoperation. Create an instance of a specificOperation. - A builder for a
create_operationoperation. - A
create_rangeoperation. Construct a range of PDL entities. - A builder for a
create_rangeoperation. - A
create_typeoperation. Create an interpreter handle to a constantType. - A builder for a
create_typeoperation. - A
create_typesoperation. Create an interpreter handle to a range of constantTypes. - A builder for a
create_typesoperation. - An
eraseoperation. Mark an operation aserased. - A builder for an
eraseoperation. - An
extractoperation. Extract the item at the specified index in a range. - A builder for an
extractoperation. - A
finalizeoperation. Finalize a pattern match or rewrite sequence. - A builder for a
finalizeoperation. - A
foreachoperation. Iterates over a range of values or ranges. - A builder for a
foreachoperation. - A
funcoperation. PDL Interpreter Function Operation. - A builder for a
funcoperation. - A
get_attributeoperation. Get a specified attribute value from anOperation. - A builder for a
get_attributeoperation. - A
get_attribute_typeoperation. Get the result type of a specifiedAttribute. - A builder for a
get_attribute_typeoperation. - A
get_defining_opoperation. Get the defining operation of aValue. - A builder for a
get_defining_opoperation. - A
get_operandoperation. Get a specified operand from anOperation. - A builder for a
get_operandoperation. - A
get_operandsoperation. Get a specified operand group from anOperation. - A builder for a
get_operandsoperation. - A
get_resultoperation. Get a specified result from anOperation. - A builder for a
get_resultoperation. - A
get_resultsoperation. Get a specified result group from anOperation. - A builder for a
get_resultsoperation. - A
get_usersoperation. Get the users of aValue. - A builder for a
get_usersoperation. - A
get_value_typeoperation. Get the result type of a specifiedValue. - A builder for a
get_value_typeoperation. - An
is_not_nulloperation. Check if a positional value is non-null. - A builder for an
is_not_nulloperation. - A
record_matchoperation. Record the metadata for a successful pattern match. - A builder for a
record_matchoperation. - A
replaceoperation. Mark an operation asreplaced. - A builder for a
replaceoperation. - A
switch_attributeoperation. Switch on the value of anAttribute. - A builder for a
switch_attributeoperation. - A
switch_operand_countoperation. Switch on the operand count of anOperation. - A builder for a
switch_operand_countoperation. - A
switch_operation_nameoperation. Switch on the OperationName of anOperation. - A builder for a
switch_operation_nameoperation. - A
switch_result_countoperation. Switch on the result count of anOperation. - A builder for a
switch_result_countoperation. - A
switch_typeoperation. Switch on aTypevalue. - A builder for a
switch_typeoperation. - A
switch_typesoperation. Switch on a range ofTypevalues. - A builder for a
switch_typesoperation.
Functions§
- Creates an
apply_constraintoperation. - Creates an
apply_rewriteoperation. - Creates an
are_equaloperation. - Creates a
branchoperation. - Creates a
check_attributeoperation. - Creates a
check_operand_countoperation. - Creates a
check_operation_nameoperation. - Creates a
check_result_countoperation. - Creates a
check_typeoperation. - Creates a
check_typesoperation. - Creates a
continueoperation. - Creates a
create_attributeoperation. - Creates a
create_operationoperation. - Creates a
create_rangeoperation. - Creates a
create_typeoperation. - Creates a
create_typesoperation. - Creates an
eraseoperation. - Creates an
extractoperation. - Creates a
finalizeoperation. - Creates a
foreachoperation. - Creates a
funcoperation. - Creates a
get_attributeoperation. - Creates a
get_attribute_typeoperation. - Creates a
get_defining_opoperation. - Creates a
get_operandoperation. - Creates a
get_operandsoperation. - Creates a
get_resultoperation. - Creates a
get_resultsoperation. - Creates a
get_usersoperation. - Creates a
get_value_typeoperation. - Creates an
is_not_nulloperation. - Creates a
record_matchoperation. - Creates a
replaceoperation. - Creates a
switch_attributeoperation. - Creates a
switch_operand_countoperation. - Creates a
switch_operation_nameoperation. - Creates a
switch_result_countoperation. - Creates a
switch_typeoperation. - Creates a
switch_typesoperation.