Template Function sequant::stamp_occurrence_homes

• Defined in File lifetime_mask.hpp

Function Documentation

template<meta::eval_node_range R>
void sequant::stamp_occurrence_homes(R const &forest)

Stamps every occurrence’s own home (EvalExpr::occurrence_home): the loops opened at or above the node, filtered to its own result slots, with no cross-occurrence meet. One node sliced along different modes in different terms, or read whole in one term and sliced in another, keeps each occurrence’s slicing; value identity (value_key_of) then tells the occurrences apart instead of the meet folding them to a whole home (explicit-cells design section 11). The table-driven engine’s home; the forest-descent path keeps eval::stamp_lifetime_masks' meet.