Abstract Machine Instructions

Abstract Machine Instructions

[Tom Hawkins]

To gain a better understanding of the bytecode compiler, I am 
reimplementing OCaml's abstract machine.

I'm using tools/dumpobj to produce instruction listings of pre-compiled 
programs.  Does the results from dumpobj accurately reflect the 
instruction stream fed to byterun/interp.c?  Dumpobj is not compiled 
with the standard installation -- is it still in sync with the rest of 
the system?  Or is there a better tool to produce an instruction listing?

And on the topic of instructions, what does the following mean?

   763  PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))

Thanks!

-Tom

Re: [Caml-list] Abstract Machine Instructions

[David MENTRE]

Hello,

2005/8/25, Tom Hawkins <tom@confluent.org>:
> And on the topic of instructions, what does the following mean?
> 
>    763  PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))

Maybe the following doc could be of some help ?
http://cristal.inria.fr/~lebotlan/docaml_html/english/english004.html
http://cristal.inria.fr/~lebotlan/docaml_html/english/index.html

I hope it helps,
Yours,
d.

Re: [Caml-list] Abstract Machine Instructions

[Tom Hawkins]

David MENTRE wrote:
> Hello,
> 
> 2005/8/25, Tom Hawkins <tom@confluent.org>:
> 
>>And on the topic of instructions, what does the following mean?
>>
>>   763  PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))
> 
> 
> Maybe the following doc could be of some help ?
> http://cristal.inria.fr/~lebotlan/docaml_html/english/english004.html
> http://cristal.inria.fr/~lebotlan/docaml_html/english/index.html

Perfect!  I had no idea such documentation existed.

Thanks.

-Tom

> 
> I hope it helps,
> Yours,
> d.
> 
>