Self-host M5: cli_driver m3 sidecar LLVM verify — try_catch_dispatch cross-function basic block

[PurHur]

Category

bootstrap

Milestone

M5 (honest CLI / bin/compile.php native emit) — parent #1492. Related #2880, #2900, #2114 (try/catch JIT phase 2).

Problem

Bootstrap probes that host-compile src/cli_driver.php for the m3 emit TU log a non-fatal sidecar failure:

m3-emit-tu sidecar host-compile failed: exit=255 source=…/src/cli_driver.php
RuntimeException: Module verification failed due to Referring to a basic block in another function!
  br label %try_catch_dispatch

Stack: JIT\TryCatchHelper::buildDispatch() → JIT\Context::compileCommon → Runtime::standalone → cli_driver.php run().

Inventory argv / gen-3 paths may still pass, but BOOTSTRAP_M5_DRIVER_HOST_FULL_CLI=1 and honest single-TU bin/compile.php sidecars remain blocked.

php-src reference

N/A (LLVM IR invariant). Analogous to LLVM rule: terminators may only target basic blocks in the same function.

Repro

docker info >/dev/null
./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-driver-smoke 2>&1 | grep -A3 try_catch_dispatch'

Full gate:

BOOTSTRAP_M5_DRIVER_HOST_FULL_CLI=1 ./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-driver-host-compile'

Today: exit 255 + Referring to a basic block in another function. Done when: sidecar host-compile succeeds, verify clean.

Scope

Path	Work
lib/JIT/TryCatchHelper.php	buildDispatch() — try_catch_dispatch BB must be function-local or shared via llvm::BasicBlock in common helper with correct parent Function*
lib/JIT/Context.php	Run module verify before compileToFile (~line 570) in dev builds
src/cli_driver.php	Minimal repro TU containing try/catch on CLI path

Not: VM-only try/catch without fixing JIT; internal_* PHP shims.

Done when

• m3-emit-tu sidecar host-compile for cli_driver.php succeeds (LLVM module verify clean)
• BOOTSTRAP_M5_DRIVER_HOST_FULL_CLI=1 make bootstrap-selfhost-driver-host-compile exits 0
• php script/bootstrap-inventory.php --check still green after fix
• No regression in test/unit/TryCatch* / compliance try/catch PHPTs

Verification

./script/docker-exec.sh -- bash -lc 'make bootstrap-selfhost-driver-smoke bootstrap-selfhost-link'

Related

• Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492 epic · JIT: try/catch/finally lowering phase 2 (#57, after VM #2084) #2114 JIT try/catch phase 2 · Language: try/catch/finally lowering #57 VM try/catch landed

Labels

bootstrap, implementation-ready, MOST IMPORTANT, phase-0:Foundation

[PurHur]

Backlog-architect 2026-05-29: make bootstrap-selfhost-driver-smoke with BOOTSTRAP_M5_DRIVER_HOST_FULL_CLI=1 completes without try_catch_dispatch in log — re-verify before starting; may be closable if sidecar host-compile is green on your branch.

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

claim: runforge-worker-lane-c — continuing PR #3177 (merge master + re-verify bootstrap driver smoke)