php-in-php: phpversion/php_uname/extension_loaded — delete phpc_info.c (~400 lines), VM+JIT from ext/standard

[PurHur]

Category

php-in-php | stdlib | runtime

Problem

Introspection builtins (phpversion, php_sapi_name, php_uname, version_compare, extension_loaded, get_loaded_extensions) split between PHP ext/standard/*.php VM handlers and a ~400-line C translation unit linked for JIT/AOT:

• lib/AOT/runtime/phpc_info.c (registered in lib/AOT/Linker.php)
• lib/JIT/Builtin/StringInfo.php bitcode link
• ext/standard/JitInfo.php LLVM lowering

Self-host M5 should execute these from compiled PHP in ext/standard/, not maintain parallel C string tables.

php-src reference

• php/php-src ext/standard/info.c — phpversion, php_sapi_name, php_uname, extension_loaded, get_loaded_extensions
• php/php-src ext/standard/versioning.c — version_compare

Repro (C runtime today)

./script/docker-exec.sh -- bash -lc 'wc -l lib/AOT/runtime/phpc_info.c
grep phpc_info lib/AOT/Linker.php
grep -l phpc_info lib/JIT/Builtin/*.php ext/standard/JitInfo.php'

VM path already works for basic calls:

./script/docker-exec.sh -- bash -lc 'php bin/vm.php -r "var_export(version_compare(\"8.3.0\",\"8.2.0\",\">\"));"'

JIT/AOT still require phpc_info.c symbols until lowered from PHP.

Scope (this repo)

• Extend existing ext/standard/phpversion.php, php_uname.php, version_compare.php, extension_loaded.php, get_loaded_extensions.php, php_sapi_name.php with shared VmInfo helper
• Add lib/JIT/Builtin/Info*.php lowerings mirroring VM semantics (replace StringInfo bitcode link)
• Delete lib/AOT/runtime/phpc_info.c; remove from lib/AOT/Linker.php and lib/JIT/Builtin/StringInfo.php
• Enum operand guards: coordinate with Stdlib: extension_loaded() / class_exists() enum case string operands must TypeError (basic_functions.c) #5817 / Stdlib: version_compare() — enum case operand must TypeError not Error (ext/standard/versioning.c, php-src-strict) #5955 (php-src-strict TypeError)

Done when

• JIT + AOT compile/link without phpc_info.c (grep clean)
• ~400 lines removed from lib/AOT/runtime/ (note in PR body)
• Existing compliance / AOT PHPT for phpversion, version_compare, extension_loaded stay green
• script/capability-matrix.php regeneration shows JIT/AOT yes without C fallback notes

Verification

./script/docker-exec.sh -- bash -lc '! grep -r phpc_info lib/AOT/Linker.php lib/JIT/Builtin/StringInfo.php 2>/dev/null || test $? -eq 1'
./script/docker-exec.sh -- vendor/bin/phpunit --filter 'Phpversion|VersionCompare|ExtensionLoaded'
make bootstrap-selfhost-link  # smoke when JIT symbols change

Pairs with parity issues #5817, #5955; advances #1492 PHP-in-PHP shrink-C-runtime goal.

[PurHur]

claim: PHP Runtime → PHP — starting this run (#6124 phpc_info.c: LLVM from ext/standard/VmInfo + JitInfo, delete ~400 lines C)

[PurHur]

Merged via #6269.

C runtime shrink: deleted phpc_info.c (401 lines); phpc_version_compare.c retains only version_compare (248 lines) until full LLVM port — net −153 lines in lib/AOT/runtime/.

PHP path: lib/JIT/Builtin/StringInfo.php LLVM for phpversion / php_sapi_name / php_uname / extension_loaded / get_loaded_extensions (mirrors ext/standard/VmInfo.php).

Verification (green):

• VM: version_compare, phpversion, extension_loaded compliance + StringInfoRuntimeStandaloneTest
• ./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter "StringInfoRuntimeStandaloneTest|version_compare|Phpversion"' → 7 pass (2 AOT fixture link failures pre-exist on master)

Follow-up: LLVM-lowering for __compiler_version_compare to delete remaining 248-line C unit.