‘scope’ Dialect

Scope dialect to represent scoped regions.

Operations

scope.return (scope::ReturnOp)

Return operation inside of scope.scope operation

Syntax:

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

The scope.return operation as a terminator of scope.scope region.

Example:

scope.return

Traits: AlwaysSpeculatableImplTrait, HasParent<ScopeOp>, ReturnLike, Terminator

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), RegionBranchTerminatorOpInterface

Effects: MemoryEffects::Effect{}

Operands

Operand	Description
results	variadic of any type

scope.scope (scope::ScopeOp)

Represents scope of a region

The “scope.scope” operation represents a scope of the operations inside the region.

Example:

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

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

Traits: NoRegionArguments, RecursiveMemoryEffects, SingleBlockImplicitTerminator<scope::ReturnOp>, SingleBlock

Interfaces: RegionBranchOpInterface

Attributes

Attribute	MLIR Type	Description
no_inline	::mlir::UnitAttr	unit attribute

Results

Result	Description
results	variadic of any type