From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 E0CFDBBC4 for ; Sat, 21 Mar 2009 14:01:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4DAOqBxEnRVcitimdsb2JhbACVMEEBCgkTDwWuFoEHjxoBAwEDg3sG X-IronPort-AV: E=Sophos;i="4.38,399,1233529200"; d="scan'208";a="26026426" Received: from wf-out-1314.google.com ([209.85.200.173]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Mar 2009 14:01:33 +0100 Received: by wf-out-1314.google.com with SMTP id 24so1751971wfg.15 for ; Sat, 21 Mar 2009 06:01:32 -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=S7J2i04XY4js2BXMb66opaoIOTu49LyeimPMqcVkGQI=; b=eFTp1U8zjyN5rgyaYWJ8/d8Id4eth287qfwSXvDw40RHMUEy/7pxOm1yXO1V4F/91I 6uCFGBpGM07zAVrUXFaD9MDdq9X0TUibEyVTetLGs6poSJPeoxOV4+ZIdxbrIccfdXW0 RLMVpVi4STOcMj7o+xmAvzGzraVRc4eLL6ON0= 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=PGo8m8uXs5z+3E/TPlFummjiib0+oUS3dOHk/J1KxZ77Hl0GiO2TRSVJuprVulb/ac BjMApRZUC/6jPc1FQvLIZBMNXvsdzKKky6YmtpBDKEISU5Lh+X0s0xKwFO8EvC4DVxMH 2ckflN+scCndQCZZVbEI/IBdpAMyvwpdFOHG0= MIME-Version: 1.0 Received: by 10.142.51.4 with SMTP id y4mr1982551wfy.39.1237640492187; Sat, 21 Mar 2009 06:01:32 -0700 (PDT) In-Reply-To: <200903211439.47107.cdome@bk.ru> References: <200903211439.47107.cdome@bk.ru> Date: Sat, 21 Mar 2009 22:01:32 +0900 Message-ID: <5b0248170903210601pf3845d8h21bdd6a5ab1147af@mail.gmail.com> Subject: Re: [Caml-list] Google summer of Code proposal From: Seo Sanghyeon To: Andrey Riabushenko Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 ocaml:01 compilation:01 ocamlopt:01 hppa:01 mips:01 powerpc:01 ocamlopt:01 seo:98 2009:98 seo:98 caml-list:01 assembler:02 assembler:02 supported:02 2009/3/21 Andrey Riabushenko : > I would like to develop LLVM frontend to Ocaml language. LLVM =C2=A0does > participate in GSoC. LLVM do not mind to developed a ocaml frontend as LL= VM > GSoC project. I want to discuss details with you before I will make an > official proposal to LLVM. Very cool! > I think the best would to way to develop ocaml llvm front end as a part o= f > ocaml distribution. I don't not want to develop yet another a separate > project, which is half-done llvm frontend that nobody uses. There are ple= nty > of those for other languages lying around. I propose to forget about JIT > capabilities of LLVM and concentrate on AOT compilation for now. This sounds reasonable. > Ocamlopt currently generates native assembler for the following platforms= : > i386, AMD64, ia64, arm, hppa, alpha, m68k, mips, powerpc, sparc assembler= . > I propose to add LLVM assembler generation as another platform to ocamlop= t. It > requires the least modification of ocaml source and easy to maintain. One interesting problem may be that LLVM assembler is typed, while other assemblers are not. > LLVM > will give ocaml an aggressive whole program optimizer and will make possi= ble > to run ocaml on new platforms that are supported by LLVM, but not yet by > Ocaml. Is there any such platform? > 2. Will you merge LLVM platform to the ocaml trunk assuming that it works= as > it should? I think it should be (assuming you or someone will continue to maintain it)= , but I am in no position to answer this. --=20 Seo Sanghyeon