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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 0F938BBAF for ; Sun, 10 May 2009 03:52:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQCAOPPBUrZSMDji2dsb2JhbACBUJU+AQEBCgsKBw8FtR2DfgU X-IronPort-AV: E=Sophos;i="4.40,322,1238968800"; d="scan'208";a="39696337" Received: from fmmailgate02.web.de ([217.72.192.227]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 May 2009 03:52:32 +0200 Received: from smtp05.web.de (fmsmtp05.dlan.cinetic.de [172.20.4.166]) by fmmailgate02.web.de (Postfix) with ESMTP id 2830DFEAD4B4; Sun, 10 May 2009 03:52:32 +0200 (CEST) Received: from [95.208.117.111] (helo=frosties.localdomain) by smtp05.web.de with asmtp (TLSv1:AES256-SHA:256) (WEB.DE 4.110 #277) id 1M2yDP-0002jm-00; Sun, 10 May 2009 03:52:32 +0200 Received: from mrvn by frosties.localdomain with local (Exim 4.69) (envelope-from ) id 1M2yDP-0000V4-K2; Sun, 10 May 2009 03:52:31 +0200 From: Goswin von Brederlow To: "CUOQ Pascal" Cc: Subject: Re: [Caml-list] Ocamlopt x86-32 and SSE2 References: <20090509100004.353ADBC5C@yquem.inria.fr> <5EFD4D7AC6265F4D9D3A849CEA9219191AB1A4@LAXA.intra.cea.fr> Date: Sun, 10 May 2009 03:52:31 +0200 In-Reply-To: <5EFD4D7AC6265F4D9D3A849CEA9219191AB1A4@LAXA.intra.cea.fr> (CUOQ Pascal's message of "Sat, 9 May 2009 13:38:08 +0200") Message-ID: <87skjdwwps.fsf@frosties.localdomain> User-Agent: Gnus/5.110006 (No Gnus v0.6) XEmacs/21.4.22 (linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: goswin-v-b@web.de X-Sender: goswin-v-b@web.de X-Provags-ID: V01U2FsdGVkX19ftLzHb54FK9NDfcDYqcUzqGG1zJllcuBbMATp q2F5I7gHkQwZV+VLZJ9PzFC5arqDjss8//OTz1aHKFGiZ3/d/F Ci9haUxG0= X-Spam: no; 0.00; ocamlopt:01 cuoq:01 cuoq:01 command-line:01 gcc:01 ocaml:01 ocaml:01 unacceptable:01 delusion:98 mfg:98 wrote:01 caml-list:01 cea:01 arithmetic:01 arithmetic:01 "CUOQ Pascal" writes: > Xavier Leroy wrote: >>2- Declare pre-SSE2 processors obsolete and convert the current >> "i386" port to always use SSE2 float arithmetic. >> >>3- Support both x87 and SSE2 float arithmetic within the same i386 >> port, with a command-line option to activate SSE2, like gcc does. >... > In Linux distributions, is it completely forbidden to have packages > that will not work on the bottom line? > This is (I assume) Ocaml 3.12 that we are talking about, which > would land sometime in 2010 and arrive in binary distributions > that are scheduled to be released in 2011. Will Debian maintain > its delusion of supporting the i486 by that time? > > Pascal As you said (in the deleted part) there are plenty of cpus without SSE2 around and Debian will continue to support them. That does not really mean i486 at 25MHz will be used but it is the common bottom line that can easily be supported. Having ocaml require SSE2 is quite unacceptable for someone with a Via C7 cpu (they don't have SSE2, right?) Is it really that much work for ocaml to use option 3? MfG Goswin