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 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 79E83BC37 for ; Mon, 11 May 2009 03:36:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscAAGcdB0rUnwdkjWdsb2JhbACCH5RwAQEBAQkJCgkPBrVVg34F X-IronPort-AV: E=Sophos;i="4.40,325,1238968800"; d="scan'208";a="27485566" Received: from relay.pcl-ipout02.plus.net ([212.159.7.100]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 May 2009 03:36:27 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsFAKMdB0rUnw4U/2dsb2JhbACCH8sEg34F Received: from pih-relay08.plus.net ([212.159.14.20]) by relay.pcl-ipout02.plus.net with ESMTP; 11 May 2009 02:36:26 +0100 Received: from [87.112.229.53] (helo=leper.local) by pih-relay08.plus.net with esmtp (Exim) id 1M3KRO-0002cf-7x for caml-list@yquem.inria.fr; Mon, 11 May 2009 02:36:26 +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 03:43:40 +0100 User-Agent: KMail/1.9.9 References: <90823c940904281236x61204451nac149ee15b5df73a@mail.gmail.com> <4A0407A9.4000009@inria.fr> <87eiuxuslu.fsf@pat35-1-82-229-60-210.fbx.proxad.net> In-Reply-To: <87eiuxuslu.fsf@pat35-1-82-229-60-210.fbx.proxad.net> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200905110343.40408.jon@ffconsultancy.com> X-Plusnet-Relay: b70adb196f5a2c6eddd696a583325826 X-Spam: no; 0.00; ocamlopt:01 byte-code:01 ocaml:01 ocamlopt:01 2009:98 frog:98 wrote:01 caml-list:01 arithmetic:01 argument:02 native:03 float:03 optimizing:03 justify:87 ltd:87 On Sunday 10 May 2009 12:04:13 David MENTRE wrote: > Regarding option 2, I assume that byte-code would still work on i386 > pre-SSE2 machines? So OCaml programs would still work on those machines. > > As far as I know, one is using ocamlopt to improve performance. I can't > think of any case where one would need native code running on pre-SS2 > machines which are so outdated performance-wise. > > So I would vote for option 2: always use SSE2 float arithmetic. Note that you can use the same argument to justify not optimizing the x86 backend because power users should be using the (much more performant) x64 code gen. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e