Skip to content

kirin.dialects.scf.stmts.For

← Module overview

classForsource

kirin.dialects.scf.stmts.For

Bases: ir.Statement

Signature
class For(iterable: ir.SSAValue, body: ir.Region, *initializers: ir.SSAValue = ())

Parameters

NameTypeDefaultDescription
iterableir.SSAValuerequired
bodyir.Regionrequired
*initializersir.SSAValue()

Attributes

NameTypeDefaultDescription
name—'for'
traits—frozenset({ir.MaybePure(), ir.HasCFG(), ir.SSACFG()})
purityboolinfo.attribute(default=False)
iterableir.SSAValueinfo.argument(types.Any)
bodyir.Regioninfo.region(multi=False)
initializerstuple[ir.SSAValue, ...]info.argument(types.Any)

methodverifysource

kirin.dialects.scf.stmts.For.verify

def verify() -> None
source

methodprint_implsource

kirin.dialects.scf.stmts.For.print_impl

def print_impl(printer: Printer) -> None

Parameters

NameTypeDescription
printerPrinter
source