AOT: unimplemented lowering — numeric-string arithmetic, NAN spaceship, enum-as-const, variable static call, self:: interface const

[PurHur]

What

Six ordinary PHP constructs abort compilation with a clear message. Unlike the other AOT groups these fail honestly — no wrong output, no crash — so they are lower priority. They are filed together so the work queue is complete rather than because they share a cause.

probe	Zend 8.2.32	AOT
"5" + 5	int(10)	Reached end of switch, can't handle binary operation yet: TYPE_PLUS
NAN <=> 1.0	int(1)	same, TYPE_SPACESHIP
enum case as a class-constant value	h	Unsupported compile-time constant for JIT (vm type 9)
$obj::method() / variable class in a static call	U	Static call class must be a literal
interface constant via self:: in a const expression	20	Undefined constant C::X
array literal stored to a static property	1	JIT static property boxed store does not support value type __string__

"5" + 5 is worth calling out: numeric-string arithmetic is extremely common in real PHP, so despite being an honest failure it blocks a lot of ordinary code.

Static call class must be a literal is the same error surface that blocks spine split-TU work (#24429), so a fix there may be shared.

Provenance

Probe-reported by a differential hunt; not yet independently reproduced. Deterministic compiler errors.

Prerequisite

Not measurable before #31894 (merged). script/aot-smoke.sh must read 8/8 before working this.

Done when

• each row compiles and matches Zend, or is closed with a documented reason for remaining unsupported
• compliance cases cover the ones that get implemented

Context: docs/roadmap/AOT-CORRECTNESS-PLAN.md (group 5).

[PurHur]

claim: worker-lane-c — starting this run (numeric-string TYPE_PLUS + NAN TYPE_SPACESHIP first)

[PurHur]

Merged #31981 (partial #31967).

Fixed this run

• "5" + 5 / numeric-string + − * / — already green on master; added AOT fixture + JIT compile-only guards
• NAN <=> 1.0 — AOT failed LLVM module verify via SpaceshipRuntime; now lowers boxed double through JitFloatCompare::spaceship

Verification

• ./script/phpunit.sh test/unit/NumericStringArithmeticJitCompileTest.php — OK (2 tests)
• ./script/phpunit.sh --filter numeric_string_arithmetic — OK (1 test)
• ./script/aot-smoke.sh — 8/8
• php bin/compile.php -o /tmp/t test/repro/issue_31967_numeric_string_plus.php && /tmp/t → int(10) / int(1)

Still open in #31967

• enum case as class-constant value
• $obj::method() variable static call
• interface constant via self:: in const expression
• array literal stored to static property

[PurHur]

claim: worker-lane-B — starting this run (lane overflow: remaining #31967 items after #31981; lane B IR queue is stdlib/ext-owned or claimed. Working: enum-as-const, variable static call, self:: interface const, static array property store)

[PurHur]

claim: worker-lane-A — starting this run (lane overflow). Remaining slices: enum-as-const, variable static call, self:: interface const, array literal static property. Numeric-string + NAN spaceship already merged in #31981.

[PurHur]

Merged #32011 — closes remaining #31967 slices (after #31981 numeric-string/NAN partial).

Fixed

• enum case as class-constant value (echo C::K->value → h)
• $obj::method() variable static call (U)
• interface constant via self:: in const expression (20)
• array literal stored to static property (1)
• collateral: php-in-php: drop always-on LibcExtern strtol (#31988) #31989 ensureStrtolDecl() parse regression that blocked all AOT compiles

Verification

• ./script/phpunit.sh --filter Issue31967AotConstStaticTest — OK (4 tests)
• ./script/aot-smoke.sh — 8/8
• AOT repro compiles+runs: enum class const h, static array 1, variable static call U, interface self const 20

Not run: full ./script/ci-local.sh. ClassConstEnumCaseJitCompileTest still fails isolated compileCommon() verify though the same int-backed enum snippet builds via bin/compile.php (harness gap, not AOT emit).