ponder-lab / Hybridize-Functions-Refactoring / #2274

80%

main: 80%

Build Type

Pull #712

github

Committed by khatchad

Commit Message

Compute the tensor-op check only where it can affect a decision

`computeTensorComputation` was run for every tensor-parameter candidate, but
`check()` consults the result only for eager candidates (barren blocks
hybridization) and hybrid candidates with no primitive parameter (barren
de-hybridizes). A hybrid function with a primitive parameter de-hybridizes on
the literal regardless, so computing the tensor op there—an IR and call-graph
traversal—is wasted. Gate on the cases that can decide, still overridable by
`alwaysCheckTensorComputation`. The gate is deliberately narrower than the
recursion check's, whose result is consulted for every tensor-parameter
candidate.

Refs #709.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FuhM8SsTRB6BraLt3Ph7ZC

Pull Request Pull Request #712: Add benefit preconditions for barren functions

Coverage Stats

122 of 130 new or added lines in 5 files covered. (93.85%)

11 existing lines in 1 file now uncovered.

1757 of 2200 relevant lines covered (79.86%)

0.8 hits per line