Skip to content

bloqade.lanes.dialects.move.EmitsState

← Module overview

classEmitsStatesource

bloqade.lanes.dialects.move.EmitsState

Bases: ir.Trait

class EmitsState(originates: bool, result_index: int = 0)

Parameters

NameTypeDefaultDescription
originatesboolrequired
result_indexint0

Attributes

NameTypeDefaultDescription
originatesboolrequired
result_indexint0

methodget_state_resultsource

bloqade.lanes.dialects.move.EmitsState.get_state_result

def get_state_result(stmt: ir.Statement) -> ir.ResultValue

Parameters

NameTypeDescription
stmtir.Statement

Returns

ir.ResultValue

source