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 58CFCBC37
	for <caml-list@yquem.inria.fr>; Thu, 18 Jun 2009 15:52:47 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtQCAJzjOUrRVdvXmGdsb2JhbACYJD8BAQEBAQgJDAcTpiKBGZBuAQMCBIQEBQ
X-IronPort-AV: E=Sophos;i="4.42,245,1243807200"; 
   d="scan'208";a="31497667"
Received: from mail-ew0-f215.google.com ([209.85.219.215])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Jun 2009 15:52:47 +0200
Received: by ewy11 with SMTP id 11so1485986ewy.9
        for <caml-list@inria.fr>; Thu, 18 Jun 2009 06:52:46 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:in-reply-to:references
         :date:message-id:subject:from:to:cc:content-type
         :content-transfer-encoding;
        bh=YmtBrYI0/QmfAQ7trmx+HJ6kW5HDR1nbid5zIuY78/s=;
        b=u1bUWDrkcGblbaBLbV2aF5lvA93WCTTOBMPu28YAJpSQGILnOWLpsHicBQF68GI5U7
         K4Wwqt2pv2/vPBMyTB5mAHhHs4ncW2yN0xQjjYjw+zqfeJP3VF1Jfv0LaQC6ubhhJ+Aq
         YQ6bWnPR4PuVR5UnZ3aaxlFWtF94Rg3TN16+4=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type:content-transfer-encoding;
        b=tIuYxBjNGqWGOnTe+g22nG87ElDOjtvD/TgHcwmV1lZm0EzxLV4aErzE9rLimzatv8
         KsXPC4hDG4WDi0NccTLHSlucbYjRaO25PKtnwahj32zODk/wQIImmgM+6JBi/7SYDK0D
         4gP8NIMk+zEmFJ/dTnVWFLs5x669hPkCplvOQ=
MIME-Version: 1.0
Received: by 10.210.137.17 with SMTP id k17mr4505643ebd.52.1245333166778; Thu, 
	18 Jun 2009 06:52:46 -0700 (PDT)
In-Reply-To: <20090423103430.GH29676@janestcapital.com>
References: <4b39c80a0904230330r759d3429jae4146d2c2db7a36@mail.gmail.com>
	 <20090423103430.GH29676@janestcapital.com>
Date: Thu, 18 Jun 2009 15:52:46 +0200
Message-ID: <4b39c80a0906180652p420fb6ffy7d063afb944f8ff9@mail.gmail.com>
Subject: Re: [Caml-list] ocamlopt debugging options
From: Alexey Rodriguez <mrchebas@gmail.com>
To: Mark Shinwell <mshinwell@janestcapital.com>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocamlopt:01 shinwell:01 ocaml:01 23,:98 2009:98 wrote:01 symbolic:01 caml-list:01 assembler:02 namely:02 labels:03 debugging:03 generated:05 thu:05 problem:05 

On Thu, Apr 23, 2009 at 12:34 PM, Mark
Shinwell<mshinwell@janestcapital.com> wrote:

> I use objdump -Dr :)

Ok. It took me a long to reply to this, but better late than never.

I used objdump as you suggested and I do not mind reading assembler
but I have the same problem as with cmm, namely that symbolic names
are gone.

So, I repeat my question. How do you people do to relate labels in the
generated code with the ocaml function names in the source?

Thanks!

Alexey