Function sequant::eval::strict_fill_once

Function Documentation

inline bool sequant::eval::strict_fill_once() noexcept

diagnostic (analysis-only, off by default): counts actual builds at the single build chokepoint (finish_phase_b) — every freshly computed non-leaf node, cached or not. Unlike DefUseMeter (which counts cache.store_and_access() calls, and so also counts re-home/placement stores of an already-built value), this counts real contraction executions, so build_count > iterations for a node == genuine recompute (re-run contraction), the ground truth the flop count reflects. Env gate SEQUANT_UT_BUILD_METER. Single-threaded only. Strict cache-fill-once mode (see entry::store): env SEQUANT_UT_STRICT_FILL_ONCE.