Stdlib: DOMXPath or/and predicates and evaluate() (#32050)

[PurHur]

Summary

• Closes Regression: DOMXPath or/and predicates and evaluate() — empty/false vs Zend (ext/dom/xpath.c) #32050 — XPath 1.0 or/and (and not(@attr) predicates) now match Zend/libxml on VM, JIT, and AOT query lengths.
• ext/dom/VmDomXPath.php evaluates top-level or/and and general [pred] steps via evaluateToMixed with the candidate as context (php-src ext/dom/xpath.c → libxml).
• User-script AOT host-folds the same boolean predicates; evaluate() literals use the bool ABI / host scalar fold.

php-src-strict. No new runtime/*.c.

Test plan

• Zend vs VM vs JIT: test/repro/maintainer_gap_dom_xpath_or_and.php
• ./script/phpunit.sh --filter 'DomXpathOrAnd(VM|JIT|Aot)Test' — OK (3 tests)
• ./script/phpunit.sh --filter 'DomXpath(AttrStar|TreeAxes|OrAnd)(VM|JIT|Aot)Test' — OK (9 tests)
• Full AotTest / ci-local.sh not run (targeted gate only)

Verification transcript

./script/docker-exec.sh -- bash -lc 'php test/repro/maintainer_gap_dom_xpath_or_and.php'
./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_dom_xpath_or_and.php'
./script/docker-exec.sh -- bash -lc 'php bin/jit.php test/repro/maintainer_gap_dom_xpath_or_and.php'
# or=2 and=1 eq_or=2 not_id=2 eval_or=true eval_and=false num_or=true count=2.0 starts=2 path_or=true

./script/phpunit.sh --filter 'DomXpathOrAnd(VM|JIT|Aot)Test'
# OK (3 tests, 7 assertions)

Made with Cursor