[nahime0]

Small statically bound instance methods now participate in the EIR inliner. Calls to eligible accessors and predicates are replaced by their bodies, preserving receiver checks, private-property resolution, argument behavior and ownership.

• Resolve plain non-nullable user-class receivers when the class or method is final, or the method has no vtable slot. Instantiated generic receivers with a slot keep real calls because variance can change the actual instantiation, including final classes and methods.
• Preserve each transplanted instruction's lexical class in Function::inlined_scopes; scope-sensitive codegen and body copying consume that metadata. Buffer property reuse compares the original instruction scope entries before merging reads, keeping shadowed parent and child private buffers distinct.
• Borrow $this through an epilogue-excluded temporary and hide transplanted locals from the caller's PHP variable scope. Keep calls whose signatures, frame-dependent operations, backtrace visibility or ownership cannot be reproduced safely.

This branch includes the exact #2044 head d256479dfdb749b06b41774d437bfb3658583ca3 through merge 037b8538b6457b1d91804ece0e76059c08664661. The integration resolves CJ task f3f64c3d, while the original method-inlining work addresses CJ task 5ea2b764. Wait for #2044 to merge before adding this PR to the merge queue. The generic eligibility guard matches the narrow guard in #2070; its additional opcode work is separate.

Regression coverage includes EIR shape on all five supported targets, receiver/null and visibility checks, private-property scopes, generic retained calls, backtraces, defaults, destructor timing and runtime behavior with IR optimization on and off. Original-ID scope matrices cover mismatched scopes and both Some/None directions, plus positive record/descriptor reuse for equal scopes. The natural shadowed-buffer fixture verifies accessor splicing, three distinct property reads and output 273 in both optimizer modes; borrowed receiver temporaries intentionally keep those reads outside the method-local reuse proof. Examples and compiler internals documentation are updated.

The full combined diff from f708b38dfae0cc1cd34308d023b487a690ed9753 received a clean, read-only Claude review on exact head 54cc37bce4fb99f8fab830097a00cdc26aa45084, delegation c8634081-0672-41e9-a2b9-c7d03b6e7780. This includes the loop fixture's missing second_property initializer, which CI exposed on the previous head. Both helper constructors now record the original second property value. git diff --check is clean. No local builds or tests were run, as requested. Fresh CI and Greptile must pass on this head; the prior b0c60a296 review and CI results do not validate this correction.

[greptile-apps]

Confidence Score: 5/5

[Medium impact] The latest update appears safe to merge, subject to the required CI checks.

Summary

The PR inlines small instance methods when their target is known and preserves each copied instruction's class scope.

• Eligible instance-method calls now run as part of their callers.
• Repeated buffer-property reads now share work when the code between them leaves it unchanged.
• Loop buffer resolution now runs before later invariant loads in the preheader.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart LR
    A[Method call] --> B{Safe to inline?}
    B -->|No| C[Keep call]
    B -->|Yes| D[Bind arguments and check receiver]
    D --> E[Copy body with original class scope]
    E --> F[Optimize copied instructions]

Loading

_{Reviews (4) · Last reviewed commit: "fix(tests): initialize the loop fixture ..." · Reviewed by Greptile}