php-in-php: preg_replace_callback()/preg_split() JIT — delete LLVM stubs, wire real lowering (ext/pcre/php_pcre.c)

Problem

VM preg_replace_callback() / preg_split() work via ext/standard/VmPreg.php, but MCJIT/AOT still emit stub bodies for __compiler_preg_replace_callback and __compiler_preg_split in lib/JIT/Builtin/StringPregMatchJit.php (returns NULL / BAD_REGEX). Closed #1177 / #1178 covered initial wiring; stubs remain.

<?php
function cb(array $m): string { return strtoupper($m[0]); }
var_export(preg_replace_callback('/a/', 'cb', 'aba'));
// Zend: aBa

php-src reference

php/php-src ext/pcre/php_pcre.c — php_pcre_replace_impl, php_pcre_split
php/php-src ext/standard/basic_functions.stub.php

Repro (JIT)

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/jit.php -r "
function cb(array \$m): string { return strtoupper(\$m[0]); }
echo preg_replace_callback(\"/a/\", \"cb\", \"aba\"), \"\n\";
"'

Observed: NULL / empty or VM fallback depending on probe flags.
Expected: aBa under MCJIT when JIT path selected.

preg_split with PREG_SPLIT_NO_EMPTY similarly fails in JIT when __compiler_preg_split stub is linked.

Scope (this repo)

Path	Work
`lib/JIT/Builtin/StringPregMatchJit.php`	Replace `emitReplaceCallbackStub` / `emitSplitStub` with real PCRE2 lowering (mirror `emitReplace` / `emitMatch`)
`ext/standard/JitPregReplaceCallback.php`, `JitPregSplit.php`	Align callback pointer ABI with VM `VmPregReplaceCallback`
`ext/standard/preg_*.php`	Remove "not supported in JIT/AOT" guards when lowering is real
Tests	`test/compliance/cases/stdlib/preg_replace_callback_jit.phpt`, `preg_split_jit.phpt`

PHP-in-PHP: keep PCRE logic in PHP-generated LLVM + thin libpcre2 ABI; do not grow runtime/*.c.

Done when

preg_replace_callback JIT compliance case matches Zend output
preg_split with flags/limit JIT-lowers (phase with Stdlib: preg_split() $limit / $flags — JIT/AOT lowering (phase 2 of #3639) #4078 if needed)
StringPregMatchJit.php has no stub emitters for callback/split
./script/ci-local.sh --filter preg_replace_callback_jit green (or fast filter while iterating)

Strictness

php-src-strict for user scripts; enum-case operands per #5999.

Stdlib: preg_replace_callback() — VM + LLVM JIT/AOT #1177 · Stdlib: preg_split() — VM + LLVM JIT/AOT #1178 · Stdlib: preg_split() $limit / $flags — JIT/AOT lowering (phase 2 of #3639) #4078 · php-in-php: preg_match() JIT — delete preg_match.c (~112 lines), lower from ext/standard/VmPreg.php #5289 · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

claim: PHP Runtime → PHP — starting this run (#6639: replace preg_replace_callback/preg_split LLVM stubs in StringPregMatchJit with real lowering from JitPregReplaceCallback/JitPregSplit).

Unclaiming #6639 this run: picked #5303 closure (phpc_weakref.c migration already merged #5684). #6639 handoff: fix __compiler_preg_replace_callback ABI (declareFunction param order vs JitPregReplaceCallback), replace emitReplaceCallbackStub/emitSplitStub with real LLVM from emitReplaceInternal pattern; AOT preg_replace_callback.phpt currently fails compile with "runtime callback type is not a function pointer".

claim: PHP Runtime → PHP — starting this run (#6639: replace preg_replace_callback/preg_split LLVM stubs, fix __compiler_preg_replace_callback ABI param order).

php-in-php: real LLVM for preg_replace_callback/preg_split (#6639) (#…

Merged via PR #7662.

PHP path: StringPregMatchJit::emitReplaceCallback + emitSplit replace BAD_REGEX/NULL stubs; __compiler_preg_replace_callback ABI fixed to (pattern, subject, callback fn*); indirect callback via LLVMBuildCall2.

Verification (VM+JIT green):

vendor/bin/phpunit test/unit/JIT/StringPregMatchRuntimeStandaloneTest.php — OK
--filter preg_replace_callback_jit / preg_split_jit / stdlib/preg_replace_callback — OK

Note: AOT preg_replace_callback/preg_split fixtures still hit pre-existing standalone module verify during bin/compile.php (reproduces on master); handoff for a follow-up AOT link gate.

Navigation Menu

Repository navigation

php-in-php: preg_replace_callback()/preg_split() JIT — delete LLVM stubs, wire real lowering (ext/pcre/php_pcre.c) #6639

Category

Problem

php-src reference

Repro (JIT)

Scope (this repo)

Done when

Strictness

Related

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

php-in-php: preg_replace_callback()/preg_split() JIT — delete LLVM stubs, wire real lowering (ext/pcre/php_pcre.c) #6639

Description

Category

Problem

php-src reference

Repro (JIT)

Scope (this repo)

Done when

Strictness

Related

Activity

PurHur commented on Jun 8, 2026

PurHur commented on Jun 8, 2026

PurHur commented on Jun 8, 2026

PurHur commented on Jun 8, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions