Stdlib: array_uasort()/array_uksort() — user comparator sort builtins missing (ext/standard/array.c)

[PurHur]

Category

stdlib

Problem

Zend provides array_uasort() and array_uksort() — sort array values or keys in-place using a user callable, preserving the opposite dimension (keys vs values). This compiler registers uasort() / uksort() but not the array_* variants; function_exists() is false for both under bin/vm.php.

Distinct from #5644 (assoc diff/intersect + array_udiff family) and from uasort/uksort (already present).

php-src reference

• php/php-src ext/standard/array.c — PHP_FUNCTION(array_uasort), PHP_FUNCTION(array_uksort) → php_array_uasort, php_array_uksort
• php/php-src ext/standard/php_array.h — compare callback wiring (reuse usort/uksort internals)

Repro (failure today)

<?php
$a = ['b' => 2, 'a' => 1];
array_uasort($a, fn($x, $y) => $x <=> $y);
var_export($a);

$k = ['b' => 1, 'a' => 2];
array_uksort($k, fn($x, $y) => strcmp((string)$x, (string)$y));
var_export($k);

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php -r "var_dump(function_exists(\"array_uasort\"), function_exists(\"array_uksort\"));"
php bin/vm.php repro.php
'

Runtime	Result
Zend PHP 8.x	Sorted assoc arrays (values / keys)
vm.php today	Call to undefined function array_uasort()

Verified 2026-06-04: function_exists → false / false; uasort/uksort → true.

Scope (this repo)

Area	Path
VM builtins	ext/standard/array_uasort.php, array_uksort.php (or shared helper with uasort_.php / uksort_.php)
Registration	ext/standard/Module.php
Callbacks	VM closure + string builtin names (#3086); enum case operands must pass through (#5637)
JIT/AOT	phase-2 after VM green (lib/JIT/Builtin/, docs/capabilities.md)

PHP-in-PHP: implement sorting in ext/standard + VM hashtable helpers — do not add new runtime/*.c compare tables.

Done when

• Repro var_export output matches Zend on VM
• array_uasort / array_uksort with closure callbacks on enum case values preserve enum objects (pairs Stdlib: array_udiff()/array_uintersect() callbacks must receive enum case objects (ext/standard/array.c) #5637)
• test/compliance/cases/stdlib/array_uasort_uksort.phpt green
• ./script/ci-fast.sh --filter array_uasort green
• Capability matrix lists both builtins (VM yes; JIT/AOT documented)

Related

• Stdlib: array_udiff/array_uintersect/array_diff_u* — user-comparator builtins missing (ext/standard/array.c) #5644 — array_udiff / array_uintersect user-compare family
• Stdlib: uksort() — sort array keys with user callback (ext/standard parity) #3143 — uksort() VM
• North star: Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Unclaiming: array_uasort()/array_uksort() removed from php-src/PHP 8.x (not in basic_functions.stub.php; function_exists false on Zend PHP 8.2). Parity target is uasort()/uksort() which are already registered. Recommend closing/re-scoping issue.

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Merged via #7933.

Verification (Docker):

• php bin/vm.php test/repro-maintainer/parity_array_uasort_uksort.php — function_exists true; sorted assoc arrays match Zend
• vendor/bin/phpunit --filter array_uasort_uksort — OK (VM + JIT)
• vendor/bin/phpunit --filter array_uksort_jit — OK (VM + JIT)
• php bin/compile.php -l test/repro-maintainer/parity_array_uasort_uksort.php — AOT link exit 0

Implementation: delegate wrappers in ext/standard/array_uasort.php / array_uksort.php → existing uasort_ / uksort_ (php-src ext/standard/array.c).