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=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 38617BC37 for ; Mon, 11 May 2009 10:19:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscAAFN8B0rUnwdkjWdsb2JhbACCH5RxAQEBAQkJCgkPBrRpg34F X-IronPort-AV: E=Sophos;i="4.40,327,1238968800"; d="scan'208";a="25921758" Received: from relay.pcl-ipout02.plus.net ([212.159.7.100]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 May 2009 10:19:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsFAI58B0rUnw4T/2dsb2JhbACCH8oYg34F Received: from pih-relay06.plus.net ([212.159.14.19]) by relay.pcl-ipout02.plus.net with ESMTP; 11 May 2009 09:19:05 +0100 Received: from [87.112.229.53] (helo=leper.local) by pih-relay06.plus.net with esmtp (Exim) id 1M3Qj3-0000hO-0J for caml-list@yquem.inria.fr; Mon, 11 May 2009 09:19:05 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Ocamlopt x86-32 and SSE2 Date: Mon, 11 May 2009 10:26:18 +0100 User-Agent: KMail/1.9.9 References: <20090509100004.353ADBC5C@yquem.inria.fr> <200905100450.27146.jon@ffconsultancy.com> <90823c940905110105p7ee28bd3vdeebfe9a508442fd@mail.gmail.com> In-Reply-To: <90823c940905110105p7ee28bd3vdeebfe9a508442fd@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200905111026.18392.jon@ffconsultancy.com> X-Plusnet-Relay: 27e6c4b865562e16c38728a92707ad49 X-Spam: no; 0.00; ocamlopt:01 merging:01 ocamlopt:01 ocaml's:01 ocaml:01 frametable:01 ocaml:01 2009:98 frog:98 garbage:01 garbage:01 wrote:01 stack:01 rewrite:01 dmitry:01 On Monday 11 May 2009 09:05:08 Dmitry Bely wrote: > I think it would be the major code rewrite (if ever possible). Merging > SSE2 from amd64 into i386 code generator took about a day of my > efforts. How much time LLVM integration would require? If it is that > simple can you provide a proof-of-the-concept implementation? Well, I can provide a complete garbage collected VM. :-) http://hlvm.forge.ocamlcore.org/ The hard part of writing an LLVM backend for ocamlopt is probably getting LLVM to generate code that is compatible with OCaml's GC, particularly the stack. However, I believe Gordon Henriksen already did this: "Included in the pending LLVM garbage collection code generation changeset is an Ocaml frametable emitter." - http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011527.html Unfortunately, I will not have any spare time until my next book is out... Did any of the OCaml+LLVM student projects get funded in the end? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e