From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 43432BBAF; Wed, 10 Mar 2010 20:26:08 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0BABeBl0tKfVI2mGdsb2JhbACQWolyCBUBAQEBAQgJDAcTIqxIgWGFFS2ISgEBAwWEdASDFw X-IronPort-AV: E=Sophos;i="4.49,615,1262559600"; d="scan'208";a="46308052" Received: from mail-ww0-f54.google.com ([74.125.82.54]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Mar 2010 20:26:07 +0100 Received: by wwb24 with SMTP id 24so1454145wwb.27 for ; Wed, 10 Mar 2010 11:26:07 -0800 (PST) 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 :from:date:message-id:subject:to:cc:content-type; bh=AnzVnEgfFD17CmQ1FC+oLtxqCAR3uGcalLtbUSM5wQc=; b=KnRdcoWJk7V1ILaw9GdeFG0xYnQGpZhMbvAJc3ykdGZIuKN5Dl3X9uJNSwSAt0ztfN Yw1jAxE/akfzMqAS/66RlqE5JJTUsdsv/MvP0UWb4iFcEQyPfwQvUd32zlzFPDqwEOz5 SWnPcTekofvq0oE2VtL1a6KcUfqgSgsMqGBHM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=Mo/ykSDot4vytgWUK2JKKn3M8GRW1FyJl6MyEUPr1J54L/U4PrbS4hlOgCgoguiot4 CkDyd97CRw7Dvatr3qu70Cr298TyPR3DhMU1fYgyvD5+XEcKnrYDXJwrAjhjnZZmB+J+ RxiqTan2KHPbEw6ooORswLtDy/FWLhZG3v+Js= MIME-Version: 1.0 Received: by 10.216.157.129 with SMTP id o1mr1298550wek.197.1268249167178; Wed, 10 Mar 2010 11:26:07 -0800 (PST) In-Reply-To: <4B967857.3070303@inria.fr> References: <4B967857.3070303@inria.fr> From: Mike Lin Date: Wed, 10 Mar 2010 14:25:47 -0500 Message-ID: <2a1a1a0c1003101125v32ec2e2fh82bf0e08138f791a@mail.gmail.com> Subject: Re: [Caml-list] testers wanted for experimental SSE2 back-end To: Xavier Leroy Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e64982d018b2a904817745ef X-Spam: no; 0.00; model:01 ocaml:01 stack-based:01 model:01 ocaml:01 stack-based:01 biological:98 biological:98 wrote:01 wrote:01 stack:01 stack:01 experimental:01 caml-list:01 back-end:02 --0016e64982d018b2a904817745ef Content-Type: text/plain; charset=ISO-8859-1 On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote: > - The register-based SSE2 model fits the OCaml back-end much better > than the stack-based x87 model. In particular, "let"-bound intermediate > results of type "float" can be kept in SSE2 registers, while in > the current x87 mode they are systematically flushed to the stack. > > Note that x86-64 bits systems as well as Mac OS X already use SSE2 as > their default floating-point model. > I have a bunch of biological sequence analysis stuff that could be interesting but I am already in x86-64 ("Wow! A 64 bit architecture!"). The above seems pretty clear but just to verify - I would not benefit from this new back-end, right? Mike --0016e64982d018b2a904817745ef Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Tue, Mar 9, 2010 at 11:33 AM, Xavie= r Leroy <Xavier.Leroy@inria.fr> wrote:
- The register-based SSE2 model fits the OCaml back-end much better
=A0than the stack-based x87 model. =A0In particular, "let"-bound= intermediate
=A0results of type "float" can be kept in SSE2 registers, while = in
=A0the current x87 mode they are systematically flushed to the stack.
<= /blockquote>
=A0
Note that x86-64 b= its systems as well as Mac OS X already use SSE2 as
their default floating-point model.

I h= ave a bunch of biological sequence analysis stuff that could be interesting= but I am already in x86-64 ("Wow! A 64 bit architecture!"). The = above seems pretty clear but just to verify - I would not benefit from this= new back-end, right?

Mike
--0016e64982d018b2a904817745ef--