Repository navigation
Regression: AOT preg_split() returns empty — VM/JIT match Zend (re-#27080, ext/pcre/php_pcre.c) #27208
Description
Category
Regression · php-src-strict · AOT · pillar 4
Problem
preg_split matches Zend on VM/JIT, but thin AOT builds successfully then prints empty stdout (exit 0) — silent wrong output. Closed #27080 was an AOT compile type-mismatch; this is the post-fix runtime gap (2026-08-03, 1833761dc).
| Repro | Zend / VM / JIT | AOT |
|---|---|---|
implode(",", preg_split("/\\s+/", "a b c")) |
a,b,c |
(empty) |
Peer open AOT PCRE: #27195 (preg_match_all abort), #27181 (preg_filter abort) — different symptoms.
php-src reference
- php/php-src
ext/pcre/php_pcre.c—PHP_FUNCTION(preg_split)/php_pcre_split
PHP implementation target
- NestedJIT /
PregSplithelper return value materialization for thin AOT — array of strings must survive toecho/implodelike VM - Keep behavior in
ext/pcre+lib/JITPHP; no newruntime/*.csplit logic
Repro
./script/docker-exec.sh -- bash -lc '
cat > /tmp/aot_preg_split.php <<'"'"'PHP'"'"'
<?php
echo implode(",", preg_split("/\s+/", "a b c")), "\n";
PHP
php /tmp/aot_preg_split.php
php bin/vm.php /tmp/aot_preg_split.php
php bin/jit.php /tmp/aot_preg_split.php
PHP_COMPILER_HELPER_RUNTIME_O=0 ./phpc build -o /tmp/aot_preg_split /tmp/aot_preg_split.php && /tmp/aot_preg_split
'Done when
- AOT prints
a,b,cmatching Zend/VM/JIT - Prefer
--repeat 10if memory-safety suspected - Repro/compliance guard; php-src-strict only
Activity
PurHur commentedon Aug 3, 2026
claim: Worker Lane B — starting this run
Pre-triage gates (master workspace)
bootstrap-inventory --check: OK 6931/6931 (release-readiness); direct check showed committeddocs/bootstrap-inventory.mdconstruct-flag drift onlyrelease-readiness --json:user_release_ready: noNaturalCompareJitHelper.phpPurHur commentedon Aug 3, 2026
merged: #27466
Verification
a,b,c(HELPER_RUNTIME_O=0 and default helper cache)$p/$sAOT alsoa,b,cvendor/bin/phpunit --filter 'PregAotFastPathTest|PregMatchRuntimeShrinkTest|PregSplitBuiltinTest'OK (17)--checkOK 6932/6932Fix AOT preg_split empty/hang via literal fold + thin LLVM bridge (#2…
Fix AOT preg_split empty/hang via literal fold + thin LLVM bridge (#2…
PurHur commentedon Aug 3, 2026
Merged as
5853164b2via #27466 (squash).Re-verified after rebase onto master: AOT repro prints
a,b,c;PregSplitBuiltinTestOK.