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. 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 validation 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.