Function sequant::eval::validate_cell_table

Function Documentation

inline container::vector<CellViolation> sequant::eval::validate_cell_table(CellTable const &table, ScopeBlock const&, std::function<std::size_t(LoopKey const&)> const &n_batches_of = {})

Static validation of a cell table (spec section 3). Production order is the order of non-Leaf cells in table.cells (the builder emits them in execution order).

Parameters:

root – the ordered schedule’s block tree. Reserved for the block-tree walk of design rule 1 (visibility tracked along the real execution order of blocks), which is not implemented: visibility is decided instead from the cells’ own scopes and their order in table.cells. It is named in the signature so adding that walk does not change every call site (as-built design section 12.2).