Function sequant::eval::build_cell_table

• Defined in File cell_table_builder.hpp

Function Documentation

inline CellTable sequant::eval::build_cell_table(CellTableInputs const &in)

Derives the cell table’s productions from an ordered schedule already built by build_ordered_schedule: one Build cell per BuildStep, one Assemble cell per block output entry (at the block’s parent scope, sourced from the deepest form of that value registered inside the block — an escape chain may skip a level the value is invariant to), and one Leaf cell for every leaf value that is an operand of some computed value; then one Read per leg of every Build cell’s production tree, and every cell’s life from those reads (weighted by batch multiplicity) plus the Assembles that consume it. Sliced-mode positions that match no enclosing loop instance are reported in CellTable::unresolved.