Template Function sequant::eval::detail::stamp_residency_impl

• Defined in File lifetime_mask.hpp

Function Documentation

template<meta::eval_node_range R, typename ModesOf, typename Setter>
void sequant::eval::detail::stamp_residency_impl(R const &forest, ModesOf const &modes_of, Setter const &setter)

Shared cross-occurrence meet walk underlying stamp_lifetime_masks. modes_of extracts the batch loops a node opens (each physical loop once, at its open site &#8212; batch_loops_opened_here, not the per-carrying-node node_slice_mask), which the top-down accumulation propagates down as a set (no dedup); setter stamps the resulting per-canonical-node meet onto the node (e.g. set_sliced_modes). Everything else &#8212; the meet map, the accumulation, the per-slot filter, the two-pass order &#8212; is identical between entry points; only the selector and setter differ.