bloqade.analysis.address.impls.Scf

← Module overview

classScf¶source

bloqade.analysis.address.impls.Scf

Bases: interp.MethodTable

class Scf

methodyield_¶source

bloqade.analysis.address.impls.Scf.yield_

Signature

def yield_(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: scf.Yield)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	scf.Yield

source

methodifelse¶source

bloqade.analysis.address.impls.Scf.ifelse

Signature

def ifelse(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: scf.IfElse)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	scf.IfElse

source

methodfor_loop¶source

bloqade.analysis.address.impls.Scf.for_loop

Signature

def for_loop(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: scf.For)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	scf.For

source