bloqade.lanes.dialects.arch.constprop.ArchResolvedConstProp

← Module overview

classArchResolvedConstProp¶source

bloqade.lanes.dialects.arch.constprop.ArchResolvedConstProp

Bases: interp.MethodTable

Const-prop for arch-resolved statements (``Loc`` / ``CzPartner``).

class ArchResolvedConstProp

Materializes the LocationAddress as a const.Value once arch_spec is bound (by BindArchSpec in the pipeline) and the operands are constant. While still unresolved (arch spec unbound, or operands not yet constant) it returns top() so the statement stays non-const and folds later. If the arch API resolves to None — no CZ partner, or no atom at the requested (zone, row, col) — it raises InterpreterError so the error surfaces during analysis (consistent with the interpreter impls in impl.py).

methodcz_partner¶source

bloqade.lanes.dialects.arch.constprop.ArchResolvedConstProp.cz_partner

def cz_partner(_, frame: Frame, stmt: CzPartner)

Parameters

Name	Type	Description
_	—
frame	Frame
stmt	CzPartner

source

methodloc¶source

bloqade.lanes.dialects.arch.constprop.ArchResolvedConstProp.loc

def loc(_, frame: Frame, stmt: Loc)

Parameters

Name	Type	Description
_	—
frame	Frame
stmt	Loc

source