AOT: restore module verify for pow, base_convert, property_exists, function-static (#31966)

[PurHur]

Summary

• Restore AOT module verification for the four AOT: invalid IR — module verification fails for pow, base_convert, property_exists, function-static string write #31966 probes (2 ** 10, base_convert(255,10,2), property_exists on a static property, function-static string write) so they compile and match Zend.
• php-in-php: drop always-on LibcExtern strtol (#31988) #31989 assigned LibcExtern::ensureStrtolDecl()'s void return to the strtol() result (HashTableWriteLlvm.php even failed to parse), which aborted every AOT compile; restore the strtol() Value and guard it.
• Remaining IR/runtime bugs: __string__** passed to writeString; NestedJIT ret i64 into i1 property_exists; pow result box not assigned into the var_dump operand; echo of static $s read $GLOBALS instead of the function-static module box.

php-src: Zend/zend_operators.c (pow_function), ext/standard/math.c (base_convert), ext/standard/class.c (property_exists). PHP implementation in lib/JIT/, ext/standard/JitPow.php, ext/standard/base_convert_.php, ext/standard/JitPropertyExists.php.

Closes #31966

Test plan

• ./script/phpunit.sh --filter 'StrtolRuntimeShrinkTest|FunctionStaticRuntimeShrinkTest|PowIntRuntimeShrinkTest|MathBaseConvertRuntimeShrinkTest|PropertyExistsRuntimeShrinkTest|pow_operator_int_31966|base_convert_255_31966|property_exists_static_31966|function_static_string_write_31966' → OK (33 tests, 204 assertions)
• ./script/docker-exec.sh -- bash -lc 'php bin/compile.php -o /compiler/build/X test/repro/issue_31966_*.php && /compiler/build/X'

Verifier messages recorded (pre-fix):

• 2 ** 10: parentless __phpc_pow_int call; then compute(i64,i64) vs __value__ helper ABI
• base_convert: basic block in another function (mbc_invalid_radix_*)
• property_exists: ret i64 0 into i1 function
• function-static string: __value__writeString(%__value__*, %__string__**)

Post-fix AOT run (this branch):

var_dump(2 ** 10) → int(1024) rc=0
base_convert(255, 10, 2) → string(8) "11111111" rc=0
property_exists(C::class/'C', 'x') → bool(true) bool(true) rc=0
function-static `$s = 'z'` → z rc=0

Not run: ./script/ci-fast.sh, make north-star5-verify-fast, compliance suites (red on master; not a pass/fail signal).

Made with Cursor