KarpelesLab / goro / 26062109376

13%

Build Type

push

github

Committed by MagicalTux

Commit Message

vm: lower switch() statements natively

Stashes the cond expression in a synthetic local (__switch_cond_N
with a per-emitter sequence number) so the dispatch chain reads it
once. Each non-default case is compared via LOAD_LOCAL + emit(case)
+ CMP_EQ + JMP_IF_TRUE; the no-match path jumps to the default body
or to the loop break target.

Block bodies are emitted in source order, allowing PHP's standard
fall-through semantics — once a case matches, execution continues
into subsequent blocks until break/continue.

Break and continue with depth 1 inside switch jump to the switch's
end; multi-level break/continue propagates via the loops stack just
like for/while/foreach.

IsSwitchNode now returns false unconditionally; runMatch / runSwitch
are removed from IsSlotSafe's slot-unsafe set so bodies that only
use match/switch stay slot-safe.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Coverage Stats

63 of 75 new or added lines in 3 files covered. (84.0%)

35 existing lines in 3 files now uncovered.

14369 of 116783 relevant lines covered (12.3%)

2581.67 hits per line