bloqade.lanes.dialects.arch.stmts.ZoneId

← Module overview

classZoneId¶source

bloqade.lanes.dialects.arch.stmts.ZoneId

Bases: ir.Statement

Read the zone_id of a LocationAddress (produced by the GetAttr rewrite).

class ZoneId

Public import paths

• from bloqade.lanes.dialects.arch import ZoneId
• from bloqade.lanes.dialects.arch.impl import ZoneId
• from bloqade.lanes.dialects.arch.rewrite import ZoneId

Attributes

Name	Type	Default	Description
name	—	'zone_id'
traits	—	frozenset({ir.Pure()})
address	ir.SSAValue	info.argument(LocationAddressType)
result	ir.ResultValue	info.result(types.Int)