From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D99FE7F890 for ; Fri, 28 Mar 2014 12:09:07 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of normand@linux.vnet.ibm.com) identity=pra; client-ip=195.75.94.113; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="normand@linux.vnet.ibm.com"; x-sender="normand@linux.vnet.ibm.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of normand@linux.vnet.ibm.com) identity=mailfrom; client-ip=195.75.94.113; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="normand@linux.vnet.ibm.com"; x-sender="normand@linux.vnet.ibm.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@e06smtp17.uk.ibm.com) identity=helo; client-ip=195.75.94.113; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="normand@linux.vnet.ibm.com"; x-sender="postmaster@e06smtp17.uk.ibm.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8BAOJXNVPDS15xnGdsb2JhbABZg0HDRIEcFg4BAQEBAQYNCQkUKIImAQU4QBEsFg8JAwIBAgFFEwgBAYd4AQnRWhePAhaEIgSPW4hygTOFFQWED4sK X-IPAS-Result: Av8BAOJXNVPDS15xnGdsb2JhbABZg0HDRIEcFg4BAQEBAQYNCQkUKIImAQU4QBEsFg8JAwIBAgFFEwgBAYd4AQnRWhePAhaEIgSPW4hygTOFFQWED4sK X-IronPort-AV: E=Sophos;i="4.97,750,1389740400"; d="scan'208";a="65164702" Received: from e06smtp17.uk.ibm.com ([195.75.94.113]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Mar 2014 12:09:07 +0100 Received: from /spool/local by e06smtp17.uk.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Fri, 28 Mar 2014 11:09:06 -0000 Received: from d06dlp01.portsmouth.uk.ibm.com (9.149.20.13) by e06smtp17.uk.ibm.com (192.168.101.147) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Fri, 28 Mar 2014 11:09:04 -0000 Received: from b06cxnps4074.portsmouth.uk.ibm.com (d06relay11.portsmouth.uk.ibm.com [9.149.109.196]) by d06dlp01.portsmouth.uk.ibm.com (Postfix) with ESMTP id DBCD417D805C for ; Fri, 28 Mar 2014 11:09:50 +0000 (GMT) Received: from d06av10.portsmouth.uk.ibm.com (d06av10.portsmouth.uk.ibm.com [9.149.37.251]) by b06cxnps4074.portsmouth.uk.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id s2SB8qLd3801522 for ; Fri, 28 Mar 2014 11:08:52 GMT Received: from d06av10.portsmouth.uk.ibm.com (localhost [127.0.0.1]) by d06av10.portsmouth.uk.ibm.com (8.14.4/8.14.4/NCO v10.0 AVout) with ESMTP id s2SB93rA008493 for ; Fri, 28 Mar 2014 05:09:03 -0600 Received: from [9.145.147.217] (sig-9-145-147-217.de.ibm.com [9.145.147.217]) by d06av10.portsmouth.uk.ibm.com (8.14.4/8.14.4/NCO v10.0 AVin) with ESMTP id s2SB92CL008473 for ; Fri, 28 Mar 2014 05:09:03 -0600 Message-ID: <5335584E.5080908@linux.vnet.ibm.com> Date: Fri, 28 Mar 2014 12:09:02 +0100 From: Normand User-Agent: Mozilla/5.0 (X11; Linux i686; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <532B0EFD.9070606@linux.vnet.ibm.com> <20140322122400.GD10374@annexia.org> In-Reply-To: <20140322122400.GD10374@annexia.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-TM-AS-MML: disable X-Content-Scanned: Fidelis XPS MAILER x-cbid: 14032811-0542-0000-0000-00000879315B Subject: [Caml-list] Where is defined the caml_program initial entry point called from asmrun/*/ I still have problems while porting ocaml on ppc64le archi. I was able to generate the ocamlcompopt, but obviously with missing changes because the first trial is segfault. Investigating the failure with gdb I was able to trace the code from "caml_start_program" calling "caml_program" https://git.fedorahosted.org/cgit/fedora-ocaml.git/tree/asmrun/power64-elf.S#n350 (url without my own patches) But I am not able to find the source code associated to the "caml_program" Could somebody give me a clue ? I guess this is generated with help of asmcomp/*/emit.mlp and may be the asmcomp/cmmgen.ml but the generated asmcom/cmmgen.s do not match the disassemble code displayed via gdb. -- Michel Normand