bloqade.lanes.analysis.atom.impl.FuncMethods

← Module overview

classFuncMethods¶source

bloqade.lanes.analysis.atom.impl.FuncMethods

Bases: interp.MethodTable

class FuncMethods

methodfunc_return¶source

bloqade.lanes.analysis.atom.impl.FuncMethods.func_return

Signature

def func_return(interp_: AtomInterpreter, frame: ForwardFrame[MoveExecution], stmt: func.Return)

Parameters

Name	Type	Description
interp_	AtomInterpreter
frame	ForwardFrame[MoveExecution]
stmt	func.Return

source

methodconst_none¶source

bloqade.lanes.analysis.atom.impl.FuncMethods.const_none

Signature

def const_none(interp_: AtomInterpreter, frame: ForwardFrame[MoveExecution], stmt: func.ConstantNone)

Parameters

Name	Type	Description
interp_	AtomInterpreter
frame	ForwardFrame[MoveExecution]
stmt	func.ConstantNone

source