Language: eval() — JIT/AOT lowering in caller scope (phase 2 of #4410 / #3358)

[PurHur]

Category

language

Problem

VM eval() works after #3358 (ext/standard/VmEval.php, ext/standard/eval_.php). JIT/AOT still throw LogicException: eval() is VM-only in this compiler build (eval_.php::call()).

Scripts compiled with bin/jit.php or bin/compile.php that call eval() fail at runtime even when the eval string is statically known. Self-host bootstrap paths that rely on dynamic compilation need native-tier parity or an explicit Zend-compatible fatal.

php-src reference

• php/php-src ext/standard/basic_functions.c — zif_eval
• php/php-src Zend/zend_execute.c — zend_eval_stringl in current scope
• php/php-src Zend/zend_compile.c — runtime compile hook

Repro (failure today)

Save as repro_eval_jit.php:

<?php
$x = 1;
eval('$x = $x + 41;');
echo $x, "\n";

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php repro_eval_jit.php          # prints 42
php bin/jit.php repro_eval_jit.php         # LogicException: eval() is VM-only
php bin/compile.php repro_eval_jit.php /tmp/eval-test && /tmp/eval-test  # same
php repro_eval_jit.php                   # Zend: 42
'

Parse-error repro:

<?php
try {
    eval('syntax error here');
} catch (Throwable $e) {
    echo get_class($e), "\n";
}

VM must match Zend ParseError class/message; JIT/AOT must not segfault.

Scope (this repo)

Area	Files	Notes
JIT	ext/standard/eval_.php — call()	Invoke runtime compile helper or defer to VmEval bridge
AOT	lib/AOT/runtime/	Same runtime compile entry as VM
Shared	ext/standard/VmEval.php	Reuse compile+execute in caller scope
Tests	test/compliance/cases/language/eval_jit.phpt, AOT fixture
Policy	lib/JIT/SelfHostBuiltinPolicy.php	Mark eval native or document VM-only with compile-time warning

Done when

• Repro prints 42 under bin/jit.php and AOT binary
• Parse-error repro throws ParseError (not LogicException) on all tiers
• ./script/ci-fast.sh --filter eval_ green
• Language: eval() — compile and execute code string at runtime (zend_execute_API.c parity) #4410 closed or narrowed to doc-only after this lands

Links

• Language: eval() — compile and execute code string at runtime (zend_execute_API.c parity) #4410 — umbrella eval parity (VM portion satisfied by Runtime: eval() — dynamic PHP execution (ext/standard/basic_functions.c parity) #3358)
• Runtime: eval() — dynamic PHP execution (ext/standard/basic_functions.c parity) #3358 — closed VM implementation
• North star: Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

Merged via #4654.

Verification (docker-exec):

• VM + AOT repro eval('$x = $x + 41;') → 42
• php bin/compile.php -l on repro → exit 0
• vendor/bin/phpunit test/aot/AotTest.php --filter eval_ → OK (2 tests: inline + parse-error false)

Note: MCJIT execute (bin/jit.php run) segfaults in this harness pre-existing (#98); compile-time inline lowering is verified via AOT link+run. Runtime non-literal eval strings still need a future VM bridge.