scair.clair.macros
Members list
Type members
Classlikes
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Declarative assembly format representation. Contains a sequence of directives that define the format.
Declarative assembly format representation. Contains a sequence of directives that define the format.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Directive for an operation's attribute dictionnary. Its presence is mandatory in every declarative assembly format, as this ensures the operation's unknown added attributes are carried by its syntax.
Directive for an operation's attribute dictionnary. Its presence is mandatory in every declarative assembly format, as this ensures the operation's unknown added attributes are carried by its syntax.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Directiveclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
- Known subtypes
- Self type
-
T
Attributes
- Companion
- object
- Supertypes
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
Attributes
- Supertypes
- Known subtypes
-
class Applyclass Forclass Ifclass Loadclass Minclass Parallelclass Storeclass Yieldclass AddFclass AddIclass AddUIExtendedOpclass AndIclass BitCastclass CeilDivSiclass CeilDivUiclass CmpFclass CmpIclass Constantclass DivFclass DivSIclass DivUIclass ExtFclass ExtSIclass ExtUIclass FPToSIclass FPToUIclass FloorDivSIclass IndexCastclass IndexCastUIclass MaxNumFclass MaxSIclass MaxUIclass MaximumFclass MinNumFclass MinSIclass MinUIclass MinimumFclass MulFclass MulIclass MulSIExtendedclass MulUIExtendedclass NegFclass Oriclass RemFclass RemSIclass RemUIclass SIToFPclass ScalingExtFclass ScalingTruncFclass SelectOpclass ShLIclass ShRSIclass ShRUIclass SubFclass SubIclass TruncFclass TruncIclass UIToFPclass XOrIclass Mulclass Normclass Callclass Funcclass Returnclass GetElementPtrclass Loadclass Allocclass Deallocclass Dimclass Loadclass Storeclass Conditionclass ExecuteRegionOpclass ForOpclass ForallOpclass IfOpclass InParallelOpclass IndexSwitchOpclass ParallelOpclass ReduceOpclass ReduceReturnOpclass WhileOpclass YieldOpShow all
- Self type
-
T
Attributes
- Companion
- object
- Supertypes
- Self type
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
Base trait for assembly format directives. Directives represent a unit of the assembly format, and can generate printing and parsing implementations for their constructs.
Base trait for assembly format directives. Directives represent a unit of the assembly format, and can generate printing and parsing implementations for their constructs.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class AttrDictDirectiveclass LiteralDirectiveclass OptionalGroupDirectiveclass TypeDirectiveclass VariableDirective
Directive for literal text in the assembly format. Examples include keywords, punctuation, and other fixed strings. Typically used to clarify semantic or solve ambiguity.
Directive for literal text in the assembly format. Examples include keywords, punctuation, and other fixed strings. Typically used to clarify semantic or solve ambiguity.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Directiveclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Directiveclass Objecttrait Matchableclass AnyShow all
Holds state during printer generation to manage spacing and punctuation.
Holds state during printer generation to manage spacing and punctuation.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Directive for types of individual operands or results.
Directive for types of individual operands or results.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Directiveclass Objecttrait Matchableclass AnyShow all
Directive for variables, handling operations' individual constructs (operands, results, regions, successors or properties).
Directive for variables, handling operations' individual constructs (operands, results, regions, successors or properties).
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Directiveclass Objecttrait Matchableclass AnyShow all
Types
Type helper to get the defined input type of a construct definition.
Type helper to get the defined input type of a construct definition.
Attributes
Type helper to get the defined input type of a construct definition.
Type helper to get the defined input type of a construct definition.
Attributes
Value members
Concrete methods
Get all constructs of the specified type flattened from the ADT expression.
Get all constructs of the specified type flattened from the ADT expression.
Type parameters
- Def
-
The construct definition type.
Value parameters
- adtOpExpr
-
The ADT expression.
- opInputDefs
-
The construct definitions.
Attributes
Parser for the complete assembly format. Parses one or more directives into an AssemblyFormatDirective.
Parser for the complete assembly format. Parses one or more directives into an AssemblyFormatDirective.
Attributes
Parses an assembly format identifier. Those should match Scala's identifier rules, for maximum compatibility with the ADT fields; this is an approximation.
Parses an assembly format identifier. Those should match Scala's identifier rules, for maximum compatibility with the ADT fields; this is an approximation.
Attributes
Parser for attribute dictionary directives. Parses the keyword "attr-dict" into an AttrDictDirective.
Parser for attribute dictionary directives. Parses the keyword "attr-dict" into an AttrDictDirective.
Attributes
Helper function to chain parsers together using fastparse's sequencing operator. Handles different return types by matching on the specific parser types.
Helper function to chain parsers together using fastparse's sequencing operator. Handles different return types by matching on the specific parser types.
Attributes
Returns an extractor expression for the passed construct definition.
Returns an extractor expression for the passed construct definition.
Value parameters
- defs
-
The constructs definitions.
Attributes
Partion constructs of a specified type. That is, check that they are in a coherent quantity, and partition them into the provided definitions.
Partion constructs of a specified type. That is, check that they are in a coherent quantity, and partition them into the provided definitions.
Type parameters
- Def
-
The construct definition type.
Value parameters
- defs
-
The construct definitions.
Attributes
- Returns
-
A function of an operation and its flat sequence of constructs, returning the sequence of partitions according to the definitions.
Return all named arguments for the primary constructor of an ADT. Those are checked, in the sense that they are checked to be of the correct types and numbers.
Return all named arguments for the primary constructor of an ADT. Those are checked, in the sense that they are checked to be of the correct types and numbers.
Value parameters
- op
-
The UnstructuredOp instance.
- opDef
-
The OperationDef derived from the ADT.
Attributes
- Returns
-
The checked named arguments for the primary constructor of the ADT.
Parser for any directive.
Parser for any directive.
Attributes
Expect a segmentSizes property of DenseArrayAttr type, and return it as a list of integers.
Expect a segmentSizes property of DenseArrayAttr type, and return it as a list of integers.
Type parameters
- Def
-
The construct definition type.
Value parameters
- op
-
The UnstructuredOp expression.
Attributes
Attempt to create an ADT from an UnstructuredOp[ADT]
Attempt to create an ADT from an UnstructuredOp[ADT]
Type parameters
- T
-
The ADT Type.
Value parameters
- genExpr
-
The expression of the UnstructuredOp[ADT].
- opDef
-
The OperationDef derived from the ADT.
Attributes
- Returns
-
The ADT instance.
Helper to check a property argument.
Helper to check a property argument.
Attributes
Helper to get the expected type of a construct definition's construct.
Helper to get the expected type of a construct definition's construct.
Attributes
Helper to get the name of a construct definition type.
Helper to get the name of a construct definition type.
Attributes
Helper to access the right sequence of constructs from an UnstructuredOp, given a construct definition type.
Helper to access the right sequence of constructs from an UnstructuredOp, given a construct definition type.
Attributes
Helper to get the variadicity of a construct definition's construct.
Helper to get the variadicity of a construct definition's construct.
Attributes
Parser for literal directives. Parses text enclosed in backticks as a literal directive.
Parser for literal directives. Parses text enclosed in backticks as a literal directive.
Attributes
Partition a construct sequence, in the case of multiple variadic definitions
Partition a construct sequence, in the case of multiple variadic definitions
Attributes
- See also
Parse a declarative assembly format string into an AssemblyFormatDirective, its internal representation for implementation generation.
Parse a declarative assembly format string into an AssemblyFormatDirective, its internal representation for implementation generation.
Attributes
Small helper to select a member of an expression.
Small helper to select a member of an expression.
Value parameters
- name
-
The name of the member to select.
- obj
-
The object to select the member from.
Attributes
Parser for type directives. Parses "type($var)" where $var is a variable directive.
Parser for type directives. Parses "type($var)" where $var is a variable directive.
Attributes
Partition a construct sequence, in the case of no variadic defintion.
Partition a construct sequence, in the case of no variadic defintion.
Attributes
- See also
Partition a construct sequence, in the case of a single variadic defintion.
Partition a construct sequence, in the case of a single variadic defintion.
Attributes
- See also
Parser for variable directives. Parses a dollar sign followed by an identifier, which references a construct of the Operation.
Parser for variable directives. Parses a dollar sign followed by an identifier, which references a construct of the Operation.