bloqade.lanes.dialects.move.ConsumesState
← Module overview
class
method
source
classConsumesState¶source
bloqade.lanes.dialects.move.ConsumesState
Bases: ir.Trait
class ConsumesState(terminates: bool, argument_index: int = 0)Parameters
| Name | Type | Default | Description |
|---|---|---|---|
terminates | bool | required | |
argument_index | int | 0 |
Attributes
| Name | Type | Default | Description |
|---|---|---|---|
terminates | bool | required | |
argument_index | int | 0 |
methodget_state_argument¶source
bloqade.lanes.dialects.move.ConsumesState.get_state_argument
def get_state_argument(stmt: ir.Statement) -> ir.SSAValueParameters
| Name | Type | Description |
|---|---|---|
stmt | ir.Statement |
Returns
ir.SSAValue