Repository navigation
php-in-php: drop UserScriptAotDeferNestedJit from JitStatPathKernel — thin libc via isThinStandaloneAotMain (#1492) #20086
Description
Category
php-in-php · runtime-shrink (#1492, follow #20028 rename / #20034 nextafter / #20011 bin2hex)
Problem
ext/standard/JitStatPathKernel.php still gates user-script standalone AOT path predicates (file_exists / is_file / is_dir / …) through UserScriptAotDeferNestedJit::shouldDefer() → inline JitStatKernel libc. #20028 / #20034 proved the same thin path can use Context::isThinStandaloneAotMain() (no defer class) while embed keeps NestedJIT → StatPathJitHelper PHP.
| Mode | Today | Target |
|---|---|---|
| Thin standalone AOT | UserScriptAotDeferNestedJit → libc |
isThinStandaloneAotMain() → JitStatKernel libc |
| Embed / non-thin | StatPathJitHelper NestedJIT |
unchanged |
php-src reference
- php/php-src ext/standard/filestat.c —
php_stat,PHP_FUNCTION(file_exists)/is_file/ …
PHP implementation target
ext/standard/JitStatPathKernel.php— replaceUserScriptAotDeferNestedJit::shouldDeferwith$context->isThinStandaloneAotMain(); delete defer importtest/unit/StatPathRuntimeShrinkTest.php— assert noUserScriptAotDeferNestedJit; thin gate usesisThinStandaloneAotMain
Repro
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
vendor/bin/phpunit test/unit/StatPathRuntimeShrinkTest.php
vendor/bin/phpunit test/unit/FilemtimeBuiltinTest.php test/unit/FilesizeBuiltinTest.php test/unit/FiletypeBuiltinTest.php
make bootstrap-selfhost-vm-driver-execute-probe
'Done when
-
UserScriptAotDeferNestedJitremoved fromJitStatPathKernel - Thin path uses
isThinStandaloneAotMain()+JitStatKernellibc - Embed path still
StatPathJitHelperNestedJIT -
StatPathRuntimeShrinkTest+ related file-stat unit tests green -
make bootstrap-selfhost-vm-driver-execute-probegreen - PR body cites lines removed / defer gate deleted
Activity
PurHur commentedon Jul 17, 2026
claim: PHP Runtime → PHP — starting this run.
Pillar 1 (this host):
make bootstrap-selfhost-link→ OK/compiler/build/selfhostphp script/bootstrap-inventory.php --check→ OK 5441/5441make bootstrap-selfhost-helloworld→ OK (Hello World, emit_path=native)./script/release-readiness.sh --json→ still running (north-star5-verify --fastin progress); inventory/link/helloworld greenPlan: replace
UserScriptAotDeferNestedJit::shouldDeferinJitStatPathKernel::implementPathBoolBridgewith$context->isThinStandaloneAotMain()(#20028 / #20034 shape); updateStatPathRuntimeShrinkTest.php-in-php: drop UserScriptAotDeferNestedJit from JitStatPathKernel (#…
PurHur commentedon Jul 17, 2026
Merged via #20088
Verification:
StatPathRuntimeShrinkTestOK (noUserScriptAotDeferNestedJit; assertsisThinStandaloneAotMain)file_exists/is_file/is_dir/is_readable→exists1/file1/dir1/r1bootstrap-selfhost-vm-driver-execute-probeOKShrink: deleted NestedJit defer gate from
JitStatPathKernel; thin path usesisThinStandaloneAotMain()+JitStatKernellibc (embed unchanged).