From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mrchebas@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 773B1BBAF
	for <caml-list@yquem.inria.fr>; Thu, 23 Apr 2009 12:30:32 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoCAAfg70nRVdunkWdsb2JhbACWCT8BAQEBCQkMBw+mcIEJkRsBAwEDg3IG
X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; 
   d="scan'208";a="28152243"
Received: from mail-ew0-f167.google.com ([209.85.219.167])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Apr 2009 12:30:32 +0200
Received: by ewy11 with SMTP id 11so407338ewy.9
        for <caml-list@inria.fr>; Thu, 23 Apr 2009 03:30:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type:content-transfer-encoding;
        bh=0wLP0vX0e3kdSxIVaYs/WhUU4Xgcp2X6IU3Sm37xCVU=;
        b=P0k4mthE+F2++B2xnNDujQnYGh+yKFgYHN5k2ODmwMUh2GS3EAQOEQyxROYC5nBvPD
         AN+wVXcQpKO93fzyo31DcBm0qjJWkK2XM9dtexpOhytuqzYsrPW5cTqzTfSSEkU6RXlr
         0M33PG8v+j9jo9X26JJiydFaHBMbqjTL0SIg8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type
         :content-transfer-encoding;
        b=DXJcVFx74Wid/An4SP+zpRhe+B8Ed/KQT8Dh3Q46Ns+sb1CkgU+iuGW85fyWSkHyNc
         PwZtNyhDkYg3pPHAbpN3pfQ40BSFOLSbZUqKqhsQjfjkx7GIxHUreuf1qR4LtOZCNkE/
         DpL8iwkAPRZyFNR8qCUkxohr9ulXhKAboiHHU=
MIME-Version: 1.0
Received: by 10.210.92.8 with SMTP id p8mr861048ebb.23.1240482631742; Thu, 23 
	Apr 2009 03:30:31 -0700 (PDT)
Date: Thu, 23 Apr 2009 12:30:31 +0200
Message-ID: <4b39c80a0904230330r759d3429jae4146d2c2db7a36@mail.gmail.com>
Subject: ocamlopt debugging options
From: Alexey Rodriguez <mrchebas@gmail.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocamlopt:01 ocamlopt:01 ocaml:01 cheers:01 functions:01 constructs:02 debugging:03 programming:03 compiled:04 dump:06 somewhere:06 undocumented:08 useful:09 documented:10 difficult:13 

Dear List,

Sometimes it is useful to see what is the code produced by ocamlopt in
order to assess the performance of programming constructs. It is
possible to use -dcmm, but it is difficult to relate ocaml functions
to their compiled form due to the names used in the cmm dump. How do
you people get around that difficulty?

One more thing, are the ocamlopt undocumented options documented somewhere? :)

Cheers,

Alexey