English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Abstract Machine Instructions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-08-25 (02:47)
From: Tom Hawkins <tom@c...>
Subject: Abstract Machine Instructions
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))))