From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5F389BDD1 for ; Thu, 25 Aug 2005 04:47:03 +0200 (CEST) Received: from fuzzy.phpwebhosting.com (194.67-19-13.reverse.theplanet.com [67.19.13.194] (may be forged)) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j7P2l0If013169 for ; Thu, 25 Aug 2005 04:47:02 +0200 Received: (qmail 12285 invoked from network); 25 Aug 2005 02:46:51 -0000 Received: from unknown (HELO ?192.168.0.4?) (70.92.132.179) by 194.67-19-13.reverse.theplanet.com with SMTP; 25 Aug 2005 02:46:51 -0000 Message-ID: <430D3646.4050609@confluent.org> Date: Wed, 24 Aug 2005 22:08:54 -0500 From: Tom Hawkins User-Agent: Mozilla Thunderbird 1.0 (X11/20050115) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Abstract Machine Instructions X-Enigmail-Version: 0.89.5.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 430D3124.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bytecode:01 compiler:01 ocaml's:01 pre-compiled:01 byterun:01 interp:01 abstract:01 abstract:01 stream:04 sync:04 compiled:04 standard:07 mean:07 machine:08 machine:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 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