[gambit-list] Need help on understanding GVM bytecode

Meng Zhang wsxiaoys.lh at gmail.com
Tue Dec 6 02:26:22 EST 2011

Hi everyone,

I'm trying to understand the GVM bytecode, while I got some problem on understanding its handling
of stack frames.

In the paper <A Parallel Virtual Machine for Efficient Scheme Compilation:
.... JUMP and COND instructions cause the stack pointer to be recalculated, while LABEL
instructions recalculated the frame pointer...

While I can hardly understand these description, with the ".gvm" I can hardly understand how backend
should do with given instruction.

I do read the the c backend implementation, it uses one "fp" pointer and calculate stackpointer based
on that. But the other operations the it uses is too difficult to understand without any documents, so
I'll be grateful if anyone could give me a concrete example on gambit's stack handling.

Meng Zhang
Sent with Sparrow (http://www.sparrowmailapp.com/?sig)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20111206/8e4e5f9c/attachment.htm>

More information about the Gambit-list mailing list