[ondrejmirtes]

Twelve changes that make the analysis itself do less work: freeing objects, by-name lookups and type traversals. They came out of profiling the turbo-codegen branch but stand without it. Each touches hand-written turbo code or plain PHP only.

Full parallel self-analysis vs 2.3.x (turbo on, ShipMonk DCD off in both legs, 5 alternating pairs): user CPU −4.37% (51.47 → 49.22 s, faster 5/5), wall −2.81% (8.34 → 8.11 s, faster 5/5), main-process peak memory −1.9%. Identical output (no errors in either leg).

Native only

Change	Instructions*
Skip the static-type rewrites (prototype reflections, StaticType receivers) of types containing no StaticType. Whether a type contains one is computed once per type object and kept in its native header.	−1.18%
TypeTraverser builds its two bound callables once per traversal instead of once per traversed type.	−1.01%
One shared plain ObjectType per class name for native code, dropped with ObjectType::resetCaches().	−0.92%
resolveToBounds()/resolveToDefaults() skip types containing no TemplateType, using the same per-type cached answer.	−0.59%
Node class infos looked up by class entry before the by-name table.	−0.59%
While the garbage collector is disabled (bin/phpstan), stop the engine buffering possible cycle roots that nothing will ever collect.	−0.58%, −10 MB
StaticType's callbacks as native closures instead of a holder object plus a Closure.	−0.26%
TypeTraverser instances reused across traversals.	−0.20%
ObjectType's guarded callbacks as native closures.	−0.13%

PHP and native

• ScopeServices: the thirteen services, the expression result storage stack and the node callback every scope carried in a property each now live in one object the scope factory builds once. MutatingScope goes from 37 property slots to 23, which saves copying and releasing them for every scope. −0.88% instructions, ~−3% cycles.
• IsSuperTypeOfResult::createFromTrinaryLogic() (new, @api): returns the shared createYes()/createNo()/createMaybe() instance. The ~40 sites that spelled new IsSuperTypeOfResult($result, []) use it. and(), or(), extremeIdentity(), maxMin(), lazyMaxMin(), negate() and decorateReasons() return the shared instance when no operand has reasons, and skip merging empty arrays. −0.48% instructions.
• FunctionReturnTypeCheck asks VerbosityLevel::getRecommendedLevelByType(), which traverses both types, only when it reports an error, instead of for every return. −0.29% instructions.

* Instructions retired on a single-process analysis of src/Analyser src/Rules src/Type, each measured on its own in alternating pairs on the turbo-codegen branch.

Verified on this branch: walk trace identical (664,909 lines), the whole suite with and without the extension (22,539 tests), make phpstan, phpcs, the shared core identical across PHP 8.3–8.6 NTS/ZTS, clang-tidy.

🤖 Generated with Claude Code

https://claude.ai/code/session_01MMNnG2Zo7wgvSZCzjdk17X