srdatalog.ir.dialects.iir.cf¶
iir_cf — control-flow IR ops.
Cross-cutting structural ops shared across data-structure dialects: sequencing (Block), binding (Bind, VarRef), branching/early-return, parallel scaffolding (ParallelFor, GridStrideLoop, Phase), and output emission (WriteOutput, AddCount).
These don’t belong to any single data-structure dialect — they’re the compositional glue that the IIR-sorted-array, IIR-LSM, etc., dialects hang their operations from.
See docs/ir_lowering_semantics.md §8 for the node set rationale and docs/stage2_emitter_audit.md for the emission patterns these lower to.
Submodules¶
Package Contents¶
Data¶
API¶
- srdatalog.ir.dialects.iir.cf.DIALECT¶
‘Dialect(…)’
- srdatalog.ir.dialects.iir.cf.__all__¶
[‘DIALECT’, ‘AddCount’, ‘BlankLine’, ‘Bind’, ‘Block’, ‘Cartesian2DDecompose’, ‘CartesianFlatLoop’, ‘…