‘ascvf’ Dialect

vf fusion

• Operations

  • ascvf.load_micro (ascvf::LoadMicroOp)

  • ascvf.store_micro (ascvf::StoreMicroOp)

  • ascvf.vec_scope (ascvf::VecScopeOp)

  • ascvf.vf_for (ascvf::VFForOp)

  • ascvf.vf_group (ascvf::VFGroupOp)

  • ascvf.yield (ascvf::YieldOp)

Operations

ascvf.load_micro (ascvf::LoadMicroOp)

Syntax:

operation ::= `ascvf.load_micro` $dstReg `,` $srcTensor `[` $offset `]` attr-dict `:` type($dstReg) `,` type($srcTensor) `,` type($offset)

abstraction for load RegTensor from LocalTensor

Operands:

Operand	Description
dstReg	any type
srcTensor	any type
offset	any type

ascvf.store_micro (ascvf::StoreMicroOp)

Syntax:

operation ::= `ascvf.store_micro` $dstTensor `[` $offset `]` `,` $srcReg `,` $mask attr-dict `:` type($dstTensor) `,` type($offset) `,` type($srcReg) `,` type($mask)

abstraction for store RegTensor to LocalTensor

Operands:

Operand	Description
dstTensor	any type
offset	any type
srcReg	any type
mask	any type

ascvf.vec_scope (ascvf::VecScopeOp)

Syntax:

operation ::= `ascvf.vec_scope` $region attr-dict

Traits: SingleBlockImplicitTerminator<::mlir::ascvf::YieldOp>, SingleBlock

ascvf.vf_for (ascvf::VFForOp)

Syntax:

operation ::= `ascvf.vf_for` operands `:` qualified(type(operands)) $region attr-dict

Traits: AutomaticAllocationScope, RecursiveMemoryEffects, RecursivelySpeculatableImplTrait, SingleBlockImplicitTerminator<::mlir::ascvf::YieldOp>, SingleBlock

Interfaces: ConditionallySpeculatable

Operands:

Operand	Description
upperBound	signless integer or index

ascvf.vf_group (ascvf::VFGroupOp)

Block with fused operations

Syntax:

operation ::= `ascvf.vf_group` operands `:` qualified(type(operands)) $region attr-dict

Traits: AttrSizedOperandSegments, SingleBlockImplicitTerminator<::mlir::ascvf::YieldOp>, SingleBlock

Operands:

Operand	Description
dstList	variadic of any type
srcList	variadic of any type
calCount	any type

ascvf.yield (ascvf::YieldOp)

Syntax:

operation ::= `ascvf.yield` attr-dict

Traits: Terminator