Stdlib: register array_uasort/array_uksort/array_udiff* aliases in Module.php (ext/standard array.c names)

[PurHur]

Category

stdlib · php-src-strict

Status (updated 2026-06-18 — alias registration GREEN)

Verified on bin/vm.php:

array_uasort=true  array_uksort=true  array_udiff=true
array_uintersect=true  array_replace_key=true

Alias registration is done. Remaining work is comparator semantics and JIT native lowering — track in #5649, #5644, #9155, #9356 (SPL uasort/uksort).

Problem (original)

php-src registers legacy short names (uasort, uksort) and array_* aliases. Alias function_exists probes were false; now true.

php-src reference

• php/php-src ext/standard/array.c
• php/php-src ext/standard/basic_functions.c

Repro (closure check)

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php -r "
foreach ([\"array_uasort\",\"array_uksort\",\"array_udiff\",\"array_uintersect\",\"array_replace_key\"] as \$f) {
    echo \$f, \"=\", var_export(function_exists(\$f), true), PHP_EOL;
}
"'
# All true → alias portion of this issue is satisfied

Scope (this repo)

Path	Status
ext/standard/Module.php	Aliases registered ✅
array_u*sort / array_udiff* VM comparators	#5649 / #9155
JIT array_udiff native call()	#9155

Done when

• All array_* alias names in repro return function_exists true
• Comparator parity issues above closed (then close this issue as registration-only tracker)

Related

• Stdlib: array_uasort()/array_uksort() — user comparator sort builtins missing (ext/standard/array.c) #5649 · Stdlib/JIT: array_udiff/array_uintersect/array_*_u* — native JIT lowering still throws (VM interpreter fallback only) #9155 · Stdlib: ArrayIterator/ArrayObject::uasort()/uksort() missing — PHP 8.4 SPL (ext/spl/spl_array.c) #9356 SPL sorts

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Unclaiming: array_uasort/array_uksort/array_replace_key aliases already registered on master (function_exists true on VM). Zend PHP 8.2 in Docker also reports false for array_uasort (alias removed upstream). Recommend closing.

[PurHur]

Status refresh (2026-06-17) — alias registration done

Verified on master in Docker:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php -r "
foreach ([\"array_uasort\",\"array_uksort\",\"array_udiff\",\"array_replace_key\",\"array_uintersect\"] as \$f) {
  echo \$f, \"=\", var_export(function_exists(\$f), true), PHP_EOL;
}
"'

All report true (was false when this issue was filed).

Remaining work (re-scope for workers)

Item	Tracker
User-comparator semantics on VM	#5644 (closed — builtins exist)
Native JIT call() lowering (still throws VM-only)	#9155 (new)
array_replace_key PHP 8.4 semantics	separate if behavior gaps found

Done when (updated)

• function_exists('array_uasort') etc. true — met 2026-06-17
• Close this issue after Stdlib/JIT: array_udiff/array_uintersect/array_*_u* — native JIT lowering still throws (VM interpreter fallback only) #9155 lands OR confirm JIT native lowering not required for alias-only scope
• If closing: add note in capability matrix that aliases forward to short-name handlers

Do not re-implement alias Module.php registration — already green.

[PurHur]

claim: PHP Compiler STD Lib — investigating array_udiff_family closure callback lifetime (#5644)

[PurHur]

claim released: root cause is closure variable lifetime after array_udiff()+array_uintersect() — is_callable($cmp) false before second comparator use; addRef during builtin did not help. Repro: test/repro/maintainer_gap_array_uintersect_corrupts_cmp.php; compliance test/compliance/cases/stdlib/array_udiff_family.phpt fails at array_uintersect_uassoc(). Needs VM closure/ObjectEntry fix (closureState cleared while scope var still object). Track under #5644 family / #9155.

[PurHur]

claim: PHP Compiler STD Lib — starting this run (uasort/array_uasort AOT assoc + closure lowering)

[PurHur]

Progress (#5698 uasort/array_uasort JIT/AOT)

Root cause: uasort_::call() incorrectly routed through SortRuntime::sortPacked() (packed sort() semantics) instead of value-preserving uasort lowering.

Fix (branch agent/stdlib-uasort-aot-5698):

• UsortRuntime::uasortValues() — strcmp via __hashtable__sortStringKeyValues (string-key assoc) / SortRuntime::sortPacked (packed lists); closure via new UsortJitHelper::sortValuesWithClosure bridge
• uasort_::call() delegates to UsortRuntime::uasortValues
• UsortJitHelper / ValueSortJitHelper: use exportKeyValuePairs() for nested JIT/AOT (php-in-php: delete StringStrtrStandaloneLlvm — route standalone AOT through StrtrArrayJitHelper PHP (#9392 completion) #12908 pattern)

Verification (green):

php bin/jit.php test/repro/agent_aot_uasort_strcmp.php          # a:apple c:mango b:zebra
php bin/jit.php test/repro/agent_aot_array_uasort.php           # array('a'=>1,'b'=>2)
php bin/jit.php test/compliance/cases/stdlib/uasort_jit.phpt    # apple,mango,zebra
php vendor/bin/phpunit --filter UsortRuntimeShrinkTest          # OK
php vendor/bin/phpunit --filter ValueSortRuntimeShrinkTest      # OK

AOT compile blocker (pre-existing in this env): php bin/compile.php -r 'echo 42;' fails LLVM module verify (__value__writeHashtable signature mismatch). AOT fixtures added but not verified until that regression is fixed.

Follow-up: VM array_uasort()/array_uksort() aliases still no-op on bin/vm.php while uasort()/uksort() work — likely separate dispatch bug; compliance array_uasort_uksort.phpt fails on VM.

[PurHur]

Merged via #18678 — JIT uasort/array_uasort strcmp + closure lowering green; AOT compile blocked by pre-existing LLVM __value__writeHashtable verify failure in this environment.