Language: Generator::getReturn() — return value from generator (Zend zend_generators.c parity)

[PurHur]

Category

language

Problem

Generator::getReturn() is not implemented on the VM Generator builtin class. PHP 7.0+ allows return $value inside a generator; after the generator finishes, getReturn() yields that value (or throws if the generator was not closed).

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php -r "
function gen(): Generator { return 99; yield 1; }
\$g = gen(); \$g->next(); echo \$g->getReturn();
"'
# Fatal: Method call on non-object (Generator has no getReturn method)

php-src reference

• Zend/zend_generators.c — zim_Generator_getReturn, generator return-value slot
• ext/spl/spl_iterators.c — iterator glue (related)

Repro

<?php
function gen(): Generator {
    yield 1;
    return 99;
}
$g = gen();
$g->next();
echo $g->current(), "\n";
$g->next();
echo $g->getReturn(), "\n";

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php repro.php'
php repro.php

Zend PHP: prints 1 then 99.

This compiler: getReturn missing / generator return slot not stored.

Scope (this repo)

Area	Path	Notes
VM	lib/VM/GeneratorState.php	Store return value on TYPE_GENERATOR_RETURN / final suspend
VM	lib/VM.php	Opcode lowering for return inside generator body
Builtin class	GeneratorState::register	Expose getReturn() method
Compiler	lib/Compiler.php	Ensure generator bodies allow return $expr
Tests	test/compliance/cases/language/generator_get_return*.phpt	VM + JIT when generators JIT lands (#167)

Done when

• return inside generator stores value accessible via getReturn()
• Calling getReturn() before close throws Exception matching Zend
• Compliance PHPT green on VM

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter generator_get_return'
./script/ci-fast.sh --filter generator_get_return

Links

• Generators base: Language: Generators (yield and yield from) #167
• North star: Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: cursor-agent-lane-c — starting this run

[PurHur]

claim: cursor-agent-lane-c — continuing PR #3362 this run

[PurHur]

Continued PR #3362 this run:

• Rebased onto master (clean 6-file core diff + compiler DCE follow-up).
• Added : Generator return-type marking when php-cfg DCE removes unreachable yield.
• All generator_get_return* compliance tests green on VM (vendor/bin/phpunit --filter generator_get_return).

[PurHur]

claim: cursor-agent-lane-c — continuing PR #3362 (rebase master + JIT skip list)

[PurHur]

Continuation (cursor-agent-lane-c)

Rebased PR #3362 onto master and resolved JITTest merge conflict.

Changes this run:

• Merged master skip-list entries (cast_unset, exit_expression, object_loose_equals, etc.) with #3350 generator skips.
• Broadened JIT skip to all generator_get_return* cases (VM-only until generator JIT Language: Generators (yield and yield from) #167).

Verification (green):

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter generator_get_return'

php-src: Zend/zend_generators.c — zim_Generator_getReturn, generator retval slot.

[PurHur]

claim: cursor-agent-lane-c — continuing PR #3362 this run (rebase master, verify repro + compliance)