Module vstack 

Section-local virtual stack that tracks EVM stack values as SSA values.

Instead of immediately storing/loading to the stack alloca, values are kept in a logical cache. Physical stores are deferred until a “materialization” point (builtin call, section boundary, suspend, etc.).

Structs

VStack 🔒

A section-local virtual stack indexed by section-relative offsets.

Enums

VSlot 🔒

State of a single virtual stack slot.