php-in-php: ArrayDiffRuntime NestedJIT → JitVmHelperLink::ensureCompiled (#1492)

[PurHur]

Category

php-in-php · runtime-shrink (#1492, peer #22954 ArrayMerge / #22801 ArrayPush)

Problem

lib/JIT/Builtin/ArrayDiffRuntime.php still hand-rolls NestedJitCompileScope::run + parseAndCompile + new JIT() for ArrayDiffJitHelper.php. Peer array runtimes (ArrayMergeRuntime #22954) route helper compile through JitVmHelperLink::ensureCompiled for consistent user-script env clearing, insert-block restore, and helper-runtime cache.

php-src reference

• php/php-src ext/standard/array.c — PHP_FUNCTION(array_diff) (semantics unchanged; compile-path only)

PHP implementation target

• lib/JIT/Builtin/ArrayDiffRuntime.php — replace ensureJitHelperCompiled body with JitVmHelperLink::ensureCompiled + lookupCompiled; drop use PHPCompiler\JIT / NestedJitCompileScope
• test/unit/ArrayDiffRuntimeShrinkTest.php — guard JitVmHelperLink::ensureCompiled, no hand-rolled NestedJitCompileScope::run / parseAndCompile / new JIT(

Repro

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit test/unit/ArrayDiffRuntimeShrinkTest.php'
make bootstrap-selfhost-vm-driver-execute-probe

Done when

• ArrayDiffRuntime uses JitVmHelperLink::ensureCompiled only for helper compile
• Shrink unit test green
• make bootstrap-selfhost-vm-driver-execute-probe green
• PR body cites lines removed

Refs #1492, #12527, #14342, #22954, #22801

[PurHur]

claim: PHP Runtime → PHP — starting this run

Pillar 1 (pre-claim):

Gate	Status	Symptom
docker info	green	OK
make bootstrap-selfhost-link	green	OK /compiler/build/selfhost
php script/bootstrap-inventory.php --check	green	OK 6537/6537
release-readiness --json	in progress	parallel CI containers present; inventory already green

Migrating ArrayDiffRuntime NestedJIT hand-roll → JitVmHelperLink::ensureCompiled (peer #22954 ArrayMerge).

[PurHur]

Merged #23117

Verification:

• vendor/bin/phpunit test/unit/ArrayDiffRuntimeShrinkTest.php → OK (3 tests, 15 assertions)
• make bootstrap-selfhost-vm-driver-execute-probe → OK

Net shrink: ArrayDiffRuntime.php −17 lines (hand-rolled NestedJIT → JitVmHelperLink::ensureCompiled).

Next candidates: ArrayDiffKeyRuntime, ArrayIntersectRuntime, then assoc/replace variants.