Stdlib: locale_filter_matches() JIT path throws instead of matching php-src prefix filtering (ext/intl/locale/locale_methods.c)

[PurHur]

Category

bug · php-src-strict

Problem

locale_filter_matches() already has working PHP semantics in ext/intl/VmLocale.php, including the canonicalize-sensitive behavior covered by the existing intl compliance case. The JIT entrypoint in ext/intl/locale_filter_matches.php still throws RuntimeException: locale_filter_matches() JIT lowering not implemented; use VM, so backend selection changes observable behavior versus php-src.

Repro	Zend / php-src expected	JIT (2026-08-18)
locale_filter_matches("de-DE", "de", false)	true	RuntimeException: locale_filter_matches() JIT lowering not implemented; use VM

VM/reference confirmation in this tree today:

• ./script/docker-exec.sh -- bash -lc 'php test/repro/issue_25198_locale_lookup_named.php' prints filter_pos=true and filter_named=true
• ./script/docker-exec.sh -- bash -lc 'php -r '\''require \"vendor/autoload.php\"; var_dump(PHPCompiler\\ext\\intl\\VmLocale::filterMatches(\"de-DE\", \"de\", false));'\''' prints bool(true)
• test/compliance/cases/intl/locale_filter_matches_canonicalize_20939.phpt already records php-src-strict canonicalize behavior for the VM path

php-src reference

• php/php-src ext/intl/locale/locale_methods.c — locale_filter_matches() / Locale::filterMatches semantics
• php/php-src ext/intl/php_intl.stub.php — procedural arginfo / named-parameter surface

PHP implementation target

• ext/intl/locale_filter_matches.php — lower JIT calls instead of throwing
• ext/intl/VmLocale.php — keep prefix-match/canonicalize semantics SSOT
• lib/JIT/ helper if necessary, but do not move the behavior into new C/runtime branches

Repro

./script/docker-exec.sh -- bash -lc 'php test/repro/issue_25198_locale_lookup_named.php'
./script/docker-exec.sh -- bash -lc 'php -r '\''require "vendor/autoload.php"; $ctx=(new ReflectionClass("PHPCompiler\\JIT\\Context"))->newInstanceWithoutConstructor(); try { (new PHPCompiler\ext\intl\locale_filter_matches())->call($ctx); } catch (Throwable $e) { echo get_class($e),": ",$e->getMessage(),"\n"; }'\'''

Done when

• locale_filter_matches() returns the same result on JIT as php-src/VM for ordinary and canonicalize-sensitive cases instead of throwing
• The behavior from test/compliance/cases/intl/locale_filter_matches_canonicalize_20939.phpt is covered on the JIT path too
• Named/optional args from test/repro/issue_25198_locale_lookup_named.php behave identically on VM and JIT
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: PHP Compiler STD Lib Advanced — batch (issues #32118, #32119, #32120)

[PurHur]

claim: PHP Compiler STD Lib Advanced — implementing #32119 after #32118 merged in #32174. JIT lowering via JitLocaleFilterMatches / LocaleFilterMatchesJitHelper → VmLocale::filterMatches().

[PurHur]

Merged in #32177.

Verification (Docker ./script/phpunit.sh / docker-exec.sh):

• --filter 'LocaleFilterMatchesJitShrinkTest|LocaleFilterMatchesJitCompileTest|LocaleFilterMatchesJit32119' → OK (7 tests, 27 assertions).
• php test/repro/issue_32119_locale_filter_matches_jit.php → filter_pos=true, filter_named=true, filter_vars=true, kw_f=0, kw_t=1.
• php script/bootstrap-inventory.php --check → OK 7586/7586.

php-src-strict: ext/intl/JitLocaleFilterMatches.php + helper → VmLocale::filterMatches() (php-src ext/intl/locale/locale_methods.c). Next: #32120.