AOT: mb_convert_case(MB_CASE_TITLE) refuses runtime encoding — LogicException (leftover of #34284, ext/mbstring/mbstring.c)

[PurHur]

Category

bug · AOT · stdlib · mbstring · NestedJIT leftover

Problem

mb_convert_case(..., MB_CASE_TITLE, $encoding) with a runtime encoding string fails at AOT compile with LogicException: mb_convert_case() encoding must be a string literal. UPPER/LOWER already accept runtime encoding via JitMbCase (#34858). TITLE still requires a compile-time literal (JitMbConvertCase::runtimeEncodingFromCaseArgs).

Repro	Zend / VM	AOT (bin/compile.php)
$e='UTF-8'; echo mb_convert_case('ab', MB_CASE_UPPER, $e);	AB	AB
$e='UTF-8'; echo mb_convert_case('ab', MB_CASE_TITLE, $e);	Ab	compile fails LogicException
echo mb_convert_case('istanbul', MB_CASE_TITLE, 'UTF-8');	Istanbul	Istanbul

php-src reference

• php/php-src ext/mbstring/mbstring.c — PHP_FUNCTION(mb_convert_case) Argument Stdlib: ceil, floor, intval and expanded PHPT specs #3 $encoding

PHP implementation target

• ext/mbstring/JitMbConvertCase.php — TITLE path: NestedJIT encoding ptr + assert (peer JitMbCase::encodingPtr / AOT: mb_strtolower()/mb_strtoupper()/mb_ucfirst()/mb_lcfirst() refuse runtime encoding — LogicException (leftover of #34625, ext/mbstring/mbstring.c) #34858)
• ext/mbstring/MbConvertCaseJitHelper.php + lib/JIT/Builtin/MbConvertCaseRuntime.php — assertEncodingArgv with Argument Stdlib: ceil, floor, intval and expanded PHPT specs #3

Repro

./script/aot-smoke.sh   # must stay 8/8
./script/docker-exec.sh -- bash -lc 'printf "%s\n" "<?php" "\$e=\"UTF-8\";" "echo mb_convert_case(\"ab\", MB_CASE_TITLE, \$e);" > /tmp/t.php; php /tmp/t.php; php bin/vm.php /tmp/t.php; php bin/compile.php -o /tmp/t.bin /tmp/t.php && /tmp/t.bin; echo'

Done when

• AOT matches Zend/VM for TITLE/TITLE_SIMPLE with runtime encoding
• Invalid runtime encoding → catchable ValueError Argument Stdlib: ceil, floor, intval and expanded PHPT specs #3 (not LogicException / SIGSEGV)
• ./script/aot-smoke.sh still 8/8
• Unit/repro guard + ./script/phpunit.sh --filter MbConvertCaseRuntimeAotTest

Parent / peers

• Leftover of #34284 / peer runtime-encoding wave #34858 #34884

[PurHur]

claim: stdlib-aot agent — implementing NestedJIT runtime encoding for mb_convert_case(TITLE) (peer #34858 / leftover #34284). aot-smoke 8/8 on master.