scope方言¶

scope方言用于定义代码作用域区域。

操作定义¶

功能：scope.scope区域内部的终结返回操作。

语法：

operation ::= `scope.return` attr-dict ($results^ `:` type($results))?

示例：

scope.return

特性：AlwaysSpeculatableImplTrait、HasParent<ScopeOp>、ReturnLike、Terminator

接口：ConditionallySpeculatable、NoMemoryEffect、RegionBranchTerminatorOpInterface

内存效应：MemoryEffects::Effect{}

操作数：

操作数	说明
`results`	变长任意类型返回值

功能：定义一段独立操作区域的作用域容器。

示例：

scope.scope : () -> () {
    scope.return
} {tcore_type = #hivm.tcore_type<CUBE>, ...}

scope.scope : () -> () {
    scope.return
}

特性：NoRegionArguments、RecursiveMemoryEffects、SingleBlockImplicitTerminator<scope::ReturnOp>、SingleBlock

接口：RegionBranchOpInterface

属性：

属性名	MLIR类型	说明
`no_inline`	`::mlir::UnitAttr`	单元属性，标记禁止内联

结果：

结果	说明
`results`	变长任意类型输出值