php-in-php: JIT ErrorRaise + TypeErrorRaise — route catchable Error/TypeError through VmException PHP not ~920-line LLVM (#1492)

[PurHur]

Category

php-in-php · #1492 self-host / shrink C+LLVM runtime

Problem

Catchable Error and TypeError throw paths in JIT/AOT are implemented as large LLVM modules:

• lib/JIT/Builtin/ErrorRaise.php (~389 lines)
• lib/JIT/Builtin/TypeErrorRaise.php (~531 lines)

lib/JIT/ErrorBridge.php and lib/JIT/ExceptionBridge.php note these replaced deleted lib/AOT/runtime/phpc_error_raise.c / phpc_type_error_raise.c, but the replacement is still LLVM-first, not compiled PHP semantics.

VM already materializes Error / TypeError in lib/VM/ — JIT should call the same helpers as ExceptionThrowRuntime migration (#9679) and TryCatchHelper (#9663).

php-src reference

• php/php-src Zend/zend_exceptions.c — zend_throw_error, zend_throw_exception
• php/php-src Zend/zend_execute.c — ZEND_THROW / catchable error unwind

Repro (LLVM bodies present)

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
wc -l lib/JIT/Builtin/ErrorRaise.php lib/JIT/Builtin/TypeErrorRaise.php
php bin/jit.php -r "
class C { public readonly int \$x; }
try { (new C(1))->x = 2; } catch (Error \$e) { echo get_class(\$e), \"\\n\"; }
" 2>&1 | head -5
'

Readonly guard currently routes through ReadonlyBridge / ErrorRaise::emitRaise LLVM, not VmException PHP.

Scope (this repo)

Shrink LLVM	Grow PHP
ErrorRaise.php, TypeErrorRaise.php message/unwind IR	lib/VM/VmException.php or shared VmErrorThrow.php helper
lib/JIT/ErrorBridge.php, lib/JIT/ExceptionBridge.php indirection	lib/JIT/Builtin/ExceptionThrowRuntime.php pattern — compiled throw helper
Call sites: ListUnpackHelper, PropertyHookDispatch, StringFormatJit, …	Single SSOT for pending-error buffer semantics (#5373)

Do not grow runtime/*.c. Delete LLVM table branches when PHP path is linked.

Done when

• Representative throw sites (readonly write, TypeError unpack, builtin guards) use compiled PHP throw helper on JIT and AOT standalone
• ErrorRaise.php + TypeErrorRaise.php combined LLVM drops materially; PR cites lines removed
• VM/JIT/AOT agree on message text for guarded repros (php-src-strict)
• ./script/ci-fast.sh --filter ErrorRaise / exception compliance subset green
• Pairs php-in-php: JIT ReadonlyRaise — route readonly property write errors through Vm PHP not ~385-line LLVM (#1492) #9522 (ReadonlyRaise), php-in-php: JIT ExceptionHandlerJitRuntime + TryCatchHelper — route try/catch through VmException PHP not ~1.5k-line LLVM (#1492) #9663 (try/catch), php-in-php: JIT ExceptionThrowRuntime — route throw/Object throw through VmException PHP not LLVM unwind (#1492) #9679 (Object throw)

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter ReadonlyPropertyWrite'
make bootstrap-selfhost-vm-driver-execute-probe

Related

• php-in-php: JIT pending Error buffer — delete phpc_error_raise.c (~76 lines), lib/JIT/ErrorBridge.php #5373 / php-in-php: JIT readonly pending exception — delete phpc_readonly_raise.c (~77 lines), lib/JIT/ReadonlyBridge.php #5374 original bridges · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Runtime → PHP — starting this run.

[PurHur]

Merged via #10520.

PHP SSOT: ext/standard/ErrorRaiseJitHelper.php, ext/standard/TypeErrorRaiseJitHelper.php

LLVM shrink: removed registerPendingGlobals / implementRaiseFunction / per-module phpc_jit_*_pending_* global buffers from ErrorRaise.php and TypeErrorRaise.php; thin bridges call compiled PHP helpers at compileInPlace.

Verification:

• vendor/bin/phpunit --filter ErrorRaiseRuntimeShrinkTest — OK (4 tests)
• vendor/bin/phpunit --filter TypeErrorRaiseRuntimeShrinkTest — OK (2 tests)
• php script/check-selfhost-spine-coverage-sync.php — OK
• make bootstrap-selfhost-vm-driver-execute-probe — OK