Function sequant::eval::peak_profile_replay

Function Documentation

inline double sequant::eval::peak_profile_replay(Schedule const &s)

Independent replay oracle for peak_profile_sweep: the peak live footprint of s computed by an explicit per-static-point live-set sum.

Deliberately a different algorithm from peak_profile_sweep's +delta/-delta interval-event difference array: for every static point it re-scans all cells and sums the footprints of those whose inclusive [first_use, last_use] range covers the point, taking the running max. Because it shares nothing with the sweep’s interval bookkeeping, exact agreement between the two on a given Schedule is a real cross-check of the sweep’s interval logic (validation step 9.6). O(points * cells); used only in tests / analysis, never on the runtime path.