'spechls' Dialect

A dialect for speculative High-Level Synthesis.

TODO

Operations

spechls.alpha (spechls::AlphaOp)

Operands:

Results:

spechls.call (spechls::CallOp)

Syntax:

operation ::= `spechls.call` $callee `(` $arguments `)` attr-dict `:` functional-type($arguments, $result)

Interfaces: CallOpInterface, OpAsmOpInterface

Attributes:

Operands:

Results:

spechls.cancel (spechls::CancelOp)

Syntax:

operation ::= `spechls.cancel` `<` $offset `>` $input `,` $rollback `,` $writeCommand attr-dict `:` type($rollback)

Interfaces: InferTypeOpInterface

Attributes:

Operands:

Results:

spechls.commit (spechls::CommitOp)

Syntax:

operation ::= `spechls.commit` $enable (`,` $value^ `:` type($value))? attr-dict

Traits: HasParent<TaskOp>, Terminator

Operands:

spechls.delay (spechls::DelayOp)

Traits: AttrSizedOperandSegments

Interfaces: InferTypeOpInterface

Attributes:

Operands:

Results:

spechls.exit (spechls::ExitOp)

Traits: HasParent<KernelOp>, ReturnLike, Terminator

Interfaces: RegionBranchTerminatorOpInterface

Operands:

spechls.field (spechls::FieldOp)

Syntax:

operation ::= `spechls.field` `<` $name `>` $input attr-dict `:` type($input)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

spechls.fifo (spechls::FIFOOp)

Syntax:

operation ::= `spechls.fifo` `<` $depth `>` $input attr-dict `:` functional-type($input, $result)

Interfaces: OpAsmOpInterface

Attributes:

Operands:

Results:

spechls.fsm (spechls::FSMOp)

Syntax:

operation ::= `spechls.fsm` $name `<` $gammaNames `>` $condDelays $inputDelays `,` $mispec `,` $state attr-dict
              `:` type($mispec) `,` type($state)

Traits: SameVariadicOperandSize

Interfaces: InferTypeOpInterface

Attributes:

Operands:

Results:

spechls.fsm_command (spechls::FSMCommandOp)

Syntax:

operation ::= `spechls.fsm_command` $name `,` $state attr-dict `:` functional-type($state, $result)

Attributes:

Operands:

Results:

spechls.gamma (spechls::GammaOp)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), OpAsmOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

spechls.kernel (spechls::KernelOp)

Traits: IsolatedFromAbove, SingleBlock

Interfaces: CallableOpInterface, FunctionOpInterface, RegionKindInterface, Symbol

Attributes:

spechls.load (spechls::LoadOp)

Syntax:

operation ::= `spechls.load` $array `[` $index `:` type($index) `]` attr-dict `:` type($array)

Interfaces: InferTypeOpInterface

Operands:

Results:

spechls.lut (spechls::LUTOp)

Syntax:

operation ::= `spechls.lut` $index $contents attr-dict `:` functional-type($index, $result)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), OpAsmOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

spechls.mu (spechls::MuOp)

Traits: AlwaysSpeculatableImplTrait, SameOperandsAndResultType

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface), OpAsmOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

spechls.pack (spechls::PackOp)

Syntax:

operation ::= `spechls.pack` $inputs attr-dict `:` functional-type($inputs, $result)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

spechls.print (spechls::PrintOp)

Syntax:

operation ::= `spechls.print` $state `,` $enable `,` $format (`,` $args^ `:` type($args))? attr-dict

Interfaces: InferTypeOpInterface, OpAsmOpInterface

Attributes:

Operands:

Results:

spechls.rewind (spechls::RewindOp)

Syntax:

operation ::= `spechls.rewind` `<` $depths `>` $input `,` $rewind `,` $writeCommand attr-dict `:` type($input) `,` type($rewind)

Interfaces: InferTypeOpInterface

Attributes:

Operands:

Results:

spechls.rollback (spechls::RollbackOp)

Syntax:

operation ::= `spechls.rollback` `<` $depths `,` $offset `>` $input `,` $rollback `,` $writeCommand attr-dict `:` type($input) `,` type($rollback)

Interfaces: InferTypeOpInterface

Attributes:

Operands:

Results:

spechls.sync (spechls::SyncOp)

Syntax:

operation ::= `spechls.sync` $inputs attr-dict `:` type($inputs)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

spechls.task (spechls::TaskOp)

Traits: IsolatedFromAbove, SingleBlock

Interfaces: RegionKindInterface

Attributes:

Operands:

Results:

spechls.unpack (spechls::UnpackOp)

Syntax:

operation ::= `spechls.unpack` $input attr-dict `:` type($input)

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

Types

ArrayType

Array type

Syntax:

!spechls.array<
  unsigned,   # size
  ::mlir::Type   # element_type
>

Parameters:

StructType

Structure type

Parameters: