Function sequant::eval::detail::collect_production_ids

Function Documentation

inline void sequant::eval::detail::collect_production_ids(ScopeBlock const &block, container::vector<std::size_t> &out)

Append every value_id block produces &#8212; as a BuildStep (recursively, through every nested child block) or as a value_id in block's own outputs &#8212; to out.

Feeds the whole-schedule single-producer check in well_formed: a BuildStep and a block outputs entry are both “production sites” for a value_id in the SSA-like sense the schedule is meant to hold, so both contribute to the same collected list.