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=4.1 required=5.0 tests=RCVD_IN_BL_SPAMCOP_NET, RCVD_NUMERIC_HELO,SPF_SOFTFAIL 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 8343CBBC4 for ; Sat, 21 Mar 2009 13:39:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgDADt9xEleZLA1mGdsb2JhbACVUx4BAQEICRMRvk+DfgY X-IronPort-AV: E=Sophos;i="4.38,399,1233529200"; d="scan'208";a="26025587" Received: from mx39.mail.ru ([94.100.176.53]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Mar 2009 13:39:30 +0100 Received: from [89.252.10.6] (port=42869 helo=89.252.10.6.freenet.com.ua) by mx39.mail.ru with asmtp id 1Ll0U5-000FnO-00 for caml-list@yquem.inria.fr; Sat, 21 Mar 2009 15:39:29 +0300 From: Andrey Riabushenko To: caml-list@yquem.inria.fr Subject: Google summer of Code proposal Date: Sat, 21 Mar 2009 14:39:45 +0200 User-Agent: KMail/1.9.7 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200903211439.47107.cdome@bk.ru> X-Spam: Not detected X-Mras: Ok X-Spam: no; 0.00; ocaml:01 ocaml:01 compilation:01 ocamlopt:01 hppa:01 mips:01 powerpc:01 ocamlopt:01 ukraine:98 maintainers:01 assembler:02 assembler:02 supported:02 native:03 languages:03 Hi OCaml hackers, It is not mistake, in spite of ocaml does not take part in GSoC 2009, but ocaml community still can benefit from it. I would like to develop LLVM frontend to Ocaml language. LLVM does participate in GSoC. LLVM do not mind to developed a ocaml frontend as LLVM GSoC project. I want to discuss details with you before I will make an official proposal to LLVM. 1.What is the best way to make ocaml frontend on your opinion? I think the best would to way to develop ocaml llvm front end as a part of 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 plenty of those for other languages lying around. I propose to forget about JIT capabilities of LLVM and concentrate on AOT compilation for now. 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 ocamlopt. It requires the least modification of ocaml source and easy to maintain. LLVM will give ocaml an aggressive whole program optimizer and will make possible to run ocaml on new platforms that are supported by LLVM, but not yet by Ocaml. Question to the Ocaml creators and maintainers. 2. Will you merge LLVM platform to the ocaml trunk assuming that it works as it should? Andrey Riabushenko PhD student, Faculty of applied mathematics National technical university of Ukraine "KPI" http://kpi.ua/en/