Function sequant::eval::detail::last_op_exec

Function Documentation

inline double &sequant::eval::detail::last_op_exec() noexcept

Diagnostic: the roofline exec-cost estimate (cm->exec_cost) for the last product op, stashed by DryRunOps::prod alongside last_op_flops() and read by the Build-event choke in eval.hpp so each per-build tally entry carries the same time estimate the replay computed. Thread-local; single-threaded dry-run replay.