php-in-php: route time() through TimeJitHelper; drop LibcExtern time (#30332)

[PurHur]

Summary

• Route JIT/AOT time() through JitVmHelperLink → TimeJitHelper (@\time) with NestedJIT thin JitTimeKernel libc time(2) leaf (microtime php-in-php: StringMicrotime libc gettimeofday LLVM → JitVmHelperLink + MicrotimeJitHelper PHP (gettimeofday #13764 shape) #29405 / gethostname php-in-php: GethostnameJitHelper → @gethostname NestedJIT leaf; delete phpc_gethostname_kernel (re-#29313 / putenv #29334) #29364 shape).
• Drop 'time' from LibcExtern (TouchLibcRuntime + JitTimeKernel declare module-locally).
• Closes php-in-php: JitDate::time libc time(2) → JitVmHelperLink + TimeJitHelper PHP (microtime #29405 shape) #30332.

C / ABI shrink

• lib/JIT/LibcExtern.php: removed 'time' => decl (−1 libc surface row).
• ext/standard/JitDate.php: removed inline lookupFunction('time') body (−~10 lines LLVM call path).

php-src reference

• php/php-src ext/date/php_date.c — PHP_FUNCTION(time)

PHP implementation

• lib/JIT/Builtin/StringTime.php — bridge
• ext/standard/TimeJitHelper.php — helper peel
• ext/standard/JitTimeKernel.php — NestedJIT leaf
• Spine + inventory 7364→7367

Test plan / verification (exact)

php script/bootstrap-inventory.php --check
# OK 7367/7367
php script/check-selfhost-spine-coverage-sync.php
# OK (spine covers all 7367 inventory files, …)
php -d memory_limit=512M vendor/bin/phpunit test/unit/TimeRuntimeShrinkTest.php
# OK (8 tests, 27 assertions)
php -d memory_limit=512M vendor/bin/phpunit test/unit/LibcExternDeadDeclsRuntimeShrinkTest.php
# OK (4 tests, 42 assertions)
php bin/vm.php -r 'echo time(), "\n";'   # matches host time()
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
cat > /tmp/time_smoke.php <<'"'"'PHP'"'"'
<?php
$t = time();
echo is_int($t) ? "int\n" : "badtype\n";
echo ($t > 946684800) ? "ok\n" : "low\n";
PHP
./phpc build -o /tmp/time_smoke /tmp/time_smoke.php && /tmp/time_smoke
make bootstrap-selfhost-vm-driver-execute-probe
'
# AOT: int / ok
# bootstrap-selfhost-vm-driver-execute-probe: OK

Not covered: full bootstrap-selfhost-link native gen-0 (falls back to Zend — #28998 exclusive r4); north-star5-verify --strict.

Made with Cursor