JIT: native lowering for typed function/method returns (#55)

[PurHur]

Summary

• Complete JIT LLVM return lowering for v1 scalar/array return types (: string, : int, : bool, : float, : array, : ?T) on user functions and methods
• Fix : array returns that materialize compile-time native arrays as __hashtable__* (LLVM verify was failing with struct vs pointer mismatch)
• Add VM compliance PHPTs, AOT fixture, FunctionReturnTypeJitCompileTest (IR verify), and flip capability matrix JIT column to yes

php-src reference

• Zend/zend_compile.c — zend_compile_return
• Zend/zend_execute.c — ZEND_RETURN / ZEND_RETURN_VALUE
• Zend/zend_type.c — return type validation

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
vendor/bin/phpunit --filter FunctionReturnTypeJitCompileTest
vendor/bin/phpunit --filter "VMTest::testCases.*function_return"
vendor/bin/phpunit --filter "AotTest::testCases.*function_return_string"
php bin/compile.php -o /tmp/ret-out /tmp/ret.php && /tmp/ret-out  # greet(): string fixture
'

Note: MCJIT execute (bin/jit.php repro) still segfaults in this harness for all scripts (#2055), independent of return types. IR generation + compileCommon() verify pass; AOT linked binary runs the return-type fixture successfully.

Closes #55

Made with Cursor